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 col22.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 10508 ] := [ 47512263627122268135, 35444581865059487400492519, 321003471355842519, 8943700797922519, 431027524865, 848993602519 ]; SMALL_GROUP_LIB[ 10516 ] := [ 37159796836843712331, 4097805961634270283, 14887638351455, 389440083127115 ]; SMALL_GROUP_LIB[ 10521 ] := [ 413081855231 ]; SMALL_GROUP_LIB[ 10524 ] := [ 307514024155580012860103346683, 1881840646720205956823, 29220679631372818234591739, 307518432439569890097243400151, 2782966626262668830423, 19807279023276620446434347, 9519267364199074800, 178939866475857623, 2776621242597187204823, 320343064171045, 263830778278061783 ]; SMALL_GROUP_LIB[ 10527 ] := [ 271669720570229 ]; SMALL_GROUP_LIB[ 10535 ] := [ 64126062503 ]; SMALL_GROUP_LIB[ 10540 ] := [ 2284772372888877280705617981479, 216771573819742531627581479, 665386772754009603179, 62956191168003179, 663557358286598403179, 63129774816003179, 6071500803179, 663485842873406807115, 216772193026190760734781479, 1951292385676803179, 132691294549464731103, 43355464536681215160705119, 73725884404520090155397883105, 24089195310428348730515226177903179, 73725884006458801994117883105, 24089195310416008830582226497903179, 23775537377764029625083105, 7768215828196660073680296303179, 390267726220813619, 6993140924462757663483105, 2284778914500473996469749103179, 20573134254703065603179, 62964873849626205, 20566622210577148803179, 69926221498256006403179, 216840835044525980448003179, 1284593838794870403179, 62964852076826205, 121729813459213619, 1197504014373, 121877918265603179, 5975078403585, 11548915203179 ]; SMALL_GROUP_LIB[ 10548 ] := [ 1126125558198212605200226419, 11878372387719007427060770966663, 107501081563477558644567, 125293071945660086021716811454640983, 1134137119768869546212937559, 366969992440687336021, 1133921424574333682665377623, 11962878339312165820746875555671, 430663631850675967920608950444005, 13940853976354354012613780092703638104601431, 1330993480750288044868947629040994120535, 1100625213050757324912, 1126182809243625585667788631, 366968090389208472149, 106767423489797565206359 , 35052091539233021, 10121359362314424151 ]; SMALL_GROUP_LIB[ 10550 ] := [ 1964659446550213139, 20727154508911492453139, 1965081610346533139, 186452824453139, 23169841576275386293139, 31530286588897533, 2196193308956773139, 3049462256193, 208172462533139 ]; SMALL_GROUP_LIB[ 10556 ] := [ 8955603618831399748266635, 998979515286540954887001102699023, 998979515286383853918124493326863, 1116863865384578573779386321423, 105803701040332811316185615, 94535351801245856543162583567, 472252425675005628575, 44655555151532191, 471383362817995640991, 44737890653507743, 4300113711263, 848392864647911729803, 345634041435855952763, 94636179956551280567884007951, 94636179799450311691274635791, 105804078082658099758189071, 8955635941010171844446735, 949518974683844767, 8955635423045826241317863, 431603692673049175, 3648513094690209171548119, 998979515621359805866595096931487, 998979513963001978405106564410527, 1116867848245027837172481731743, 94535692997791938058253184159, 10028652570844864843935, 32760117780239175, 10023122712025944920223, 59227145722603813015711, 105862456537765580999561375, 849295274810150523039, 32760102359749447, 80407054081401431, 1412076283049, 80456117673857183, 3103924294223, 7615519002783 ]; SMALL_GROUP_LIB[ 10564 ] := [ 4635331595306880947, 269180628233370803, 3168319523819, 25451006135219 ]; SMALL_GROUP_LIB[ 10566 ] := [ 3943471959963196391517559, 638113856573882063, 373222781889180480759, 64148922858111, 35323415321002999 ]; SMALL_GROUP_LIB[ 10572 ] := [ 30166635583744448307975279, 318921671390325676975104001759, 2860057112790958081759, 9738544106096889600, 2853565559243407361759, 326234276613521, 269910887628801759 ]; SMALL_GROUP_LIB[ 10575 ] := [ 499651745895312073 ]; SMALL_GROUP_LIB[ 10580 ] := [ 18801025093623695, 22265806507086650462820280843, 28355651056869827727, 6900045132393928790611247, 1679010783106994755839272222447, 2492355741700204499603768445418421999, 61642553101948939, 14999685384796906057615, 4565134811042636161935, 2104518869264763096501135, 235572239445445356867769055436527, 198914920169696852879, 18766063513808907, 253970995589, 18801020475969423, 1773838907279 ]; SMALL_GROUP_LIB[ 10593 ] := [ ]; SMALL_GROUP_LIB[ 10596 ] := [ 1786288348297267575011, 2899264616355495275747, 18930415870435221591881273, 9849687427377652428, 168710528385554147, 2892698974641809525219, 329210168655187, 272992690386954467 ]; SMALL_GROUP_LIB[ 10602 ] := [ 2846828828923326653453147, 9919254642917481135716389738228439, 9919355245101268285421212522228439, 935602211180887318270992628439, 935611700162568807584784628439, 935644434285312090501687028439, 935602211178785266755312628439, 935611700160466756069104628439, 88251691594564634045428439, 88247708764085084832028439, 8323685235496569628439, 8323685037228787228439, 268518094673866253147, 88247709034252943664628439, 88248604052332691760628439, 785105245900828439, 16895521728028439, 25332718118428787, 1906120127057999673628439, 11395101808547313465628439, 179788929382368028439, 1074807009130464028439, 8323790760112032028439, 179788731114585628439, 1074806810862681628439, 785115140083228439, 179126234416800028439, 17093789510428439, 179126036943724842359, 16896316435242359, 447580804246790453147, 20208685587068701899331228439, 120810869374218406722115228439, 1906122229134198710428439, 11395103910623512502428439, 88248829638760909891228439, 25333512825653147, 1906120127082683030428439, 11395101808571996822428439, 179788954065724828439, 1074807033813820828439, 8323790784795388828439, 1899096337208166825628439, 181228310615836828439, 16958037657628439, 101377777305628439, 2413670428787, 1617408028439, 13782609651425703624028439, 760845589237469583947, 1297907103262838859959, 4222186042085131, 1300000910279184028439, 71764347859253147, 122420969222442359, 401241643171, 122618442297628439, 6771340828787, 11548915228439 ]; SMALL_GROUP_LIB[ 10604 ] := [ 45652342466889032198639, 484097474242179529482242399, 39070477166837762399, 4308777725460482399, 15394406457369, 406093824002399 ]; SMALL_GROUP_LIB[ 10612 ] := [ 13758803851740371675, 1301387142797531, 210209220465209282267, 41839012257936399323, 52917850828463, 3941399915907803 ]; SMALL_GROUP_LIB[ 10620 ] := [ 13506779221579311734667903, 8463068607867034546223896104543, 75037581461870479640627, 25014044151763264840199, 143441995121609526346740614773, 89877788615547888907602171315667291, 797000010468857874252924979, 1271984758058212665193, 796899125038064319863367731, 1328149086561015601568401459, 8464140111183645408055616325683, 265700020698209145787743247, 1523353988191388675668236865018929, 954502115097118580291106915821482974835, 8464140462191473022538602154035, 13508475314235630632509513, 8463068707937655901391825156147, 14108671002412868141897968830515, 89889171708473447460189963597170739, 1271824940205021617079, 265649154094411450956946447, 2821734219814645597503587728399, 13512714197952439433953353, 14104943299312174675875842840627, 89889171708473452170499338460571699, 8466796361019522371554392385587, 143460003595031638596368932937, 89889167980820370304029175893342259, 149834086045624669890421365683775539, 507912173225605789799855131238547, 318247600942059785232350833236702534407, 171832140637919539465063988981540530592817, 107666582680906555906758620909339187444299570803, 26970135585534733124979756845145693233, 16898947494204155003272114226501111017086579, 1271824794021909921324, 2726109326820547803619701979187, 13508475313943263073771593, 256645765235010546600696847, 424048065277859896247, 256695793482634901471160371, 1271984465690653927273, 24166267276836103119367, 39937408523808383, 24170977591083759159347, 119773243229836345, 2275340780292769843 ]; SMALL_GROUP_LIB[ 10644 ] := [ 2979024334155491233003, 10075018321659503820, 2972308486759771257323, 335222984472815, 279240745412692203 ]; SMALL_GROUP_LIB[ 10647 ] := [ 73846560949573877586719, 86919000316703, 564291065241143, 78103026938795088671, 78103287376988429087, 12015924428035054367, 12016184866228394783, 9852987408695254375199, 9889034919473694694175, 9889038305170208119583, 4384635595283231, 928810099228728095, 86865778138679, 347303971479095, 3701695543724137247, 925424402715302687, 4108738169, 87236772715295, 8185600799, 347674966055711 ]; SMALL_GROUP_LIB[ 10650 ] := [ 16424728684224357979, 174923290752187936357979, 16428693845446757979, 174923286836829217043839, 16424778486727443839, 1862933046443826241898634179, 174965524769642769034179, 3897037842031715137957761272113, 41503453017638264704086830043881313, 665296845668655149242281313, 301822466441948737424789686757979, 1552306210839268774757979, 1548933120357979, 6745668276480681313, 2295799604535051749288357979, 9374205888356020472113, 215568018429320861834179, 879932017799767173, 20237217700180243839, 27751719448531, 215568037980298909157979, 880207383687081313, 20241127895789157979, 82824896362533, 1900239757157979 ]; SMALL_GROUP_LIB[ 10660 ] := [ 79262090350394094489809639, 9016570859487097239316745523392479, 9016570859482712314601819443392479, 9770708797071585839277772992479, 916576812468039431065792479, 844933883142524391201280192479, 1723906086784204805279, 161026473984005279, 1716538358910156805279, 161717688729605279, 15518924805279, 7435861614828032209639, 2097209467850035454411, 845832167375557254099865792479, 845832162990632539173785792479, 916582531935058808115392479, 79266292138528440422592479, 8065980524134405279, 571964595699815166403, 845165567305215833138893504159, 845165562920291118212813504159, 249982461593637847143104159, 238388785497218558322383296131, 96116679808690977761197715302092805279, 96116679808644234463736603289292805279, 104190202335304295132380106035205279, 238388786069165260269263296131, 96116679808691001211012495124172805279, 96116679808644257913551383111372805279, 104190202335327744947159928115205279, 79262471326313709672896131, 9041441752820500093649181184005279, 9041441706077202632537168384005279, 34641618387487496310145126405279, 79266286271858127770304159, 2199860504166417759, 22356253383305114524096131, 9016570904223459391148572774405279, 9016570857480161930036559974405279, 9770769790446793809536716805279, 844978674215777854419865605279, 86011251593301196805279, 196795177369662531, 85983354371404595205279, 304848290390363340805279, 916879941984369449369605279, 7443375723036672005279 , 196795085619262531, 697702357401617759, 5046272019163, 698252650086405279, 18468044806371, 65444249605279 ]; SMALL_GROUP_LIB[ 10668 ] := [ 178236291308216035717367, 178352857889084228167439, 16662159586677637367, 1901425467721216838363312741, 179762762314484569932389, 16717708086072586487, 178341757313142808190735, 16718616618060558095, 66969390525877738701739061495 , 11378406953526340454083784951, 7523950090697095511732471, 6280415204122206559400183, 1821128995913975, 588450099493425787127, 5553536938009062287, 66969387695234487442496235767, 11378404122883089194840959223, 6277595662534281607985399, 1066592328043149413791991, 7521119447445836268906743, 6277595397171803287269623, 1066592062680671093076215, 705016859222501699831, 6277584560870947316574455, 588715461971746502903, 3524823809625773830391, 705016810442260801295, 37607061061429494653636855, 27757682708139982967, 37602820646847690284526839, 52643671048323502487505143, 401192127403356724845080332535, 66969396871765939014335681795, 11378413299414540766680405251, 59332517456995451158061, 6279005301519968247575141, 16652929958849723868, 588451201113867501815, 99980697318298304759, 650403212852111, 55284273089757431, 7405518594179580001199351, 27757654252999422071, 693916234500840824591, 524387590431643, 694180558366531004663, 2605677871393679, 65044386302144759 ] ; SMALL_GROUP_LIB[ 10674 ] := [ 4234864314643900549389727, 671444072225339729, 396745762197090950559, 66816809021361, 37169797429288351 ]; SMALL_GROUP_LIB[ 10675 ] := [ 53499539159 ]; SMALL_GROUP_LIB[ 10676 ] := [ 5357032395944189072267, 518452879059056955327, 611437316398109887154213214911, 611437319888764333413751184063, 868935702398882569953827519, 57191684973568939089566399, 7623782743448644031, 502488664430361023, 4567361814147, 47019189217727 ]; SMALL_GROUP_LIB[ 10682 ] := [ 850865818311723556439, 3722826753916241, 79654149252978263, 352638808313, 7457656342103 ]; SMALL_GROUP_LIB[ 10700 ] := [ 75309820399244016343647, 86222162038641139685865030527, 753097761971045143891, 8625981577522337260022072063113, 9875886307557381637251795495540454899, 8625981602624828314826900223113, 9875886307560067603794659612153574899, 4029025133504986702808724617, 4612772853095546078424397051737587, 8061665025284323321361747, 7041384987225860549, 40289744546204705769954643, 86259815770765877674570762579, 2636514987393228934517075, 7041372996724685253 , 246403239530715675987, 659477564686121, 23023475185341779 ]; SMALL_GROUP_LIB[ 10701 ] := [ ]; SMALL_GROUP_LIB[ 10710 ] := [ 188500419494876149, 34307057423479507850079, 3203273273206969183, 6054630032920801255221, 367428585010872039594070879, 188781890176622389, 34307062208551964447583, 6054629786630196641557, 367428585006685099315507551, 188535599572008725, 34307058021611685884255, 64845087651587691148079413, 3935160145466449114504821281631, 2021853141690939994421, 367428636263207986360554335, 17729625068533, 3473751652215735357553856549727, 108100706101118808349413685, 324277899783647523389116735, 6054629927232393834771, 324346514650947300687548767, 10090798591925175972117, 30271641915389087273247, 188465101978951441, 324346559497264624461484895, 10093436610591280197941, 30278048532149626294591, 565324911422299923, 30284455148910165438815, 942184720865771285, 2826483768083166495, 17600776058353, 30284459335850444002143, 942431011470384949, 2827081902408668479, 52785148138995, 2827680036734178143, 87969520227317, 263891380671327 ]; SMALL_GROUP_LIB[ 10716 ] := [ 109304597591415306599295, 217024921195610219, 109277334655643545383807, 10197586483912539007, 28892882170369358719, 1699724348091645151, 309646788701949734951807, 614803279669668915, 309616126938699080210303, 346041361524391230706559, 3318174987730812219929383807, 2327076241471488535545, 108486756424625596, 21090608746603, 17466508197194087993215, 614803095126842419, 1627408776564290783, 3400860697755, 1629946398608143231, 57392819044459, 151878746209151 ]; SMALL_GROUP_LIB[ 10724 ] := [ 223901527958482792179, 44566518222573071347, 55193565452939, 4154508242954995 ]; SMALL_GROUP_LIB[ 10725 ] := [ 1705258388449127, 12485420925, 950962238444998559, 1005745962849303, 8185603943 ]; SMALL_GROUP_LIB[ 10731 ] := [ 11101995618314852591, 147942512939309, 1034571649456367, 9303099024414959, 14619781949, 11123552850399566063, 99853120111080216815, 443247062044973, 97176262895 ]; SMALL_GROUP_LIB[ 10740 ] := [ 1013125517490621114922991, 1947692581589935121888526987311, 16885419281808577154699, 5628818633509744362671, 10880968041924874888398421917, 20918218326275906769199731630178731, 181371978464070049319710347, 94343888403422763833, 181349404478752832546878091, 302245294393341651849639563, 1947935048703965112086097507979, 94332017676849447788, 59789436963730824803302027, 94343728297270242105, 5565938371626054634671, 2950527668026975, 5566986472245076809355, 8805838388758233, 518217871097859723 ]; SMALL_GROUP_LIB[ 10755 ] := [ ]; SMALL_GROUP_LIB[ 10764 ] := [ 1631011742471539280610225831, 403792838128877634774885967890415, 633961758358809387510915, 17556210395963003007831148316393, 4346426109619238860657618467884466235, 27285402716008060088203521155, 27566115327175908970861, 6823964366964161379653504131, 6824598004949319092387507331, 73453156275023881173828554255491, 634020624764246709152899, 27599387874218224713715, 2560724192577498453, 633664894502971759324291, 58868906079177452675, 110211989715584523637101, 6820768924424611132214611075, 2560961938444685677, 633664899971779772664963, 151527248616276960636583, 37512925708370861782601074671, 323767728341205429379, 29435699993587007119, 1631039303469793309341763305, 403789132324903901972208665854011, 3485391582581384152788099, 14078295676476887405, 3485035857788917216300163, 4118673842946629950303363, 37516754994927975203979193475, 316907297419271787531159, 17556507062548548234491452259477, 4346386220345265601107695285239064259, 37516756115921510066635910275, 151538768989060710714237, 37512925973340767584398630019, 44345471619912491391222672515, 403830362831779155063857009781891, 3839232823130747219, 316845877311039839628183, 3411190149415653590579973015, 151572038214452790143869, 44333405245580730444390038659, 403830362831779160532665023122563, 37524992288811591684233546883, 1631163276120104953922374525, 403830350765463689708565188205699, 477334656516738088196499293801603, 1596437032448546793218571470207, 395233098471040260903730154506632703, 2034316451944413017951711720841116974229, 503639792640668740557583103228478639982487235, 223392620746004243287623693523549333, 55305757532919773118692025137785880159939, 27599387873347467050995, 3839232387757303724, 245205357833557, 3117182477626590134515702915, 151538768988189953051517, 289298958866209529244567, 1280061220491145555, 289593318238669777407107, 14078294805719224685, 26876528390947405455, 118945496743987, 26903872503577242755, 1307819958906197, 2496694421073027 ]; SMALL_GROUP_LIB[ 10780 ] := [ 366181727932928003559, 3947443276542450176003559, 3987650628367223552003559 , 42553438521127238441600003559, 366182122197120003559, 90564310696532065672312021640065030559, 8401141994162274037409046913030559, 33920451072003559, 365661808296704003559, 33968685312003559, 3941834293127480192003559, 366182122193280003559, 3211264003559, 621710152192003559, 6706285572528640003559, 395632972288003955, 46913637397302016003559, 72293758472190696064003559, 70847887833294773289729039055, 8401142002043748019348751233030559, 365571327132161055903, 43349203705119507201055039, 27585768282647560961059035 , 3271059975638216023753601050359, 2081582665530503295157121090355, 246833420667554194571515660225003559, 8233121231993199675607943857025090355, 976283515683962079232244322313183169003559, 373029868032005539, 6704544810539520005359, 56540274944005935, 6702035633181312005359, 28148223154588416005359, 72274993057601952512005359, 72293776648064474624003559, 609662478069888009355, 72293758473482541632003559 , 2124058335434909943680003559, 8401144114228935422519549824003559, 610928369346816009355, 505729011144580926272003559, 72443881786132403840003559, 779326912266135357365888003559, 45993177392071318272009355, 779326716330217325992640003559, 5453870969542832695545728003559, 763740230842918759830750081090355, 90564310781814873849357669505985003559, 11828917260168201152003559, 609662478058368009355, 1097301996077952005359, 56540267264005935, 101767447296005539, 3146240005593, 1097302157558656003559, 56554947328003955, 101790515968003559, 5243392003595, 9437696003559 ]; SMALL_GROUP_LIB[ 10782 ] := [ 4544520919600480030049551, 706152696179576075, 421491455028546841743, 69567058438515, 39092594261326735 ]; SMALL_GROUP_LIB[ 10788 ] := [ 4513522528687199801667461127839, 418383625354775900203527839, 188934499194048001739, 17191805990401739, 185464429049606401739, 17513494444801739, 1251110624458200353127, 418384783726898174750727839, 3594959527104001739, 133157782310424359, 13496981414508469637883057, 4513535046845777995513742701739, 38786159906456025601739, 115977635654426157, 38782423568559254401739, 41655186407164550401739, 418425093070945978348801739 , 185738990577783939029, 12885520955165100, 1692057601739, 1347306967754870401739, 115977613881626157, 124568488915224359, 401241625171, 124889382662401739, 10752652801797, 11548915201739 ]; SMALL_GROUP_LIB[ 10791 ] := [ 502909455252379395239, 4323090991751 ]; SMALL_GROUP_LIB[ 10804 ] := [ 114036051197027079431, 56217509216262401507, 13354903100700028931913882143, 13354903131215684102280256031, 44334896398145258751334943, 1232045866051896468642335, 379818878133733919, 10589783130835487, 482439468059, 977778379295 ]; SMALL_GROUP_LIB[ 10812 ] := [ 37139987346758700513251, 10923759448110154626047, 4347671058792111449746207579263, 4347671053694734255947591621759, 6259281404357950049167252607, 401557593138849794398264447, 53544196021856374223, 401557543159941467645977383, 3569909808144490199, 118107687119080628077584387, 47007019487660308985444437764538831, 47007019432547466766093802032005583, 67675350543918163557345935163855, 4341640697017243184129543963087, 578977093246992531197391, 1010368161812257523, 578919850370242177961423, 656108704358805619281359, 6259900332187752629907164623, 202058672407894640, 37191583331269896146383, 1010367821149444851, 3435220516247936727, 6277929019597, 3439842629290233295, 93487609025787, 317741071994319 ]; SMALL_GROUP_LIB[ 10818 ] := [ 412792335820800361199, 4465587304489651200361199, 412792466457600361199, 38170828800361199, 4651960602186432000361199, 718035840215640601, 430020387302400361199, 70502400719401, 39750912000361199 ]; SMALL_GROUP_LIB[ 10820 ] := [ 29724807521778902611951115339, 22163107985372162159, 2067943219202159, 2747417305524446375435339, 15290939239137317012403, 321709330036408417680398412962159, 321709327809096920914073676962159, 89507336392260138042629282159, 29727055755308664593269922159, 764546870935895042159, 253969683394199042159, 133327918371063, 23468434560002159 ]; SMALL_GROUP_LIB[ 10829 ] := [ ]; SMALL_GROUP_LIB[ 10830 ] := [ 6495097813423871443653252730146543575, 1273108324046847412425212081320919, 3421990530939721397951447, 34934253511873089939669096407, 3421990533290814054003671, 378337965533585563972193832593879, 117553861894977368151368499935, 156240663040664644319, 2012223638023127, 236363465102020493882327, 393663140354282406458327, 21824890832983696343, 36349329914448323543, 689916566173518017495, 63704207688788951, 2563160165140129960700003039, 21792360192103187603, 2013461864379539, 2559816327054880118417741783, 4263371810036876631615821783, 236363567722002256414679, 393663242974264168990679, 4483102581885346685704151 , 21824914361521635287, 36349353442986262487, 413952247154228039639, 27755179162752008092798815218135, 103277091581270999, 3358710324714455, 187687017431, 2017580215622615, 669696831444799308425687, 61747980141777387731, 1006002738131169, 61837173529041355487, 5700391541420543, 31200570127, 61837195881209829335, 5701567971329171, 93117922689, 5709802980766679, 526539467735 ]; SMALL_GROUP_LIB[ 10836 ] := [ 292952836662427990294378693679, 293016364123766513060740190945, 27035145493961429694654791, 292952836537702666410071688239, 27033274451820336788505647, 314922535900164530664772315463, 27035644439441828147217455, 292958248618581668904360226367, 292958243130668334882714504767, 3174495582030946918220340774202943, 27035644944859224405888575, 400772868287746995157593321875676224899271, 36985314533841477580536962428648868039, 2494768298703911463239, 292952842026121050370368811745, 27041008132858822937457377, 314922525049063165427905980743, 29062618670324542896564551, 29062617668839898789292359, 2494975145795311216967, 27035519714117943840212015, 2494985216807281591343, 292956891607287103382357118527, 27035644944838146523991615, 256342106464979439293388400967, 36645221361267001685351967047, 29073843981235688161519943, 23667251509317301551343943, 23656524143301233592615983, 2777723065670727105461795162925383, 397087618686899131541112364968263, 944841926891777849079085377863, 676260667025129930931227, 2777723065654512816086420957874503, 397087618670684842165738159917383, 2777723123775381396144724742629703, 397087676791553422224041944672583, 30099407139607998909779126941078907207, 4302841436091238984374608142415554887, 256342106466475910592599312711, 36645221362763472984562878791, 315044173380179485895175883079, 315102294248759544198960638279, 3413818838445663473495280120621383, 256342111828662436085830756679, 36645226724949998477794322759, 29079207664232480603875655, 256458353566812391105163405639, 256458337352523015730958354759, 256516458221103074034743109959, 2778982719249976013962962633353543, 23667253005788600762255687, 2682044031547792763207, 87183985655573196007133921, 315305771051052962163760901291, 677133835897497536914781, 314922560041698373595051187371, 4409194432389592766984952704171, 4409194430518540554880076180651, 3418857220343666744806377691507883, 3418857220341795692594272814984363, 233104511474936135, 2183130592340207839559, 62397547944481238795, 256342095613878074056522066247, 36645210510165636448485632327, 23656525144943259218045255, 3381803374574817209182535, 29062992879870451295185223, 23656524143458615110773063, 3381802373090173101910343, 2682077669036916058439 , 23656400407952064685009223, 2184132076984315111751, 23656399417977349285610543, 2183142102268915713071, 2027784059725808424516635 , 2777722948071978650758587708410183, 397087501088150676837904910453063, 256342106466475889514717415751, 36645221362763451906680981831, 314926590846014158061926418759, 62409057873189174299, 256342095614373060711625705799, 36645210510660623103589271879, 23656525639929914321684807, 3381803869561472312822087, 29062993374857106398824775, 256340754818357687897708890439, 23667253005767522880358727, 13409443527723356629319, 2682077511655397901359, 145320945814187499936524615, 311882371390803049499, 145304731524812125731473735, 203425600104870429516228935, 1574697768843377362436851362119, 29068480298059031127273023, 1574697822603942775083247118663, 3379556994826978028535995, 1574522070807779894783800334663, 2204902352224211726787228133703, 17063425605736324691514163687516487, 187111002170896368055, 29062992384725009481551423, 314986052509619299701192551999, 3380430071957161945243835, 2204319802741405864020584462663, 17063425605736325186500818791156039, 1575104614927397736874164341063, 36620878722398280291909222587, 17063425023192205568658728427149639, 23892321888701559775544007423691079, 79376487291329962127578067532643, 36985314541164707083994001526486288583, 6020865145601870356722280241192670947 , 2805410059047972632607741482162364934689671, 256342149375939417354591804587 , 36645264272226979746555370667, 677133835855341773120861, 23661887837440497135858401, 187110981093148273980, 2183142280728315767111, 312090068623439243591, 6115396134448907, 201808072434329927, 300397730592515872542958524743, 3379556994784822264742075, 27711469003493509124165183, 62385678286589362615, 27722197359484292482009415, 311882329235039255579, 2557352187771090895919, 5758477334334103, 2558342162486490294599, 28781145134313227, 235985155334187335 ]; SMALL_GROUP_LIB[ 10845 ] := [ 1658034157008442559, 153731741242559, 380613441082559 ]; SMALL_GROUP_LIB[ 10850 ] := [ 64807426598483879, 703160336601964883879, 64857589574483879, 703160311917830485619, 64832905440085619, 7629289652069927337683879, 703704819236227283879, 5996851283879, 14754598418878494408083879, 234435756963139985795, 1359602924991811337819, 12965147193761193, 1359870821902454483879, 21606983020907195, 125309012947285619, 1197504086373, 125333697081683879, 1993766484575, 11548915283879 ]; SMALL_GROUP_LIB[ 10860 ] := [ 7708462376702991335699316053929379, 21181681516311167385633119, 709803166450962470570530729379, 7708462387657428631892545889496359, 21183362571298660761697559, 1950173296577740833119, 230033067396008623991339256179, 21195533425423185246456179, 709829820609431050072201129379, 83734786844998209578300164775458632719, 83734786844945996637737289752098632719, 23383593048814221531495911765832719, 2153185363680369961386735432719, 7708751851830575678562678716232719, 47849691889074692505633119, 1950581201401036833119, 21183295335148197273697559, 1950586607077171297559, 4404922827909120033119, 47837454925012466688033119, 4406049711844761633119, 181108290355233119, 65362870631871200597929379, 1095410013625354792431603, 7710385539959798417374522095432719, 7710385487746857854499498735432719, 2153202889702376910970402632719, 709840787218697144124553032719, 18256827205424332833119, 709840775046727823777326296359, 6085978589369548897559, 11896152730943319853207128183, 83734786963963410808088951875612833119, 83734786396930876295266198186012833119, 23383783382167817059869193449633119, 7708870949195050589378915971233119, 198293551631402283417633119, 100879071246956199783, 198269144939470621593633119, 330444559789078957056033119, 2153467970716871380272537633119, 47849691894413856913656179, 100866518469885855600, 406332702720033119, 65375716142941329715233119, 100878901941663399783, 6018742438906060897559, 3120054681729421, 6019863143198515233119, 9311791104064623, 554184596275233119 ]; SMALL_GROUP_LIB[ 10863 ] := [ ]; SMALL_GROUP_LIB[ 10868 ] := [ 40224341668549380023, 8305788957527702773857023, 70320449560304699, 57535009186963103, 437158180079082175738133, 90267314391075954740467178843, 764984861665988312123, 3704672750788145, 764242701500849553467, 8128707435956245693499, 8313855476574033021453371, 62233199838816798779, 3704671057735217, 5725096569726623, 278870007591, 5726272999646267, 340787371169, 526539463739 ]; SMALL_GROUP_LIB[ 10878 ] := [ 269449578592522343, 10781616454685825, 31884433418626176151441511, 11481172226122220924293223, 2931093494758614618215, 1055448965203185750119, 4337805338684191658087, 2931093346160810315879, 1055448816605381447783, 398768668535345255, 2931071941548578689127, 269598176396824679, 1276024472930922953730089, 3772913477893239648209351551504487, 1358577544501352452684473833377895, 346838892986839104398915424359, 124892217734781079437996347495, 513581968415905201668199567463, 3826432121993917357123625, 3773939981266280416574795802234983, 346933258069854435191840985191, 1540085341456673567112450297959, 117303254021543454761, 346838892985222615391516446823, 124892217733164590430597369959, 31884435833682757839573095, 11481174641178802612424807, 47212903881951328163024999, 351758820215972063273 , 346933258068237946184442007655, 124986582816179921223522930791, 31893110689631951698088039, 11489849497127996470939751, 141577986897282121088585831, 2461837362724834928681, 347121961976861682978468941927, 125175286724803658017549865063, 31910459604062400100323431, 11507198411558444873175143, 330281895521018915115520103, 31884435832434509581570151, 11481174639930554354421863, 4340219147017621786727, 31893110688383703440085095, 13015075096211480301671, 226313453665216553, 31910457986473742247645287, 11507196793969787020496999, 2933485898479813120103, 1057841368924384252007, 30362373186250287861863, 31884200580648616356499559, 2932689530206431367271, 13903552691452751324306239625, 151242846177640980318051510724649, 2931094081251498053735, 10797490518976553, 269451583167189095, 97026088631849063, 1052595246209, 2931891549163724001383, 1056247019608295133287, 32350677335894057, 24828863107175, 44653834955959964073103463, 586516144812127187081, 4104966334782167520551, 53889913396871321, 377217435985422551, 998417739133, 4104967361124396716135, 53917652375857193, 377364056303718503, 4961128862849, 34681463689319 ]; SMALL_GROUP_LIB[ 10884 ] := [ 1438349387557622028563, 3405794128142626802963, 15658406552077985413713137, 11264374660697598060, 132296428475709203, 3398285454179152443923, 366531826779355, 312220433630497043 ]; SMALL_GROUP_LIB[ 10890 ] := [ 80461212632949314050278651560832013199, 321519856026947154041254656011399, 41986019453980672947185362514624031199, 3501351232133454507504965890944013199 , 29524329362466496688256013199, 2711141355598786560011399, 34266677760011399 , 4066710697446605568011399, 2712508380384461568011399, 10837722282757325568011399, 373435420508416011399, 249082590658816011399, 995199569756416011399, 497788250358016011399, 2735865131565824011399, 251227406848011399, 29550050999249837360000011399, 373161272083200013919, 34268578048013919, 44286479495189371126656013199, 29539216262382622966656013199, 118022795659223111926656013199, 4066711725178716544013199, 2712509408116572544013199, 10837723310489436544013199, 5420914042240860544013199, 44689796769126581120013199, 373435443282048013199, 249082613432448013199, 995199592530048013199, 4103746282881664013199, 321800055381830725193302976011399, 4063726252298609536039119, 373184133079424039119, 482279761702612250869642176031199, 321682065097346763407242176031199, 1285268244728939688181642176031199, 44286490687195529097664031199, 29539227454388780937664031199, 118022806851229269897664031199, 59033753920002277257664031199, 486671886815788482433984031199, 4066711976650223808031199, 2712509659588079808031199, 10837723561960943808031199, 44689797020598145728031199, 3504402603108136597352680391648011399, 1238798554903131100414848013199, 23025294430656541440011399, 13490516262895100443256521664011399, 678470258193928157148032011399, 2114352476860544011399, 13490516262895097679606547392031199, 678470258193927903392640013199, 2114352223105152013199, 3855465582349934803880522464011399, 7388541111731877631832896448011399, 23025298473510514880011399, 22861447168011399, 3407872011399, 91375403008011399, 45768638464011399, 137112858624011399, 132859480271637514814432011399, 12191925125161944000091139, 373115600241536099113, 12200133165793149888031199, 1119301112169344039119, 11422139136039911, 12200135929443124160011399, 1119552353076096019139, 34262221568019913, 1120306075796352013199, 102782468864013919, 1049088013991, 1120306329551744011399, 102805537536011939, 3146240011993, 102874743552011399 , 9437696011399 ]; SMALL_GROUP_LIB[ 10892 ] := [ 532763965355635806052051, 5802865307272964957387373079, 245828391227769121047, 48934574770027116823, 58743781616273, 4491360970615063 ]; SMALL_GROUP_LIB[ 10899 ] := [ 476121049913 ]; SMALL_GROUP_LIB[ 10900 ] := [ 3060577779498816837902171, 85807698769139200713075, 363705808120793975691698889840623, 363705806890921256458978976880623, 101948068415035156116002854895, 33360298367369525425030322159, 858076502366303980127, 10199177179910466328052161013127, 43211892363961322877817376453820020995679, 43211892363947917265177739806768756995679, 12117642406815632009751799556437489247, 10199177208512157472999135733127, 43211892363961325995401711253040265475679, 12117642406818749594086598776681969247, 4676462320398358312832427399, 3968838110860699447637187137550202463, 3968838097455086808000540086286202463, 5556036289768996455320713966696031, 363627252207187965355381167797855, 9357043283841182154263135, 7875652092737490039, 46764045869609862740937311, 101991771794118999913442314847, 3061239396848220287470175, 7875638927557921911, 280847617797593860703, 724084876293591, 25760494934985311 ]; SMALL_GROUP_LIB[ 10925 ] := [ ]; SMALL_GROUP_LIB[ 10926 ] := [ 298043501909649983807, 3256423108040763318700607, 298043637850827917375, 27291809817888575, 4987444936045517675586239, 754648319267966803, 456474911314946556479, 73365080888491, 41779255351951679 ]; SMALL_GROUP_LIB[ 10932 ] := [ 3496980223970950081819, 11515184256582633900, 3489304359772372961819, 373047788667191, 319175298478401819 ]; SMALL_GROUP_LIB[ 10940 ] := [ 16338405466870888954647, 97771947092031109122604061591, 816920178209273491079, 271377524823871417223, 139353098644581, 24802007564987015 ]; SMALL_GROUP_LIB[ 10948 ] := [ 151818927144643676955, 38226032280501487267544247, 318925794664544979, 106309782539898079, 1662113676780527438959957, 418498601408376176153475179059 , 3493387388991883696851, 13873444421533745, 3491599728955358504659, 19785640298195256210131, 38245605134661724353114835, 212850054813686628051, 13873439803879473, 19422477581198559, 422845206063, 19441898115732179, 1267216268113, 1773838908115 ]; SMALL_GROUP_LIB[ 10950 ] := [ 2432187624547807199, 26632437025992327163871, 2436879350904516575, 291625185443567928786415583, 26683840556083682078687, 5013765717531101447585347695387, 54900734606966168257641130565521563, 832492931036148752204910747, 35333471790847062034639434387156959, 3257185820120607084116601860063, 399251273176450850120333031501791, 292742940389094830415146975, 1942418886669482821283807, 26886552642342208532447, 3818756905888338075, 223893189423071, 2956007303848071476509798367, 11408543624938985386779, 269954981770547811134303, 1041559412314387467, 24648793860676342607, 31949361079993, 269955004912781862760415, 1041876429218467995, 24653422307486068703, 95352741298875, 2251067694116831 ]; SMALL_GROUP_LIB[ 10956 ] := [ 497125598628647202167, 55240553159648591111, 5447061724789088026365303, 5990077932603643871, 5446508088039725940347255, 6656831217495308183278967, 59678008256798232303292798327, 1996530032813326748, 591076539403760321173879, 5990074610774648799, 53909693930148447495, 61216562976343, 53950026628712559991, 547152690201663, 4920577835707767 ]; SMALL_GROUP_LIB[ 10971 ] := [ ]; SMALL_GROUP_LIB[ 10972 ] := [ 1318638709597707306911, 3052693786541474494963532519, 25357804353362882519, 2285696639086562519, 11015403883901, 208172462402519 ]; SMALL_GROUP_LIB[ 10980 ] := [ 41954075124239044986604435021186859, 460655744864144713554550122575437608119, 518159871300765450534912226919, 519168446317063326302999208059, 47191245038793031680219839, 518159870226528049741824226919, 47209508820523302912226919, 3820954038476828155131469186859, 41954075342475178973008721485608119, 47217566232821661696226919, 460655747260377464982238820472422883719, 518448943711393264336896651719, 518448877108685433446400651719, 5692569401951064047337652224651719, 47217572290003673088651719, 55541385769267009843076162052495959823974883719, 5230821922846047363543659536465696358883719, 476395439240257476684607906256486883719, 4299618212904960219839, 518159936835289939305239208059, 47283100760344191767208059, 3820977630874873523156557186859, 460780183380564467514244076369485176239, 460780183380334441633186216375885176239, 130127911794841078378099603021176239 , 11851358088048124119414349176239, 41954334387071387614086657613176239, 70875498719912951808219839, 41954334387005847206510687821608119, 70809964280865128448226919, 5059366413518597853306238699116598860963839, 5059366413516072169132223396386870860963839, 1428804471507355040564563046471244963839, 130127911806768376122839799372963839, 460658591570043835908556493067852963839 , 778213108054813590061056219839, 778212975923635239493632219839, 778932544058411722260480219839, 8544779926441825192317075456219839, 70875510754796052480219839, 4300251169849344219839, 47216491995420868608226919, 4300336772038656226919, 518437081983991712440320651719, 47217572289824514048651719, 1079384978924553536279208059, 6448899899031552219839, 70808896011992481792219839, 6454966259957760219839, 70808890043464335360226919, 6448997731811328226919, 777481678192635465818112219839, 70875510754616893440219839, 415840075776219839, 348014195561816995405186859, 17694835979542410829388403, 41965408540691920277356115533176239, 41965408310666039219496121933176239, 11851635298725296053909069176239, 3821195932549276676355661176239, 98304545206075392219839, 3821195867008869100385869608119, 32770106158252032226919, 194289298787275204949593704063, 460780185776797284488306967352908963839, 460780183251113110473004237624908963839, 130130955580003727897566025292963839 , 41956731339390967987616781900963839, 1079516050102000189440219839, 1611747605495808428463, 1079383918923649622016219839, 1798952053700132388864219839, 11853086230125505439907840219839, 41956730619757274897884026470883719, 359882374917851873280651719, 2133296500684149269123209532643663, 5059366439829234183681693975062259264219839, 5059366412097221952993670002648819264219839, 1428837892268440932432321073653312219839, 460684910106512828604292086900288219839, 11853086689934847503990784219839, 17696985114813751308747663, 11851635429824010863063040219839, 19757542256210434209988608219839, 130146891855484630612648771584219839, 1611551736889344860461, 359815772210020982784651719, 3951508476597588400324608651719, 17702356301011501068747663, 19752493549670775136604160219839, 130146891855484636581170946048219839, 11856684070835199416770560219839, 194312891185320746115084747663, 130146886806843625392617238528219839, 216937813973190580580014153728219839, 711271543675245167550625395624061, 5058414004489633573508378754880018022883719, 476395442543075242704618809890406883719, 257222317063182047528312183521712444643663, 609959263685361495051510832206091952949765696219839, 609959263685361467319498601518067980536325696219839, 172282363522576574586282251430280017159744219839, 39048806646920153357583800768828643663, 55562309056964787122024963425366089606720219839, 26154109627733451067861444888677000768219839, 70875498814526841623208059, 1611551557731095420400, 590125989888219839, 3821986343448462892953600219839, 17696985114455433228747663, 348020647516299976704651719, 537314336096256860461, 348086187923875946496219839, 1611747247177728428463, 31695868757458944226919, 48946249728230341, 31701837285605376219839, 146790973440223143, 2886443237376219839 ]; SMALL_GROUP_LIB[ 10982 ] := [ 110365993794119579, 8867571308961, 10049698486043, 809580093, 917075483 ]; SMALL_GROUP_LIB[ 10988 ] := [ 45748728821407059003, 33677671093425426736216415, 278936116194095183, 6964079979507023, 379494724329, 632086408271 ]; SMALL_GROUP_LIB[ 10998 ] := [ 74262801524489373, 38369249578606652714659, 3488747889031034531, 3265734050987684239461, 421985006865983247665220259, 74269537337747557, 38369249895802817385123, 6959900986525, 202216341273195384772786339, 4490305526561010475605, 18369202212741505311495, 37122885430080139, 18386646778279440190115, 408283854321358949, 1670231148554944383, 3400860782395, 1671817162332352163, 37145834749085, 151878746306211 ];