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 col37.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 18004 ] := [ 5034598772337726436619, 1004056334900528902667, 440326790637959, 55758418362380555 ]; SMALL_GROUP_LIB[ 18012 ] := [ 6088645805778245346914422079, 14934275325947791829052378431, 7275510661670314578365759, 338773099362500881435967, 18748314755680341311, 5112996407089471307, 6088644727168139107054634303, 14934274247337685589192590655, 338032745175295519053119, 829129209763877935338815, 7274432051564074718577983, 338032685289293804047679 , 829129149877876220333375, 403865872817526639935, 337694489256261021648191, 18808200757395346751, 1144279946024604028223, 67314014909291807903, 20611983648890221418196287, 14485412056572157523, 20610770425517186316986687, 23035559211948717824779583, 371263049483827604118285411647, 6088647219505376177535133067, 14934276739674922659673089419, 92129153720273080033913, 337830754254355027176341, 2556137884229154108, 18767099774598716735, 46032060055999028543, 295646655295307, 1052502092815679 , 1182845215221233918402879, 14485409469663923795, 65610048205179862175, 47673023273851, 65669839784744240447, 804528460701515, 3642736351415615 ]; SMALL_GROUP_LIB[ 18018 ] := [ 238097151082332045909712151, 13214405268661978815767, 47190012738188286992835059145479, 7857140916857248101931965191, 13214405099587060653335, 2619048326017775897303603975, 436071756957284123564807, 733400336814857495, 112864306170714887, 2033588966653015644935, 113196194709134087, 56430600564792665, 36643232988930253998021911, 146533287216712457999375639, 2033701633688935095575, 8132605742234955963671, 13214913002828203056407, 33544480503499123088949, 662618723172415709721084320519, 2642617720248595461417475791623, 36775381893298705852291847, 146665436121080909853645575, 2619057480355792464492649223, 2033701464614016933143, 8132605573160037801239, 733428407548796183, 1861720533865881141, 36775375911444891955124999, 146665430139227095956478727, 2041035736020906171143, 8139939844566927039239, 145357835517466160159495, 2033588803839395388695, 113033381088877847, 36641206002910688806722311, 2039570820466912811783, 2033588641025775138791, 112870567468627943, 36641206001119738983904199, 2039569029517089993671, 1016766114632070894593, 660713962229531955284613303959, 2640712959305711706981004775063, 36669664619887674376359575, 146559718847669878377713303, 714296537472038028021632663, 604404449712026613387402261, 11939064154120586260289559444871943, 47614686083439193026355140971223815, 662618830953458644653570808583, 2642617828029638396349962279687, 47190177681050671601007808240391, 56436861862712321, 36643232989011660425957015, 146533287216793864427310743, 2033701715095363030679, 8132605823641383898775, 13214913084234630991511, 33544480572381426392085, 662618723172416605195804629767, 2642617720248596356892196100871, 36775381894194180572601095, 146665436121976384573954823, 2619057480356687939212958471, 36641203067381115577208471, 2036635290893683297943, 660201249760447436160954555143, 36748987045845621293210375, 112870578934799639, 451360095448620311, 3155492363609, 6286523521799, 3632141744206324969650151906055, 164890992307340377518473877, 201531176013389064061247639, 5082815060645280162785, 201584036116394046889237703, 9148976830259343777765, 11182057715066375623271, 56424314805803005, 201584068387518904362883847, 9151459224479149366293, 11184991453689782242967, 282096516606235649, 11187925192313188938695, 507768718406744325, 620604819307001831, 3132560013397, 11187926983263011756807, 507906483777723957, 620767632927251735, 15656684641625, 620930446547507975, 28180809276189, 34442871593735 ]; SMALL_GROUP_LIB[ 18020 ] := [ 103164460734091176346211, 30342878040330007740031, 33527525829890424025449796921087, 33527525815731042931564752594687, 28978085748729385816439580415, 1859023665667404735751579391, 89240114745936323311, 6068418468720327114099, 33504343443812076088090312090511, 33504343429652694994205267764111, 5795699670381448456954749839, 9854373044674382029331675078763, 10887073354845063538925029012805512795887, 10887073354844808386877717204306751067887, 9411517498722757763621336459460155119, 9854373026469463480050903801963, 10887073354845062574064345900924635125487, 10887073354844807422017034092425873397487, 9411517498721792902938224578582484719, 1858995259568608682938589291, 605419255242804513964354087838488303, 605419254987652466652545589076760303, 1775424893371176586223428416247535, 1859023594271605476414235535, 17848277297776467775, 546778666046813143615529067, 604166015454625643200125061239871215, 604166015199473595888316562478143215, 522185105192305821994401817630447, 33499606455528908889184110843631, 1608404554146989211001583, 1684087857203845979, 1608106880174908333138671, 5467549600736913140687599, 28983450065727559467172831983, 103250461747183914164975, 1684087516541033307, 5725807679655878463, 18736454740175, 5729769490834989807, 93487609031195, 317741071999727 ]; SMALL_GROUP_LIB[ 18025 ] := [ ]; SMALL_GROUP_LIB[ 18044 ] := [ 26280972508767461493535, 164549719874818768005487011911, 505395663463081645623, 45708027962408756023, 81175998714965, 2532049086140983 ]; SMALL_GROUP_LIB[ 18045 ] := [ 937164864161599 ]; SMALL_GROUP_LIB[ 18050 ] := [ 269519342417904374632005092711, 15841210617117444514701671, 713115529282515233839961968487, 907025065219390498978534622567, 433887475662516759911, 136915424675039591, 3098275276165613119084391, 171500933153251656539, 1676877379498245, 171649599778704246119, 9501436613767715, 93117934353, 9509671623205223, 526539479399 ]; SMALL_GROUP_LIB[ 18054 ] := [ 3610176462131969186085032171, 52580572300404372581461, 199805087330600016388591, 194180576897387927, 199965462617827925685995, 2912405784147402613, 11067081405905500087, 10837763202095, 11075964002816443115, 161390253171781, 613047723219691 ]; SMALL_GROUP_LIB[ 18060 ] := [ 1426532113242776902401072224090893835519, 78988489049040169770970476001320191, 1356219330277605085876013614211, 75095200508777521952962319, 1356219321130745193199223964803, 75092082593482383495496835, 78988489116622575672156460267068671, 4373670493931065946743783513343, 75104971557442351238071427, 75096032085762294605940479, 1426532113446203716623291947646783932699, 78988489120395035195220682998335771, 1356395804388039656178633944723, 1356395786302203081341852667539, 1356557233160249906224171478675, 24496508227247989776933743527358099, 75104972557847105196445331, 4157925820574912821007, 1356219330277615137918030588161, 75104971567851312055167233, 4158132667666312574735, 75095824697549674448422019, 4158637726035982648451, 75095824202562316748867327, 4158142738678283093759, 1356230594012921983989961559699, 75104972557826027314548371, 1186715156060584084115293845263, 169599947247100576670680725263, 80745778186299034060830479, 65727465763983756424230671, 78988319597421106757923789795220735, 4373661107485801572516854193407, 12858404383047525381590651844464507, 180339480373800246556378101545311498030770935, 180339148627842125198868772783495671598770935, 9985574771528579511969060083778142006007, 9985556402427908340456915634065194806007, 9985579669887617477118066327716189924087, 711982524186324897101024857979, 9985574771528252863673870815839858010871, 9985556402427581692161726366126910810871, 552911116917427524029590148803242743, 552910099802218710546082704190122743, 552911388144395296186192859379084023, 9985574771460771831381494496942478027511, 552911117240321241113214628840270583, 65718526292303699791955075, 21432075718543741205308018143246095, 3062975047372229060858305196046095, 4373999108909022478298411415311, 1879471976222705860656239, 21432075718454143555191589901358863, 3062975047282631410741876954158863, 21432077010029007929864421038487311, 3062976338857495785414708091287311, 387063287476899966158695967974184318735, 55317329355542456829934152147752318735, 1186715156065545466918402676495, 169599947252061959473789556495, 1458268754046052973862278584079, 1459560328910427646693415712527, 26336335316205275140156447495943951, 1186715227576357513326815065871, 169600018762874005882201945871, 80817293959728245582051087, 1187038121293441001503215826703, 1187038031695790885074973939471, 1188329606560165557906111067919, 21437908470559538568483055302211343, 65727470725366559533061903, 233104511474939663, 3638393423977334028047, 103976485991256276179, 1186715137974747498739571619599, 169599929161263991294958499599, 65709587822265668785108751, 9390916237908885427156751, 80727692349713658338604815, 65709586820781024677836559, 9390915236424241319884559, 4469972005048242517775, 65709379927398380702005007 , 3639394908621441300239, 65709379432411023002305667, 3638899921263741600899, 5632387016394213734546543, 21432075391823935203951515683067663, 3062974720652423059501802735867663, 1186715156065545445840520779535, 169599947252061938395907659535, 1457942123837701733788060292879, 104068575257264159855, 1186715137978707396898573178639, 169599929165223889453960058639, 65709591782163827786667791, 9390920197807044428715791, 80727696309611817340163855, 1186711401487439645000755648271, 65727470725345481651164943, 22348915207779988911887, 5631971137439779375199967, 4373672371220118401717761989887, 711990033342536102516375457659, 552911320663363003809873961999100663, 13409443527723356636291, 403711011043216421982811919, 519857640961978170479, 403621413393099993740924687, 1695196277767772824878053135, 7291020859441066265327679436559, 4469971847666724505343, 403648434741456025557003287, 519777061624678366955, 403621409928188489843149847, 565068267975013372161960983, 7289890731431273505874963344407, 101713398690225666363999288165, 78988523024235328977962108721645851, 12858540002166189546324866895091511, 9985578451180335848830597507849512395087, 242192636727953189965409939, 7291021011618978034690580330255, 9388628359802336771424527, 7289402725887578703325386073871, 30617993109573414111981217707791, 131675839469838743782690740413331215, 519754017878996631993, 242174550891378353184132755, 403621408938203235502943891, 4373999019306917307730413383315, 9390083542065175538606351, 30615244776494360356396514445071, 7292150987454818917318628726543, 131675839469838747742588899414890255, 9388628359823414653321487, 7291020859448491074639280883471, 51025356633348131155678382659343, 2378065660825287712719805472518800414479, 169558625058961212545929314575, 131675836721505664728935155710068495, 131696246833362518499734437578282767, 552960955558895863679103279630391055, 1186715227577853438357726761675, 169600018764369930913113641675, 1879471987353935433358205, 65718526303434929362053377, 311847795233479598940, 3638405112365441955599, 519984758857314416399, 6115396134452435, 201808072434333455, 1390461163064563608412224202511, 9388628359760181007630607, 76982261610281001293024915, 311870817901139558841, 76991201576948415624858647 , 519777019468914573035, 4262088647688867432191, 5758477334482279, 76991205041859919522633487, 519857598806214376559, 4262583635046566986883, 17269811234327193, 4263078622404266686223, 28781145134316755, 235985155334190863 ]; SMALL_GROUP_LIB[ 18075 ] := [ 2763373345519277759, 153307068077759, 124358262912489567917759, 706225029147591123, 380613441197759 ]; SMALL_GROUP_LIB[ 18081 ] := [ 30346739714686605, 30370136066686605, 1690831433565, 91039904565886605 ]; SMALL_GROUP_LIB[ 18084 ] := [ 33655407909817231485267143, 608624411743719547087096833871, 16997094393654991146383, 608624396634447238435262558991, 1888657543798196439887, 11006363861973424127195960086941071, 307394367695529592708156815, 124074066765643389521, 307375455625164666623249807, 375680698414492115594661263, 5558919745406143219321125490063, 41355981568705010624, 33671041223278364432813455, 124074025078460127825, 1861088907277484854095, 768235234578937, 1861924366072544251279, 6866474614427649, 102913744849358223 ]; SMALL_GROUP_LIB[ 18100 ] := [ 3286086537386867160461460793379, 1076715961662600130122543780306478296719, 1076715961662455094176535794130478296719, 180426015036498342219088515425496719, 9968288123677756597256955096719, 59478166326722551193806747591896719, 58856195987526902169697919, 3250597406681088097919, 58835800296215608320097919, 3251724290616729697919, 180334323302497919, 181557514087629241697593379, 3042768206279969332095603, 59487069809583602856418814715096719, 59487069664547656848432638715096719, 9968410846401301647023662296719, 3286191025245180736455828696719, 30427675821479116897919, 997098295240882825386471165528543, 19488559788945902941540163593882535145697919, 19488559788943277790917419044096935145697919, 3266593725001206316300681074643382497919, 997098296255120210057703165528543, 19488559788945903125117130219375527145697919, 3266593725001389893267306567635382497919, 275368492930647394968112728543, 1077437663354264498736076771773264097919, 1077437660729113875991526986173264097919, 902128037121150608715963881500897919, 59480057557039194408470523523297919, 550883036038509375897697919, 168152287476332200143, 2753664531366953438208097919, 9970982952302360735492198497919, 181578927383015184691297919, 168152118171039400143, 10031984510185267297919, 9311791104129423, 554184596275297919 ]; SMALL_GROUP_LIB[ 18108 ] := [ 4757741974101324025515087, 86162725436240457639572843599, 9459812925073130149291, 86153192085771093715426637903, 1560234632199187719704127789007951, 56168447273659622109328510615533135, 511600411659535674446645744085333232011695, 28375162261874520407772, 85810672422721235164477919311, 9459784360575174280619, 4738826581917839333975119, 526402890901511891, 261687527058843405391 ]; SMALL_GROUP_LIB[ 18116 ] := [ 5225663146996321490211, 1042178916408909029923, 451403653291427, 57517741991612707 ]; SMALL_GROUP_LIB[ 18124 ] := [ 48401556779779889705235, 877229869029018000862839255, 56654570483677032663, 2673566537530360023, 15914909218145, 147390004605143 ]; SMALL_GROUP_LIB[ 18126 ] := [ 222590086517975406067394613, 213837397396259602113447375149943, 11797274489477633400058092407, 12280154849785021933621, 677576047097297469, 650836011738012344988535, 35906212652311130999, 20468279604782100594741, 11797053548764633239066227575, 677588481290092597, 650836012398302041650039, 37764906236477, 1893807662623833040629986167, 34794957656267383043733, 104384421247406221952055, 112930379395863589, 104480175582398657311607, 1919615945288663093, 5758822772815550775, 6277929165613, 5764105187721032567, 105946134886973, 317741072135031 ]; SMALL_GROUP_LIB[ 18130 ] := [ 206690514665453310617320679, 1628792434386656590505, 11400469131633659944775, 89825760914653409, 628744592342034719, 2979773394303 , 11400469644804774542567, 89839630404146345, 628817902501182695, 4961128956161, 34681463782631 ]; SMALL_GROUP_LIB[ 18132 ] := [ 72930946067144249283019, 144794960784468741900, 72834423108282235363019, 2828177671718591, 4016844107566403019 ]; SMALL_GROUP_LIB[ 18135 ] := [ 1964497892044378440059, 108311297472840059, 1964079140822381640059, 1964223543008621640059, 108326424903240059, 447648385421640059, 6071501640059 , 28905126048840059, 173307312288840059, 799373640581, 1595636040059 ]; SMALL_GROUP_LIB[ 18140 ] := [ 340554446154640838230167, 5603135238555873379171985284151, 17027721586493046871079, 5664226253824819069223, 1056474087408861, 312220433630498855 ]; SMALL_GROUP_LIB[ 18148 ] := [ 858189633536006597088779, 27204820624513105164731, 282810916217260331067300130922831, 282810916407690259030141931692367, 172303271804608836234944225615, 15574425944967818930199257423, 523161749815006228559, 47316200447712968783, 83069236934591, 2606121310892111 ]; SMALL_GROUP_LIB[ 18150 ] := [ 137928704795291616000013399, 1036901730779392013399, 112519588214779275844778053829504013399, 341578729224116078973824033199, 18819766408415613312033199, 1036901753622656033199, 2042230526098243856582721668702942144031399, 1724465269645190504324111606887296033199, 4133102692563720219864969984013399, 899801467242242922870060147126976031399, 75015813870031521990547564770176013399, 227719179758334391726208013399, 57129861120013399, 12546511281451020288013399, 57104466432013399, 18819764695543677696013399, 12550309523959677696013399, 50167040553463677696013399, 1036901730582784013399, 691477203222784013399, 2764024367382784013399, 1382326257942784013399, 7599510990652160013399, 418705867264013399, 227838276608651808867200013399, 1036444901638912013939, 57129632000013939, 341578729224116332757888013399, 227788117859866732757888013399, 910531786045364332757888013399, 18819766408669397376013399, 12550311237085397376013399, 50167042266589397376013399, 25089221580253397376013399, 206895131367532692352013399, 1036902007406720013399, 691477480046720013399, 2764024644206720013399, 11399181068436096013399, 4135264720447030325689811904013399, 1036444878512896033919, 57106505984033919 , 341578729224116078916480033199, 227788117859866478916480033199, 910531786045364078916480033199, 18819766408415555968033199, 12550311236831555968033199, 50167042266335555968033199, 25089221579999555968033199, 206895131367278908288033199, 1036901753565312033199, 691477226205312033199, 2764024390365312033199, 11399180814652032033199, 4135264720447030324421329856031399, 18811474963600515968039139, 1036901684355456039139, 6199653935417711438389588928031399, 4134354339156581198389588928031399, 16526151916723362638389588928031399, 341578760317348405588416031399, 227788148953098805588416031399, 910531817138596405588416031399, 455369371681598005588416031399, 3755146634320718389580736031399, 18819771433279828160031399, 12550316261695828160031399, 50167047291199828160031399, 206895136392143180480031399, 75055054676113600411271456457696013399, 9558543027318375077774208033199, 106591446248664871680013399, 173487555945828512260743594944031399, 5234813257183369324671872013399, 5872807327051904013399, 49575838729137356472608371424013399, 95011860617878153244458365888013399, 106591452987669885120013399, 1251753154248498400854912099133, 22719319749610249774982857664091933, 412355653455426033457809876595680019933, 3935992482848504333670379395497632013399, 125393594007646384896019933, 15020429667197283587857280019339, 2998828782491595483164458356672013399, 31299047634622784515453659164458368960013399, 35113637334806568588033408192013399, 19000861192624640019339, 5310312123238657822464013399, 35113624438913441211035434752013399, 57129664512013399, 2162688013399, 76161318912013399, 152299470848013399, 601868074138370849792013399, 266460999680019933, 1827039883264013399, 1024736303763882272359392013399, 56436498694170215360091339, 1036559083111296099133, 56459300481589576640031399, 3109448848507776039139, 57100206848039913, 3110705006904192033199, 171296424704033919, 1049088033991, 56459300482858353600013399, 3109448963851136019339, 57110692608019933, 3110705260659584013399, 171319493376013939, 3146240013993, 171388699392013399 , 9437696013399 ]; SMALL_GROUP_LIB[ 18156 ] := [ 2479749143367872396504087, 427547178242176022883791, 818088232070970875068188202625919, 818088231472431200844056607845247, 690838683443924807381899799423, 45022327402332663870207290239, 2095734676355163366335, 45022325446212922959641279151, 139722669086759569007, 7762546567372103453112674919, 14853209941480547207523312857566258111, 14853209930613460882309979622728377279, 12542867136607898980566487384564671, 817425376316751826741766219735999, 38052397312069967311545279, 23548971697536911399, 38050158853405710547428287, 43123495124294742587745215, 690879325597971910230697583551, 4709586691845345728, 2481760222614080367633343, 23548966969058936871, 136583173506427111023, 87139094225833, 136690907148598649791, 1297629455596599, 7523008457483199 ]; SMALL_GROUP_LIB[ 18162 ] := [ 1181300886551211844677596711135, 65042445026820606204676319, 3581369778550579628255, 65044835451524925758605535, 3581370819195720141023, 197293104100772063, 175587204965777101292013791, 9601735385351484145, 9667834173863671859423, 561618014371345, 532314766638549215 ]; SMALL_GROUP_LIB[ 18164 ] := [ 121237647451759900347, 7078599455117366203, 28029829398119, 389440083129019 ]; SMALL_GROUP_LIB[ 18172 ] := [ 103767110497954845687, 57648667336098351007, 1886278914765854370690039, 1759346358703019567, 1885655959231710927063031, 11523395945124337647229943, 34277460439120129620428545015, 202517648430565850296311, 1759345770607355439, 11141949008440766367, 53852760134451, 11144486893272464375, 96867757268647, 613047723037687 ]; SMALL_GROUP_LIB[ 18180 ] := [ 623791461994145251841000101030099, 11340528779053546689856257000103000199, 32579258290541056000001030199, 206170813203193478816568779649000300010199, 592290919606165510656000003010199, 592290915717504635520000003010199, 10767848918440087777254144000003010199, 32579258504253568000003010199, 68142275903339361342433615491565216641000300010199, 3824337582858843277800982120031105000300010199, 210359603017643831365142110593000300010199, 32583109040996736010103000099, 1792036831744000001010399, 32579220166411008000001030199, 1792038666496000001030199, 592290222620890170240000003010199, 32579258504249728000003010199, 99090432000001010399, 34310341338333697000101030099, 1039721179906561000101990003, 11341845603365247291622145000101000399, 11341845631437204289356545000101000399, 1909114534321491936001000101000399, 623762009372644082433000101000399, 5776226652672000001010399, 623762005521683710721000103000199, 1925478093312000001030199, 18902131041176388353000199000103, 206194753069180195756116640641000100010399, 206194753579528373974928032641000100010399, 34707702233964722588255105000100010399, 11339993330394666227532673000100010399, 105019540188961280000001010399, 57194586368000001990103, 105011800991339136000001010399, 175018409588689664000001010399, 1909255240635512789760000001010399, 11339993260384206034371457000300010199, 35009080631237120000003010199, 343640742328582007751553009900010103, 3748620610797695958846203489170369000001010399, 3748620620075825838864194595730369000001010399, 630986026613478656658631562177000001010399, 206161078746575032020102030273000001010399, 1909255267628665019904000001010399, 1039797442322816000099010103, 1909114542024047989440000001010399, 3182325421830174674688000001010399, 34710260765489130239958784000001010399, 57190388224000003990101, 35005191970361984000003010199, 636465085875875748608000003010199, 1039988062955776000099010103, 3181834686323915492160000001010399, 34710260765489130451771008000001010399, 1909605273679770424960000001010399, 18903517310657507712000099010103, 34710260274757474729335488000001010399, 57854676168872576045551488000001010399, 114563716504222474568449000399000101, 3748199994682597773483510007448449000300010199, 210359603049146805329266262913000300010199, 113585857328986760453209136939905009900010103, 1238965613544963554103281738232580480712641000001010399, 1238965613544963563381411618250571587272641000001010399, 208564079510338668629030450868199104449000001010399, 10413841723128909172514538369009900010103, 68157573253617990913937381491416772545000001010399, 19121687871796880928055617855164353000001010399, 57190384384010103990000, 623863904031332107200000001010399, 1039797442315136000099010103, 34312095355896704000003010199, 19066258176000003990101, 34315946316268416000001010399, 57194578688000001990103, 1887353963264000001030199, 1049088000001039901, 1887565775616000001010399, 3146240000001019903, 103809536000001010399 ]; SMALL_GROUP_LIB[ 18189 ] := [ 80379391675 ]; SMALL_GROUP_LIB[ 18204 ] := [ 354246413782798683443326435, 131067677588071369291791931904065439, 131067677588058581917256404275265439, 264396769714411667743172300865439, 7195788209098934588191641665439, 569915952790673817603039, 395286102455583676928065439, 763590252953603195, 569873319556094361603039, 31304840760524803039, 21683886278010572920039, 19459964506485657726435, 7199937789965645173824000065439, 7199937777178270638296371265439, 14523554775908097006080065439, 394733508366433065472065439, 43826750645862403039, 394733465789600176642240079, 1252256500940856079, 354249193860740487682496075, 131067667528534604740114851532803039, 131067667295753238695369896857603039, 264386791140631001356641996803039, 7185728786302547164210892803039, 797867307588426137603039, 1069005727334462475, 797822170109434265603039, 843411940055023616003039, 14524376467340446813388803039, 13902710287495992256035, 91625429406462400, 42362470403195, 21726768660083507203039, 1069005635584062475, 1191177322496056079, 1690828857561, 1193516066406403039, 58733363203195, 65444249603039 ]; SMALL_GROUP_LIB[ 18207 ] := [ 254890919591880941566747038207, 9211899455618101207929019039815167, 1645949852004114306559, 1435149929288533349887, 17314160629, 78824074696005119 ]; SMALL_GROUP_LIB[ 18212 ] := [ 15589044295387771701323, 2715573327457383452619, 5178241446945014454843903959567, 5178241457102939677350033482255, 7764358302486771312827130383, 283907697248205692059361807, 23409400164609323279, 857253734586007823, 8206089879183, 47019189219599 ]; SMALL_GROUP_LIB[ 18220 ] := [ 115467353203325763639, 6495420305923639, 349672499543392886032903, 5804010750161321138786729933639, 17483624243108936643639, 5815933718426089443639, 1075255389307193, 319175298478403639 ]; SMALL_GROUP_LIB[ 18228 ] := [ 18526319651436018319872031679, 111118539669403421164032031679, 7875647842489975296031679, 1018093693717725696031679, 6155554958032891190041057282560031679, 36920244499727220171563213376000031679 , 2617049694025393736578288128031679, 6160787048091002470480091662848031679, 7849139752136674175612668416031679, 4631389372990720885248053255, 6155554958269081119052951917312031679, 36920244499963410100575108010752031679 , 112203455775023540612067609177175680031679, 672982216741027769287253470448400000031679, 337697770355107043647077504031679 , 2025468756842616862690425984031679, 2617049930215322748472922880031679, 47703581822694877030436875155072031679, 13890611374787461169664053255, 6160787048327192399491986297600031679, 36925476590021521381014142391040031679 , 112298826312602793031910327861065344031679, 337984806237162742595894400031679, 7849139988326603187507303168031679, 143074119401947296873155559044736031679, 337697770368064577599977984031679, 2025468756855574396643326464031679, 143573070562613743532544031679, 337984806250120276548794880031679, 2025755792737630095592143360031679, 430608952618312692349440031679, 1778372092302967296053255, 338559098457184492788290304031679, 2026330084944694311831638784031679, 338558862252542300714692224031679, 2026329848740052119758040704031679, 6171250941407532905381988316800031679, 36935940483101861886904144410240031679 , 18573573538454089294080031679, 111165793556421492138240031679, 1004901159682528931844864031679, 1004664955040336858246784031679, 18313033068667109077509322368031679, 338558862267255480893655552031679, 2026329848754765299937004032031679, 3013916144143409678928384031679, 18573560580016601989632031679, 111165780597984004833792031679, 165345409777796743680031679, 18557826562164232751616031679, 18794016491176127386368031679, 338272062575129504733492864031679, 1018094500936416384031679, 84136812374704474987152433268692608784055, 27955295821251609204788569540994395995914688053255, 1533645802122002853150758917452780330432053255, 1540344403782492878921756508288053255, 1533645802122002695742949834875074869872491055, 27955295681079865138002838074560995188596889053255, 140248528701461897636728164012473818593155, 1444568189037868927493559503164505867195003481814679, 1444568188477090166527555274489320005923779161814679, 79249955479322480059955819284433982619737814679, 79249955510087169601650148265956138713177814679, 79249955616277668550583857261492542968409814679, 4347704382231858326698355912219286105814679, 238517905542965641773860990888025814679, 55757016838656031679, 13937570394624032375, 18526317895886107970304031679, 111118537913853510814464031679, 1016366011231262976031679, 6096035751080253696031679, 7873892292579625728031679, 1016365914915549696031679, 6096035654764540416031679, 431966897975808031679, 1016338143807376128031679, 55853332551936031679, 4631388955002644859648053255 , 6155554958000876313146050328448031679, 36920244499695205294668206421888031679, 337697770355107043644278144031679, 2025468756842616862687626624031679, 2617049662010516841571334016031679, 13890610956799385144064053255, 6160787048058987593585084708736031679, 337984806237162742593095040031679, 7849139720121797280605714304031679, 254081049720019200053255, 337697770353351397421014656031679, 2025468756840861216464363136031679, 18526320516132657507456031679, 111118540534100060351616031679, 143573055849433564569216031679, 762048023704918272053255, 337984806235407096369831552031679, 2025755792722916915413180032031679, 18542067492326189378688031679, 111134287510293592222848031679, 430608937905132513386112031679, 1777954104226941696053255, 340568081426768478528419712031679, 2028339067914278297571768192031679, 18683789414178540979584031679, 111276009432145943823744031679, 3013884129266514671974272031679, 18526320515325438816768031679, 111118540533292841660928031679, 7876511731910472192031679, 18542067491518970688000031679, 23623487925442343424031679, 97539747623424053255, 18683787657821414738688031679, 111276007675788817582848031679, 1025004905334708480031679, 6104674645183699200031679, 165343654227886394112031679, 18525811685269225797504031679, 1018094500933617024031679, 253225844091718158483715968784055, 4615800686103857705802000248256053255, 2159745700151808031679, 39382558570704407040031679, 487683331932672053255, 275572487582599041792031679, 717865277627540877047424031679, 422104792658546181475831258593155, 238517905658705916796320238844505814679, 431966877073920139559, 39370464118942861824136079, 69673857972480161135, 39367844727015911040136079, 55114820873152844544136079, 717644819960120527872768136079, 717865298387946936036864031679, 1270405151933996160784055, 717865277627872631767104031679, 7032386478046299944213376031679, 238517912556534475060779760071552031679, 1270600213033435392784055, 5023135303656739057961280031679, 717975506460895599399552031679, 13085248659015497477419096704031679, 162048830292000845390592784055, 13085248280594816177819888832031679, 91568608403425453983047361408031679, 7694126160579979790818536815216491055, 4347704384344738745235815164037499033031679, 337697880624113909958904056304679, 4634946702416595824111790155, 18526326562694945746396350179, 111118546580662348590556350179, 254276100047894429133005, 337984916506169608907720952304679, 2025755902993679427951069432304679, 13894168704213336108527790155, 1017229805784528796485029, 41801865530140511100, 1016366390391324672031679, 13949824499712053255, 55758569177088031679, 334432572899328031679, 812187648032375, 1017230279802863616031679, 6096900019651854336031679, 41817224871936053255, 3105423360031679, 134298101585762408115648031679, 1270405151925598080784055, 7367681012187920256136079, 69673852373760161135, 404101002726144139559, 764785152140371, 7367681675697452928031679, 69695255907072053255, 404195789802240031679, 3822432768032375, 22168318464031679 ]; SMALL_GROUP_LIB[ 18234 ] := [ 180522332251871468345581687, 9793719057397075109, 9900314332445351925879, 570585789455661, 542962722524874871 ]; SMALL_GROUP_LIB[ 18236 ] := [ 1373903459960321627231, 25054506880199045617291583, 3461539119702741311, 75526781175599423, 1959612392397, 4133939581247 ]; SMALL_GROUP_LIB[ 18260 ] := [ 5043841620805270403293695, 3328009969737857223, 5043102967883589391231487, 276183081588711875071, 197411551733959, 828539382730396213759, 60760303235757178290351, 92087059456952841253101632111, 12204273946809418754129377895, 18496307204180450920857935251232543, 276183075894147923371, 15132077208855866248806911, 9984351414806059139, 15129129251705766393169407, 55473233782026418284153343, 276311729833692838950368086527, 1641326932137123947761151, 9984348092977064067, 89856211525461067179, 182700594796121, 89886461049384151551, 547152690215111, 4920577835721215 ]; SMALL_GROUP_LIB[ 18270 ] := [ 138490979318349021335, 2530225615823402310420095, 138521170786777679487, 2530225586516083080851911, 138491863467548111303, 46227221998852147545014210879, 2530779553369232672756031, 46227221463378117900774003463, 2530244079339588432548615, 844571345919028370580347808333375, 46237342439695321340257713727, 7832128415449239, 9234336244738671337, 4891536870459672857526423, 267736006445457064087, 506041432240511306566089, 89368378623563129036044615831, 9242420899093285321, 4891537104918165012463767 , 506041425166330802910481, 89368378623357977801437373943, 9235346718589629713, 4891536899766930405221879, 9245376966972946332370235305, 1632760277452498836418800227041431, 168858973138666560057257, 89368382907326058778223558807, 509246253417193, 1520525556640083067377630231117975, 15411098036087227783073862697, 83215476230294029256073363007, 506041429204833701720943, 83225259340903551504808967287, 843390070912497450037617, 4554225129696798694560519, 9233321823243739789, 83225263089221759014497796247 , 843519323264480541568937, 4554760603726442934767935, 27697943535112904847, 4555296077756087176160759, 46162565246983255313, 249273404077557576135, 505545335927941, 4555296282907321783402647, 46169639427486910921, 249302711396787144319, 1516142550698247, 249332018716016754839, 2526739765510889, 13643309128466583 ]; SMALL_GROUP_LIB[ 18275 ] := [ ]; SMALL_GROUP_LIB[ 18276 ] := [ 76477442753744587977187, 150639768079688131788, 76377023482351228227299, 2919157380822227, 4179031360043019747 ]; SMALL_GROUP_LIB[ 18284 ] := [ 20137340396322915619529307, 368191136224640155639465218119, 5523565132433290194759, 1101619615956679606087, 468409161259529, 60239731215052615 ]; SMALL_GROUP_LIB[ 18292 ] := [ 235966302764040697995899, 13256893779489811402559, 79017598047467205255437227217343, 79017598140261403036026556993983, 65228565304197822497577030079, 4316295792094048358988321215, 194946499365078593727, 12910416518977503423, 39783794030483, 705378222354623 ]; SMALL_GROUP_LIB[ 18297 ] := [ 129842336075849564791, 391874061783 ]; SMALL_GROUP_LIB[ 18300 ] := [ 323718116074818423370911397453618859, 108427531049739883367391113514781996621608239, 108427531049739882728430332798504236621608239, 18374477214632554025035122109806157608239, 1004069793706364426489171998285608239, 5924041524169177256415653746406989608239, 2398757236306477988216832227039, 131079624348041773056227039, 2398757125297920658292736227039, 131110069907949502464227039, 17689514572733509777831501618859, 5925001696707703656086506911790669608239, 5925001696707064695305790634030669608239, 1004069793919351353394239600205608239, 54867201855318971267872333608239, 323718116681131963903476201037608239, 131232717092131209216227039, 323718116681022733867192907367528119, 131123493017878560768658919, 108427531049750976906382728913505130086883839, 108427531049739283924095621030497130086883839, 18374477228724129766990829167482470883839, 1004069793952337050883671594598883839, 5924041535264714939197950588786278883839, 2401558942799825381523456651839, 2401558722573171589619712651839, 2403557522958161584373760651839, 43948528653236751800175476736651839, 131232729117841367040651839, 7164499492601856227039, 2398757236306560753722161128059, 131232717177930474289128059, 17689580107172554925749837618859, 5925001697906983890661671724349005608239, 5925001697906344929880955446589005608239, 1004070993199585928559052158541608239, 54867267389758016415790669608239, 323719315961366539068288759373608239, 196767156130781626368227039, 1984223909279152536995307609766347310274124971039, 1984223909279152525302325322658464302274124971039, 336344001940447110708375404262972626508971039, 18379453657947962532633097764738636971039, 1984223909279152536996307009961826616514124971039, 336344001940447111707775599742278866508971039, 18379453657948961932828577070978636971039, 108501028804967315842639021304393930316971039, 108501028804955622860351913421385930316971039, 91872232445063066023283220056282700971039, 5020340572800150447414848394828971039, 5924063482093008210913149028046412971039, 3600839723495318268051456227039, 3612831759488122134773760227039, 65895366939964307434800783360227039, 196767198008305459200227039, 42263305275750624269650822178022875148747783, 773418486554466484744383430631961441890304428583, 42263305187960313161619595272221552640428583, 369894027768794409202905418984876364670528428583, 1104523517793013063433251792625664428583, 5513836206042775803839571204481447513704183, 664496744978495461692161513951638348165088994432588971039, 664496744978495461692161525644620635272972002432588971039, 112638242872376979919779003129982286887664784972971039, 36311297539880784345247251308387464971620226636971039, 36311297539880784345235558326100357088612226636971039, 6155095235512201252452225207524457176897100971039, 6155095356805550610929453599174490482579020971039, 470784218429144932294153754813190488627516643783, 135129586303796081991291797745047061596498825979456428583, 7384130399114531939552674732309112187690427968428583, 1983972210171045117075195627176214914700876971039, 1212244089032912698820389873287168227039, 108482654640498585267890736611332494924971039, 6694020389586821631041535639552227039, 5924063558855937050171376063428172971039, 323807174428434729762881222220971039, 7165132449546240227039, 131121708534801285120227039, 7171198810472448227039, 131121702557100195840658919, 7165221109383168658919, 2399527265977312409935872651839, 131232729117662208000651839, 10746240164462592227039, 196656147573451702272227039, 10752306525388800227039 , 3598807500582322538668032227039, 196767198008126300160227039, 60356476464052522668141699084747783, 1104523519292162462719981457731584428583 , 5996614162489318989545472428583, 1211574893658188118887008863903744227039, 66096548198225697365043535872227039, 6694020387554598718045806256128227039, 3602838360050181267554304227039, 4997656324675745906688227039, 403609485312227039, 966676847646020023885618859, 49151724834186409549820403, 323770585191285403419054143053608239, 323770584552324622702776383053608239, 54868037419416827981952589608239, 17690186420713087490553421608239, 163838984253898752227039, 16464618536811918050386474585704183, 108427536026194292281904629399728068172971039, 108427536026182599299617521516720068172971039, 18379453672039505288891315390420556971039, 16464618553195527812342314585704183, 108427536026194293281304824879034308172971039, 18379453672040504689086794696660556971039, 4497350034963789267564121704183, 5929017978580090461098436811724364971039, 5929017966887108173990553803724364971039, 5020354664342906705632474076748971039, 323730411499595471535845840460971039, 2999019769812746403840227039, 13429335311548416428583, 14991055762616613126144227039, 54882061787612340543135744227039, 17690186311483053882701415528119, 54614919174193152658919, 899476564018279783560819624063, 5925001709000522882277073122924134883839, 5925001697307540595169190114924134883839, 1004085084775327884268785276518883839, 323730411499049321367806580326883839, 2998473649487347875840651839, 2686082671853568860463, 2998253422833555972096651839, 4997053807823550726144651839, 54872067785621736317829120651839, 301302519223658099989360005781820643783, 1984223909279355548758854718140157138708032227039, 1984223909279141567183000643881110738708032227039, 336344002198322946786711252732756502080227039, 301302519523478158633151877781820643783, 1984223909279355567047878295411461330708032227039, 336344002198341235810288524036948502080227039, 82301505639837234700692134204643783, 108501029008015655438101546765331605056227039, 108501028794034079584027287718931605056227039, 91872490357475192713283340949399104227039, 5924266530442597129273078298453568227039, 54882063100049802443587584227039, 49164259697835319308747783, 54882061787642183180881920227039, 457226556228639421864796160227039, 18379454111575678384216766151450624227039, 49173212000741769228747783, 274336320455956222630318080227039, 54892055789567133557760000227039, 1004341754730911422924757311488227039, 4497710472587498799808524747783, 1004341730713305900754093682688227039, 5020794198517201640125960347648227039, 66169710291502900037543934729611039, 3597857154482429171037702240183, 196767156225395516209128059, 2685886624088881340400, 197258664523563270144227039, 10743404172410880428583, 590125989888227039, 17692382479825253111132160227039, 49164259697297842188747783, 966796826974376288256651839, 2686082313535488860463, 52824458395828224658919, 48946249728662341, 966796856817017020416227039, 2686571537154048428583, 52830426923974656227039, 146790973440230343, 2886443237376227039 ]; SMALL_GROUP_LIB[ 18308 ] := [ 60206740558060787459, 2841454998113838083, 16574507833971, 155072472044291 ]; SMALL_GROUP_LIB[ 18315 ] := [ 152194336742662472779984439, 2014038248276125655, 8308077268860918076823, 3219704671077, 24774687090647 ]; SMALL_GROUP_LIB[ 18316 ] := [ 136201016860605850579439, 2494657944781816510586884319, 127471445578874884319, 7443029606400004319, 28983951417377, 406093824004319 ] ; SMALL_GROUP_LIB[ 18324 ] := [ 94361905910356371710146268619, 1729087563897058311698301127712695, 5170114663734104771130375, 31683800520849696383956482092594524167, 94747540963488598603280544775, 10158543723530597134765, 94737181547938420114190857223, 1736153940614691795432789045998599, 62501542421202231980018954084327229, 10638783137699898576428102901417206510376611847, 582946630818844065068868883401430871732231, 30471092906055907659888, 94364973841251484221684347911, 10158513410694512734637, 5149802069082392062129159, 558622264984460837, 281030303338473845767 ]; SMALL_GROUP_LIB[ 18326 ] := [ 1586923143957692937164191, 51944860033262613849, 86572666998336034143, 1574792910118741, 86594081842712827295, 2834489638149977, 4724034730219871, 86033586677, 4725202961323423, 154753062393, 257832277407 ]; SMALL_GROUP_LIB[ 18340 ] := [ 11670306205697349849651479, 636010936501824051479, 11664438097717935046451479, 636330913838880051479, 34826689331251479, 7307721658205196851479, 613853185525440342465103, 1474806416536286725931636285519, 78806062377709252412292713395, 189332743172689942740862313081351479, 4384664394073100885019, 134052867740237368665651479, 55796350827195780495, 134023616449205455772851479, 562894576967606022214451479, 2458529594355741698376416051479, 26402516411787541334451479, 55796317559342980495, 1439454297260179285019, 1829731904101273, 1439613678790393651479, 3046384806467475, 78478864755251479 ]; SMALL_GROUP_LIB[ 18342 ] := [ 188147794370369876331713431, 10087441021158422015, 10257757803668696001303, 584238285610575, 559253505179228695 ]; SMALL_GROUP_LIB[ 18348 ] := [ 11337004384822292493295559, 616974469232683753415, 11320244708624037832902599, 617887949224393177031, 18821923560434559672263, 2091424726647631195799, 345365596225894581105557447, 135417788067672881175, 345344654152959887967171527, 422087452075568521328322503, 6336767959552916849756511610823, 11324456512111137316646081, 45137067473601406908, 33825118301081543, 37838115678758958460378055, 135417743223766042647, 2061335518990789613207, 826409140500319, 2062247362179899279303, 7386432083584071, 112346799175344071 ]; SMALL_GROUP_LIB[ 18350 ] := [ 1129355597287647350799107, 505906996475402049, 61545262262402050691, 28136521715109, 3353988167960963 ]; SMALL_GROUP_LIB[ 18356 ] := [ 929622431019063805529439, 29133858264588092939275, 313416305280162530314539544612991, 313416305992603675290350881083519, 188774918589104592881590472831, 17064149853063662078971089023, 560258164704667504767, 50674263538905649279, 86954867810987, 2759466055372927 ]; SMALL_GROUP_LIB[ 18369 ] := [ 718571337212720159, 39267944191007, 1748978049817818143, 61365054656644127, 796602808747328543, 625410231119, 3354456257567 ]; SMALL_GROUP_LIB[ 18372 ] := [ 45519110917580162883059, 78920698792210591683059, 836356109169799772165818529, 154640054474345933100, 2478804284229123059, 78817612816659886563059, 2981018170979371, 4290035852692803059 ]; SMALL_GROUP_LIB[ 18378 ] := [ 6631119937832740882439, 121866719600654059508242439, 6631121028924358162439 , 360926179431442439, 190750202303932181780242439, 10186898950679368621, 10379268775775486482439, 588843097119781, 564769803802642439 ]; SMALL_GROUP_LIB[ 18380 ] := [ 368519805375011512196295, 6224748833238398659503412750439, 18425989508534352303191, 6129521400114266030423, 1113568105437777, 333456832627282007 ]; SMALL_GROUP_LIB[ 18396 ] := [ 2155506436876679781638675111878013913743, 729451003210349703418713141152894362834361001455, 6561843267006021170293929343167592987643001316847, 2154335422448779426898538120590600292335, 19388917892513541539144635781768983988207, 21852167342489168852094938310138696811439, 66388097767895292269146216450031, 39652696412826141738743939831922422347867631, 356699460045989409127046625307824717673407983, 1187876024270992022458474585592677295, 39652696412783415699065773828955225427682799, 117108919764364504560591162125436911, 6365998327366920182615573403599, 2154335422434246087514881911528271235055, 19388917892499008199760979572706654930927, 117108905329896749845950100978124783, 1053974662563249767471852343921068015, 66388096977868145416737588103151, 3608833320743064784419014639, 117108905329106679751739737975932911, 1053974662562459697377641980918876143, 3608833277795171864018274287, 117108905231025120904382099796379631, 6365999117500961521339110639599, 64569254370970021773556006004615, 21851063241440724508594967242912949322671, 21852000105379115375686174569674951607215, 6369558496078389034601228388335, 57297148102018109148067566831599, 1187876025211183496545884391239566255, 3609795335914890331077068783, 1187816005731720205564940757892318127, 1187866933321326145285054224230761391, 64572517134788891782742454551471, 1187816003409147924733464150626517935, 347031580996003918164379631, 1187816003408363186609943787484121743, 346246885528249360334591951, 401972159389543568060112536063290175358117359, 401989393938554206451122386046403969384588783, 117174398095040209149949748799981551, 1054038336485907300357276510802266095, 21852167359784931601997745418274124735983, 199181297654451295913925358766063, 49454626401436281600692237, 117174398093857855597370446927218671, 1054038336484724946804697208929503215, 117174405311486746675642979831891951, 1054038343702353837882969741834176495, 2155540227356359687306816186735638464495, 19390089237994750697156799300529664935919, 6369558496142664792592085272559, 57297148102082384906058423715823, 66405794999469187324514817918959, 66413012628360265597047722592239, 1221601026560811075559167424526141423, 21851063241440724901091968892417685202415, 21852000105379115768183176219179687486959, 6369558888426122626564928948207, 57297148494365842740031267391471, 1187876025211575993547533895975445999, 3610187683648482294777628655, 21851063198714685222925965925220765017583, 6383994146250931477989078452207, 6383992963897378898687205689327, 6391210592788457171220110362607, 117439956314432003783668784167241711, 347031645271761909021263855, 346053399339118528048797647, 6365998332805498296160308545519, 57293686810374155483913202812911, 196174916898628244457455, 117108912546740934751797462003909191, 10826639543500070021940054599, 2154335422481262686080225475610237112751, 2154368881907633788774930383631792902575, 66438278258353352316575191830959, 49492249070462061464710661, 66388099533673638345197078090159, 929504295430802016707968542609839, 929504295581291558469116619559343, 1222663230572420073299333078322155951, 1222663230572570562841094226399105455, 18821573700231012665327, 2688052854099171203645, 6369557706051242182192600041455, 57297147311990962295658938484719, 346246928480136693736130543, 3114652538718216717299206127, 3609005308768037922448721903, 346246885532243773335390191, 3114652495770323796898465775, 196184243353683530991599, 346241553849151509536032751, 18864521593151413405679, 346241511193385704221972431, 18821865827346099345359, 148320881003646912043896845, 117174383560518471941161384598161391, 1054038321951385563148488146600445935, 6369558496142664257626058377199, 57297148102082384371092396820463, 66391261660085531115452488861679, 2688344981214258221069, 6369557706072570047263056185327, 57297147312012290160729394628591, 346246949808001764192274415, 3114652560046081787755349999, 3609005330095902992904865775, 6369459624513722689624876632047, 347031645271226942994368495, 3510012708147579891541616519, 64570194562508060306135188751279, 980879707113828359981039, 64570193777769936785772046355087, 196184239359270530193359, 1187833299171897827544566699055261167, 18045445508457333718927132655, 13437589975327404937229, 18044263154904754417054369775, 25261892045983026949959043055, 331964015573617373622852057941999, 1187833284735855179296668888240383183, 3609402988176733323948494543, 21851381371566232436011422653047592568815, 331964019502426391065519184005103, 247197886604309802014503565, 331942264997839668172106037053423, 464790040448632774165417930639343, 6106810102766635923679633693552789487, 8062086460553340000265, 3609005287436142774591459023, 66398577370492792990992258862799, 247235506944878115628020365, 464717766078120490037452776785903, 6106810102766635945007498764008933359, 332014538976025546305694933043183, 4547452284331588393421350662797, 6106810030492657759129365175112943599, 8550277584093048578353936171832559599, 16732441647026034242151383020777033, 401992473979129941930000291109771166957855951, 22470129546353167697554364014424857404623, 2154669954855185887832018935703305880717, 7397533714331754304322532987586739016796341913583, 2893523514814605451211842579753925714006099951, 6369561634924521660973954535855, 57297151240864241774440292979119, 49492249069392129410919941, 346639233544642200016194119, 8062085925589274896320, 18821870356725127038959, 169311412117873203988463, 155211476603623997, 1031699815068977135, 64586953696109886961565439477743, 247197886603239869960712845, 3510139033125024991582916303, 2687751596897227380745, 3510923771248545354725312495, 13437588905395351146509 , 190809904495614417573839, 146152718548216633, 190852560261419731634159, 730478277525101117, 10371850000644032495 ]; SMALL_GROUP_LIB[ 18404 ] := [ 5218838371085178723, 125192925789389923, 2654231571875, 6791116067683 ]; SMALL_GROUP_LIB[ 18405 ] := [ 738644846503583 ]; SMALL_GROUP_LIB[ 18411 ] := [ 9905708371463, 325856519, 5947511868935 ]; SMALL_GROUP_LIB[ 18420 ] := [ 4660640613566826793325333241291128879, 253020663061761672763674000175151, 239376429327771907233235595, 12968396199888262726283, 238877689750548131801385611, 12995473479510234970763, 44744065238180739606067695, 253024973328689861816445723230255, 745734330404458201039499, 248587049182836901944239, 824185681276741927988694045213, 4660720008714467346333744118918258091, 13737422261765709405245825675, 2429281080824895377337, 13736426401897402507381253771, 22893879295009528341287660171, 253043318061720574416511521401483, 239376429403580400522582041, 2429102849334667852140, 714299649496937099, 4549643411574112107650789003, 2429278676931844186041, 246967763643157165613999, 44300314800899551, 246994753180682769189515, 132214117815708249, 13407198373080007307 ]; SMALL_GROUP_LIB[ 18423 ] := [ ]; SMALL_GROUP_LIB[ 18425 ] := [ 616907493047, 29753265903 ]; SMALL_GROUP_LIB[ 18428 ] := [ 13860903456325685060115, 69218429102450146628043214319, 203828698664418244319, 13499307748861924319, 40984729992645, 732113121604319 ]; SMALL_GROUP_LIB[ 18436 ] := [ 16720118159419359827, 914388918427731, 1086678128255390791251, 120223903351434883923, 141652129630955, 6518928688722515 ]; SMALL_GROUP_LIB[ 18444 ] := [ 108076295745540706449059, 57216936803094713840651, 36820313155250211315359491989231, 36820313140416667301571824099055, 55929697679818955819055226607, 1993359357003876262010330863, 164411520058998788159, 1993359198673393996873228839, 6089621718079577495, 1055309182338471601084686351, 679113855835434897484776162392998975, 679113855561845011694476415826592831, 1031567344006580834135088463021119, 36765519980579492423581545989183, 3032576802089171410096191, 3102279215554173695, 3032406081054816859099199, 3257028318317500229685311, 55932846537735308742969462847, 344683874858735984, 108237384305609881784383, 3102278874891361023, 5859848957883587991, 6277929052045, 5868432882104995903, 168238763349255, 317741071994943 ]; SMALL_GROUP_LIB[ 18450 ] := [ 713347899064322628959, 13161249417865461762628959, 713708675268610628959, 13161249064872837122756879, 713355682643970756879, 242825051740629934538754753759, 13167906109561241602753759, 242825045242421490221063873679, 13161407901116923911873679, 4480122204614619913336389639745759, 242947867719064694292487745759, 5474661718436986617582845957057723, 101007508705162478349062019743746686523, 539503502703035774140418686523, 408107424496862907582819860482628959, 419605550651848785922628959, 101007508705162403064942520172643905723, 1863588535610247725540199969851310082686523, 9953839624871009153661272069057723, 4517610437965101721447517575184386628959, 7311039038067572741057723, 7741722409530509467320322628959, 39728447490628959 , 871702317760514686523, 19412622192218284412322578434628959, 80944606680907465359459905723, 1052174612073634902835207745759, 4386449090091155466177643, 57021936050384666631873679, 79255034658823934441, 1052174644564675950018562628959, 4387241554506940421057723, 57028434258594103298753759, 237747917815810814443, 3090619814641666756879, 4297064450758361, 57028436019530694658628959, 237790867488770686523, 3090972001959938628959, 12886999042630363, 167505821698628959 ]; SMALL_GROUP_LIB[ 18452 ] := [ 687208612184382210411, 37287610945281899, 5835486848395093177707, 1163859025249392022123, 485890683599543, 63063811754783083 ]; SMALL_GROUP_LIB[ 18459 ] := [ 3954877701953 ]; SMALL_GROUP_LIB[ 18460 ] := [ 2497408853637463678650761700929839, 135287586980242760923531329839, 525883499807639590415539, 28468131161792015539, 525521591707313286415539, 28487737105452815539, 1548933120015539, 103222595336776632467111, 135287708968179270352664129839, 397004061342963215539, 28151570748851540811103, 36897118787630547278004473279, 35181391680298201605104635567221, 46110842782450725832124347488071115539, 35181391708449263876858875567221, 46110842782452724557545642039111115539, 6755795151147269839048367221, 8854427136784985510320633312715539, 108275217530099254179, 1905489122876989824609967221, 2497411107553527757006505619915539, 7330067433095138726415539, 5592655477293138321, 7328695028784582409615539, 25983465572790610438415539, 135313044814929969531756815539, 647871510659781072015539, 5592653971385938321 , 35080320234220854179, 82824896058733, 35095961016659215539, 303117606419541 , 1900239756815539 ]; SMALL_GROUP_LIB[ 18473 ] := [ 4740341087 ]; SMALL_GROUP_LIB[ 18476 ] := [ 12327263958149392745187, 227758547824505282055942743, 19611456236319961431, 668240081698898263, 7139204035865, 36125907628375 ]; SMALL_GROUP_LIB[ 18486 ] := [ 274826229250023011600675, 5080437673420966872593492927, 274854211791855469984703, 14868262464518543651, 14869347857301752099, 274874324181844561816511, 14869430453586131903, 5081326756607932638681563975, 274876080550347704537927, 47215235218471135050728505635, 2554107752416058669797667, 2554107714951899291470115, 827810635274531, 138164442024235882787, 19241586417688070435, 1749427366399532285, 6576777886274793563039154467, 16139285130533018664619950371, 355770776743748980625699, 873054518183661622710563, 2554155847260849235804451 , 355770739279589602298147, 873054480719502244383011, 138167036693194311971, 355699946142698740220195, 19279050577066397987, 355699908772961512483775, 19241680839838661567, 129330554948796443298821, 121578316005675790164729056746787, 298350824923033339392551649828131, 6576778578848133328622578979, 16139285823106358430203374883, 47216124992475067644557450531, 1749521788550519813, 6576777886282267418095133987, 16139285130540492519675929891, 355770784217604036605219, 873054525657516678690083, 2554155854734704291783971 , 6575469204377612441072344355, 356392519482464323644707, 19245419107015498019, 47227878343189502243, 97563396730109, 1043632693631267, 23023831441307625557435591459, 177827655839516558978165, 1244783095747597000213319, 874594315868140843, 1245473950079727268994339, 9619585861816224773, 67336530065104497599, 47673023711899, 67373899802332234019, 520707672104189, 3642736351889699 ]; SMALL_GROUP_LIB[ 18490 ] := [ 22383798501498464015, 1207985828498987, 4879213377, 1210589098200719, 65420303759 ]; SMALL_GROUP_LIB[ 18492 ] := [ 196989903894826591217327, 10625179260607014575, 196480745941688025427631, 10652714627571326639, 533849308889960048303, 25422666600086746583, 9872501434658995160647343, 7968353496517958235, 9871941436791349197990575, 10812123980964061475720879, 182562296529722259155976425135, 196532319952151639442425, 1138289360831582652, 579639628142255, 456592577727273599873711, 7968352374427970139, 24663861340714597847, 20678515590679, 24691355751394258607, 431042854007259, 1333844398712495 ];