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 col27.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 13005 ] := [ 66353080472476057338477883903, 43569488481817599 ]; SMALL_GROUP_LIB[ 13013 ] := [ 7461351282527 ]; SMALL_GROUP_LIB[ 13020 ] := [ 329512229572365793513751040029879, 329545973092780504666391040029879, 25311658939479070327296029879, 25308160187362361491968029879, 1943791008941781504029879, 329512229571111856810101504029879, 329545973091526567962741504029879, 25308158953330967337216029879, 25310750621565584169216029879, 25311657685542366677760029879, 1944059826594339072029879, 25308158953234651623936029879, 25310750621469268455936029879, 1944059730278625792029879, 25308158933425657842432029879, 1943990158117296384029879, 1945293857988493824029879, 1944059730114396672085559, 25327727899597394348544082079, 25327726028644220251776082079, 25335760200124137493248082079, 329767017252757507738559232082079, 1945294001554324608082079, 149308229615616029879, 1943791010494119936029879, 1943990063353921536029879, 149313556611072029879, 25308159570299789318042865029, 1944676795463722394865029, 329512229575143056112733658730179, 329545973095557767265373658730179, 25311663876133490793434730179, 6752722711387793048064029879, 40496243126098945688064029879, 4018628445514744320029879, 519876328805908992029879, 2042940708930167847227076057945119, 156907888570704301390809945119, 461309355413523657310711258593095, 2424234015042138869103448639244135001812879, 2424239735257216979103928633100135001812879, 186193088712930219763814991345753812879, 186193528053566019303022364145753812879, 186193681819414197100273823763033812879, 35430826088553798171610593095, 186193088712913892253936905490777812879, 186193528053549691793144278290777812879, 14300544447998330458808016729812879, 14300578191518745169960656729812879, 14300590001491723495396798809812879, 186193088709555867722343873469017812879, 14300544464066673513429575769812879, 519259264940524032031619, 87920449708458654872603136029879, 527261085507997862245403136029879, 156927461836417923451392029879, 129792421106827776053195, 87920449702268586395577984029879, 527261085501807793768377984029879, 87920513975640425743307520029879, 527261149775179633116107520029879, 1144724255204131685563617141504029879, 6864939333314132165557473141504029879, 6752722711863256972416029879, 40496243126574409612416029879, 52322542360744873242240029879, 52386815732584220971776029879, 681239582131589564798165760029879, 6752727647898714634752029879, 40496248062609867274752029879, 4023564956436331008029879, 6768795990953318091264029879, 6768789800884841066112029879, 6833063172724188795648029879, 88129723802211634868773632029879, 519876804269833344029879, 149312004272640029879, 1944039921284844288029879, 149408319985920029879, 1944039826354440960085559, 149313389582592085559, 25311399772799148160896082079, 1945294001551525248082079, 39832788054528029879, 9956513198592030575, 6752721457451089398528029879, 40496241872162242038528029879, 518642297411754240029879, 3110310532028586240029879, 4017374508811094784029879, 518642201096040960029879, 3110310435712872960029879, 308554124898816029879, 518622392102259456029879, 39929103767808029879, 518622344708721408031619, 39881710229760031619, 388800014508460800053195, 87920433376012741323487104029879, 527261069175551948696287104029879, 6752722711863254173056029879, 40496243126574406813056029879, 52306216104899801151360029879, 9968743602432053195, 6752721457830237609600029879, 40496241872541390249600029879, 518642676559965312029879, 3110310911176797312029879, 4017374887959305856029879, 6752463545039768975232029879, 519876804267033984029879, 11657281536029879, 1542681834766848029879, 388760192040154329971103, 156911128155997566832089945119, 35431344422200715939290593095, 14300586643467191902364777049812879, 925617969381888031619, 20091908011039787520029879, 49779273758976053195, 20085717942562762368029879, 84359089781910491904029879, 261596642303793346437888029879, 308554103996928085559, 20087588563982092800082079, 49768571992320107135, 20085717610807996032082079, 28119889090725237504082079, 261540403103102161183488082079, 5061657695393276530141833033, 2042982888591087424250477149051019, 461316104377052150437935728490995, 186193638097942838571113536125081029879, 12052799972804528640136019, 261596652813688028622336029879, 648126090917668224783995, 261516047612951604323520029879, 1098492187789321114924800029879, 3405988419634218178257110784029879, 49765511545344161133, 12051546036102278784136019, 20085717516019520256136019, 156927455645922882282240136019, 648265417219162368783995, 1098355348961277265316160029879, 261652881504863679156864029879, 3405988419634218557405321856029879, 648126090920467584783995, 261596642304504249368640029879, 1830589741960177522137984029879, 44345969223637520681329895256960029879, 8438601405114114625152783995, 3405988282795390134407502144029879, 3406720517188389034664323968029879, 14302368285016961377508270976029879, 6752727648042351242714730179, 40496248062753503882714730179, 129792422585169819513005, 519259266418866074865029, 29858693942042891100, 39834340392960029879, 238887200194560029879, 812187648030575, 3105423360029879, 48948196510149425933760029879, 648126090912069504783995, 3758844654476982144136019, 29861751589632161133, 3759461765735905152082079, 49768566393600107135, 288650344041216085559, 764785152086371, 3759462097490671488029879, 49779268160256053195, 288697737579264031619, 2293608960032373, 288745131117312029879, 3822432768030575, 22168318464029879 ]; SMALL_GROUP_LIB[ 13044 ] := [ 7692615720651336235643, 10098638684098672340603, 100352593002399758826912437, 27869773896563018220, 590040435307550843, 10080060711724835859323, 756690360278215, 772758901431380603 ]; SMALL_GROUP_LIB[ 13050 ] := [ 161216713952176386389996246560679, 2103878117075906126472837950393944519, 22461112515753683437496175047, 8500408026421467607315077123915871, 17469266540015727078391903, 2103878117075901839948956524835607591, 27455609427840574950471010045116277066183, 293117518330585499393279419641767, 66555304864229390956111958887272661087, 430347222840109933686695, 227973928347529725716030406751, 72540168702225156551, 395786679164211453770268242591839, 3370290038976064828472923175, 30328479249559340436606712895, 258193826577889187672431, 2323638908593988720469895, 6595663092578613005, 30328481162008456764938633311 , 258259773099141887586215, 2324021398417254385870271, 19784967343117612303, 178056618349600336807, 505545335926373, 2324021544953850533888095, 19790020329191639495, 178085925668829904991, 1516142550696679, 13643309128466527 ]; SMALL_GROUP_LIB[ 13052 ] := [ 3747907931128921812511, 12278083975326910441406252999, 72073642375000002999 , 6505418187500002999, 22125000062261, 498125000002999 ]; SMALL_GROUP_LIB[ 13060 ] := [ 10274326954514081332881723, 47345536447429014434611, 1752726280374413263772862685760303, 1752726274772001170048782737984303, 403771221855967161751329393455, 134182711603718207069920529199, 2367276628926766279215, 786836631590887307823, 283358628583943, 60239731215051311 ]; SMALL_GROUP_LIB[ 13076 ] := [ 737194423485618876651, 146861597159486508523, 122230240063607, 11228582897544427 ]; SMALL_GROUP_LIB[ 13083 ] := [ 402353369362301, 32624155437, 1205764763398013 ]; SMALL_GROUP_LIB[ 13086 ] := [ 826533654064483441295, 10816018918878334192995215, 826533934096066095503, 63189348873738383, 17660441964748549977365519, 1861769975402728843, 1349567616461181862799, 151128156771571, 103131631440892559 ]; SMALL_GROUP_LIB[ 13092 ] := [ 10323805553169286082179, 28386725497242789900, 10304882974200302562179, 767900397027011, 787097905736002179 ]; SMALL_GROUP_LIB[ 13100 ] := [ 7040755173691513967998085027091519, 537462227015609213428476691519, 5953641356273293529651219, 454315992057408051219, 5951537680656012640051219, 454476587864249651219, 34826689331251219, 313192679298391890071103, 537469743448574091264623891519, 3131925566587916851219, 53766141248917939564435537513393, 92268074994478205436951303910674951219, 53766141353312841854867537513393, 92268074994491881169151350502674951219, 20513911524637433217924713393, 35203562500727733735378084473351219, 41042855913990720857651219, 23916394825608580493, 205137011250657692128051219 , 537661412474038030295478451219, 13470075437904234531251219, 23916361557755780493, 1028249949307027251219, 1829731904067473, 78478864755251219 ]; SMALL_GROUP_LIB[ 13108 ] := [ 1536533655383542475631, 373764730182213975835, 264557751531882752132015787071, 264557752680811270368876629055, 553598321043086032378072127, 20140886257067484593065023, 3221973020090305599, 117465740372610111, 2180268437675, 8947660491839 ]; SMALL_GROUP_LIB[ 13113 ] := [ 9313210031 ]; SMALL_GROUP_LIB[ 13116 ] := [ 1792231238572102496140298032979, 1433157999304191715463, 136648585310749606709008211, 1792282844932789352520445917575, 10437948266604981020807, 18807753586869216698026115, 28648062075860358768, 109571350471706759, 10418851477268190869639, 773551894056397, 794346787867338887 ]; SMALL_GROUP_LIB[ 13124 ] := [ 22890461525814125555903, 1797732433380602769423, 3947066228381954502001497738239, 3947066232097041711732810058751, 4553279334907056236286446591, 300414441735168108728945663, 26435763075607956479, 1746126741769817087, 10480257109839, 132938364619775 ]; SMALL_GROUP_LIB[ 13132 ] := [ 90265484747200964255, 1185980671622073130337951, 1347945623438089043, 8297459269461816504979103, 15574298179774445442437302943, 3052562574256227036171029205623, 2685778750303507016375922013613287103, 230083367132337893143199, 1347944501348100947, 17520813446116372127, 102751383221723, 1333844398728863 ]; SMALL_GROUP_LIB[ 13140 ] := [ 400871207236277295930947135580675712655, 69214274767469319724631401824983583291676697951, 69214274767469326021644381526505619395516441951, 5275916688460438214884230274461507491603807, 401515729715457262152578133932928017759, 5267447663084687351275328997479195655677279, 30484508202038550472567548294842207, 2319977509066588838141296504655, 30484504469414198411328012244338527, 2319977793196608311326550640479, 23531119846335495518571364351751, 4063796968823047271079333637047483351839, 4063796968823526495811426599150687601439, 953721393909808377091419834841023263, 72581536831112160164502418211615, 309198914781127737162854928851649311, 176976863198337599904532319, 309198914780847467453631112684709519, 176696614816996686393896783, 53398292170334841141981867744949762873238879, 53398292170341138154961569266985866712982879, 12531899115974882074884879010865600144735, 953721393960813689121131980172174687, 4062873740224018465983602028553764218207, 2325476546643914817439481055071, 2325475982351080874235981580127, 2329158446060572327380196378463, 30556761822900940549344599766058847, 176976906146212688104376159, 176558410500349541156777807, 30484508202042378790510678044860999, 5523835721443572756202366535, 13446947208761438488415, 176692797417584924245215071, 13468567218779182188383, 176692776089702021588184911, 13447239335876525158223, 2321743357999019634699931076447, 176976906145677722077480799, 1790837074751483164846456583, 75668983275026998746505155, 309269176188831526833983139466167071, 309269176668056258926945242670416671, 72583151061788682756391683998495, 23531599441575532639688782496543, 420382944432001338689375, 23531599161305823415872615556751, 140134563091087828053839, 994290439275388789806825893451, 4063796975121246262037287624822138742111, 4063796981418259241738809660925978486111, 953742604951903210036394187368047967, 309205216662302177568800450170201439, 5524396227555463524891608927, 5759259967591381946379, 5523831934721520321392133983, 9206295644212973465606932319, 72590566430098599118135030564703, 309205212979558134384207298856895695, 1841652248354519081496423119, 13064976372078133995891967538398347, 53398292253093175883170257673325215264393055, 53398292335835926436448257227729669500553055, 12532177829068008180296470984394931816287, 4062956546942650613612305177581934200671, 72590568395654667488318932240223, 75676662701768447192494731, 72583151622392067154133259765599, 120996552171722287090504298776415, 953840068718902348730533528291624799, 5758675107066378892297, 1841368182574033888850553551, 24199310543376861249009825688271, 75695856335834424100024971, 120970724765113275928429398968159, 953840068718902370058398598747768671, 72608978748774024858197305968479, 994391328692636656578564747915, 953840042891775988100694534701565791, 1589894695536430898660032942411466591, 4355875974165922589205673168768585, 53389938514497567015089048168774177265960143, 4178243278700755182065302835279992865999, 2256022530533957344052025978644477557769355, 9219728036058854579808357540492566612374317097928543, 9219728036058854662551108093770566166778771334088543, 2164021931738773394144033564545423104832189351775, 286181045868909860891712891818818307211, 701763400545989344627187120198349846237252536159, 274510582173441972009365459880936135383959391, 176976863480853160670504519, 5758674572102313788352, 1031699815068976991, 23536467636314408569057019545439 , 75676662700698515138704011, 1790927312951056969174690511, 1919947812401573180425, 1791207582660280785341630303, 5759258897659328155659, 136295835796423022341967, 146152718548206265, 136317163679325679372127, 438315498036648507, 10371850000644032351 ]; SMALL_GROUP_LIB[ 13148 ] := [ 13246984348435156794939, 174171366519704377235238167, 17327678890005523479, 1008805170768985111, 7645861286645, 76654660299799 ]; SMALL_GROUP_LIB[ 13150 ] := [ 108909810789177091269635, 95211249613371081, 8282114391303879555, 7388414292365, 629824599255683 ]; SMALL_GROUP_LIB[ 13156 ] := [ 639955026424648895710864548543, 48643586763644088521159359, 14895450801637327371, 1112649523773963, 14637752127200991755, 1132238602693131, 105546387979, 160762875319563972983, 48643879051700012441248447, 281047984101163531, 229948673624147367, 2114996502680981065078185, 639958872806822653595597171051, 3700433218936704852491, 12229285080105093, 3697467462665807130123, 39327381274495737526795, 48682899428291906654485003, 307183732153996740107, 12229280462450821, 23345425557921191, 760593630883, 23349309664827915, 929467843293, 1773838909963 ]; SMALL_GROUP_LIB[ 13158 ] := [ 986195568274701035, 12976360687599762809579, 987488871978095339, 12976359398570185490711, 986199842400776471, 170742953926912014904866539, 12993378271920215942891, 75077407976171, 200234483229483709701210347, 5561280855089736641733, 15200736643313034299471, 28180952448403399, 15217698983521289484011, 422653980546348069, 1155246747015840023, 2157973725055, 1156535776593158891, 32135405731605, 87807779502827 ]; SMALL_GROUP_LIB[ 13164 ] := [ 140188468144635689306056839, 1845440994652926339243420489871, 10669390585270817392783, 29176509463879880640, 10649941525943208315023, 784948415188985, 809004774205819023 ]; SMALL_GROUP_LIB[ 13167 ] := [ 32205043190902652063, 424043803491713027741159, 706793340352900490663399, 7745213341535399, 2446386382083239, 4076918251558055, 31200660851, 185994069983 ]; SMALL_GROUP_LIB[ 13172 ] := [ 463493676245134684951, 186466320325450618851, 80631679330178930462986214495 , 80631679218306418850751716447, 218582198456977769905134687, 6105139927204308810865759, 1259828258258947167, 35281786920701023, 1076573117963, 2673202039903 ]; SMALL_GROUP_LIB[ 13175 ] := [ 6246804179 ]; SMALL_GROUP_LIB[ 13180 ] := [ 50019183580203443115415, 434447584137847689232956668759, 2500958978345928847431, 831291735023320206663, 293933870496437, 63063811754781767 ]; SMALL_GROUP_LIB[ 13185 ] := [ ]; SMALL_GROUP_LIB[ 13188 ] := [ 538162933651662128067114100139, 93599097488872880081454719680467963239, 93605141602442071666050163057728949607, 38233351643416311884843213495, 496537383277597734044638274231, 7097799681045636394917892120907111, 41349007234148277141529271, 7097292803220570697235000199810407, 7097751107252204878657159994871143, 538201371023044345450353724775, 7097292769010647073089170357882215, 2911637277610020874642103, 219826024660968825527, 19970777828119461257, 38233339067793925645303898807, 496537370701975347805098959543, 2899101581039209646875319, 37650696336436648391172791, 41336431611762037602214583, 2899100627407271298491063, 37650695382804710042788535, 3134397412390351037111 , 2899061655223781335327415, 220779656599317209783, 40807336106403129964291499, 538167161099420199620511796583, 15671047615139927188151, 538167148561819244531024904695, 3134397270479956597895, 7097348520579153357552934908460727, 206688620304530738419753655, 99824791596787863377, 206669776832298078926660279, 289336448729660015605015223, 2725809524576248013345123820215, 38233379855635062342366471335, 496537411489816484502161532071, 263688887053955299300421, 2905368955048251466647131, 59889988510766929008, 219829229470712095415, 2854921340131725042359, 1892138593861001, 17029247344337591, 40822469348387976495293111, 99824708815724384081, 3094474618470856580231, 1525536741407173, 3095425228900387873463, 7580380241509769, 234637011498984119 ]; SMALL_GROUP_LIB[ 13194 ] := [ 822457359767605269191, 10851501906479432030020295, 822457649171823116999, 62364312087868103, 18707580987840207763368647, 1939959159544930189, 1417885466606180262599, 156186404353861, 107465432894689991 ]; SMALL_GROUP_LIB[ 13212 ] := [ 5297297756610479639047912991, 13788209108966946714797020853, 400945749357875368132127, 5297294913514613126875723295, 400945964144039047513631, 521786321375470088699423, 6894887199152524380186353183, 1421984020623683635555, 6893840940954934409754417695, 91095249675164902099902926738975, 3279429044756976886079273353124647, 15901308396234457393916769372020734678271 , 5298341250880029226548955829, 4265071060325204704572, 30371015739368803871, 6856277997236986664322634271, 1421978136071254063459, 518943225508957916509727, 108443894773810459, 39276024866005548575 ]; SMALL_GROUP_LIB[ 13220 ] := [ 147923695577981922470959547459, 316009643338920962639, 23947634810882639, 11189782542056182401467459, 50937874969708570100403, 1955941143557431153993444697762639, 1955941135933921502727204185762639, 445116507560431329858475682639, 147928926903465239424335522639, 2546893545370352642639, 846567163994365442639, 297523860914943, 64028349158402639 ]; SMALL_GROUP_LIB[ 13221 ] := [ 166165074331 ]; SMALL_GROUP_LIB[ 13225 ] := [ ]; SMALL_GROUP_LIB[ 13236 ] := [ 11024562564351009255067, 29983775306408040108, 11004575370781054274459, 802278730130807, 831396727490570907 ]; SMALL_GROUP_LIB[ 13244 ] := [ 15034253681882231976983, 1134434371152540695, 15024442329551767772183, 1135175233608502295, 86185117099031, 10974885696191443991, 6097197775525629695, 145417290644738110805015, 255345766989022047, 145351390116732161476631, 888252522326248550906903, 1925906597298189463003757591, 15409840627437538553879, 255345649889678175, 1163165071562290943, 10722954220739, 1163533365727239191, 19287934794039, 87807779435543 ]; SMALL_GROUP_LIB[ 13254 ] := [ 8161479109075681815678727, 7627845039890099972906887, 6413395930545287, 18186334808031290375, 1367398370539343, 2435833355, 1372139172500359, 103303869063 ]; SMALL_GROUP_LIB[ 13260 ] := [ 451179150695598199968710411, 108277149352715228120899607710478527, 108277149352687389394241119282344127, 101704803985824875614988516012223, 8159422064139407164763537486015, 105212145132936705872831, 615341030478687321041481919, 79349870535360012924191676670537787, 19038115841698409597359598556360011925226431, 19038115841698409228218083064803454863082431, 17887047816078679806536214376641367966655, 79349870535369292499744506146582587, 19038115841698409597517351340758113017988031, 19038115841698409228375835849201555955844031, 17887047816078679964288998774742460728255, 21210953545620870828605569101883, 1439187767857350933841071043997700522943, 1439187767856981792325579487440638378943, 4781373141199046808655310476302943167, 1599619423214133830123384891, 108536030758472929050965807204467647, 108536030758445090324307318776333247, 360586209743525805684486544884671, 5982635538229579788926173966395, 1435755000417003924986166074928332342207, 1435755000416634783470674518371270198207, 1348605700852037953750341406934762431, 108193936570488642071199693064438719, 5578717037852838102097204159, 6195481519668194189115, 1395113044466090083480507327, 1396585403778765114243552191, 18499200973857508358419352916927, 8159422064250460369143021503423, 105323182789090049266623, 466739396045968379, 105172025308173060543423, 7931525597400929215, 24748101491009360240443, 1394581055590578350983222207, 467231972960247611, 105172033682051470201791, 46400677340662630267663, 34026043687425659715339, 8165697469875004214316971929791, 8165697442036277555828543795391, 7669986791179851675019063487, 615273021080634223193305279, 43622200319554884543, 9279808921982055071491, 8160119331406788075405222981695, 8160119303568061416916794847295, 2091848322963712763270115391, 5984153120009424441439452000315, 1435755342510290104654962617780220789695, 1435755342509920963139471061223158645695, 1348947794138217622546884258823209919, 5984153129288999994268928045115, 1435755342510290262407747015881313551295, 1435755342509921120892255459324251407295, 1348947794138375375331282359915971519, 1599647261940792189702500411, 108536029856668310867742544952886207, 108536029487526795376185987890742207, 360585430976799877427247171306431, 615272989353197060833259583, 11897155694496848703, 451185345244743891983396923, 108277148450542658920030886718145471, 108277148081401143428474329656001471, 101704024851147929715588936565695, 8158520259632277145880769921983, 578581535982912291214271, 2566682493428178747, 578430386875873712149439, 2050789699550904475194303, 7671991167135226103263663039, 615272981421337770243371039, 3965894538232347423, 451185339179204434473512987 , 108277148450542555805860109048021439, 108277148081401040314303551985877439, 101704024851044815544811266441663, 8158520259529162975103099797951, 578478429587880852599231, 2566225096591032091, 578430379100127480525247, 683598901434028337934783, 7670623976337109227126403519, 123050266189000023997149203, 108203182334454009796712705657864511, 108203181965312494305156148595720511, 27737908762498806397407876284735, 79349870371324968009271051065164091, 19038115841686446787724804344370360947315647, 19038115841681551971229386304423716917875647, 17887047750272765674971732456015784842175, 79349870494372139839789903419212091, 19038115841686448879526725463190850966131647, 19038115841681554063031307423244206936691647, 17887047750274857476892851276505803658175, 21211322693334878536369922048315, 1439187755899421802106306040401919742911, 1439187751004605306688266093757890302911, 4781362814752366374739771204917269439, 8158519838823339024596555465023, 157772612814986213896511, 5982717677945248950115996991803, 1435754988454195657279645807362571244479, 1435754983559379161861605860718541804479, 1348595369526221548079538165568771007, 108181978642723994997918182500471743, 7671991421399102034511139775, 34034209127101729141051, 7669986929992471270716871615, 27196842955042334168036938687, 101730606247752094558951590335423, 1166414788612374291, 157756284979320597819711, 262924807313221455229247, 2092064845926133780193521983, 34040273751797777101115, 27193471416063806290977100735, 7673358357941716840630719423, 101730606247752102932829999993791, 34034209127166153650491, 7671991167151375726831211455, 45322421399085808108802413503, 1348947838845192773861596353162908607, 451293600427895873914073403, 101730602876213116031074530497471, 101748731826196138032892355810239, 360630137583861361877586664231871, 6195481553690778923019, 699834765919108864 , 36283883721723, 615814440707752561286845375, 34034209126972880122171, 46409776151232623194431, 699905134662041363, 46441503588394983240127, 2566224967742013211, 3499384884282014495, 17600775994353, 46441511364141214864319, 2566682364579159867, 3499983018607516479, 52785148074995, 3502375555909555135, 193522636428283, 263891380605887 ]; SMALL_GROUP_LIB[ 13266 ] := [ 227496492236774214141599, 3017968465859192073548108975, 227498669829926780437679, 17149014138264549023, 17149608044465391263, 227506563474110845686959, 17149643871195759791, 3018102070980441751391676623, 227507110608915985307855, 1302906775041695, 7622785767213303455, 101123869223168011669151, 7633824487769767583, 101123858225403739804847, 7622826723497903279, 1341509249109468379860603551, 101270312702651321844383, 575792462755487, 3115850248562918389000918175, 32501404738811565888087, 234728979478928749045967, 272256460830991759, 234874886817524025791135, 2449977932400020823, 17694028233399080111, 20678515825903, 17705025997670944415, 184824251192535, 1333844398999199 ]; SMALL_GROUP_LIB[ 13268 ] := [ 2661226074935251563, 90251506504630123, 1878565727639, 6791116066411 ]; SMALL_GROUP_LIB[ 13275 ] := [ 3283614455793634541 ]; SMALL_GROUP_LIB[ 13293 ] := [ 2250384086028186359, 2792895214504986359, 169774143066359, 172283498774586359, 2581309750581306359, 1057985988995, 13006898586359 ]; SMALL_GROUP_LIB[ 13294 ] := [ 445685369861679419, 23947646065677, 33525260718267, 1806590009, 2526224315 ]; SMALL_GROUP_LIB[ 13300 ] := [ 45062578117044652175, 18926502632219551781343, 4782714557253023236150590623 , 1762044762765601075324128755, 445262166690367437492110593273511, 27037789450850323187, 599513484038477715523727, 2372431959009040919, 599332301102464259254415, 2517169804343497480145039, 7973529337712131044154214543, 3349083697700936351053122978321, 846313450240736190433132327803675299, 311799692087969681223406116793555799, 78791782103583293809256827676601736770767, 3349083704009612384221138338321, 846313450240856055277762520095515299, 311799692088013841955638292901075799, 78791782103583294648310740087947779650767, 1258599797017697381853250065, 318044812250811429645357874799267, 117174298527699485278634496039767, 29609858168987868069977555224165496015, 359729720412094548866555, 7973530275947032976735324303, 31553344978314745603919, 7971119604731782903497357455, 33490836921965986795735222415, 106047952670095538504823049291919, 7115155307642029989, 1797980735207096460981755, 4784405281488011159446296059, 31553344978445352544079, 167391362818632301237925849231, 7973529337779893401030613135, 106047952670095606267179925690511, 420189369561587709133211471, 106181853195992204819265239918735, 445428131062147693796820267767951, 1426991164653870743624497295, 31553344978053531723599, 107274539911240538609147, 1423544623689975717, 107292568765648537331855, 2372431697795160599, 8065754142426335987, 107010619657185, 8067109389694470287, 178339423242587, 606312244758671 ]; SMALL_GROUP_LIB[ 13302 ] := [ 149075762177553689114915342183, 11207018657570665986377063, 842570268830147854151, 11207869196930164411416647, 842570567840331284039, 63371174114131271, 19807493709865661570701511, 2020753535761076455, 1489061311271741601863, 161370576272935, 111943717244630855 ]; SMALL_GROUP_LIB[ 13308 ] := [ 151290833841415053518541027, 2013378416758322578408933648807, 11389533083018930972839, 30808811653135600368, 11368995908911724968103, 819894441137981, 854281777303005351 ]; SMALL_GROUP_LIB[ 13325 ] := [ 11878597279 ]; SMALL_GROUP_LIB[ 13332 ] := [ 2883026987500810001090099, 38436517561359935370001000999, 1985558452480000010999, 38436515796301129610009000199, 220632029440000090199, 512435652128050632634570000010999, 26473675746026240000010999, 19660647040000990109, 26471465385171520000010999, 32353965120065920000010999, 352947045046051317120000010999, 6553110400109990000, 2884993036290240000010999, 19660638080000990109, 216263722880000090199, 165120000099901, 216396105600000010999, 1475840000019909, 16221440000010999 ] ; SMALL_GROUP_LIB[ 13340 ] := [ 1354892422473791692203, 18074267095772554717863847, 2290786756301556631, 150540677481825564531, 241158219810105720961782424879, 241158219559210863650689688879, 58238065640976726876136751, 46188789917062324239509417, 3234141962152041031699723066222487, 3234141958805103635169745967982487, 17868205680881344546441081333655, 18074265132100393680151855, 327261786040844479, 241110723062623732792976942999, 30566520473839164590999, 79011858838147865, 30559095746370366704535, 100408223629265989602199, 407757383120980485366942615, 1357123572847040039831, 79011843417658137, 101586171493433535, 848126952263, 101733362270800791, 5923670985785, 7615519001495 ]; SMALL_GROUP_LIB[ 13348 ] := [ 524263818133443219, 11361388708323219, 553958724875, 848993603219 ]; SMALL_GROUP_LIB[ 13350 ] := [ 30211874117135144706179811821899, 403328519463756663292650919068217035, 4114605839310483529699471051, 2933136853746731582160298837721631, 9600484991941288418525727, 5772490785468755659, 17901779910767717110600876575 , 46246591879989914290507, 1340957219720890258772383, 3463300401037146651, 100430841297686728047, 87139096177321, 1340957296673491808600607, 3464165037008269003, 100446231817995600415, 260066289311403, 7523008458179103 ]; SMALL_GROUP_LIB[ 13356 ] := [ 33645701279672175251090561391478647, 196070032764031840865628423, 2519145049393649864985234196343, 449371986291301572606135121913828289735, 7854174166544232818325261005063, 3699988431651902721376297, 2618711357594231837305160216839, 2619103350907424705262912680199, 34975510075315999892833776555929863, 33645701279701540233920099133893831, 196099382368318274175906055, 3703864834732271226220741, 276988020431180151345 , 196010784225613873765560583, 14675860101754400157959, 11095534997303308018008105, 2617920034116135368846174990599, 277029477343502286889, 196010786423095943825600775, 188608588122659419108244291, 2519056361534567258703054849911, 73375068188738517610759, 2519056302830963635654621518759, 14675859534891479882359, 33644516764655633958315441303792839, 980086013148532447297810695, 1384560582369492615209, 979997417203310116947505415, 1371990730396178074699968775, 13090028791615535655779493359879, 33644515980610290783972954064646135, 196040683159097564218443063, 449356165908740647198939930140028289287, 13090029085660908628399431495943, 18492189342899908127323785, 13088845504189233034695204024583, 18328235465177324087360078622983, 174830428468087099106819109121306887, 830670001153642386725, 196010782027559879509722423, 2618319364272248388162554610999, 18496065415539683919492745, 18324308195193684428501865083143, 174830428468087101304301179181347079, 13092772744825465851230596772103, 246981676985579391968589739657, 174830424540846465071484643788599559, 244791912872908347188079711730938119, 659816491030306251408066886422773, 6001812334651846261617047501661957415596023, 467062971921252296633008407117393129463, 61687562243486406875956556262375521737, 80197634099726021439848122130520091023079227655, 43666651168943015364666175913476952678842631, 3703864834580432944001221, 830669925234888792560, 22026673474124337, 2519929130733814196618043207943, 18492189342748069845104265, 188615235503218609528948023, 276945267832183903525, 188673939106841657962279175, 1384560430531210395689, 14122134801570021399159, 20741109351343213, 14126529770771417542919, 103665056547486257, 1057290449303253255 ]; SMALL_GROUP_LIB[ 13364 ] := [ 100155204881964585386239, 4320233909520810573835, 17900946636445115409443971927039, 17900946548079099595021529123839, 14837747074890641655516367871, 1338474233559843643955612671, 83079721330652744703, 7500092275637095423, 24326694829835, 560888369122303 ]; SMALL_GROUP_LIB[ 13374 ] := [ 20571170064691788622546927, 2076095623339175579, 1538146396988773678959, 164897671744611, 115011275343408751 ]; SMALL_GROUP_LIB[ 13380 ] := [ 189428017469456888474052825866363855, 14157549885853927065043090142159, 287930535285867160283739131, 21515516244156212687867, 287877582784358529126575099, 21519474091495916059643, 4744922429678450271001167, 14157611568308196860236634612687, 79082022359631571416059, 26361975974778295087943, 63487062049198602291403866201, 189428842783963687373715398035287515, 1058223133012887782686544891, 354663905544816241365, 1058117464405327817515479035, 1763511681094331136836045819, 14159025519711884957579404561403, 287930535301103323779186773, 354628084176602903916, 1610098140863448059, 349612997451807123324135419, 354663422404942011093, 26125580638266120383303, 8903577682440499, 26129520851000414252027, 26572693082763309, 1952506271728645115 ]; SMALL_GROUP_LIB[ 13396 ] := [ 26442919038038645583027, 2034050452880126914367, 4750293254502147004596265270591, 4750293231586547222360255479103, 5367589436533064172332989759, 354229371347055235336863039, 29910867701435624511, 1976036752834575423, 11381285238107, 147390004603967 ]; SMALL_GROUP_LIB[ 13404 ] := [ 2132719690277202909186349057643, 10593038824939410630839, 159109700264007343926363755, 2132706422335407239598391024055, 11891774856661252597943, 142001001262834214331866651, 31937007903840301680, 790620377610389687, 11870485611093312420023, 843831393721525, 885576227834439863 ]; SMALL_GROUP_LIB[ 13410 ] := [ 412506375442329846790344445727, 627713272946926891913191, 30756452325826391644716151, 15604678316114872325, 30761101822516251405799199, 46809354086979312007, 2293546009589682632983, 1172487599344877, 2293892702356057935647, 3499284689068495, 171028675152301855 ]; SMALL_GROUP_LIB[ 13412 ] := [ 858592442838660854067, 171062979139898486323, 135315200187563, 12751369398660403 ]; SMALL_GROUP_LIB[ 13420 ] := [ 1816728964802255341527080459, 327186350462672633469698278359048599, 327196681079732619162779878359048599, 327206598472110205428138214359048599, 327190895934179027174654182359048599, 246753621527493482496011399, 1016546248948185962496011399, 1755547171272050743296011399, 585462377592598173696011399, 24385891256121557614026096648599, 419980752868703846411399, 24380503015102284231000432648599, 24381272807729704923480432648599, 24382011808652028788261232648599, 24380841723858349335691632648599, 1817130495986770287370248599, 24380502707729612767064227848599, 18449576123288371211399, 1368542656512011399, 513038333952014349, 246753537756739192627211399, 1016546165177431672627211399, 1755547087501296453427211399, 585462293821843883827211399, 18387006079844966411399, 75748602757988966411399 , 130815735569007206411399, 43626108618228326411399, 419896982114413977611399 , 18386999837197516811399, 75748596515341516811399, 130815729326359756811399, 43626102375580876811399, 31288897006387211399, 18365805368998502411399, 1374785303961611399, 1370123934105611399, 5644460497305611399, 9747823597977611399, 3250832021913611399, 41405644814349, 105106636811399, 135381746643706224680459, 1816823123315306351165448599, 93865183097241611399, 6883562645011211756403, 24385891256038117902594213144239, 24385891166554027084689573144239, 5635017416520898090763544239, 1016146920251528746774344189, 328014861825942255906447547248011399, 328014860625065757130167278448011399, 831823103640424148753822985611399, 1816823060734356153304344239, 31288895811993632639, 24381766315120855606284758411399, 1260004833384479539211399, 1539182435328212589, 1259670776132873318411399, 4618765858953161318411399, 16909264864017360420249611399, 135467258237541273611399, 1539181738598612589, 10089765894758432639, 38320128035943, 10094428807372811399, 114761318414349, 751771238411399 ]; SMALL_GROUP_LIB[ 13425 ] := [ 158716386797929957 ]; SMALL_GROUP_LIB[ 13426 ] := [ 4263996461762058972271, 11764384758570093, 317592420850363503, 886728536317 , 23657038703727 ]; SMALL_GROUP_LIB[ 13428 ] := [ 104849705978257076918778517345091, 1407921851876035265575929046844586023, 5956434473511135949342646135, 15701626528285092255309976499, 443582938612124922683255, 5956431339185856046923587447, 443583171590479401656183, 7808007017361793060526707523, 104845918228468815353131629295655, 584637911601701850455927, 1407870989971879234108553205327287159, 7851690182839796347973410679, 1567635663518329234981, 7850517946377132232257740663, 105432495775130617190277055848311, 3795569911153764405266673016309045, 253868645944074174148587818085799598110495607, 19010658145312348501153945026605111268215, 5957603662922394140195869619, 4701951368987026110192, 33060130019529072503, 7808430269370662351729041271, 1567629280549713372709, 581503586321799431397239, 117628993064023981, 43302970942669201271 ]; SMALL_GROUP_LIB[ 13431 ] := [ 3922704023850458423, 138671757564093, 21552891191 ]; SMALL_GROUP_LIB[ 13450 ] := [ 127603500005660677309919, 106614212326707543, 9487248526274231775, 8088821465399, 705378222566879 ]; SMALL_GROUP_LIB[ 13452 ] := [ 689014482714631566205239, 868142198634113567, 688877645061488810740023, 51210054526210924855, 145094027097540534583, 8535520072822616023, 1951958765118181444141367, 2459415437280990543, 1951804858920750038701367, 2181427987213723867932983, 26257749308372652364293810487, 11683998142899899157513, 433989186007232188, 67210933049887, 111064752799640909708599, 2459414849185326415, 8246222415458277335, 10837763013711, 8256373954785069367, 182897751550495, 613047723024695 ]; SMALL_GROUP_LIB[ 13454 ] := [ 2182005035642165399, 161873964026279, 2099546975, 162182515685399, 12052805399 ]; SMALL_GROUP_LIB[ 13455 ] := [ 169534125101 ]; SMALL_GROUP_LIB[ 13460 ] := [ 12692946116946284360543903, 56750434004504022064131, 2300100897672816856935488145066623, 2300100908209219731342428482833023, 514078304315045326474542320255, 170847056625289367417621842559, 2837521481930341616255, 943217200848464513663, 319759275450723, 70066435421899391 ]; SMALL_GROUP_LIB[ 13468 ] := [ 6289763911716316408595, 1976710514948594263163, 1141793951723525353429102310639, 1141793947231122781222930560239, 985006166614216089569670383, 84710545293401968002807023, 5430411448056158975, 84710542331158363543271831, 2468387774074075271, 26622337902449145133567871, 15377680941812465129030117125930751, 15377680881308787286557395991543551, 13266063051985934676841855074047, 1140881624037208419804175286015, 73168402500045850417919, 146831398646952431, 73136783243851651259135, 432169594835181053614847, 985432044870291112080120575, 6294796360417994054399 , 146831344469258735, 467169001374169223, 4961128823969, 467388931851885311, 10905195781703, 34681463642879 ]; SMALL_GROUP_LIB[ 13475 ] := [ 4928033559 ]; SMALL_GROUP_LIB[ 13476 ] := [ 350816838518501653187, 12280451132820560686787, 4739905709467828681462889, 32804648983929538188, 26370887719590083, 12258583505241680194499, 862125176705827, 909643486588938947 ]; SMALL_GROUP_LIB[ 13482 ] := [ 2957105964496409547, 4264550980160595767530183, 316314417617442302663, 119572925918250128254299, 57494676314562368496113002183, 2957543617790465371, 4264551027080711563017927, 232958309761995, 56437225013007311723402539207, 199284270560307131215611, 4184851415624959458219711, 2956654607779518199, 4186116675015209672140487, 14781508722262779227, 310402861584462282927, 220967808631639, 310496702672517583559, 1097987323122635, 23023475186510535 ] ;