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 col26.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 12506 ] := [ 4711822405309657439, 118424779416263, 376764662049119, 9513360551, 30152481119 ]; SMALL_GROUP_LIB[ 12508 ] := [ 46232523856707742791, 34116808674532087001501655, 218068358990762439, 4148334653218503, 295858474781, 330622750151 ]; SMALL_GROUP_LIB[ 12510 ] := [ 420700069026260465267, 5262957484238330669162099, 420929666626137525875, 5262957256277533391745575, 420701705828860109351, 65839598127630127648415658611, 5265830018240019166945907, 33671367765976691, 219995367831596862486680968307, 385042895972670537921561, 17582708960085357205480751, 10260705495508260295, 17585560977620095431422579, 30778817256209703417, 1405492305223556002343, 826409143014127, 1405720266020833418867, 2466414878785065, 112346799177971315 ]; SMALL_GROUP_LIB[ 12516 ] := [ 4197041279599197453316129414172343, 27165603490893426033056007, 335334074752599844692404653751, 14567213119176354449, 27156896651053660999997703, 2169774506076883540231, 26791776471191733364357027, 335325882985667596493919080119, 10848187724915935435015, 335325874306560883053515876711, 2169774397008270044407, 4196938751448615466279955146812679, 135788963909522474267990279, 72813701985574724169, 135775918209727427617020167, 190085428469064925961214215, 1699534672291653778073934584071, 182552471065700640352965, 43684465595914413808, 1454248181148305, 26801111173351436064512263, 72813638362216800841, 2140654499618151771383, 1172487596146893, 2141347885150902376711, 5826081775594129, 171028675149060359 ]; SMALL_GROUP_LIB[ 12519 ] := [ 133318780369 ]; SMALL_GROUP_LIB[ 12524 ] := [ 795049975888100290099, 9957207711215992100002999, 1878164233600002999, 63631620800002999, 1488000009929, 5072000002999 ]; SMALL_GROUP_LIB[ 12525 ] := [ 68178967176299009 ]; SMALL_GROUP_LIB[ 12532 ] := [ 63762118611644621433839, 2934681608665880006411, 10022558447856818400277340162879, 10022558478003127217503641602879, 8863167145024558263214082879, 799066921738570343424002879, 56434953104916482879, 5092340695695362879, 18791792697371, 406093824002879 ]; SMALL_GROUP_LIB[ 12537 ] := [ 11256947892110101286951, 141128355718912012430907311, 141129963628489675043919791, 1963329976446825887, 897928017356440223, 1036046686040261279, 836110607711, 71658933195167 ]; SMALL_GROUP_LIB[ 12540 ] := [ 4008723138820850737875819335, 4008723069952676758528777031, 319674891459665287994183, 319674885967356118997831, 319748679179016353913671, 2673418718503348872023033423, 16829772605936377846263, 4009648436854450890512983631, 4009861551654405421869237839, 50280992474859510843342908491343, 319765673976345571018319, 25492421787103796039, 16834693007371288282785, 4008723249308804168103449603, 33726182681996794043207, 50269387297138506558375211705247, 4008723070844427493184480159, 6934106357111084928104855011461397199, 552959040505725089260879237282511, 33675198279769558655603, 422926603614206274872187719, 422926330824686419104676679, 425483708424141513717898055, 5303499609322121997126614047559, 33726204437268827093831, 1342024708584414159, 319679811005037006871367, 25492811883912665927, 11220593968941712611831, 4008784829954387559025157711, 1342089341605550583, 319679812356936383784527, 2683998132176984903, 33657314508017447000903, 2689490441345981255, 33657310442275642598003, 2685424699541578355, 422062723924623087616850759, 33726204437138220153671, 115909305834447, 76477209792411900743, 16825300162757821331679, 4008784761971122186791822239, 2320870665743918947056409047, 552959814112453843994076152298191, 25492807565176513139, 959297020713068685859655, 4026261598955138187, 959024231193212918348615, 3516401830648307531569991, 12029584639745141295940295495, 8498006822764728287 , 959110077904902156109391, 4025476982115703287, 959024216285492968875599, 1172139016240024325129807, 12027240376930733012733855311, 210989263817692385179839021, 50270160915117826155928479090779, 29103718148428693249917598374099, 6934116068970171203790152374305884039, 319714689573143137177235, 12029585099493732246273104711, 50489318809546812286155, 12026163859198139492199942983, 44101444203664863738913610567, 150850997147651405191525213920071, 2236265142356370081, 319679808290219380928147, 532794608244750737182355, 4009222207246409173082803859, 50499157120161935770827, 44095678956365844782207331143, 12031928902575812507182283591, 150850997147651421454488077974343, 50489318809677419226315, 12029584639776311976577051463, 73492734649030808438504160071, 1891671504231548621120703227207744327, 633136037297367698374927563, 150850991382404106172568507640647, 150880388438096771136224804469575, 553032110313957412009880444074823, 33675198348743086002281, 1341730485979006428, 216215435877191, 1196533332405600315285572423, 50489318809285598405835, 95366327754192441290387, 1341873143583974049, 95417316222161481049679, 4025476720901822967, 7603614823992332255, 35681816072431, 95417331129881430522695, 4026261337741257867, 7604970071260455539, 107010619646817, 7609035813064858439, 320997030403023, 606312244747079 ]; SMALL_GROUP_LIB[ 12546 ] := [ 129373679324291633971266239, 3961511861888616897655, 10299863468942951361679, 21053748020222441, 10311946382996275266239, 315758968832126455, 820967918796888079, 1690828889561, 821930930995266239, 25178931267175, 65444249666239 ]; SMALL_GROUP_LIB[ 12550 ] := [ 861829745870403632812688499, 68671692903507812688499, 5472298625000188499, 68677341406687500188499, 5473306562500188499, 436500000188499, 78455152830218750188499, 75330187515563253, 6251406187500188499, 6125000249753, 498125000188499 ]; SMALL_GROUP_LIB[ 12556 ] := [ 154018744330330525319, 1933859858225866582858703, 517081253856807887, 12307370814409679, 564995953697, 977778379727 ]; SMALL_GROUP_LIB[ 12564 ] := [ 57549488951194374208122752321579, 723051779182805605885651806345031799, 1597559644989075729804680135, 9214659341864371581959091227, 127153596432503926676423, 1597557543921662376836258759, 127153763348167702141895, 4580521647223415156927088683, 57549673975268981114391775998071, 366694068223013133212615, 723054103825279466351559492137596871, 4607879692464556999771937735, 1050872601003663309325, 4607144319669020782598773703, 57893400456096427255121084865479, 2084162456094941583942933352737949, 114142655714080679360618347652336856129025991, 9138710393376909145685415816960440219591, 1598292975230121503219495963, 3151933154823513664368, 10139064977672231879, 4580746537413153868327574471, 1050868027971779049997, 364593000809660164791239, 84274444724449477, 29017193886163917767 ]; SMALL_GROUP_LIB[ 12572 ] := [ 18320090743998750682902385087, 83760020592980396671, 6672004061071999, 1457228748813492229722559, 18320280295687203284779534975, 582116106142209804927, 115949099674014583423, 104411192036933, 9220410558122623 ]; SMALL_GROUP_LIB[ 12573 ] := [ 2162507755258919171879, 13687182723815 ]; SMALL_GROUP_LIB[ 12580 ] := [ 5487712648334607848147, 2351866168368482449407, 869501107606573397500482799871, 869501103687045733668869359871, 1094635500717041130713630975, 69035431566035893943257343, 6916848236831052143 , 470355787843393553139, 868625403595225237581572624975, 868625399675697573749959184975, 218931489368881211803456079, 372274792170968482575815708475, 137604161160178648529883110915199874415, 137604161160129340871872109218124674415, 173279023957196668803580489337550191 , 372274790759938523596434870075, 137604161160178596321774628678108853615, 137604161160129288663763626981033653615, 173279023957144460695098252246529391 , 100589974270992464330264379, 10971373002904929265564622620865903, 10971372953597271254562925545665903, 46819583813256305548546326541679, 69035426032145213461385807, 1383397417304083583, 29586476815563204997320507, 10938323933690709016962184530507119, 10938323884383051005960487455307119, 13770514599036056946108236182895, 868465729116409509727010698607, 87037031337772709712239, 186991496421552555, 87013952201958997528943, 295846384811310950846831, 1094925854229049016978968943, 5494257412311272624495, 186991442243858859, 436305424333622399, 2979773173983 , 436745285289054575, 14867907089451, 34681463640431 ]; SMALL_GROUP_LIB[ 12588 ] := [ 102468233397345193994737239, 1289870122003336803296101799983, 8156085197117061466159, 23324141031584737728, 8140537397426787649583, 656211793067561, 646677420639914031 ]; SMALL_GROUP_LIB[ 12596 ] := [ 368949067521765851, 7983404011810523, 437785113327, 632086408667 ]; SMALL_GROUP_LIB[ 12604 ] := [ 3756655949764565401031, 47348897639151902007434159, 6351487825059646383, 298539276224891823, 3689228158925, 23657038613423 ]; SMALL_GROUP_LIB[ 12612 ] := [ 6821383773544200002099, 8249890982419800002099, 86039554635129039107626049, 23547506657014147500, 541123934400002099, 8234194284773100002099, 661235401101451, 652872717000002099 ]; SMALL_GROUP_LIB[ 12615 ] := [ 328531484884003030651391, 1175258266280447, 3140426506473983 ]; SMALL_GROUP_LIB[ 12618 ] := [ 13682166366886892000491399, 1551526200342510701, 1084337157534400491399, 130614400979301, 85936592000491399 ]; SMALL_GROUP_LIB[ 12620 ] := [ 231106841439485762519, 18349048972802519, 38537505462731170940103, 306882605628558028342797932519, 1926875104508975042519, 640391737296860642519 , 247006428876273, 50737136788802519 ]; SMALL_GROUP_LIB[ 12627 ] := [ 80041180919 ]; SMALL_GROUP_LIB[ 12628 ] := [ 10434724523475046734439, 131769708221536056217920399, 7817798523289608399, 131769704746712898048576239, 4343250511462414639, 1663987875459777096604160008399, 98770107760731750408399, 190768801382462609, 98723162707843481608399, 603303970917207244808399, 1247268920801981097574408399, 10441889195828838408399, 190768709632062609, 826608418816014639, 8401715215965, 826883565158408399, 15112601609569, 65444249608399 ]; SMALL_GROUP_LIB[ 12635 ] := [ 16315123035887 ]; SMALL_GROUP_LIB[ 12642 ] := [ 13689513535302983881943, 2187860298868265806507634556119, 2187730510729641169289236675799, 173062830159229937539820759, 173052563734722372501187799, 173065567818292595535707351, 13689730464773354597591, 173062830158857369248814295, 173052563734349804210181335, 13689730092205063591127, 173062830105090645105982679, 13688701819237548813527, 1082796220333016279, 13689513539635659605207, 13688701451001933530327, 1082877520734618839, 1082873188058895575, 13689676325480920759511, 1083245756349902039, 13689675956785272635855, 1082877060701778383, 173064888100289849678543591, 13694386623289584937703, 86185117172951, 947524680954418391, 27080477906311835, 151434211380852657652595927, 21646072756215439254715607, 11978659713111031360727, 1712235205545992727767, 14716318775769027247319, 11978659340542740354263, 1712234832977701721303, 1164081583034127575, 11978605573818597522647, 947897249245424855, 4328666921962947491296451, 24202241622869497420865180863574231, 3459480022625242736012130868801751, 1914431389252418731428320108759, 273649740759755016442317103319, 2353089251200288536488708518103, 12981209496938762051155139, 24206945196928509723514807405523159, 1914803448583142691454394032343, 7056663310212591186115250467031, 342403712752723567811, 1914431389247708617361073113303, 273649740755044902375070107863, 151434218421716368728766679, 21646079797079150330886359, 186132672934283076908452055, 1026832013257059476675, 1914803448578432577387147036887, 274021800085768862401144031447, 151463648838638055172847831, 21675510214000836774967511, 558192003658243102982375639, 7186632578436734907587, 1915547478268911545892688294103, 274765829776247830906685288663, 151522507344493952829923543, 21734368719856734432043223, 1302221694137211608523632855, 151434218418581598382716119, 21646079793944379984835799, 14723356504709757367511, 151463648835503284826797271, 44153773426396201448663, 568472833476512963, 151522502631617683527883991, 21734364006980465130003671, 11985643675327618649303, 1719219167762580016343, 103007569540794902535383, 151433531665428372433293527, 11983318450087899562199, 54800894140731035079089843555, 692792903727174795917854043247299, 11978661186312783897815, 27114788014128323, 947529013630141655, 135440379904066775, 2275073051291, 11978659897283206554839, 1712235389718167921879, 27084810582097091, 75077407982807, 177450739573599841398741719, 1712018292950476844387, 14036600773424653548263, 135363119430187451, 1109946564726637007, 2157974003767, 14036603351483807944919, 135423074293953731, 1110314858891295959, 10722954287771, 87807779509463 ]; SMALL_GROUP_LIB[ 12644 ] := [ 1191631054629631025051, 300689372117386927179, 190910762442441980410681355471, 190910761963588759635349204175, 414390658761957274431220943, 15066985550487335561047247, 2592035726374235087, 94444566755883983, 1885093514559, 7457656286159 ]; SMALL_GROUP_LIB[ 12645 ] := [ 479923426831519 ]; SMALL_GROUP_LIB[ 12650 ] := [ 1069945457095503, 13534273470631319075, 1073976999110179, 171208559153073468338267, 13585566970127073371, 126655693647, 3205154069787723, 932339194643154062159, 73702705050219343, 27033289767248768199, 11794090812254093833025359, 3207180230524103, 932339241252272037711, 258588673099, 3592217235078049826975055, 121641794348288467823, 283822305065119019099, 3205655745013329, 283969741879226365775, 9615952010489031, 22436544541562403, 253971021725, 22448196862282575, 760593658955, 1773838938959 ]; SMALL_GROUP_LIB[ 12654 ] := [ 50185301534566374457234583, 12044377297507238263959461, 101752267334631294018189045120461506007, 101752267156827180730585987087556216279, 101752267233028943568130154815944197591, 36676484132850475693356596875108091351, 36676484158251063305871319451237418455, 36676483472435197767973809895745586647, 8041114851796379662236835623929303, 8041114837745161605685305828378071, 8041114843767112201350247169328599, 2898410315540585579351388473198039, 2898410317547902444573035586848215, 2898410263350347083588563518293463, 71355661151533053363251822285358551, 71355254742131253127690604216124887, 5638980650515827494546461623767, 5638948533445983948192643220951, 5639153267710279407665696802263, 8041114851796372215830724726490583, 2898410263350339637182452620854743, 8041114843767104754944136271889879, 2898410317547894998166924689409495, 8041114837745154159279194930939351, 2898410315540578132945277575759319, 5638980650508381088435564185047, 5638948533438537542081745782231, 445641952561340954325288407, 8035857345663124258395934922704343, 2893609985859968731748857167807959, 635044835289817608084551828951, 228671565193156036514528298455, 445628310293968084938767831, 35216399379022470561239, 635044835282371201973654390231, 228671565185709630403630859735, 35216398790563710811607, 635044805625817782200102356439, 50185308981632029118367191, 3965963455559845172375, 951823718161291063205, 635460317037804693779395773911 , 229050913809889996557310100951, 635460316403280633333166245335, 229050918092927404569359418839, 635460315927387587998494098903, 229050917934296389457802036695, 445628311246780244066960855, 445625773150538459148846551, 50185303879464903496304087, 18071089394190557710779863, 2783025217812872663, 313435674137247191, 75233134561640525, 50218138155280487477919191, 18101068311734133659516375, 3968559001287149075927, 1430462759502230961623, 35216524739247719300567, 3968558412828389326295, 1430462171043471211991, 2783034977537408471, 3966214762301873700311, 314024132896996823, 3966214175820599790743, 313437651623087255, 1586523282644893722533, 635460320216918662937731153367, 229050918416683101719661919703, 50218145601759906599681495, 18101075758213552781278679, 445629904050598472580611543, 75235112047503269, 50218138155353795702242775, 18101068311807441883839959, 3968559074595373399511, 1430462832810455285207, 35216524812555943624151, 50188481601934022150208983, 3973661241720995462615, 313620954110016983, 113044358426050007, 6005984378957, 24828863102423, 70355878006186345485729239 , 2696965498086032437253, 5552549472260811628439, 12539020874075029, 5559971392782391590359, 213131467402536869, 438797969747872919, 998417568061, 439384451021782487, 16849262788685, 34681463684567 ]; SMALL_GROUP_LIB[ 12660 ] := [ 200552379298728954739244939, 200569152471780768883332719, 15842642906629324844939, 2538993139905819502752292593209, 200604901374350915658993209, 108806703091892368281347840041761839, 8594526310751090731559708961839, 13995692095458917491244939, 15842734965533145644939, 200568983058958478227332719, 15842746649329286532719 , 1102669369542720044939, 13959776615739488352044939, 1105506493221715244939, 1254635827200044939, 3217484909642009516577903, 8594736514228195706204099361839, 53624734758378201644939, 17875844094204633732719, 40733358913146466387990449213, 108809364270128967232070090339744939, 678960807338183161075244939, 254172934463222017113, 678889145791658077315244939, 1131470098776236929248044939, 8595643820901002119046419244939, 13995692106998955249393209, 254145802965431409900, 88660931788844939, 224199174859873603286444939, 254172568527772417113, 17706431271913977732719, 6743667571376191, 17709255038949062444939, 20126449728087993, 1398553011878444939 ]; SMALL_GROUP_LIB[ 12675 ] := [ 16671807817985811261311, 1319347716988542239, 66482356300099347261311, 723508780442007, 103772531025791, 8185603967, 413817999288191 ]; SMALL_GROUP_LIB[ 12684 ] := [ 78736017085891623000000023399, 297081084784961534040000023399, 30236868784716120000023399, 6217037791156440000023399, 489394389240000023399, 15787467000000044855, 78736007523404733300000023399, 297081075222474644340000023399, 6207506866263420000023399, 23421719078425980000023399, 30227306297826420000023399, 6207506112307320000023399, 23421718324469880000023399, 2383105286520000023399 , 6207475304266740000023399, 490148345340000023399, 11914784135640000023399, 2383105169880000112799, 151141450625762760000023399, 78913418940003352655, 151127122675143510000023399, 211577030300240100000023399, 1917078159737251242180000023399, 78736038535928650545506250899, 297081106234998561585506250899, 200496666441331009125005, 6212271953819250523125149, 47344035060526477500, 489397023360000023399, 1846556611200000023399, 1555200000044855, 38880000000023399, 29836539397664370000023399, 78913350900003352655, 2351545773300000112799, 1253880000134851, 2352297245940000023399, 6230520000044855, 185389560000023399 ]; SMALL_GROUP_LIB[ 12692 ] := [ 14008762100008128939, 815276075371044523, 6633534303503, 64172761992619 ]; SMALL_GROUP_LIB[ 12699 ] := [ ]; SMALL_GROUP_LIB[ 12700 ] := [ 251775093032469704602047, 406087875923611212004601930687, 2517749881345947757571, 40623725855630611380027494136693, 65522007430372323376179850451107145699, 40623725939553438736679669496693, 65522007430382981575254145277377865699, 15987550412977871808002292597, 25786047189862411639686563568265187, 31987185712056753061121027, 19832129317994742129, 159873812324759802908410883, 406237258543750627558236440579, 10492872095623831608860675, 19832100862854181233, 826210329278807450627, 1565032730912661, 65044386302176259 ]; SMALL_GROUP_LIB[ 12705 ] := [ 6725892254992147213599, 62465747213959, 794084083459213599, 529618429699213599, 2116412352259213599, 128178680541733725974413599, 41667942413599, 5017613599, 166563174413599, 83407820813599, 24860396127868813599, 1651213995, 1956741139213599 ]; SMALL_GROUP_LIB[ 12708 ] := [ 5018787181519688631712441695, 63778747502274554858661962416831, 397209065598517699012287, 810500323258905029896598790571419327, 5048529399027015667933111999, 1125421594981512486241, 5047732855440926909027968703, 64156711602805042819278143874751, 2309641660677215378158365833593185, 130899499633613578530468322865740404194666175, 10360876764258799493708925099639400687295, 3375539874160514767872, 5019138290815248762618898111, 1125416753020066569569, 394958940056411923670719, 89230432360711841, 31077783686227289791 ]; SMALL_GROUP_LIB[ 12716 ] := [ 41671532774935273231, 6746731247168888867564589311, 6746731222167542289432350975, 9007693534294948103360767, 3281270255651327, 529895240368797344919711, 33424518500323231, 85791434539000095887780536650239 , 85791434221082972800250993969663, 114541830982599662525284878847, 7225392442349801441791, 708374807954205968895, 530570299050716420901375, 41724662748847016447, 3279516969471903, 154753044473, 3281269316127231, 257832258047 ]; SMALL_GROUP_LIB[ 12726 ] := [ 2085858560001019905, 2680146993978240001010599, 210604038400001010599, 79612619173760001990105, 34107550645393333440001010599, 2086185600001990105, 2680147027073600001010599, 174080001019905, 33442978892547197280001010599, 132684920096960099010105, 2627083002349760005010199, 2085521280005990101, 2627925419788480001010599, 10426288000001990105, 206434305920001050199, 165120001059901, 206500497280001010599, 820480001019905, 16221440001010599 ]; SMALL_GROUP_LIB[ 12732 ] := [ 110972014173009959950084659, 1412895684448175142607170722119, 8732517944562170882119, 24690150811128428400, 8716059547525250562119, 686787467362541, 684565506790402119 ]; SMALL_GROUP_LIB[ 12735 ] := [ 139433042374067 ]; SMALL_GROUP_LIB[ 12740 ] := [ 5590251281600253699995, 71219803382154278448571655, 2592841357691197271, 907340295103157219165508896279, 33050509621763587970903, 1396142462617000625, 231226958559121756919639, 421063492582439546308269911, 412642241611371418758823202177, 147332358782017158396299090566656198167, 68341804928693390889156085232862743, 1524610365281516080371, 907566866075106446838148843247, 907566867599676905560498718447, 252504949984042859498522351, 135963734738959037626281833, 11581702924853800690848187405510391, 11581702944276828334970924815558391, 22517964119741274132320868574967, 12125051626621410956585080524017, 149272162993539169515380735364500662103, 149272163240988541701504409968512182103, 2008146593787252546423088743042361175, 66974980885345347523552603689101888753 , 23913161558252030067778507036960890344530618199, 23913161558252030315227879223084564948542138199, 11092396334191057444449184740554213696317271, 71219802344950110602872559, 1555718596655588543, 907340295095896789990588753655, 33043249762436338688951, 199512461694478361, 33032799576476487263159, 138736350729965864494007, 420971001973389288646124471, 11559515359614273798629028124010327, 421063568370789600674715479, 2542347351629605915697, 421063492586998327484356439, 12372474201992097239649490775, 68341817229698769062606179646576471, 2546814606688228756529, 2945831452049087467539928919, 421803417445072790390052695, 5364349861043860645080061187927, 226676693333465623138683953, 5364348895500285545315172095831, 37542193922430749412187511986007, 5257062158128875769922072546446577, 1877014250882897335524956146334293568366423, 870674594790291356033583534019374065495, 71250818544020742951671639, 2542347351595207380017, 5592685343658720371639, 199512438762121241, 438904819100427455, 9394622309655, 5592685913506391267159, 199556273198340785 , 438986225910552407, 15656684623769, 34442871576407 ]; SMALL_GROUP_LIB[ 12753 ] := [ 702408300994917318599, 8957813159014108733181023, 8958062396037055515921503 , 193661615592033119, 55092033945115487, 39101982989654879, 143668917119, 4323090991967 ]; SMALL_GROUP_LIB[ 12756 ] := [ 5965643780337785690699, 8831811474662932516427, 76106597201703741134595581, 24923911806062209548, 467944988400343115, 8815197249855785179979, 691985457181567, 691049240437770827 ]; SMALL_GROUP_LIB[ 12762 ] := [ 788157681172643990423, 10058467905316671777299351, 788157934448366467991, 61783195286776727, 14814739500598270133789591, 1642203602652877045, 1160847780980192304023, 136688486148445, 90962166616017815 ]; SMALL_GROUP_LIB[ 12772 ] := [ 2114296702210380275, 71656473837543155, 1610659064411, 5600936971763 ]; SMALL_GROUP_LIB[ 12775 ] := [ ]; SMALL_GROUP_LIB[ 12780 ] := [ 1128446500187071066624357839, 14421546499027297989671425034039, 14421546272015976918088321034039, 184307364257568768530776148737034039, 1128446517928299321473034039, 38171002154421751078427576615845832537035039, 2986776381414484329532768867452249035039, 1128670376313681502249739069, 88297662560805376348179, 1128443347251607548672357839, 88297878417543424357839, 14421505977506526355094401034039, 1128446517927847549313034039, 6970061357056348179, 60448071217207897513691103 , 54849330059675733021064873353279, 335822367917879808348179, 111946464407597568357839, 772526349368731561918144677073, 700974438162655801165649987369015179, 4292260768563779648000348179, 4730390422860032681173, 4291809898856874113664348179, 7152943928200378923776348179, 54855092622261373572238080348179, 1430902845798862338561034039, 9872886744931999616554716553694973, 8958453319718741139240537997851473348179, 54855094192528115569982976348179, 60454378753592883607671973, 54849330507515113477037760348179, 91434691411384462053572352348179, 701048103780509331714534182656348179, 4729896515416577367171, 1430675834477790755457034039, 18286938369308212681263873034039, 60470143428877498647671973, 91414623402527991548485440348179, 701048103780509349232195454592348179, 54869398292513198148173440348179, 772606944693965822921111671973, 701048083712724351147524318912348179, 1168535356237493463065664112512348179, 3291648967489545953781382896697071, 2986776384762011164360614185731929035039, 1612691057936691262791261259849797001694973, 1463323612150587988929942628426923446962001348179, 210336364645349061198449916448137694973, 190855010077699848791963203003332687697348179, 4729896063646122077100, 17771934691900771210584000348179, 60454378752689339287671973, 1390381325027227761537034039, 1576961051898625367171, 1390605218448414374784348179, 4730389519315712681173, 108793528944079616357839, 123424154112362531, 108811046620410624348179, 370151989760352733, 8512170566144348179 ]; SMALL_GROUP_LIB[ 12788 ] := [ 149624817063992795, 11791255010267, 6931458466434863579, 325861098208607963 , 3911075744751, 25451006135771 ]; SMALL_GROUP_LIB[ 12789 ] := [ 54100859548649143, 3608166594054657, 4300114347703, 10820499265227265, 848127576329, 3608151173564929 ]; SMALL_GROUP_LIB[ 12796 ] := [ 1649358552660513007333127, 21105192557575970043584387759, 647286468868445702831, 128939320890548751023, 112071289416317, 10073963663329967 ]; SMALL_GROUP_LIB[ 12804 ] := [ 26640897242030586650583549023, 341110048288286142438251655168959, 746133259081971966945215, 58169550324029728703, 744802598021535771928511, 58273483337829984191, 2080738310626996428653663, 26641774655885924030844076991, 1493274697036304754623, 26641773328438257049910476991, 165930696409677382847, 341121282693963351151838427621311, 19121551767725535343421375, 15395931984061357161, 19119889296583357504694207, 23368717416670776942143423, 244832348833980844326317467583, 745137751311893798682719, 5131619694777129984 , 4575480200046527, 2082105125526007091046335, 15395924678321986665, 162509970245796578495, 134634339919777, 162613636600109737919, 1203359642044329, 12692156640667583 ]; SMALL_GROUP_LIB[ 12820 ] := [ 115657464009693660541093069439, 392092680831631362559, 30623116820482559, 9021786231686939280589439, 42354392688744463974403, 1483012299511379705138312642562559, 1483012294810164406231037378562559, 348052272989632613926830082559, 115659300901656672201605122559, 2117719454845501442559, 703850916284989442559, 263066747288963, 54895050752002559 ]; SMALL_GROUP_LIB[ 12826 ] := [ 31430611738093033751, 432503611935885, 2450537704427799, 33925925237, 191154913559 ]; SMALL_GROUP_LIB[ 12828 ] := [ 1500470192257646304412320677051, 8383391951904819193943, 116966981341597208253807803, 1500452436647322204310312118615, 9135354915595808172119, 107551301022893570223032555, 25635838126084186608, 653800541108504663, 9118266112360557787223, 707756572640101, 710795761484048471 ]; SMALL_GROUP_LIB[ 12834 ] := [ 20450037081628559, 262455675848352028559, 20697673132828559, 262455429007008045959, 20450831788845959, 3368356143742418140828559, 265633881570691228559, 1617408028559, 24449464546735198305628559, 1377230546967466383951, 1901885909002358967959, 5110814880593131, 1905054117652598428559, 107311093920053151, 148191205536045959, 401241646771, 148438046880028559, 8363865628791, 11548915228559 ]; SMALL_GROUP_LIB[ 12838 ] := [ 3110281157706930565279, 9391784463460755, 242271433495605279, 740301221275, 18873108885279 ]; SMALL_GROUP_LIB[ 12844 ] := [ 56180815951903880519, 13709840204880058184018063, 83105889933647555, 9277173644102688497215811897, 2263964343537367581376472958287843, 9277173659424295315524628793, 2263964343537658691906020825808867, 9380413756684921503428921, 2289146052941015701737133342691, 1068485645248385646275, 4378395590909525, 13876275341352551384771, 13723629627632636113232579, 86905628114672585411, 4378393897856597, 6766237049153219, 340787371817, 526539464387 ]; SMALL_GROUP_LIB[ 12850 ] := [ 92614390436821767226367, 84805538025505539, 7207345105718674431, 6734508982019, 560888369316863 ]; SMALL_GROUP_LIB[ 12860 ] := [ 43154344763159532656151, 356842381708283286578374885655, 2157717056310813503495, 717151140436725181703, 266370527832453, 55758418362379271 ]; SMALL_GROUP_LIB[ 12870 ] := [ 260309110733654155299150311, 20226038462320468842983, 20226038130431930423783, 3350178255142124045186486527559, 173539757318004782667425351, 260309110733735268192904775, 20226038543433362597447, 1571565147430869479, 120918076607715837, 20226401129636658436583, 1571593303778941415, 1037591291867226467205, 260313782533805071438210631, 120923750837283717, 20226401210749552191047, 13353799923886518311665125, 3350238381210071318942369774279, 1556286248263953759717, 260313783582406106514520775, 80627209359874535, 1037672216327328127463, 80959097898293735, 1037671972106897743103, 80714877467909375, 13354841425131622865852903, 1041944608535339358695, 1037671890700087618151, 80633470657784423, 13354841424236147954443847, 1041943713060427949639, 13354838280874988467162751, 1038800351900940668543, 171876809141445875749504178663, 13409827113758957957306855, 10175851289085, 6286523521511, 945699451946553359621795240423, 60088210271958832821273213, 73440454312654726720577663, 1556044413656379368415, 73480909371509989451823815, 4667972017907358580197, 5705281219324351688807, 40305766400341501, 73480920897167574238517735, 4668858606952342133757, 5706329006377514077823, 120904770489717759, 5709472367537001358919, 362701782757960581, 443300786847378023, 3132560009941, 5709473263011912767975 , 362770665443450397, 443382193657502975, 9394622324055, 443626414087887335, 28180809275901, 34442871593447 ]; SMALL_GROUP_LIB[ 12876 ] := [ 74023136876787575237239571, 12298920257773797095230167170047535, 12298920257769690949224971117157935, 27203366182976055970818312003119, 2112718722776260171342831151, 953121910437781847340883533359, 4118889251896408279295, 318934121832384767, 4106593454012260616447, 319889131388340479, 5748987123463931945747, 4434841810327860808587, 955181754305704923073829297711, 955181750199558917877776408111, 2112720365234662195586293295, 74023970467547359984639535, 12743246452685932799, 74023958195353392847052039, 472005517617301751, 57103023143389564484095743, 12298920268440256587753973381999871, 12298920215569520624849596375510271, 27203387422761511874646466768127, 953132643740139656974568140031, 164095281555712828639487, 344439923559477615, 164082041889541994744063, 176236233991598607632639, 2112890845311650534745639167, 4107561954280264718819, 38268905414232816, 25014615148799, 5761348682025591081215, 344439869381783919, 446495536468166903, 998417534365, 447448568538269951, 26756041017879, 34681463638271 ]; SMALL_GROUP_LIB[ 12892 ] := [ 180032458153246489671603, 2320978562977591900410174567, 126542238644956719975, 13973970565032065895, 33732566674421, 1083396983499623 ]; SMALL_GROUP_LIB[ 12900 ] := [ 20561431259132422837736727446395439, 1593909400082232808286843902511, 33532597041951227887859387, 3422881995801024013932831014262622960708259, 265339689596980534107925047699680455331, 3422881995801024055118254111666393103428259, 265339689597021719531022451469823175331, 1326189999925401848536135994298653960867, 102805426435099182403313135373707939, 432570546682295033864362112699, 433064726914115749126720321211, 5580160052201604537844502100498107, 33532600518371957897582267, 610088014718540132630506920883153259217165, 7870135390036524677689913725317658840974077037, 610088012168215193570817956723756928085101, 22618533286768404934987254227897965677, 79601909937260089863242819036603086049145, 569601792126514401086241717394608721466304329247395, 44155177745874651083622481556758741271864994467, 44155179442198171290808047399028214400581200547, 4790629036995318796416510391750747446440007477, 52966026108983495605832808796698409170104547059373, 72114277956876629768874892060354393787, 137080232071836821956611071650019003, 2598919972807958181563, 33526063715307205528909499, 2599426470094365750971, 432486221926480833738282178235, 33532600518350880015685307, 1753374678182118995674560454082829, 22618533348549409270586888313251867757, 247124990214236746658320809069, 72100575937196606655368140274754459323, 5586004346116506160991597515806395, 137080231987512066142410945570084539, 432652907950484705987675928251, 205965427744759759931553467, 2873475891209413718209551, 1593915146885455659680402348591, 9578241379127657084603, 478348097522968012044091031850873, 265339689671114295683251791800812661411, 478348098480768549193015918890873, 265339689671155481106349195570955381411, 185337277711313546044868431737, 102805500568860757730057236505914019, 123604159555087636617737915, 1113738847118639676525, 617784391375802898975946427, 1594493658263871653348916123323, 3192904464801491319095, 37067838959528838470177359173, 20561505394822372387002417624273659, 123572232870516005788314563, 222773135670956703465, 123559314701955553904102339, 205930160401765197548891075, 1594081804029927692203886914499, 6170690458046287327903503155951998773, 3422881996757374414313963132400264584995067, 6170690470401914257124634198767998773, 3422881996757905706271919641035105672995067, 2390850882475935840373832399623989, 1326190957338303774735076751463686971643, 1594493735032934414653192451771, 2874515476961424563470605, 1594493658266346589786116605627, 13282338228316456764158506309307, 265339702446830618509014910651117344443, 2875257900430765676732685, 7969418648753845357805595297467, 1594905512494845685429574817467, 20568969181924857117664869767829179, 185358349174576372673722654989, 20568968191603950035215648668739259, 102818276202812737298525928043321019, 5586004346266576427472804795121139, 135920521995018452860094338737, 33532597053082457457813041, 222750070847532949644, 33558140381313800680322747 , 816781480800836271213, 201808072434333371, 506704308263572788752845350587, 2874515476898190917779725, 39279401265950722039434179, 222773093515192909545, 3044419747747598580023, 5758477334478751, 39279403740887510537803451, 222830650184692726893, 3044914735105298134715, 17269811234323665, 235985155334190779 ]; SMALL_GROUP_LIB[ 12908 ] := [ 1753323640224826174658459, 22631902093587811156370082759, 682084022847831042759, 135875721706872322759, 116055659731145, 10523812582402759 ]; SMALL_GROUP_LIB[ 12915 ] := [ 195079182748229039, 15518927429039, 1690831430365 ]; SMALL_GROUP_LIB[ 12924 ] := [ 447053901441266027652975, 5778621137351426922494904175, 1245475108355672293915, 5777724677356015547993453423, 74682899579096339752538753490799, 2688584433215228089569747013329279, 12474267987744287255818817243987161159631, 3735636489694980642588, 5745541763565401458561043311, 1245469839417009205787, 444563732156535196565359, 97099012505737187, 34396384298162726767 ]; SMALL_GROUP_LIB[ 12925 ] := [ 7020951443 ]; SMALL_GROUP_LIB[ 12932 ] := [ 65476620958984023659, 56597288988731252451, 10994030764963636650567843119, 10994030721685260082473123119, 44644986894421460818083119, 846743923936759070883119, 266956997114883119, 5083465858563119, 338826243591, 391910403119 ]; SMALL_GROUP_LIB[ 12940 ] := [ 44792059604262814971847, 375007152309866613202395633191, 2239602793791429677079, 744380548108220243223, 273071345982881, 57517741991611415 ]; SMALL_GROUP_LIB[ 12942 ] := [ 16342682432418134452459231, 1761460618739966915, 1262763274918414263903, 144576158079675, 97571897049171295 ]; SMALL_GROUP_LIB[ 12948 ] := [ 1450427608703946881152070263, 1558751341675723902059206102281919, 1691169395254495242874395, 1573659066228458561, 1690515088088686542190107, 130561873422791847451, 112021005797374636569207, 120384625929877701742308798143, 718068121363146534427, 65283395102125846927, 1450447982667355370861410757, 1558740136540056571208437054096187, 9298330924258030838615579, 8652157521870395361, 9297546070230975032070683, 10987997387272509278131739, 120394788807305433276094764571, 20397557267078649435747, 2359524319891920172, 136669535810625, 825576908843778571508251, 8652154200041400289, 63710539681240709519, 61216562989791, 63760955554445850139, 668636722021441, 4920577835707931 ]; SMALL_GROUP_LIB[ 12950 ] := [ 75333314718066986482135751, 830965260771958225505, 5816294792997201190655, 38502705378836703, 5817244379489852568263, 64167205180134497, 449134702200962207, 2979773300991, 449208012360200903, 4961128953569, 34681463780039 ]; SMALL_GROUP_LIB[ 12956 ] := [ 124074205829035681323, 126985381448262929003929919, 756505080840221231, 18964843982835503, 740301126045, 1460466052655 ]; SMALL_GROUP_LIB[ 12964 ] := [ 86193793715535477971, 6659536073898707, 700058857100850393299, 139458828303042186707, 118087220437499, 10754684241931475 ]; SMALL_GROUP_LIB[ 12969 ] := [ ]; SMALL_GROUP_LIB[ 12972 ] := [ 13630123255359309340143, 13634238015507708942037, 1050729092163533879, 13630035714055518672367, 1050734984352392687, 82675186273335, 43205070497883962423, 2057529056279518703, 560501522784212820958263, 919331422925532215, 560456176436599711406135, 613832766877400158311479, 7270825753557745650541777975, 131325354819985052, 25595831801627893764151, 919331238382705719, 1969987752488850927, 3400860706219, 1973159780043666487, 70890808639599, 151878746209335 ]; SMALL_GROUP_LIB[ 12975 ] := [ 133736405904394231 ]; SMALL_GROUP_LIB[ 12978 ] := [ 40728269212616635065082979423, 3138254753035073680045151, 3138254678146244390095967, 241813461243666422879, 105661369494510505055, 2348541329184141887, 17796443311215935958086575199, 21750511072326150222060708959, 1371277876658068601287775, 1675952538478858727961695, 3138386219960464415548511, 1371277801769239311338591, 1675952463590029438012511, 241823564377953881183, 1371273181405534574552159, 105736258323800454239, 1371273106877783870522711, 105661730573096424791, 91414137946646745383543, 230962241292960299706044940251231, 282278132696648660423901248188511, 17796444283169595705306464351, 21750512044279809969280598111, 40729976362676464385767108703, 2348902407771050615, 17796443311253199480132753503, 21750511072363413744106887263, 1371277913921590647466079, 1675952575742380774139999, 3138386257223986461726815, 17796383348237227307610845279, 1372245135065281794441311, 105661735519378381919, 129137976991160638559, 192198387302975, 8151472734329951, 39951776825325218214154532447, 152353768080643133830343, 3077455945575425811018791, 2348168944816113619, 3078423241251813939818591, 11739389103919956599, 237128672922513065303, 182305823347915, 237203200673217094751, 905876218491455, 18271565702925407 ]; SMALL_GROUP_LIB[ 12980 ] := [ 320762008241718911777199, 418850553426936927, 320695850681139314123183, 24706923228650535343, 34949685195871, 74119539893904226735, 5435527586971982741007, 4162632075941788188592781807, 776080998355008987252269375, 594327202835066377355229003508559, 24706922220486559531, 962335436112197968976303, 1256608579539883451, 962071643308380714757551, 3527574737684771011690927, 12491113960734407026427380143, 103346510801649977988527, 1256607991444219323, 7958172487059025707, 32345261560625, 7961979314306572719, 96867757261919, 613047723030959 ]; SMALL_GROUP_LIB[ 12985 ] := [ ]; SMALL_GROUP_LIB[ 12988 ] := [ 1688445070398230672915, 4188302479071837672864013039, 24828671304315843039, 1639815735575523039, 10050355555925, 126150728003039 ]; SMALL_GROUP_LIB[ 12996 ] := [ 1032473423293497685358333495463779011151, 1032473428380287100654847371929034721871, 1719784209698790687068227855842929052239, 1719784197490496090356594552326315346511, 1507266576110551627804390072604199503, 1507270645542083865015491244808768079, 115983262710361585351331765848655, 8924228247822163710951856463, 174550361861746599126474348398834203048410274127, 49058330506471684762636537915815596985243233500936522319, 3775256534811897074977637771960354128539217761368279, 637635590792790868941330345528453192406487177772479753025167, 2266250930379432801877808203302243842751834657083735, 469712392114682949138685295, 1032473423293495842286097817744908012111, 1719784197490494247284358874607444347471, 1032473425328211608404703368331010296399, 1719784208681430960936689402831006911055, 79445477323291603994919984021654095 , 79445477714703531918628346322766415, 79445477479856375164403328942099023, 132331810533917412067395696577759823, 132331810455635026482654024117537359, 132331809594528785050495627055090255, 1507266576108708555568712353733200463, 1507270645540240792779813525937769039, 115979268706567542885129442052687, 115979581836109881851819282942543, 115983260867289349673612894849615, 115979268706425713548033294371407, 115979581835968052514723135261263, 8924535308349263022143081039, 14873713504745610349456447823, 36194302165321204390223, 1033597264984514894216833981181072701775, 174574926007676447906349470051893232097114847823, 470381150810653162810939727 , 783510693149619852651829583, 686837302200899024492879, 1719956209330113451659015101268135033167, 22352549362750494831711096212909012163459287, 2925341367526507711344556253846474157659, 36150259260618985745519, 6113073664831078820345483286863, 10182505197068289921517687855439, 6113073435935215892787667581263, 79445478420847273231270539184994639, 10182504968172426993959872149839, 132331810613802068702104509758208335, 470381168434359888076757327, 783510710773326577917647183, 8926137579399238800335616335, 8924294507163561342678497615, 115980131415080025017354300062031, 14875827779702533465128229199, 1144646643560066823395663, 290464760510567713369984279214183657259448338767, 22352549362750519882387709249776225898858831, 79531980770228570169912515475401039, 290493731518305430832917406382863739938354300303, 38017736412374494216633852934035161177618647, 36142843436572163710319, 6113071508409635411825696442959, 10182503046670421888862911203919, 6113071520456786163555716827727, 10182503112929751023378023320143, 8924228124544878746319718991, 8924252218846382206360488527, 2785043166630254927, 6104382488865176410583683171145, 343352603035266719838857, 1032473423293500089259032280764545981619, 1719784197490498494257293337627082316979, 1032473425328215855377637831350648265907, 1719784208681435207909623865850644880563, 1507266576112955528503184010843479219, 1507270645544487765714285183048047795, 56526405927100582588945150067, 56526405928954560851753709683, 8924228432794506997874040947, 6119021638639192119554179588211, 6113072177334751752447202680947, 2781575935482698063, 470381008992229234297854287, 783510551331195924138744143, 36194302158634129054031, 60288603662094169823567, 1144487212342711286028623, 88064574910163884367, 6119727619466774139327227296079, 36149332342685778111599, 2781647255579159663, 6113071592862980215068796582223 , 10182503125100191316241001150799, 470381150822921573360105807, 783510693161888263200995663, 8924294507163561081464617295, 36194303513877043624271, 60288605017337084393807, 686695485132213425977679, 79531980142590196579118054563252559, 7890927506050799951, 17320370680291107691064597507675, 8807003199899479151, 2174518601614583173405007, 1945622738687025357699407, 1332746319508632831957301583, 225095537361063235417553051234040023, 114474351938201431573679, 28266464736114732913501133135, 25285313112013112838698158415, 17320371168334225307783607454031, 2925341556757657544596375066206903010703, 463601846242891999, 114455813582084114228399, 1487708677786601557988230319, 28260043746620502830201825615, 367350975710547080121476855494991, 25291734083895904672584284495, 17320375746233872422029229521231, 1017592754310822332716098812587, 251268068647128014226324300063119543, 62044116271224177536627012110437044716943, 494078562738546023924942458882279515499963876751, 783968837146320613657305203 , 36167872123089194242697, 470839294807353923816415347, 1390519387631699964, 4641725236899748175, 216215435876687, 2787746974091188559, 1332746337147175628382013775, 102409589819354891183279, 463601585029011679, 102550503009306486700367, 7880085266691845231, 35681816063359, 7890927244836919631, 606312244746575 ];