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 col19.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 9009 ] := [ 477478334127383, 73509973351703, 293880752332055, 4108737881, 8185600775 ]; SMALL_GROUP_LIB[ 9012 ] := [ 103777453125000001499, 1096539312375000001499, 936341289179719171875749, 4380009188343187500, 11583000000001499, 1093619733187500001499, 172125000561751, 121348125000001499 ]; SMALL_GROUP_LIB[ 9020 ] := [ 48019234311549498265806439, 3906864224553197896068150169792399, 3907164078528091665067062169792399, 3906930858769840955845686169792399, 3906953070175388642438198169792399, 11097873252237770752005199, 44341107719396196352005199, 18485258689384087552005199, 20947720501766193152005199, 433273853818438020045312192399, 16795096517876121605199, 433133506048026512366080192399, 433166749282493670791680192399, 433140893433463658682880192399, 433143355895276040788480192399, 48034795323689861222592399, 433133493495132240078540992399, 1234085065116876805199, 136263303168005199, 45414678528006369, 11097868258885258444805199, 44341102726043684044805199, 18485253696031575244805199, 20947715508413680844805199, 1230362888903065605199, 4915865601448345605199, 2049363491690905605199, 2322363692620185605199, 16790103165363814405199, 1230362335261491205199, 4915865047806771205199, 2049362938049331205199, 2322363138978611205199, 1861430660300805199, 1229091712604569605199, 136816944742405199, 136404428390405199, 544996746854405199, 227202721382405199, 257468819046405199, 5452595206369, 15518924805199, 5323973112273408206439, 48022242429417573683392399, 5584160515686405199, 409515443683431038403, 433273853813473967466189376159, 433273850673971656779469376159, 151446725586216779878976159, 40631848571764965480896129, 3921790175854138194552576512005199, 3921790147535827352158362112005199, 15026063921390687145214054405199, 48022238706274841498176159, 1861430503014414559, 433160626726996346532761605199, 50389012152044748805199, 136252915712062529, 50369129530382745605199, 184685226736687513605199, 454508889611235223142405199, 5329090283120230405199, 136252823961662529, 590395283865614559, 5046272015963, 590808003379205199, 15112601606369, 65444249605199 ]; SMALL_GROUP_LIB[ 9025 ] := [ 171241129200743 ]; SMALL_GROUP_LIB[ 9027 ] := [ ]; SMALL_GROUP_LIB[ 9028 ] := [ 31911706612098846059, 18930729264965492435, 2611141815451530783549602159, 2611141794359292434770082159, 10424346220471511521442159, 288099011519146311842159, 127898580925442159, 3548590456322159, 232657923575, 391910402159 ]; SMALL_GROUP_LIB[ 9036 ] := [ 36292560625000000062999, 328012442448875000000062999, 144625062500015562751 , 327939584208656250000062999, 2963920429964144937500000062999, 106701139408285014188480453125251, 242002016507573409885552969726562562999, 433744187503937437500, 325327095888218750000062999, 144624187500015562751, 36003440187500000062999, 16125000000124751, 3984125000000062999 ]; SMALL_GROUP_LIB[ 9044 ] := [ 37986847375572069531, 6526973575288166662676519, 79797768997885811, 26599608003912551, 343553066565507826069713, 59029949015267958493696071827, 722138436940722206579, 4202488359149037, 721691061879281515379, 4089560196910463909747, 6531020023685404686761843, 43127799116511478643, 4202486666096109, 4762776894958439, 155035280435, 4768659044556659, 464622098325, 526539462515 ]; SMALL_GROUP_LIB[ 9050 ] := [ 282218116654177919, 2554072727701778017919, 282413741529697919, 31308042337919, 96241996897919, 1646023809423, 870977961008737919, 14600616359080143, 7882351550421615457919 ]; SMALL_GROUP_LIB[ 9052 ] := [ 80050668018393308039, 724618901443979986147439, 263673790983440495, 8872195447261295, 399882982421, 977778378863 ]; SMALL_GROUP_LIB[ 9054 ] := [ 16292087373061711, 34547273216211, 147506517736031440719, 294492129788162219, 1335524033051632220358607 ]; SMALL_GROUP_LIB[ 9060 ] := [ 5923607264108280000023099, 5924959914277080000067799, 653927696640000023099 , 53667883529472294450516375149, 5928364087550010516375149, 3797436403474616807902335940875599, 419143090914533844615940875599, 3170985527384280000023099, 653967208440000023099, 5924937372552180000067799, 653969380860000067799, 349620478200000023099, 3167559190336500000023099, 349998697980000023099, 72783360000023099, 306386674270275944227503, 419155141680083344575940875599, 5106442017240000023099, 1702270958040000067799, 2775863263182892096440375153, 3797545583621556378142365937523099, 46271195307623880000023099, 33822572220003352653, 46264365175270230000023099, 77106154595868900000023099, 419217029487019587780000023099, 3170985529529970516375149, 33817527540519727500, 38880000000023099, 15221751830570610000023099, 33822504180003352653, 1679729233140000067799, 1253880000089851, 1680104969460000023099, 3742200000044853, 185389560000023099 ]; SMALL_GROUP_LIB[ 9063 ] := [ 1845026134355538229, 22695402045 ]; SMALL_GROUP_LIB[ 9065 ] := [ ]; SMALL_GROUP_LIB[ 9075 ] := [ 44659968013399, 2451975667418899213399, 29773158413399, 5017613399, 118984038413399, 59618252813399, 33066874721293131213399, 178423417619933, 401512876813399 ]; SMALL_GROUP_LIB[ 9084 ] := [ 94653596060667205302321785987, 39627322121386010087, 10419905894146272651979907, 94654425141947060146886477543, 1150211855524896204263, 361127243486021695358003, 4557985646825867760, 4432033321649639, 1147173639191908136423, 177699449787805, 126281590940640743 ]; SMALL_GROUP_LIB[ 9090 ] := [ 140011029760001010399, 1272699520821120001030199, 140011315840001030199, 11568838643923857600003010199, 1272702532496320003010199, 15482880001010399, 16221440001010399, 492800001019903, 147490899840001010399, 165120001039901, 147457804160001030199, 4468737920001990103, 1340692344834240001010399, 1489799040003990101, 1340391472007360003010199, 40620812699840099010103, 12186893414771100000001010399 ]; SMALL_GROUP_LIB[ 9100 ] := [ 2852201604652565699099, 25955036069967869226424199, 1852039385522902583, 777870580382457309939, 236273393318203619570450605295, 236273394096045690347159725295, 92021569431082433614095599, 49549836511484330039496041, 2155112101155855769519583610176759, 2155112108234218613587636602176759, 5861618242025688697271568729335, 25955035329084490248004847, 1111237413354608447, 236190828241887504591065875703, 16861023321997682153015, 142527694604606105, 16853559137833339852343, 70783942060424958055991, 153435312230201585348646455 , 64448493954662854120999710567, 19565803801626679494827826825077925599, 19565803801633757857671894878069925599, 7624256830104216937734753036478175, 4105369060185851322143996612512985, 178465099016309323966109770588923271685687, 178465099016373737067990789871150471685687, 485665158660488937309934514095610504759, 64448494213943544379902750567, 19565803801626682865476800190817445599, 7624256830107587586708118775998175, 4105369060187666286975808933792985, 178465099016309323989704313402483448325687, 485665158660488960904477327655787144759, 35392592204951628848000871, 2153437360500207229025938712241887, 2153437367578570073093991704241887, 4186877586377148203626670794463, 2254470368552973934883410349273, 19824882079189022962168088037509670455, 19824882143602124843187370264709670455, 266702684673169226686829209848489527, 236190821498366744909031352031, 10117502969349698233247, 2149336537001202225165700342326839, 153435350808719831800485431, 1297002120132838312985, 153367388158428575725000247, 644484937266015972407383607, 1396261692359350464240637974071, 427395160026916887, 50560048138823710811039, 92069277021511965315965855, 1297002120144304491545, 3220657947991416666953618999, 153435312234271925281756727, 1396261692359354534580571084343, 11824496021784975387937817, 1398837865370075864935184209463, 5864812929120749518434103203383, 25970858122477591166981687, 1297002120109905955865, 2853199406359937295263, 85524118395430935, 2853940452552535971383, 142527671672248985, 313538331502712639, 9394622306199 , 313619738312840759, 15656684623481, 34442871576119 ]; SMALL_GROUP_LIB[ 9108 ] := [ 9887294586834914949831, 90053530799621282011543655, 90053478829638374937008231, 820207558522878829094227032167, 9887300271097399384167, 1561510794571780325843724513843011786719, 171443872922503001278225775183108063, 9937104837406020013277, 1085382998285921367, 9885129170454145071815, 1085591022291548871, 90033756221207317905234023, 9887300270662020552807, 178331169336407, 224147657208165346391, 24907514942085184199, 2041788075422397307202647, 9746750461017493867, 2041536887172514256374871, 2495206685643338578717783, 18596605790964931746260642903, 226909619520673076213863, 18596606590069041552944245847, 88773398399258344475515, 18594317968452605265372535895, 22733620733092556117489871959, 169377892822348847143956445523031, 3248599990326140451, 226857649537766001678439, 2066692814590152159536756839, 88797217974875335404411, 22726342492926855690780376151, 169377892822348852612764458863703, 18601596158813738948087958615, 808548088793322670914456443, 169377885544158491479081743440983, 207057817637007027231641038687319, 818410385022461059240649056095, 171443874719035424880088473824270303, 81994896511023946319948044499483795, 17176618748468836402455534038852389021335, 3248599554952696956, 1888400832945117434671963223, 88773398398387586812795, 207135041106708969904231, 1083183609556262435, 207334303124265153858647, 9746749590259831147, 22742098561315306183, 118945496743019, 22763973851419176023, 1070045066472787, 2496694421072983 ]; SMALL_GROUP_LIB[ 9114 ] := [ 14525844825631679, 3630586406432375, 1206653163870100896031679, 7234792487956520352031679, 132395613491577631679, 793810944201081631679, 1025299052792121631679, 132395563328601631679, 793810894038105631679, 112497161817631679, 132388356346732831679, 14576007801631679, 301638479726884665653255, 100230696890597080202325033631679, 600958065733278215969287209631679, 10997443152816257553206431679, 65937904952539884475190431679, 85223122060853048907715231679, 904452412135526611253255, 100401012322176223445783184031679, 11016130384720925453520031679, 255538553639996292365865631679, 33096180483244853255, 10997443152359058017404831679, 65937904952082684939388831679, 1206653846411103523231679, 7234793170497522979231679, 9350792414332608124831679, 99237713554195253255, 11016130384263725917718431679, 65956592183987352839702431679, 1208704233936302985631679, 7236843558022722441631679, 28038024319000508438431679, 694504254035462453255, 11053498631226152575478431679, 65993960430949779497462431679, 1212804784015490102431679, 7240944108101909558431679, 65406271281427166198431679, 1206653845990679308831679, 7234793170077098764831679, 1025981173370534431679, 1208704233515878771231679, 3076368698569996831679, 76201929100853255, 1212804326445693062431679, 7240943650532112518431679, 133070527088121631679, 794485857797625631679, 7176461628384288031679, 1206587479906817654431679, 132845926143772831679, 2754559785432855343018384055, 25105057884440021185706952053255, 1617408031679 , 423014432375, 14526650419231679, 87098005555231679, 3631392000053255, 132395638180377631679, 793810968889881631679, 10888527513653255, 132620609381299231679, 11548915231679, 1993766432375, 105290179948831679, 18156778041653255, 959615089508880031679, 401241740371, 105240811680139559, 18145630368161135, 959614743930998536079, 165480852062736784055, 8745931926339090120031679 ]; SMALL_GROUP_LIB[ 9116 ] := [ 15866796042574258755, 144641785060873556543879, 74156376472184967, 1748570158741639, 153719417477, 191154890887 ]; SMALL_GROUP_LIB[ 9132 ] := [ 10812922516782434348098359, 98743608422766741452720641519, 1187195744637665281519, 4679816518386494400, 1184076317126287361519, 181490238016841, 129658760806401519 ]; SMALL_GROUP_LIB[ 9135 ] := [ 4370608013463, 284178236137 ]; SMALL_GROUP_LIB[ 9140 ] := [ 841529530882919822890631, 5548285821465621411267, 70318349030261449027387565348639, 70318348588264141253433219159839, 23175074789807317248392369951, 7691580097142381333535856415, 277414244789822818079, 92093734454707816223, 67796212198011, 10073963663329055 ]; SMALL_GROUP_LIB[ 9150 ] := [ 8534529713888870627039, 78090946847079021158627039, 8538494769345945827039, 933172553318627039, 933337479168227039, 8540010215248896227039, 934917214003427039, 8540008658555904658919, 933360521011858919, 78141093442904837837451839, 8554466796194304651839, 1399626351821027039, 12806575255036109027039, 1401206086656227039, 117180163586586758861027039, 12821039609891328227039, 982408453003046125276889547783, 8989037344978041050987303578028583, 195209217365849964749228583, 9870715214759123312769756057827039, 1084720278478033582712525027039, 65369566397847920768959795427039, 117442621324251128217827039, 455470040888130355427039, 105106637027039, 153678643427039, 583018153574828583, 12835259162431488227039, 751771238627039, 38320128230343, 6880127711846627039, 349909698355628583, 62953178854762598627039, 12839731862341, 6878573407642258919, 349782296372060463, 62953171083241575051839, 3201672692541555147783, 576021586538912995584227039 ]; SMALL_GROUP_LIB[ 9156 ] := [ 19772761758871116700583184635, 1657596813699473959419776958573438791, 1657566360399682354607157605111818055, 11458590143355110332851695639, 8132541673324003668440002583, 181048091347300080219656188979015, 2200968803460527311171607, 181039407350313940642142751483719, 181036081301843909535478339790663, 19773710282632267601172686663, 181039406665183887893110962644807, 1252445199712513638150167, 136684176167497248791, 2205432761992764089, 11458589178035389035916111895, 8132540708004282371504418839, 1251484288353475830165527, 888219929459733293641751, 2200003483739230375587863, 1251484182912612299059223, 888219824018869762535447, 240279996204328562711, 1251479879991216702566423, 136789617031028355095, 2159570138979728113256699, 19773025152579518569383847751, 1201296796105667653655, 19773024191457735764693665943, 240279973635449349287, 181041818297018046075004886473751, 11000519338382751279230999, 11022536249346755489, 10999073562733677767798807, 15398608523518878843482135, 100720755062243144852046163991, 11458592306168147879958229895, 8132543836137041215546536839, 20227642467813435320645, 1251964691716452012690731, 6612744628008392688, 136684685848020529175, 97009679415763808279, 300918390151865, 14985735828418583, 2160606254802545036144663, 11022523084167187361, 235872114474255246503, 242615452111093, 235977074808732069911, 1205554300476089, 25760494934962199 ] ; SMALL_GROUP_LIB[ 9162 ] := [ 17289654046430215, 36228783799845, 158405644102890300423, 312508419188105645, 1451312534053788258806791 ]; SMALL_GROUP_LIB[ 9163 ] := [ ]; SMALL_GROUP_LIB[ 9164 ] := [ 42974455768510719519, 31109725752064501443419543, 370446949325368967, 13413282058128263, 512880621969, 1460466051719 ]; SMALL_GROUP_LIB[ 9196 ] := [ 48683550466956311, 448224592921021774871, 2565331331702319, 4924584715672651367447, 4121873356544381933101079, 1994986744100375976764059923, 348572056968401142095338646977847, 44555842691681912855, 2565329638649391, 4845126989374487, 278870006943, 526539463703 ]; SMALL_GROUP_LIB[ 9198 ] := [ 172690113271873427945232335, 14610136931255887605810165588084719, 131489856505170365244171522254227439, 1588403667323815748212190267375, 14295483420956613925898791340015, 1800901790400949158773377007, 195792767577003273865199, 1588403667238087656512454313967, 14295483420870885834199055386607, 195792758256830106683375, 1588403661959686573365759231983, 172690199013842542689961967, 18774746033570515457999, 172690113868935884081907695, 1554194762013401874263099375, 21286454737263511535, 2043398092468111343, 291752886537673277, 172883221931383304579565551, 1554382505946675191338092527 , 18795749910456236885999, 168991366785352071497711, 195811429469837379094511 , 18795740590283069704175, 168991357465178904315887, 21288478939734722543, 18795166725415108986863, 2052718265635293167, 18795157468521488062415, 2043461372014368719, 8047651946165126778893, 1590179875324849084629180073967, 14297210289697503859034111199215, 172883307664103389208627183, 1554382591679395275967154159, 1801073528267235847208028143, 291816166084268045, 172883221936011689472673775, 1554382505951303576231200751 , 18795754538841129994223, 168991371413736964605935, 195811434098222272202735 , 172877943534928542777591791, 18880899445499738048495, 223893189412847, 33683046521405, 2043462238857447407, 18372622586204243951, 2251067694106607, 158756122253885, 20714614071774005231, 31949360343865, 20705357178153080783, 1458183028637126669, 190533033015075577120751, 291687625637632009, 190447878850656506515151, 13412364746470923203213, 1752522837717277699349530607 ]; SMALL_GROUP_LIB[ 9204 ] := [ 92233991439843729815530711, 50086377612404071272256380775039, 107560937560608404611035, 198076080566626841, 107502349241539385706459, 11679960387476774875, 10021274919463139667159, 5441749924622172888446757503, 64237016359220682715, 5840286381545267455, 92235814308892888172536013, 50085866306222490472000658698619, 591307769348500092075995, 1088893105661203785, 591237502952524977853403, 698734202226340503349211, 5442396709085161828327172059, 1825838238078293855235, 296943405093654988, 24195935902233, 51990616947397178620891, 1088892517565539657, 5642352578122533119, 10837762993527, 5648697290201778139, 118375255829017, 613047723024347 ]; SMALL_GROUP_LIB[ 9212 ] := [ 7305331443034839655, 67346449583042127477351, 155547681684761823, 471068591880804320555623, 620395493562835309058332263, 121597527345436423998062050723, 52647347236926642127560884238847303, 12893647295939153440359, 155547497141935327, 1399657198125535847, 16898850267503, 151878746217063 ]; SMALL_GROUP_LIB[ 9220 ] := [ 8247919273644916544174875259, 77581335737922561839, 8424781209601839, 894577763478773607195259, 5846555745024680964403, 76064070951911266587873036961839, 76064070240606049153781516961839, 24850313127501331012549281839, 8248007174085978087989921839, 292327739322301441839, 97048048559562241839, 70206510291143, 10523812582401839 ]; SMALL_GROUP_LIB[ 9225 ] := [ 15518927428959, 77405061122686523 ]; SMALL_GROUP_LIB[ 9228 ] := [ 107363088122819578056583742207, 590224844717153060351, 11635061935812612817748735, 107368351543161986204697626111, 1264141578982008030719, 5447861645739168588890879, 4931293364964753408, 64034457690047999, 1260854519495380698623, 189253439520001, 136629850352911871 ]; SMALL_GROUP_LIB[ 9243 ] := [ 2978934988426019, 331655383331, 27677382125854499, 3856750298790947, 9462210882960419, 39088385789, 418122554147 ]; SMALL_GROUP_LIB[ 9252 ] := [ 393256017454301055234932991, 3638404673416440296505260114431, 42838582632807279952383, 33662520038448903661312256398918143, 396428565917818543822406143, 166724454473923494145, 396342573898056864815448575, 3667757091867173200696545706495, 132039259945289281613841584619777, 2881515847450058405931376254296435476988415, 313958187857501312562504601524391444991, 500025870538252419072, 393258860081454308806164991, 166723469311505006849, 42505279739003635040767, 18155135997968129, 4593812357406327295 ]; SMALL_GROUP_LIB[ 9260 ] := [ 6000628408794207256071, 25726969770598160197066435655, 300031371671779175735, 99607278053763762743, 71435479114233, 10754684241930551 ]; SMALL_GROUP_LIB[ 9268 ] := [ 93136317878831041979, 18524364379377121979, 30739072428575, 1998039700801979 ]; SMALL_GROUP_LIB[ 9270 ] := [ 75477630459361889171, 699677572362282820641683, 75515255413299803027, 699677535098407468626959, 75477991537947788303, 6486011095767079683525095315, 700026399498393305776019, 8151472734329747, 18271565702925203, 544091020898877, 169420211407864832915, 182305823327107, 169382947532512818191, 5031529755356004981, 1570525433262186817990547, 1677419188477355299, 1570179959873798100586871, 46642263897121049310405, 14558770766597027490707731859 ]; SMALL_GROUP_LIB[ 9275 ] := [ ]; SMALL_GROUP_LIB[ 9276 ] := [ 12065191351309230883159059, 111916714974214024656757307143, 1304145667869523207687, 5061022012387506288, 1300772132474266465799, 193227129566477, 140226064124618247 ]; SMALL_GROUP_LIB[ 9284 ] := [ 17555467105229762099, 1933986369984482099, 9023918443899, 208172462402099 ] ; SMALL_GROUP_LIB[ 9292 ] := [ 437650885916900210099, 4066652992806059300002199, 1009071676800002199, 47207889600002199, 1078400009921, 5072000002199 ]; SMALL_GROUP_LIB[ 9295 ] := [ 32520957 ]; SMALL_GROUP_LIB[ 9300 ] := [ 4945755755436139827559229468121891119, 531801695455212285552294873891119, 9223166105090493792768029819, 991738242184425984029819, 9223165650161448094464029819, 991880471720745216029819, 531801695785782213431496153891119, 57182978055794937682905891119, 992370945872577024029819, 991930185825403392083759, 4945755770807774583930239425115431019, 531801695918891941247051867431019, 9229050690566557469184082019, 9229049794925002862208082019, 9233148861983379444480082019, 85830171422268566166430464082019, 992371042044869760082019, 106654045372416029819, 9223166105091787003802811029 , 992370947213190554811029, 531794932325057690381692377891119, 57182250801953549319129891119, 265117104382689792029819, 46019459186749627462924032819059289812819, 4948328944811921009204018686041812819, 46019459186749629512457585704819289812819, 4948328944813970542756904446041812819, 24728372790609510663138566691417812819 , 2658964820426307349766318169812819, 2465592169843068701184029819, 2490183472989229044480029819, 22930007179540404985165440029819, 265117437666000000029819, 11376157826840042270186985963671424783993, 105798267793901042072157396462519001536053193, 11376157735342716931679282845133760053193, 585023189230230907708875931776053193, 1484498797077094597089543331462618593093, 3980223034971555720936144924850826268914265812819, 427980970437846575798863279729692541017812819, 427981003197326352034133509975062942297812819, 64401030938132143185962651444856584816490993, 513305796841362799015542859825899113078937053193, 216616857028805257185696532992029819, 3545530934540237916528757248029819, 106657820029440029819, 991916016826878720029819, 106706742204672029819, 991915969290013440083759, 106659205339392083759, 9224818954826039883648082019 , 992371042042070400082019, 28458338923008029819, 264662175336991488029819, 28507261098240029819, 2461358230539999573888029819, 265117437663200640029819, 62905719602658521434290048783993, 585023192304729223580922949056053193, 12298060820465691003648053193, 216262519317213557493507405696029819, 23139678561522702001112448029819, 3545530930306298613459629952029819, 2469690575809015804416029819, 10250312346056028672029819, 11657281536029819, 198349069966226649917103, 57183903651592967720409891119, 661162027074048029819, 17163818804791347248008666593093, 4948328960183422655847213087321812819, 17163818870905332824968666593093, 4948328960185472189400098847321812819, 9223099365507010825690593093, 2658980191927953992960719449812819, 6151906380108925440029819, 106637757202944053193, 30743209526269268736029819, 57212729335323337389696029819, 220402123227648083759, 1844646347139572338140213033, 531810303959814061433453147431019, 6149702580589693440082019, 21330920339712107133, 6148806939035086464082019, 10247873997411668736082019, 57192233999510118654720082019, 159623514884559526792783690352490993, 46019459329705830699380519657736345029819, 159623515499419592658511690352490993, 46019459329724891361422357225736345029819, 85774824099214364191914608490993, 24728515784929972136194790750361029819, 57212734638326962023936029819, 198448611310836864783993, 57212729335560305033280029819, 476518469013016240544640029819, 4948329418868899122712245023616029819, 198519693972390144783993, 285911848594877528934720029819, 57233224670852194243200029819, 532078432136441050211736192029819, 9224553858963907339008783993, 532078382818507584154905792029819, 2659438873305353752242037632029819, 23273082710839315582879992302819, 14143170441805274197487790093, 265117105861031834811029, 21327857093402837100 , 269525178917830656029819, 163523830579200053193, 3105423360029819, 17837093817056468053440029819, 198448611302438784783993, 1917966840072107904082019, 21330914740992107133, 206185587837696083759, 764785152084571, 1917967077039798144029819, 21338558860032053193, 206232981375744029819, 2293608960030573, 22168318464029819 ]; SMALL_GROUP_LIB[ 9306 ] := [ 151878746306119, 30396839951515, 1414565727633452615, 3400860778163, 1413296916611526391, 282664814154225763, 13163950038012511947335, 31413235831142939, 13152141213831291234967, 2630478503917227467347, 122503719058548991263012935 ]; SMALL_GROUP_LIB[ 9308 ] := [ 489860449941735404191, 816148160768829844065156455, 9420116192794701399, 847809669349133143, 5685952879901, 91007369603671 ]; SMALL_GROUP_LIB[ 9310 ] := [ 526539479831, 155035294691, 4902772055483159, 1442210569007675, 45644825046675539735, 93117942129, 4901595625574531, 1441777147469735, 45644816811666108959, 13426981570955445107, 424953321267076567931159 ]; SMALL_GROUP_LIB[ 9316 ] := [ 19120074839636430806993991, 197466155167910015, 21281482213503, 2052355138578273684551, 228041091996763040207, 178396503631318841488563181695 , 178396502673628508498705979519, 291024081179511032520579199, 19119743600189115563186303, 3353281147385022591, 220646949456644223, 2638290765767, 23657038612607 ]; SMALL_GROUP_LIB[ 9324 ] := [ 4021901760739339572347139937418240135, 349651976847874453417774782579840016219297511, 125908311250575585584099056796334705300920039, 4021556773766974490329068894947179559, 1448236620629422094055504297879993383, 5630455455808864494587273709523396631, 68462843358832704777244163111, 37500212017146552277184689140083600053991, 13503679885304116859587549952663468037863, 603866951502452389000745294850071, 37500212017133631544159398220598610417383, 431312424664170749246590949325863, 46258300611207032742673715159, 4021556773737212352333679739626388519, 1448236620599659956060115142559202343, 431312395298903824997663929859111, 155323532886038917632416761576487, 68462840166840204421317573671, 7342647293302015546932263, 431312395295711490127966890687527, 155323532882846582762719722404903, 7342646950924315590179879, 431312394902032753857435628534823, 46258303804048051629959478311, 64762414193435148798899355827, 5630248461386735445914079387456202775, 5629972439220489781095418452433790999, 46262669385318047082992417831, 16659262452063562027122080807, 603866952497928812628688778127383, 7346052107771525587844135, 603844751328478874494624750725143, 603815147921545620009568880388119, 64764795420367709157107263511, 603844749942728871773812975822871, 4964825681422770329664551, 603844749939578763555281620975751, 4961675911017452758159319, 52496436653969921297699064332208628086503, 52493863023291846718929869774059660687079, 431353129353470682456739465444391, 155330963107805863795804443032615, 5630455465090688245304267343211312871, 205410351685705149754286062631, 198584522727582332970905, 431353129348703973664511066946599, 155330963103039155003576044534823, 431353144032933434344243133987879, 155330977787268615683308111576103, 4021936578091760641518832735063424039, 1448305900017181872324274586096024615, 46262669385829331111212792871, 16659262452574846055342455847, 68494589852694364142487256103, 68509274082155043874554297383, 638643600231314652192969694690343, 5630248461386737021981200043034588903, 5629972439220491357162539108012177127, 46262670960203245283727948839, 16659264026948760227857611815, 603866952499504879749344356513511, 7347626992969726323375143, 5630248448466003996690280558044952295, 46292039419462363907786587175, 46292034652753571679388089383, 46306718882214251411455130663, 431626975547066038268597231467559, 4964826192706798550039591, 4961207707599431175835607, 46258300654277717083935276071, 16658465560662862154157587495, 787500092345083280423, 431312409979983430182381848530787, 22027131944064638558655587, 4021556773833069316851462392597403095, 4021867298770095692137148440982279639, 68560684676909837998236124631, 198882478413162758877125, 68462850447509320299309974999, 958564484407364927498202924503, 958564484066849208004411409879, 639738926287631907933039777564119, 639738926287291392213545986049495, 532135843741185391655, 21293788849055514689, 46262666193325546727065828391, 16659259260071061671195491367, 4961676253457565418044455, 1786707684897453335690279, 7342860115271169661254695, 4961675911079865461292071, 1786707342519753378937895, 787522562032725441575, 4961633688922414403075111, 532478221441142144039, 4961633351109200619556823, 532140408227358625751, 595413033889344204662681, 431353099586565978275355746155559, 155330933340901159614420723743783, 46262669385829322752368622631, 16659262452574837696498285607, 68464827714698974987166465063, 21298353335228786585, 46262666193494453055329451047, 16659259260239967999459114023, 4961676422363893681667111, 1786707853803781599312935, 7342860284177497924877351, 46262272514758182524067298343, 4964826192698439705869351, 6945882296294977033568435, 64763409670364988345332361239, 3937292904937593814055, 64763406520256769813977514119, 787522499620022308823, 603854031766479588829859366876903, 36716086252088350382013479, 106427158383270389657, 36711319543296121983515687, 51395549003975854050556967 , 342340788214758968228651777063, 603854002394869545803863689738839, 7344477222501996048913559, 5630334992190655690221841435296779303, 342340804005833083167789071399, 992326701253937656295417, 342296343423370447830349823015, 479359334888468088553642966055, 3191985656550387933864530940050471, 63848989957413945493, 7342859946301871438402711, 68479905622557987211306046615, 992624620557370139406329, 479212098914787234375542291495, 3191985656550388102770859203673127, 342443577822335005956556504103, 9252453864414359447726518265, 3191985509315989138212732996992039, 4469546438500076970918065116593191, 17256936822917482155067828608997, 52498368153580988771135262795012844763735, 5953435911612614617398033058876570199, 1126325710007446657353653535894935609, 489827843679004030105180603849094409364425767, 388568851454766821808034138757306999622695, 46262681984910731290132628951, 16659275051656246234262291927, 198882478396445070536645, 4963250800634417212544099, 63848981598631921008, 532140478998905928743, 191624759505114414119, 2425179321974849, 57205700476058663, 64794168754439893123493313575, 992326701237219967954937, 6946031439688435307877527, 21289081705275342997, 6949181547906966662724647, 106427141665582049177, 744962591367883706327, 2283636227363965, 745300404581667224615, 11413723086372929, 79889374528977959 ]; SMALL_GROUP_LIB[ 9333 ] := [ 80041180559 ]; SMALL_GROUP_LIB[ 9340 ] := [ 6318938714894410043287, 27561815814741538782611431511, 315946885265795607879, 104894698410712894023, 73941750247541, 11228582897543495 ]; SMALL_GROUP_LIB[ 9348 ] := [ 499979582069881684066406464719, 36076468973509017602319, 53485192776120126771264719, 94129002905603177, 36066150438685900802319, 3858167667097602319, 5718193436688486491239, 53453682527778236108864719, 10931354533888002319, 53453672238405615719488079, 643082498867227279, 499685024269670766526566402319, 102197907308399820802319, 266648793907262457, 102186302877168435202319, 114208148612494131202319, 955346037519233312358402319, 880541241360389056017, 47051721936510400, 10485760003177, 5728639779468083202319, 266648702156862457, 611719125401627279, 1690828828761, 612819710771202319, 28534374403177, 65444249602319 ]; SMALL_GROUP_LIB[ 9350 ] := [ 482051157406713, 76599674906561491871, 8192478989530015, 3005260481679081273, 716206960379086357148575, 482463407161145, 76599681915914564511, 52613362681, 257832268703, 154753053689, 2412105374380959, 51673840115, 2410353027725631, 1446253128859449, 22553193006076277663, 482153230016307, 22536803307795551039, 13522467707194241849, 210872354652806719746975 ]; SMALL_GROUP_LIB[ 9372 ] := [ 164910490739545605599, 18325077726860844239, 1545724858943665164805599, 2322960923181138179, 1545541130637253590405599, 1888990749415401990405599, 14486533378023514055942405599, 774246590011435100, 167052422811033244805599, 2322959417273938179, 17808986226617644239, 27751718448931, 17824627009056005599, 248044428809739, 1900239756805599 ]; SMALL_GROUP_LIB[ 9378 ] := [ 19431350681871439, 39775191580281, 182224772216381711439, 351185690559538121, 1708903939448164659471439 ]; SMALL_GROUP_LIB[ 9380 ] := [ 64475727529598682263, 5416041589582981326159, 3403761828701703288058485839, 355613674133603933540209139, 223484397343994982149663478711479, 38685970311996417563, 605040600538364322423959, 962736618884684495, 604782345579605374339223, 2540045705192670894976151, 5675280833046206945031335063, 117407898602546085351575, 962735496794696399, 12514081261334523419, 61714949371353, 12516830702402489495, 102751383213011, 1333844398720151 ]; SMALL_GROUP_LIB[ 9386 ] := [ 917074223, 8593457975855, 594589889, 8587330738523, 80658362668311215 ]; SMALL_GROUP_LIB[ 9387 ] := [ 261006442961 ]; SMALL_GROUP_LIB[ 9405 ] := [ 154685133764296401847679, 16596674963916119, 16431394352165375759, 100615828959, 185994069335 ]; SMALL_GROUP_LIB[ 9412 ] := [ 8523507643779676676579, 523761158369152839611, 755881346282983599982615202159, 755881339474351690163264162159, 892238886347245642795682159, 80223263097973487137442159, 10072037004180482159 , 906583670300162159, 5945840672231, 96241996802159 ]; SMALL_GROUP_LIB[ 9414 ] := [ 1871540896132969248860148887, 198804004365689284211351, 21134190031660119671, 198957173018220046231415, 21134264873170617719, 2252373078119543, 19808053112090231, 40390657003711, 186470530345191448439, 357988328142841999, 1755433598768527576242167 ]; SMALL_GROUP_LIB[ 9420 ] := [ 196123940435862323445342807947, 17408815232698662847104905595997129775, 17408815232712229293727876921419107375, 5613949836893233049617461042220079, 595960704582890854442307554351, 1847487518910293517686619678182447, 1484250088368021354996095, 157085736311897088383, 1479744673223288550678911, 157564063035479777663, 20820179558027078326691723, 402978028572127247636595, 1848069559762317720354356665519151, 1848069573328764343325682087496751, 595980046843422532758875409455, 196126095907937011998619339823, 6716297368954233839999, 196126091430086583691014563447, 2238922245861387214439, 3796053021930692333025693663, 17408815252961032923787838096693394815, 17408815380756960112177723571722386815, 5614132041265041873081417673080191, 1847507823452766485172553590635903, 63276504161817622315426175, 42785138403154366287, 63267521846875706695999871, 105444395031084412332761471 , 596064669204255251109249638783, 1484250090978581924752091, 42779000779194317040, 17029247344337279, 20826511573350108483871103, 42785055622090886991, 2210406919006663876199, 1525536741358501, 2210882224221429522815, 4552958491409799, 234637011498983807 ]; SMALL_GROUP_LIB[ 9425 ] := [ ]; SMALL_GROUP_LIB[ 9436 ] := [ 1836790317442310394837835343, 10716500847142897631, 1138734560970719, 194656066257549998530127, 1836774724192003633675569119, 103758590482764007391 , 20639124044626528223, 33036353779637, 2186517185300447 ]; SMALL_GROUP_LIB[ 9438 ] := [ 77000007355463, 726723841241975879, 77432138959943, 6858819616033225215047, 730807219533941831, 2717295400896651992763648837, 25645833993662648056860881931621, 58277231894066062495077, 629946124146157932121931811911, 65453399500143780545203271, 19347206353811424485177723975, 6935092127152408759367, 113340833246128770119, 8408534087, 654243204173157, 734805269264206919, 44877352007, 36723625053, 423728854404167, 346700595662181, 3999157723908443207, 4108730965, 423304860615143, 346341831688965, 3999153059976625607, 3272160264276069189, 37744050604134764596295 ]; SMALL_GROUP_LIB[ 9444 ] := [ 749430089713042225187, 1452568874320589319203, 7079073297003578406883673, 5536740177300556620, 79436608707024419, 1448878229205649836323, 207629512920115, 153413782590548003 ]; SMALL_GROUP_LIB[ 9452 ] := [ 248863814515425007779, 326938847790102044119627439, 3659477675077488287, 240840393245752223, 2796941413353, 25451006134943 ]; SMALL_GROUP_LIB[ 9460 ] := [ 24727264798817705698895, 60788360463674223, 24720256901670879989327, 2613135175791765071, 6959046728559, 7839229175763412559, 574890630051252520911, 233853623319372184797173231, 59822734711908040254816975, 24334064795367116546431540622063, 2613134975050043051, 74187020314134933816911, 182376414934713099, 74159110249979519154767, 271914512595179547733583, 701809212171437501395660367, 7864403794829653484111, 182376297835369227, 830779587690280619, 6440463930561, 831332028937702991, 19287934790511, 87807779432015 ]; SMALL_GROUP_LIB[ 9468 ] := [ 50371620064162432745007, 477019612261209925440200239, 191569020009258580411 , 476918507246493851702708783, 4516421688883983359148705642031, 162591186253176781467434230362015, 404865697852178003176369428699646144655, 574541453406558091932, 473292513773541054819705391, 191567913858131306939, 49988645971543172306479, 20384785059891011, 5279343287297130031 ]; SMALL_GROUP_LIB[ 9476 ] := [ 1135937308163804867, 53161535703260099, 1167294851667, 5600936970947 ]; SMALL_GROUP_LIB[ 9486 ] := [ 15118264051228379, 143411772402950428379, 15291847699228379, 143411599614009640559, 15119058758440559, 1360404072943933046428379, 145058426322307228379, 1617408028379, 11548915228379, 5975078428785, 109708640006428379, 401241641371, 109535851065640559, 56656861344053145, 1040696324663414428379, 3777871622831131, 1039057075982045205959, 537446962761437583945, 9872045336334966062428379 ]; SMALL_GROUP_LIB[ 9492 ] := [ 27411071068623480246793299311, 260185886583372095345695198490847, 1249034570528327418836447, 1249653978202211636490351, 131587700031295075231, 1249029089618623098582495, 131588204202003854815, 260201937381456536160815917920927, 2941254931957029053412255, 27412762050366256558545138335, 14003989976724383, 2742257798195732885, 2940010767238484063171487, 309735668780470645663, 2887714583637921144137071, 27410188065541989162763514527, 1548549961963314099103, 27410186826597157498615705823, 309735641710902441439, 260177505118124528869625379697567, 14700699866921466022867871, 13705738601589194613, 14698836360302448343004063, 20578249058960740790055839, 139539043136831827472671585183, 26072658283021132926981, 8222511065651572480, 360927576744341, 2889224926807605397959583, 13705722811007713141, 304254732006582187487, 290997858805137, 304385243418323858335, 1445966104256917, 32052624610046879 ]; SMALL_GROUP_LIB[ 9495 ] := [ 1768200652581785939, 186701769305939, 13006898585939 ];