sml128.z

#############################################################################
##
#W  sml128.z               GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 128 ] :=
[ 4684887383731077183, 3551146855211248660685, 454546797466972181246159,
454546797466937821507791, 576746695119863899, 1190391739449385951823,
152370178392377750725215, 1190391739449385943759, 152370178392377750717151,
152370142363580731753183, 152370214421174769681119, 9299935499336556747,
1190392018725339406555, 1190391737250362695899, 1190392300200316117211,
604207436274516107975, 77338551559396414989007, 77338551559396414989015,
9899334599318999471760095, 77338551277921438278359, 77338551840871391699671,
9899334635347796490724063, 9899334563008727476085471,
9899334635066321514013407, 9899334635629271467434719, 604207434075492848327,
77338551275722415018711, 77338551838672368440023, 77338551557197391729359,
9899334599316800448500447, 9899334563288003429536479, 77338551275722415018703
, 9899334599035325471789791, 9899334563006528452825823,
9899334635064122490753759, 1185239933736976396995, 151710711513867284918987,
151710711513867284918995, 19418971073768347752477403,
19418971073772745798988507, 19418971073489071799022299, 36600682651844639,
4648286701079232607, 18483344756361396335, 76166642881029390471519,
18595365095869522153, 378398637930647612567789, 608779744349146718921,
77923807276571576902347, 10049790931666186151277261,
1286373239253271708159849167, 77923807274389733516009,
1286373239252992432206394093, 2380206732203652030699,
48435025655122826761351407, 10049805195127008503407311,
10049805195127025683276495, 9974233067940323367465675,
1286375064940503101660603119, 1276701832696075450348352235,
2380206732203652026605, 78528366268493860974829, 9974247331121835406283485,
1276703658383594812816249567, 1247989844480228007448965853,
159742700093469184834278552287, 1276703658383306809489249021,
159742700093468899012794938109, 304666461721999813120239,
10051630882367146557452527, 20442171720290429649383000831221,
2616597980197174995120904896443639, 2616597980197174995116541209670909,
334924541465238399374917155627922687, 79108899150020143624901,
10125939091202459180348103, 10125939091200277336961741,
1296120203673635379927462607, 20449550927935493619951083779829,
2617542518775743183353619530446583, 2617542518775743183349255843673853,
335045442403295127468704628796880639, 10201496954930624066630343,
10201496954930641246499527, 1305791610230554663887975119,
1305791610230554681067844303, 159762116638759232015639409885,
20449550929761181697882638677215, 167141324283823206981768869597,
21394089508329370493547226101471, 167141324283823209180792125149,
2617542518775743183360250959951613, 2617542518775743183362449983207165,
335045442403295127470393478657144575, 1296122029362276347334930671,
1296122029362557822311641327, 1296122029362557839491510511,
21235633183300841820576341325535, 2435006818548677869807,
9749399427461496398947039, 1247923126678453542325330687,
2435006818617397346543, 77992870546730744021727, 77992870546747923890911,
9983087393075535168930559, 576746695119863915, 76221983106583656145519,
76221983106583656137455, 595484243072252911851, 595484243072252908139,
76221983106583656149103, 9899334563290202452788983,
1267114824100580697334351615, 9899334563571677429499639,
1247763815984942364005246711, 1247763815985223838981957367,
159713768446108365449020319487, 1247763815984944563028498167,
1247763815985226038005208823, 159713768446072338851024606975,
159713768446108367648043570943, 599555809396698260675,
76743143596112644023507, 9823122380295753701663963, 9898675132154615982859975
, 1267030416915784181072668367, 1267030416915784181072668375,
36600682651844663, 4648286701079232631, 76157419508992535695735,
576746695119863929, 595484243072252911865, 76221983113129186308221,
20444589498718639839415286294225, 2616907455835985899445037136537305,
334964154337334188624741765432669909, 42875411755178776143966945855872104157,
20759084370337835504263567144661, 2657162799403242944545617122326231,
20759074774489142313161672783573, 2657161571134610216084574644106967,
2657161571134610216080210957334237, 340116681105230107658266883066590943,
2657161561463203659167558426326743, 340116679867290068372886625347335903,
2657162809074649501462667699844823, 160970967490805943504423933685,
20604283838823160768447071180535, 20604283838823160757537854248701,
20600608627538276579414441522933, 2636877904324899402151838261245693,
337520371753587123475435178246076159, 73823577113855262843,
85007281563640960909567, 9824957291473352465057527, 9824957291473369644926711
, 1257594533307151161550178047, 1247764996576855860747183863,
36600682651844669, 4648286701079232637, 2637356987120066490703463537768444,
337581694351368510810043332960516093, 43210456876975169383685546619072215039,
2254033733550151, 1143509541191875, 146384597523890375, 146375801430868167,
146371403384357063, 146380199477379271, 571883619619009, 73201223703990467,
73201223703990469, 9369756754503536839, 9369756685784060103,
9369756823223013575, 9369747958410514631, 9369765619316035783,
9369743457284788423, 285942816440347, 72343536854368347, 72343536854368411,
72343536854372379, 9259686776690180315, 9259686776690184283,
9259686776690184347, 9331744370728112283, 4684029555281760411,
72638153894150481, 9297683664626270547, 9297683664626270549,
9297683647446401365, 9297683681806139733, 1190103511237360894295,
9295728715772215761, 1189853275585018610131, 1189853275585018610133,
1189853275567838740949, 1189853275602198479317, 152301219277047580344791,
9259981393729966417, 1185277618363610190165, 151715535150508278829399,
1185277618346430320981, 151715535148309255573847, 1185277618380790059349,
9297683664626262361, 1190103509038337630555, 1190103509038337630557,
1189889304382037569881, 152305830960866984472925, 19495146362990940188062047,
1185277618363610181977, 151715535150508278821211, 151715535150508278821213,
1194500990400464957785, 152896126771225690124637, 19570704226716854511481183,
1189853275585018601945, 152301219274848557081051, 152301219274848557081053,
152305580727413665444313, 19495114333108915352383965,
2495374634637941131280658911, 151715284917054959792601,
19419556469383001028964827, 19419556469383001028964829,
152895876537772371096025, 19570672196834829675803101,
2505046041194858164678308319, 13871667412157358409, 1775573428722315845963,
1775573428722315845965, 1775573428705135976781, 1775573428739495715149,
227273398878621625508175, 1775571755248438505801, 227273184671766302191949,
29090967637986052854018383, 227273184671749122322765,
29090967637983853830762831, 227273184671783482061133, 1775571473773461791177,
227273148642969283224011, 227273148642969283224013, 227273148642952103354829,
227273148642986463093197, 29090963026302233449882063,
227273182716817448137161, 29090967387752599534989773,
3723643825632332706652123599, 29090967387752582355120589,
3723643825632330507628868047, 29090967387752616714858957,
1775573430904159232345, 227273399155698555707739, 227273399155698555707741,
227273399155681375838557, 29090995091927182281302367,
227273184673948145574361, 29090967638265328807469531,
29090967638265328807469533, 29090967638265311627600349,
3723643857697959854506795487, 29090967638265345987338717,
227273148645151126610393, 29090963026579310380081627,
29090963026579310380081629, 29090963026579293200212445,
3723643267402149495801143775, 1775573433103182487897,
227273399437173532418395, 227273399437173532418397, 227273399437156352549211,
29090995127958161143652703, 227273399437156352549213,
29090995127955979300266335, 227273184676147168829913,
29090967638546803784180187, 29090967638546803784180189,
29090967638546786604311003, 29090967638546820964049371,
3723643857733990833369145823, 29090967638546786604311005,
3723643857733988651525759455, 29090967638546820964049373,
3723643857733993049572270559, 227273148647350149865945,
29090963026860785356792283, 29090963026860785356792285,
29090963026860768176923099, 3723643267438180474663494111,
29090963026860768176923101, 3723643267438178292820107743, 9511888424005534043
, 9511888458365272411, 1217521705147825127775, 1190103509141416841563,
1185491823122989449691, 1185491823157349188059, 151742953346617766314463,
152301219274951636292059, 599807698782711189851, 599807698817070928219,
76775385431062148551007, 1780399319500122493275, 227891112882890795389279,
1190103509072697368925, 152333249161271439270239, 152333249165669485781343,
152305830960901344207325, 19495146362995338234569183,
152305830960935703945693, 152301219274882916819421, 152301219274917276557789,
19494556067184979528917471, 19494556067189377575428575,
152310442646919771595229, 152310442646954131333597,
19495736658805696940220895, 19495736658810094986731999,
19419556469383035388703197, 2485703228081028495929520607,
2485703228081032893976031711, 19419565692755072243479005,
2485704408672649213340824031, 19419565692755106603217373,
594980125854924956104, 76157456109430642991562, 76157456109430642991564,
76157456109430508773836, 9748154382007105371660750, 76157456109430777209292,
76157456109430642991561, 9748154382007122551529931, 9748154382007122551529933
, 9748154382007105371660749, 1247763760896909487821185487,
9748154382007139731399117, 76157456109430508773833, 9748154382007122417312203
, 9748154382007122417312205, 9748154382007105237443021,
1247763760896909487686967759, 9748154382007139597181389,
76157456109430777209289, 9748154382007122685747659, 9748154382007122685747661
, 9748154382007105505878477, 1247763760896909487955403215,
9748154382007139865616845, 1247688188982531062038422488,
159704088189763975941133329372, 159704088189763975940999111644,
159704088189763975941133329370, 20442123288289788920448101540830,
20442123288289788920482461279198, 159704088189763975940999111642,
20442123288289788920465147192286, 20442123288289788920447967323102,
20442123288289788920482327061470, 159704088189763975941133329369,
20442123288289788920465281410013, 20442123288289788920448101540829,
20442123288289788920465281410011, 2616591780901092981817357212476383,
2616591780901092981821755258987487, 20442123288289788920448101540827,
2616591780901092981819539055862751, 2616591780901092981817340032607199,
2616591780901092981821738079118303, 159704088189763975940999111641,
20442123288289788920465147192285, 20442123288289788920447967323101,
20442123288289788920482327061469, 20442123288289788920465147192283,
2616591780901092981819556101514207, 2616591780901092981817357078258655,
2616591780901092981821755124769759, 20442123288289788920447967323099,
2616591780901092981819538921645023, 2616591780901092981817339898389471,
2616591780901092981821737944900575, 20442123288289788920482327061467,
2616591780901092981819573281383391, 2616591780901092981817374258127839,
2616591780901092981821772304638943, 3723568276776663683051185112,
476616739427412951430766945242, 476616739427412951430766945244,
61006942646708857783138250023902, 476616739427412951430766945241,
61006942646708857783138384241629, 61006942646708857783121204372445,
61006942646708857783121204372443, 7808888658778733796241696218309599,
7808888658778733796239497195054047, 76157529277532230386650,
9748163747524006270731230, 76157529277532498822106, 9748163747524006539166686
, 9748163747524160084247515, 1247764959683072837248353247,
9748163747524125590291419, 1247764959683072802754397151,
9748163747524159950029787, 1247764959683072837114135519,
9748163747524160218465243, 1247764959683072837382570975,
76157529277532364604378, 9748163747524006404948958, 9748163747524142904378331
, 1247764959683072820068484063, 76157529277532633039834,
9748163747524006673384414, 9748163747524177264116699,
1247764959683072854428222431, 9823121949920479951459290,
1257359609589821314567508958, 9823121949920480219894746,
1257359609589821314835944414, 1257359609589821468381025243,
160942030027497128299235382239, 1257359609589821433887069147,
160942030027497128264741426143, 1257359609589821468246807515,
160942030027497128299101164511, 1257359609589821468515242971,
160942030027497128299369599967, 9823121949920480085677018,
1257359609589821314701726686, 1257359609589821451201156059,
160942030027497128282055513055, 9823121949920480354112474,
1257359609589821314970162142, 1257359609589821485560894427,
160942030027497128316415251423, 76757190607024412427230,
76757190607024680862686, 9824920397699159418733535, 76757190607058772165598,
76757190607058906383326, 9824920397703540285375455, 76757190607059174818782,
76757190607041860731870, 9824920397701358441989087,
19419570304441091207730142, 19419570304441091476165598,
2485704998968459709216986079, 19419570304441091341947870,
2485704998968459692037116895, 19419570304441091610383326,
2485704998968459726396855263, 19419570304441108387599326,
2485704998968461873880503263, 2485704998968461873746285535, 285942816440335,
36314739835404367, 36314739835408399, 2254033733550163, 38282830752514259,
38282830752518227, 4649968849179919435, 76185089336926363731067,
4649968849179903307, 594945779207885559115, 595196010462181328235,
76185089336926363714927, 76153059736376504751467, 76185089336926363714939,
9747591646253959761368443, 36327899078345027, 4649968849179918663,
4649968849179918675, 595196010462181343575, 4649968849179918691,
288529478211076183, 4900215496638464215, 4900215496638468183,
595196025855344133199, 288520682118053991, 4900206700545445991,
4900206700545442023, 288520682118053975, 4900206700545445975,
4900206700545442007, 4649975446249677895, 595196017059251102823,
595196019258274358375, 595196017059251102807, 595196017059251094863,
76153059742973574518095, 76185089343523433481583, 76185089345722456737135,
9747591646260556831135087, 9747591646262755854390639, 76185089343523433481567
, 9747591646260556831135071, 288538274304098407, 4900224292731490407,
4900224292731486439, 288538274304098391, 4900224292731490391,
4900224292731486423, 595196034651437162575, 76153059760565760581839,
76185089361115619549279, 76185089363314642804831, 9747591646278149017198815,
9751691435148530965045375, 1247691730720528805864169727, 1143509541191905,
37172306560159969, 36319205796118977, 4648858324987576773,
4648858324987576801, 595053865581494174179, 595053865581494174181,
4648858324987552201, 595053865581494149579, 595053865581494149581,
595053865581494149609, 594943815582929306049, 76152808394598016795105,
76152808394598016770505, 9747559474508529215365581, 9747559474508529215365609
, 76152808394598017147849, 9747559474508529215742923, 146369324620185827,
4758055343047577827, 4648858445247152835, 595053865701753750243,
76166894794534598214375, 595053865701753488083, 76166894794534597952215,
595053865718933357267, 76166894794551777821399, 76166894794534597952243,
4758055343047573963, 4758055360227443147, 595053865701753229771,
609031068620274270699, 76166894794534597693931, 76152917591616077169611,
9747573451711567995864043, 9747573451711567996125659,
1247689401819065413589008891, 1247689401819065430768878075,
146369324620185829, 4758055343047577829, 4648858445247152837,
595053880974657454791, 595053865701753750245, 76166894809807501918951,
595053865701753488085, 595053865718933357269, 76166894809807501656791,
76166894794534597952245, 76152917591616077201877, 594944668803952574917,
76152917591616076939749, 9747573451726840899338727, 18735273586011930855,
609031083944717586663, 9747573451726892439208407, 9749362533700463132410847,
9749362533700480312280031, 1247689401819080738031539167,
1247918404311697786832684031, 159704243432840372973920588799,
18735273723450884327, 609031084082156540135, 9749362533700600571888095,
18735264858638385383, 609031075217344041191, 609031075217344037327,
609031075234523906511, 609031077416367292879, 76166894801131667460559,
77955976774702361215471, 9749362533691735758868975, 146369221540970723,
4758055239968362723, 595053865598674018763, 595053865615853887947,
76166894794431518482895, 76166894794431518482923, 9747559474508546395234763,
1247687612737091739815403983, 1247687612737091739815404011,
1247687612737091739815519195, 159704014430347740497597178847,
159704014430347740497597178875, 20442113616292936190874154853339,
2616590542885495832429693013222367, 20442113616292936190891334722523,
2616590542885495832429710193091551, 2616590542885495832429693013222395,
4648858342167560387, 595053865598674157795, 146369358979924195,
4758055377407316195, 595053865736113004747, 76166894794568957468907,
9749362533685173048877295, 76166894794586137338091, 9749362533685190228746479
, 20442113616292936191011594363099, 2616590542885495832429830452732155,
334923589489343466550998644323967231, 2616590542885495832429847632601339,
334923589489343466550998661503836415, 1247687612737091877254505179,
159704014430347740635036164859, 159704014430347740652216034043,
159704012627288564145821770443, 20442113616292936191011594101483,
2616590542885495832429830452470511, 20442113616292936191028773970667,
2616590542885495832429847632339695, 76152808394752636109507,
76152808394769815978691, 9747559474508683834704611, 4758055377407312331,
4758055394587181515, 595053865736112968139, 595053865753292837323,
609031068654634009067, 76166894794568957432299, 594944668838312059331,
76152917591650436424135, 76152917591650436424163, 76152917591667616293347,
159704012641265767064343036379, 159704012641265767081522905563,
20442113618082018164582288081403, 2616590543114498325046879253840383,
20442113616278958988093073318355, 2616590542883706750456259758973427,
2616590542883706750456276938842611, 1247687598759888958733829067,
1247687598759888975913698251, 159704012641265767064342774763,
20442113618082018164582287819759, 159704012627179367248020825027,
20442113616278958988093073056739, 20442113616278958988110252925923,
18735273551652192487, 609031083910357848295, 76166894809824681525975,
76166894812023704781527, 76166894809841861395159, 76166894812040884650711,
9749362533700428772934391, 18735273689091145959, 609031084047796801767,
76166894809962120479447, 76166894812161143734999, 76166894809979300348631,
76166894812178323604183, 9749362533700566211887863, 76166894809962120479183,
76166894809979300348367, 9749362533700566211887599, 9749362533700566211625951
, 9749362533700583391495135, 1247689401819080841110754271,
1247689401819080858290623455, 1247918404311697889911899135,
159704243432840373076999803903, 18735264755559170279, 609031075114264826087,
609031075114264822487, 609031077313288078039, 76166894801028588245719,
76166894803227611501271, 77955976774599282000631, 9749362533691632679654135,
76166894801028588249551, 76166894801045768118735, 76166894803227611505103,
9749362533691632679657967, 1247689401819071907578782687,
1247689401819074106602038239, 159704243432840364143467832319,
18735264892998123751, 609031075251703779559, 609031075251703775695,
609031075268883644879, 609031077450727031247, 76166894801166027198927,
76166894803365050454479, 76166894803382230323663, 77955976774736720953839,
9749362533691770118607343, 76152917598247506190791, 9747573451718199424885223
, 9747573451718216604754407, 9747573451720398448140775,
9749362533691770118603743, 9749362533693969141859295,
9749362533693986321728479, 1247689401819072045017732063,
1247689401819072062197601247, 1247689401819074244040987615,
1247918404311689093818876927, 159704243432840364280906781695,
1247687612737098474324009943, 159704014430347747232105669623,
159704014430347749431128925175, 159704014430347749448308794359,
76166894801166027235535, 9749362533691770118643951, 9749362533691787298513135
, 9749362533693969141899503, 18735264961717600487, 609031075320423256295,
76166894801234746712271, 9749362533691838838120687, 9749362533691856017989871
, 9749362533694037861376239, 609031075320423252431, 609031077519446507983,
76166894801234746675663, 76166894803433769931215, 77955976774805440430575,
9749362533691838838084079, 76152917598316225667527, 9747573451718268144361959
, 9747573451720467167617511, 4684034021108232648, 599556354701986378185,
76743213401854389006795, 76157419227515545859528, 9748149661121989985842636,
9748149661121989985842634, 1247763156623614718303679950,
9748149661121989985973208, 1247763156623614718303810521,
159704088185043093007590897624, 20442123287685515904971717359580,
76157419227515545744840, 159704013217475177451973145560,
20442113691836822713852643144666, 2616590552555113307373138403029982,
20442113691836822713852643144665, 2616590552555113307373138403029979,
334923590727054503343761715668349919, 20442113691836822713852643554296,
334923589498784067556121984952612856, 42870219455844360647183614073946159097,
5487388090348078162839502601465120077821, 36594015788995776,
4684034021108356290, 76743213401975587869395, 9823131315437483124331223,
76743213401992767738579, 9823131315437500304200407,
1247763156623614839502427859, 159713684047822684064185603799,
599556354823184995523, 76743213401975587624135,
159704088199129492945112012019, 9748149661122111184475843,
599556354702926156500, 599556354703060374228, 76743213401974648345301,
76743213401991828214485, 9748149661121990925506260,
1247763156623614838562903766, 1247688189055699163626115828,
1247688189055699163760333556, 20442113691836822713853583087348,
2616590552555113307373258662532853, 334923590727054503343777108831557367,
4684034022047765700, 9747563976997650647757260, 1247688189055699282945651149,
159704088199129508217076068815, 1247763156623614719243596764,
159713684047822684063246332893, 159704013217475177452913063372,
20442123287685515904972657031132, 2616591780823746035836500163721182,
159713684047822683943926281212, 2616591780823746035836380843669500,
334923747945439492587056748115851261, 42870239737016255051143263758955116543,
9823131315452876287120087, 9823131315455075310375639,
9823131315452893466989271, 159713684047822699457348392663,
159713684047822701656371648215, 76743213417368750412999,
20443351556332221571253475612651, 2616748999210524361104984522758127,
334923747945439492587056749593106427, 42870239737016255051143248487528667135,
334923747945439492587056766772975611, 42870239737016255051143248504708536319,
159713684033845481146201315275, 20443351556332221571253475121103,
76157529277634773029093, 9748163747537199873691879, 76157529277634907246821,
9748163747537200007909607, 599665551720449315029, 599665551737629184213,
599665551720583532757, 1247688203032902201869373685,
1247688203032902202003591413, 1247688189055699283348059341,
20442113691850799916891826320605, 2616590552556902389362102662624479,
9748163747537320132776167, 9748163747539519156031719,
9748163747537320266993895, 76757190620286734831831, 76757190622485758087383,
76757190620286869049559, 159704089988211481908431589623,
159704089988211481908565807351, 9748149770319077704758475,
159704013231561577458213220571, 159704013231561577475393089755,
159704013231561577475527307483, 20442113693639881890531776032991,
20442113693639881890531910250719, 20442113693639881890548955902175,
20442113691850799916961082438891, 9748163747537389389123815,
9748163747537406568992999, 9748163747537389523341543,
159704088199129508406993908943, 20442123289488575097044012692719,
1247763156623630302190015431, 285942816440363, 36314739835404395,
36314739835404459, 36314739835408427, 594979839913987416683,
76152843565828310839915, 2254033733550193, 38282830752514289,
38282830752518257, 4649968849179918705, 594945779207885574513,
595196012644024737913, 76153059738558348157177, 4684029623466476865,
599555791752437712195, 599555791752437712197, 599555497203580556609,
76743103642007039399237, 9823117266176849771255111, 77333399452365745055049,
9898675129902764094678347, 9898675129902764094678349,
9898675092200510378243401, 1267030411801665277142267213,
162179892710613155422937314639, 9898675129902764094678361,
1267030416627553752846460251, 1267030416627553752846460253,
1267030411801665277142267225, 162179892710613155422937314653,
20759026266958483894084703384927, 76743141344295113500009,
9823122092069723519886699, 9823122092069723519886701,
9823117266176884128920937, 1257359010070641117493245293,
160941953289042062988126762351, 9823122092065359833113977,
1257359010070636753806472569, 9748739994071670036948329,
1247838719241173713719190893, 1247838719241171531875804537,
159723356062869956029092783483, 159723356062869956029092783485,
288516387150758003, 4900202405578146035, 4900202405578150003,
627225892590096220539, 76185089618504419643771, 76157671424697034622315,
9748181942345896522958191, 599807701016094180715, 599807701033274049899,
76775385710372461741423, 76157671426930417603947, 76775385151820554831227,
9748181942068853952484731, 288516387150758005, 4900202405578146037,
4900202405578150005, 9747564228341730432532981, 1247687603513722005331661301,
288516318431281269, 4900202336858669301, 595196012695564325109,
76185089618435700171133, 9747591646535469097820669, 9823122092069775059494253
, 1257359627784931156607149423, 1257359627784933355630404975,
1257359595754765509311112685, 160942028256609985140814292463,
1257359595754765526490981869, 1257359627784366059170080125,
160942028256609420043377223165, 20442132959687122465530811966957,
20442132959687122465547991836141, 36930106420646379639, 627225916779352031479
, 76743140233753875490280, 9823121949920496191579626,
9823121949920496191579628, 9823121949920496191579625,
1257359609589823512651015659, 1257359609589823512651015661,
1247688188982531062172411368, 159704088189763975958178751977,
159713684038457167043161794552, 20443351556922517381524805167100,
20443351556922517381524805167097, 2616748999286082224835175156852733,
4684590306214167744, 599627559195262469314, 76752327576993445070022,
599627552530412754112, 76752326723892681004226, 9824297820658263017018566,
20443370899131249005382215296984, 2616751475088799872688923372578778,
2616751475088799763492025571637208, 42872856167854895325053346941715773406,
9823121949920497131849458, 1257359609589823513591285494,
1257359609589823632910845683, 160942030027497409739718657783,
9823121949920497266067186, 1257359609589823513725503222,
160942028238414877497798428666, 160942028238414877497932646394,
20600579614517104319735412819963, 599665551635355010538,
76757190609325575374315, 599665551635489228266, 76157529277549678433770,
9748163747526358973027819, 76157529277549812651498,
1247688203032902116774774778, 159704089988211470947271837691,
1247688203032902116908992506, 1257359609589823633850369779,
160942030027497409740658181879, 1257359609589823633984587507,
160942030027497409740792399607, 1257359609589823651030238963,
160942030027497409757838051063, 20759035939545632713431552100347,
20759035939545632713448731969531, 9823121949920497131849460,
9823121949920497266067188, 1257359609589823632910845686,
1257359609589823632910845685, 1257359609589823650090714869,
160942030027497425012622362359, 162179892710471010594862286580,
20759026266940289356142388070133, 1267107772796911267998599166,
162189794918004642303954651135, 1267107772796911268132816894,
159723432801325586455086503934, 159723432801325586455220721662,
20444599398569675066268385810431, 76757190609223704118766,
9824920397980634261226991, 76757190609223838336494, 76757190609240883987950,
9748163747526257101772270, 1247764959683360909160355311,
9824920397984998887524087, 9824920397985016067393271,
9824920397987197910779639, 1247764959683365273786652407, 285942816440377,
36314739835404409, 36314739835408441, 1257585683519669633806296952,
160970967490517713127332702073, 20604283838786267280298712557435,
160970967490517713127332702076, 160970967490267477424121899000,
20604283838754237110287729747962, 2233919864839, 8813541326915,
1134713448169543, 1130315401658439, 1139111494680647, 145245503477514319,
144680354500837455, 145815050500702287, 145249901524029763,
18591993975233581383, 18591989577187070279, 2379775239808102699343,
4466900205761, 571814900138179, 571814900138181, 571814900138185,
73192324531749063, 73192393251225799, 73192324531749067, 73187960844976327,
73192324531749069, 571763360530627, 571832080007363, 73192307351879879,
73192376071356615, 73192307351879883, 73187909305368775, 73187978024845511,
9368617540198072527, 73188012384583879, 9368617574557810895,
73187909305368779, 73187978024845515, 9368058988291162319, 571763360530633,
73185761821720779, 73185761821720781, 73194557914742987, 9367777530494320847,
9367777599213797583, 9368903430401163471, 9367773166807548111,
9368899066714390735, 145245554882908609, 18591431076685550019,
2379703177867423650247, 18591431076685550025, 18591431042325811651,
2379703177833063911879, 2379703177833063911883, 18591431042325811653,
2379703173469377139143, 2379703177833063911885, 18591431042325811657,
2379703173469377139147, 304602006204131947057615, 18591431025145942467,
2379703177815884042695, 2379703177815884042699, 2379703177884603519435,
2379703173417837531591, 304602006762632314360271, 304602006771428407382479,
304602006771497126859215, 2379703173452197269959, 304602006762666674098639,
304602006771462767120847, 2379703173417837531595, 2379703173486557008331,
304602006204080407450063, 2379703182213930553803, 304602007329980314292687,
304602007330049033769423, 1130366807056577, 144687002976002245,
18519936432601047243, 2370551863424606806223, 144686968616263875,
18519936398241308871, 18519936398241308875, 18519936466960785611,
2370551863390247067855, 2370551863458966544591, 144686968616263877,
144687037335740613, 2370551859026560295119, 2370551867822653317327,
18519932000194797767, 18519940796287819975, 2370551858992200556751,
2370551859060920033487, 2370551867788293578959, 2370551867857013055695,
144686951436394691, 18519936381061439687, 18519936381061439691,
18519936449780916427, 2370551863373067198671, 2370551863441786675407,
18519940779107950791, 2370551858975020687567, 2370551859043740164303,
2370551867771113709775, 18519940813467689159, 2370551859009380425935,
2370551867805473448143, 2370551300423113777359, 2370551300491833254095,
2370552426323020619983, 2370552430721067131087, 18664610172583817665,
2389070102142400868805, 2389070102142400868809, 305800973074278983414219,
305800973074244623675853, 305800973074313343152589,
39142524553512159595737551, 39142524553503329142976975,
305800973069880936903117, 2233919869120, 36600612321759427, 285942279573700,
4684878377721532615, 285942279573704, 36600612590194883, 36600612053323973,
4684878377453097159, 36600612053323977, 36600646681497795,
4684878412081270983, 36600612053323978, 4684878343093358797,
36600646681497801, 4684882775768043723, 599664995298845921487,
4684878412483924167, 4684878343227576523, 599664427916083597519,
290305966346688, 37159164228669890, 37159164228669892, 4756373021806039494,
37159164228669896, 4756373021806039498, 608815746791709348299,
37159163960234433, 4756373021537604035, 4756373021537604037,
608815746791440912839, 4756373021537604041, 4756373022074474953,
608815746791440912843, 608815746791977783755, 37159163960234434,
4756373021537604038, 4756373021537604042, 608815746757349609931,
4756373022074474954, 608815746826069086667, 4756372987177865667,
608815746757081174471, 608815746757081174475, 608815746757618045387,
608815746825800651211, 608815746826337522123, 4756372987446301126,
4756373021537604044, 608815746757349609933, 608815746757349609934,
77928415584941286363599, 608815746826069086670, 77928415593737379385807,
4756372987177865669, 608815742393394401735, 608815746757081174477,
77928415584941017928143, 608815746825800651213, 77928415593737110950351,
4756372987177865670, 4756372987714736582, 608815746757081174478,
77928415584906926625231, 608815746825800651214, 77928415593703019647439,
608815742359034663367, 608815742427754140103, 77928415584906658189775,
77928415584907195060687, 77928415593702751211983, 77928415593703288082895,
37159163960234440, 4756372987446301129, 4756372987446301130,
608815742393662837195, 4756372987446301132, 608815742393662837197,
608815742393662837198, 77928415026389379453391, 4756373056165777865,
4756373056165777866, 608815751189755859403, 4756373056165777868,
608815751189755859405, 608815751189755859406, 77928416152289286296015,
4756372987714736586, 608815742428022575563, 608815742393394401742,
77928415026355019715023, 608815742393931272654, 77928415026423739191759,
4756373055897342410, 608815751155396121035, 608815751189487423950,
77928416152254926557647, 608815751190024294862, 77928416152323646034383,
4756373021403386307, 4756373021403386309, 608815746791306695111,
4756373021403386313, 608815746791306695115, 608815746791843566027,
608815746756946956743, 608815746756946956747, 608815746757483827659,
608815746825666433483, 608815746826203304395, 608815746757215392199,
608815746757215392203, 608815746757752263115, 608815746825934868939,
608815746826471739851, 608815742393260184007, 608815746756946956749,
608815746757483827661, 77928415584940883710415, 77928415584941420581327,
77928415593736976732623, 77928415593737513603535, 608815742427619922375,
77928415584906523972047, 77928415584907060842959, 77928415593702616994255,
77928415593703153865167, 608815742427888357831, 77928415584906792407503,
77928415584907329278415, 77928415593702885429711, 77928415593703422300623,
608815742393260184011, 608815742393797054923, 608815742393260184013,
608815742393797054925, 77928415026388976800207, 77928415026389513671119,
608815751189353206219, 608815751189890077131, 608815751189890077133,
77928416152288883642831, 77928416152289420513743, 608815742427619922379,
608815742428156793291, 77928415026423336538575, 77928415026423873409487,
608815751154993467851, 608815751155530338763, 77928416152254523904463,
77928416152255060775375, 37159164362887618, 4756373021403386314,
608815746740169740747, 4756373021940257226, 608815746808889217483,
4756373038717473219, 608815746739901305291, 608815746808620782027,
608815746809157652939, 4756372987580518854, 608815746756946956750,
77928415584889746756047, 77928415584958466232783, 608815746826203304398,
77928415593754559254991, 608815742410574270919, 77928415584889478320591,
77928415584958197797327, 77928415593754290819535, 4756372987580518858,
608815742410842706379, 608815742393797054926, 77928415026406559322575,
4756372987848954314, 608815742445202444747, 4756373056031560138,
608815751172575990219, 4756373038851690947, 608815746740035523019,
608815746809291870667, 608815742410440053191, 77928415584889344102863,
77928415584889880973775, 77928415584958600450511, 77928415593754693472719,
608815742410708488647, 77928415584889612538319, 77928415593754425037263,
608815742410440053195, 608815742410976924107, 77928415026406693540303,
608815742444799791563, 608815742445336662475, 608815751172173337035,
608815751172710207947, 4756372970400649670, 608815746739767087566,
77928415582690723500495, 77928415582759442977231, 608815740211551015367,
77928415582690455065039, 77928415019809489555919, 77928415028605582578127,
608815742342525882830, 77928415019843849294287, 608815751138082034126,
77928416145675036660175, 608815740211685233095, 77928415582690589282767,
77928415019809623773647, 77928415019843446641103, 77928415019843983512015,
77928416145674634006991, 77928416145675170877903, 4756372970266431946,
608815740194639581643, 37159164362887624, 608815740194371146187,
4756373038717473225, 608815740160279843278, 77928414740516356231631,
77928414740516087796175, 77928414740516624667087, 608815748956104430029,
608815748956641300941, 4756372970400649674, 608815740211551015371,
608815740212087886283, 77928414740533267665359, 1128133826842816,
18483344686031442115, 144401130355560648, 18483344686031442124,
144401130087125185, 18483344685763006659, 18483344685763006665,
18483344686299877577, 2365868119812275835085, 144401130087125186,
18483344651671703747, 18483344685763006666, 2365868119812275835086,
18483344651403268293, 2365868115414229323975, 2365868119777916096717,
2365868119778452967629, 144401130087125192, 18483344651671703753,
2365868115414497759435, 2365868115414497759437, 302831118773056232886479,
144401130623996104, 18483344720391180489, 2365868124210590781643,
18483344720391180492, 18483344651269050563, 2365868119777781878987,
2365868119778318749899, 302831119335971960787151, 18483344651537486019,
2365868119778050314443, 302831119335971692351695, 2365868115379735367879,
302831119331573377405135, 18483344651269050569, 18483344651805921481,
2365868115414095106251, 2365868115414631977163, 2365868115414095106253,
2365868115414631977165, 302831118773055830233295, 302831118773056367104207,
18483344634223399107, 2365868119760736227531, 2365868119829992575179,
2365868115362689716423, 302831119331556331753679, 18483344651269050570,
2365868115362958151883, 18483344651805921482, 302831118773004693278927,
2365868115362555498702, 302831118766407623512271, 2365868115431274975438,
144409892088721856, 18484466187891651009, 2366011672050666582467,
18484466187891651012, 2366011672050666582469, 2366011672050666582470,
302849494022485857808839, 18484466187891651016, 2366011672050666582473,
302849494022485857808843, 18484466187623215553, 18484466188160086465,
2366011672050398147013, 302849494022485589373383, 302849494022486126244295,
302849494022486126244299, 18484466187623215554, 2366011672085026320835,
2366011672050398147014, 302849494022451498070471, 2366011672050935017926,
302849494022520217547207, 302849494022451498070475, 2366011672050935017930,
302849494022520217547211, 302849494022485589373390,
38764735234878155975045583, 302849494022486126244302,
38764735234878224694522319, 2366011672085294756291, 302849494022451229635015,
302849494022451766505927, 302849494022519949111751, 302849494022520485982663,
302849494022451766505931, 302849494022519949111755, 302849494022520485982667,
38764735234878156243481039, 38764735234878224426086863,
38764735234878224962957775, 18484466188160086468, 2366011672085026320838,
302849494026883904319943, 302849494022451498070477, 302849494022451498070478,
38764735234873792288272847, 302849494022520217547213,
302849494022520217547214, 38764735234882588381295055, 2366011672084757885382,
302849494026918264058311, 38764735234873757928534479,
38764735234873826648011215, 38764735234882554021556687,
302849494022520485982670, 38764735234882622741033423,
302849494026918532493767, 38764735234873758196969935,
38764735234873826916446671, 38764735234882554289992143,
2366011672085294756297, 302849494026884172755403, 302849494026884172755405,
38764735235441140556640719, 302849494026918532493771,
38764735235441106196902351, 38764735235436742510129615,
2366011672015904190915, 2366011672085160538563, 302849494022451095417287,
302849494022451632288199, 302849494022519814894023, 302849494022520351764935,
302849494022451632288203, 302849494022520351764939, 302849494022451363852743,
302849494022451900723655, 302849494022520083329479, 302849494022520620200391,
302849494022451900723659, 302849494022520620200395, 2366011672084623667653,
2366011672085160538565, 302849494026883501666759, 302849494026884038537671,
302849494022451632288205, 38764735234873791885619663,
38764735234873792422490575, 302849494022519814894029,
302849494022520351764941, 38764735234882587978641871,
38764735234882588515512783, 2366011672084892103109, 302849494026883770102215,
38764735234873792154055119, 38764735234873792690926031,
38764735234882588247077327, 302849494026917861405127,
38764735234873758062752207, 38764735234873826245358031,
38764735234873826782228943, 38764735234882553618903503,
38764735234882554155774415, 302849494026918129840583,
38764735234873758331187663, 38764735234873826513793487,
38764735234873827050664399, 38764735234882553887338959,
38764735234882554424209871, 38764735234882623143686607,
2366011672085428974025, 302849494026883770102219, 302849494026884306973131,
302849494026883770102221, 302849494026884306973133,
38764735235441140690858447, 302849494026918398276043,
38764735235441105525813711, 302849494026849947234763,
302849494026918129840587, 302849494026918666711499,
38764735235441175050596815, 302849494026849947234765,
38764735235436742107476431, 38764735235436742644347343,
38764735235436708016173519, 38764735235436776198779343,
38764735235436708284608975, 302849494029082524922311,
302849494029083061793223, 38764735234875990908875215,
38764735234875991445746127, 38764735234317439270400463,
38764735234317439807271375, 38764735235434543621091791,
38764735235443339714113999, 302849494026867127103949,
38764735235438941130731983, 38764735235438941667602895,
302849494026935846580685, 38764735235438907039429071,
38764735235438975758905807, 38764735235438975490470351,
38764735235438958713254351, 145806271856128192, 18663202798103048385,
2388889958157708832963, 2388889958157708832969, 305777914644187249258699,
39139573074455968423751887, 2388889958157440397513, 2388889958157977268425,
305777914644187517694155, 305777914644186980823245,
39139573074451570645676239, 2388889958123617530057, 18663202797700395201,
18663202798237266113, 2388889958157306179779, 2388889958157843050691,
2388889958157306179785, 2388889958157843050697, 305777914644186846605515,
305777914644186846605517, 305777914644187383476429,
39139573074455968557969615, 305777914639789336965319,
305777914648584893116615, 305777914644152486867149, 305777914644153023738061,
39139573074451569974587599, 39139573074451570511458511,
2388889958105766572230, 305777914637538639884487, 2388889958106303443142,
39139573074449319545942223, 39139573074449320082813135,
39139573074458116175835343, 2233919865280, 285942279569858, 36600612321755587
, 285942279569860, 36600612053320134, 4684878343361790407, 36600612590191046,
36600612053320138, 36600612590191050, 4684878412081267147, 36600577962017222,
4684873979675017671, 4684878342959137230, 599664427899306377679,
4684878343496008142, 4684878411678613966, 599664427899037942223,
599664427967757418959, 599664436695130964431, 4684878411947049422,
4684878412483920334, 4684871746292023758, 599663583525915853263,
2233919864851, 283708896575571, 283708896575635, 283708896579603,
36312505915543827, 283708896706579, 36312505915670611, 8813541326945,
290288518037729, 290288518041697, 36319085537005921, 290288518168673,
283742987911745, 36319085537034821, 36312540007006785, 594944653290530570829,
36319085537034849, 4648842931824788067, 4648842931824788069,
4648005103964553825, 594944653290530570851, 36319085537018449,
4648842931824771667, 4648842931824771669, 4648005103964406481,
594944653290530423507, 594944653290530423509, 594944653290530423513,
4648005103964537425, 594944653290530554451, 4648842931824771697,
594944653290530423537, 594944653290530554481, 1128167918010467,
37156964936974563, 37156964936978531, 4648842983364366691, 37156964937105507,
37156964936974931, 37156982116844115, 4756084949491122775,
4648842983364366931, 595051895308196778587, 4648842983364493907,
4648843000544363091, 4756084949491122803, 595051895308196778611,
595051895308196905587, 1128167918010469, 37156964936974565, 37156964936978533
, 37156964936974693, 4648842983364366693, 37156964936982629,
4648842983364370661, 37156964937105509, 4648842983364501605, 1128133558272101
, 37156930577236197, 4648842949004628197, 37156930577236325,
4648842949004628325, 4648842949004632421, 594944653307710284261,
37156930577367141, 4648842949004755301, 4648842949004763237,
4648842949004640853, 595051897455680438871, 595051899654703694423,
595051895273837052509, 594944653307710292693, 76152915623370003858135,
594944653324890161877, 76152915621188160471773, 594944653307710292821,
76152915623370003858263, 594944653307710423637, 76152915623370003989079,
76152808379222033843029, 9747559472540403401638743, 9747559472542602424894295
, 9747559472538221558252381, 1247687612484892342526034783,
595051895273837052533, 76152915621188160471797, 76152915621188160471925,
76152915621188160602741, 9747559472538221558252405, 144409926180012135,
4756095944607400167, 4756095944607400295, 595051906303313056103,
4756095944607531111, 595051906303313183079, 144405493773762669,
4756091512201150701, 4756091512201150829, 595051901870906806637,
4756091512201281645, 595051901870906937453, 595051901870906933613,
9747559472544818628006381, 145249901524029793, 18591149550303449569,
181278698542993761, 23238864365749801441, 4756935919951425889,
4792964716970389857, 613498645927436497377, 595052746278657208673,
76166750685823332659681, 595088775075676172641, 2379774391036665663847,
304597394236638677176807, 2970070201395371315559, 77937638116950989091175,
78527933927309694742887, 10051561814879586398253543, 18591987429703422313,
2379667142473469137385, 23203673448130810217, 2969962952832174789097,
608887797788409082217, 77937530868387792564713, 613499483806836470121,
78527826678746498216425, 36314738895897296, 4648286578806899409,
4648286578806899410, 594980682087415169747, 4648286578806899412,
594980682087415169749, 4648286578806899416, 4648000757323285456,
594944096937512551378, 594944096937512551380, 594944096937512551384,
76152844408001738589145, 4648000757323416272, 594944096937512682193,
594944096937512682194, 76152844408001738719955, 594944096937512682200,
76152844408001738719962, 594943811116029231824, 76152807822851836265169,
76152807822851836265172, 9747559401325035136533205, 76152807822851836265176,
76152807537030352651216, 9747559364739885233914836, 9747559364739885233914840
, 1247687598686705310035657689, 283708896870592, 36314738896175297,
36314738896175304, 36312505915834816, 4648000757323563464,
594944096937512829385, 4648286579210061026, 594980682138955285731,
4648286579344278754, 594980682087818331366, 76157527307240813888743,
594980682087952549094, 594980682087818331370, 594944096937915712994,
76152844408002141750758, 76152844408002141750762, 9747564084224274211538411,
76152844408002275968490, 594944096937915720930, 76152844408053278713059,
76152844408002141758694, 9747564084224274211546343, 76152844408002141758698,
9747564084224274211546347, 36600560782148306, 36600560916366034,
4684871797428978387, 4684871729112154842, 4648286579209540306,
4648286579343758034, 594980682156134634195, 594980682087817810650,
4648286579209544402, 594980682138954769107, 4648286579209667282,
4648286579343885010, 594980682156134761171, 594980682087817937626,
594980682087952155354, 594944096937915327186, 76152844408053278319315,
76152844408002141751026, 76152844408002275968754, 9747564084224291391407859,
9747564084224223074584314, 9747559401325035539408626,
1247687603369604549110671091, 594980682139357938915, 594980682139492156643,
594980682156537808099, 76157527307241216541927, 76157527307241350759655,
76157527307258396411111, 76157527307241216541931, 76152844408053681358307,
9747564084224274614191591, 9747564084224274614191595,
9747564084224291794060779, 76152844408053681366243, 9747564084224274614199527
, 9747564084224274614199531, 9747564084224274748417259, 4648286579210061028,
594980682138955285733, 594980682138955285734, 76157527313786344047847,
4648286579344278756, 594980682156135154917, 594980682087818331372,
594944096937915712996, 76152844408053278705126, 76152844408002141750764,
9747564084224274211538413, 594944096937915720932, 76152844408053278713061,
76152844408002141758700, 9747564084224274211546349, 4648286579210061032,
594980682138955285737, 594980682138955285738, 594980682138955285740,
76157527313786344047853, 4648286579344278760, 594980682156135154922,
76157527315985367303403, 594980682156135154924, 594944096937915843816,
76152844408053278835945, 76152844408053278835946, 76152844408053278835948,
9747564084230819741828333, 594944096938050061544, 76152844408070458705130,
9747564084233018765083883, 76152844408070458705132, 594944096937915720936,
76152844408053278713066, 9747564084230819741705451, 76152844408053278713068,
594944096938049938664, 76152844408070458582249, 76152844408070458582250,
9747564084233018764961003, 76152844408070458582252, 9747564084233018764961005
, 76157527307240947582710, 9748163495326841424578295, 76157527307241081800438
, 9748163495320278848767742, 9747564084224274345236214,
9747564084224274479453942, 1247688202780707133503575799,
1247688202780700553747896062, 9747564084224274345240310,
1247688202780707116323710711, 1247687603369604549244495606,
159704013231309382303411742455, 1247687603369604549378713334,
159704013231309375740835931902, 159704013231309375740970149630,
4684871746292024022, 4684871746426241750, 599663583542693069527,
4684871763471893206, 599663581292532859614, 594980682104997679830,
76157527309439836623575, 76157527307206856282846, 594980682104997683926,
76157527309439836627671, 594980682122177553110, 594980682104997806806,
594980682105132024534, 76157527309457016619735, 599663583525915854055,
599663583543095723239, 599663585724939109607, 76756938405444742808815,
76157527309440239277287, 9748163495322478140462319, 76157527309440239281383,
76157527311639262536935, 76157527309440239404263, 76157527309457419273447,
4684871780383327468, 599663587889199973614, 4684871780517545196,
599663587906379842797, 594980682139088983276, 76157527313803523396845,
594980682139088987372, 76157527313803523400942, 594980682139223205100,
76157527313820703270126, 9748163496169050151593199, 76152844408053412410604,
9747564084230836921054445, 594980682139089110252, 76157527313803523523821,
76152844408053412533484, 9747564084230836921177326, 76152844408053546751212,
9747564084230854101046509, 608779713596241745376, 77923803340319010330081,
77923803340319010330082, 9974246827560833389172197, 9974246827560833389172198
, 77923803340319010330088, 613391399614669133280, 78514099150677715981793,
78514099150677715981794, 10049804691286747712591333,
10049804691286747712591334, 78514099150677715981800, 76166643439510565172704,
9749330360257352407987682, 1247914286112941108288304611,
9749330360257352407987684, 159733028622456461860968871399,
1247914286112941108288304618, 159733028622456461860968871403,
77923803340319412983266, 9974246827560833791825382, 9974246827560833791825386
, 9974246827560884928779747, 1276703593927786725420570087,
1276703593927786725420570091, 77923803340319547200994,
9974246827560833926043114, 78514099150678118634978,
10049804691286748115244522, 10049804691286799252198883,
1286375000484703758818219499, 78514099150678252852706,
10049804691286748249462246, 10049804691286748249462250,
9749330360257352810640866, 1247914286112941108690957798,
1247914286112941159827912163, 159733028622456461912508478951,
9749330360257352944858594, 1247914286112941108825175530,
9974246827560885331432934, 9974246827560902511302118,
1276703593927786725823223278, 1276703593927793322490336743,
1276703593927795521513592295, 163418060022756700905439499759,
9974246827560885465650662, 1276703593927786725957441006,
10049804691286799654852070, 1286375000484703759220872686,
1286375000484710355887986151, 164656000062042081180338623983,
10049804691286799789069798, 10049804691286816968938982,
1286375000484703759355090414, 1247914286112941160230565350,
159733028622456468509578245607, 1247914286112941160364783078,
1247914286112941177544652262, 77923803340319412983272,
9974246827560884928779753, 9974246827560884928779754,
1276703593927793270950729195, 1276703593927793270950729197,
77923803340319547201000, 78514099150678118634984, 10049804691286799252198889,
10049804691286799252198890, 1286375000484710304348378603,
164656000062042918956659381743, 10049804691286816432068074,
9749330360257352810640872, 1247914286112941159827912169,
1247914286112941159827912170, 159733028622456468458038638059,
20445827663674427962629011551727, 1247914286112941177007781354,
159733028622456470657061893611, 595051897507087934160,
76166642880907120239314, 9749330288756111255298771, 76166642880907120239316,
9749330288756111255298774, 1247914276960782240542909143,
9749330288756111255298778, 1247914276960782240542909150,
76166642595085636629200, 9749330252170961352684241, 9749330252170961352684242
, 1247914272277883053007729363, 159733026851569030784853504727,
1247914272277883053007729370, 159733026851569030784853504731,
76166642595085636625360, 9749330252170961352680401, 9749330252170961352680402
, 1247914272277883053007725523, 1247914272277883053007725525,
159733026851569030784853500887, 1247914272277883053007725530,
159733026851569030784853500891, 159733026851569030784853500894,
1247689369537551236252329712, 20442142630503239454732105311987,
159704239300769973090193536752, 20442142630498556555544570132209,
20442142630498556555544570132210, 334924064858088350606042210914301687,
608779154993197884641, 608779154993332102369, 77923731839078258713827,
77923731839078392931555, 77923731839078258713829, 77923731839078392931557,
9974237675401966044849383, 9974237675401966179067111,
9974237675401966044849387, 9974237675401966179067115,
1276702422451451602670200047, 1276702422451451602804417775,
77923695253928356099297, 9974232992502778509669609, 9974232992502778509669605
, 1276701823040355598166668525, 9974232992502778509669603,
1276701823040355598166668523, 1276701823040355598166668519,
163417833349165516514262529263, 77923695253928490317025,
9974232992502778643887337, 9974232992502778643887333,
1276701823040355598300886253, 9974232992502778643887331,
1276701823040355598300886251, 1276701823040355598300886247,
163417833349165516514396746991, 9974232955917628607051233,
9974232955917628741268961, 1276701818357456410631484899,
1276701818357456410765702627, 1276701818357456410631484901,
1276701818357456410765702629, 163417832749754420509758993895,
163417832749754420509893211623, 1276701818357456410631484905,
1276701818357456410765702633, 163417832749754420509758993901,
163417832749754420509893211629, 77923731839129798321381,
77923731839129932539109, 9974237675408563114616039, 9974237675408563248833767
, 77923731839147112408293, 9974237675410762272089319,
1276702422451458199739966703, 1276702422451458199874184431,
1276702422451460398763222255, 9974232992502830049277157,
9974232992502830183494885, 1276701823040362195370652903,
9974232992502847363364069, 1276701823040355649706276077,
1276701823040355649840493805, 163417833349165523111332295919,
1276701823040355666886145261, 1276701818357456462171092453,
1276701818357456462305310181, 163417832749754427106828760551,
163417832749754427106962978279, 1276701818357456479350961637,
163417832749754429305852016103, 163417832749754429305986233831,
77923731839129798321386, 9974237675408614251570411, 77923731839129932539114,
9974237675408631431439595, 9974237675408563114616046,
1276702422452296078737286383, 9974237675408563248833774,
1276702422452296095917155567, 9974232992502830049277162,
9974232992502830183494890, 1276701823040362195236435182,
1276701823040362195370652910, 9974232992502847229146346,
1276701823040364394259690734, 1276701823040362246373389547,
1276701823040362263553258731, 163417833349166360990329615599,
163417833349166361007509484783, 1276701823040364445396645099,
163417833349166642465306326255, 9974237675408614654223595,
9974237675408614788441323, 9974237675408631834092779,
9974237675408631968310507, 1276702422452296079274157295,
1276702422452296096454026479, 1276701823040362246776042731,
1276701823040362246910260459, 1276701823040362264090129643,
163417833349166360990866486511, 1276701823040364445799298283,
1276701823040364445933516011, 163417833349166642465708979439,
9974237675408614654223598, 1276702422452302675807053039,
9974237675408614788441326, 1276702422452302692986922223,
1276702422452304874830308591, 1276702422452304892010177775,
1276701823040362246776042734, 163417833349166367587399382255,
163417833349166367604579251439, 163417833349166369786422637807,
1276701823040364445799298286, 163417833349166649062376092911,
1276701823040364462979167470, 2233919864881, 283708896575601, 283708896579633
, 36312505915543857, 599555782956208408176, 76743140218394804012657,
9823121947954535041386099, 76743140218394804012660, 76743139380532852344560,
9823121840708205227853554, 9823121840708205227853560, 76157419508870531958384
, 9748149697135428201793137, 1247763161233334809940641395, 17448304643,
34493956161, 4432540467267, 4432540467269, 4415360598085, 569581517144135,
567365314019405, 567382493892929, 9295997013386596679, 72624976531820873,
72624976531820881, 72624959351951697, 1189887336255821189463, 17448304832,
2233651429570, 285907651395779, 2233651429572, 2233651429576, 285907517178054
, 36596162467201223, 285907785613510, 285907517178058, 285890471526598,
36593980623814855, 285907517178060, 36596162332983501, 285907517178072,
567365448241600, 72622777642783170, 9295715538544103878, 72622777642783176,
72622777642783184, 72622777508565442, 9295715538409886150,
9295715538409886154, 1189851588916733284811, 9295715538678321610,
9295715538409886162, 9295715521230016965, 1189851586734755680711,
1189851588916599067093, 72622777508565456, 9295715521364234706,
1189851586734889898454, 4415494824128, 565183604859073, 72343501689331909,
72343501689331914, 9259968216501854411, 9259968216501854414, 565183604859088,
72343484509462723, 9259968199321985223, 72343501823549642,
9259968233681723595, 9259968216367636686, 9259968216636072142,
72343501555114194, 1185275929513347260623, 1185275929513615696079,
9259968199187767509, 1185275929530527129807, 1185275929496167391447,
565183739076816, 9259970415525109973, 1185276213187481444574, 567365448245952
, 72622777642787524, 9295715538544108234, 1189851588933913158350,
72622777642787536, 9295715538544108241, 72622777508569794,
9295715538409890502, 9295715538409890506, 1189851588933778940622,
9295715538409890514, 1189851588916733289171, 72622777508569796,
1189851588916733289166, 9295715538409890516, 1189851588916733289173,
9295715538678325972, 9295715521230021317, 152301003381341994099407,
1189851588916599071445, 1189851588950958809813, 9295715521230021318,
1189851588916599071438, 1189851588916867506894, 1189851588916599071446,
152301003381324948447959, 1189851588950958809814, 152301003383523837485790,
152301003383558197224158, 72622777508569808, 9295715521364239060,
1189851586734889902805, 1189851586734889902810, 152301003102066174862046,
19494528397064470649643743, 72622777777005264, 9295715555723977425,
9295715555723977428, 1189851591132936413914, 152301003665016128283355,
152301003665016128283358, 72908633486143936, 1194535051071401767363,
9332305086493241796, 152900486537139693040071, 9332305086493241808,
19571262276751664772821455, 152900486537122378953174, 9259966000298734528,
1185275648038504772548, 1185275648038504772552, 151715282948928877638602,
1185275648038504772560, 151715282948928877638610, 19419556217462896604492755,
151715282948928877638612, 19419556217462896604492758,
151715282948928877638616, 19419556217462896604492761,
151715282948928743420876, 19419556217462879424623566,
151715282948929011856332, 151715282948928743420884,
19419556217462879424623573, 19419556217462896470275036,
2485703195835250748461954014, 318170009066912095803396862943,
19419556217462896738710492, 19419556217462879290405838,
19419556217462913650144206, 19419556217462879290405846,
2485703195835248549438698455, 318170009066912095820576732127,
2485703195835250782687474654, 151715282948911697769420,
19419556217460697581237198, 151715282948946057507788,
19419556217462879424623577, 19419556217462913784361948,
2485703195834969290530894799, 19419556217465095493530573,
2485703195835252964530861021, 151715282948911697769428,
19419556217465112807617500, 2485703195835534439641789405, 17448304673,
2216471560289, 2216471564321, 283691448275233, 283691448418337,
283708493956192, 36314687356306529, 4648279981737149539, 36314687356306532,
36312505512920288, 4648000705783694562, 4648000705783694568,
36312505513051232, 4648000705783825505, 594944090340442932323,
4648000705783825520, 4647998523940439648, 594943811064489477730, 134217729,
134217792, 2216337342531, 17314086980, 2216337346880, 36312488333021510,
283691314057552, 283691314201664, 4647998506760553548, 0 ]; 

PROPERTIES_SMALL_GROUPS[ 128 ] := rec(
isAbelian := [ 1, 42, 128, 159, 179, 456, 837, 988, 997, 1601, 2136, 2150,
2301, 2319, 2328 ], 
lgLength := rec( lgLength := [ 1, 2, 3, 4, 5, 6, 7 ], pos := [ [ 2328 ], [
164, -178, 997, -1600, 2150, -2300, 2319, -2327 ], [ 2, -41, 179, -836, 1601,
-2135, 2301, -2318 ], [ 42, -127, 837, -987, 2136, -2149 ], [ 128, -158, 988,
-996 ], [ 159, -163 ], [ 1 ] ] ),
frattFacs := rec( frattFacs := [ 8, 16, 38, 102, 362, 1875 ], pos := [ 1, 163
, 996, 2149, 2318, 2327 ] ) );