sml1248.z

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

SMALL_GROUP_LIB[ 1248 ] :=
[ 116605812236127294489736294665227, 23454524593168911461040491531,
11694491503739922676461437953, 128452144867741823246374505483,
160308398515030503907131845591063, 365160263124784628904837143,
199991709063228508744899236684073995, 23435730903591487827591287051,
29247792070150508866521328505099, 45553553292333685542484002208994545931,
45553553292333685542421481778815947019,
56850834508832439556942024797795569537291, 23435731059517440692766150923,
29247792070306434819386503368971, 29248156645376832642004768035083,
36501244503547601192061496279027979, 29271106178498513216089840013579,
36530340632193792216886234889621771, 36530340753718815682827107644510475,
36530340510765910619580540647493899, 45589864957435856453251332283235078411,
23435730903591487827555455243, 29247792070150508866521292673291,
23435731059517440692479496459, 29247913595329900760258971603211,
29247792070306434819386216714507, 36501244868025529721248935744278795,
36501244868025607746745798635720971, 45553553595295569120787492680620478731,
23435828201386075854939607307, 45553553140427406053819356249064984843,
56850834319253402755166572136666368741643,
45589865108977560715342121020700659979, 36530340510765910619580531187896587,
45589864957435856453251332273775481099,
45589864957435856219362402985347371275,
56896423994631680673934120205243798147339,
71006737145300337481069782030584071385846027,
71006737145300337481069782030584071421677835,
88616407957334821176375087974183360856187375883,
23436022952901204771872903435, 23435828435275005152827314443,
29271106178654439168955229868299, 36530340510960662134709154300367115,
36530340510960662134709448121192715, 45589864957678906266169243567255359755,
45589864957678906266169243861076185355, 36530363825069010139058705325953291,
160238156661338705478875635485707, 199977219635070793099244475188330519,
151766350747867333728120766487, 151766350747867333728084934679,
189404405733339181181573620383767, 189404405440743567945732969627671,
189404405440743567945732933795863, 236376697990047973544960765334208535,
368793309706304514968210099091168073678871,
294998119547297832366055861951887998999,
295507459701657948049105254641587961879,
460254050513468034680326203851213779326369815,
460254050513468034680326203851213779290538007,
294998119547297832366243423242423795735,
368157653195027694793071978191534538965015,
295507459702022523119503077259852627991,
368793309708124108852438359085538346614807,
574397055040808107281047102406500232533284306967,
368157653195027694792837901700945864638487,
368793309707669119164581876457944043307031, 151766351215645192324147003415,
151766351215645192324290330647, 189404405441211345804326989283351,
189404405441211345804328995864599, 189404405441211345804329139191831,
236376697989755845709583518703108119, 151766642641251097807012528151,
151767226895796484557167443991, 189405499167124768743949956169751,
236784042091103603300747827732316183, 236784042091687857846134577887232023,
368792601058046448020020300226272477200407,
295506484529697296919518919758578925591,
295506484530426446358272654519764402199,
368792601058046448020254376716861151526935,
236784042091103603300747832462114839, 294998119091578993900249485362635112471
, 236784042091687857846134430976819223,
295506891874527502690257913192639610903, 236376699083481759132523143819902999
, 368792601059410323358612631131784824307735,
295506484529697296919518919763308724247,
368157652626290584387511543717558262251543,
295506484530426446358272654372853989399,
368792601059410323357208172188252778348567,
236376699083481525056032555145576471,
368792601059410323358378554641196149981207,
295506484529697296217852131869000630295, 236376697990047271315489012891484183
, 236784368489204729907020343747133463,
295506484530426446358272654373068980247,
295506891874527503860640366135796252695,
294998120456183483803383366469117624343, 189404770016281743626947260530711,
189405499165954386291006584537111, 189405499166422539272183933190167,
236784042819962318490487579246215191, 295506484530426446826425635550202642455
, 236376699083481056903051377796923415, 236784042455387248092664960981549079,
295506484530426446592349144961528315927, 236376699083481290979541966471249943
, 295506484984322409705791286020853547031,
368792092693972205055124646032335087157271,
294998120456183483101153894703094644759, 151766643342917885701320622103,
189730802957615628831654482903063, 189730802958083406690250724130839,
295506891873434655031827662282123919383, 74979693629909616792473867,
74882317872345156444655883, 93452840733355681924013527307,
74979459740980318904766731, 93452840577429729654506639627,
116629145040398428600744415056139, 145553173010417238908649890548453643,
116629145040398428600753874653451, 145553173010417238908649900008050955,
145553173010417005019720602120343819, 93574365756821622796768416011,
116629387993303491847320871670027, 116629266468280025906448116781323,
145553324552121500999438637473632523, 74882161946392291556446475,
93452840577429729059125317899, 181650549041169158192879836297843331339,
226699885203379109424714050231029089161483,
282921456733817128562043134702855534484820235,
136096850339264966538499108413258617856,
141548292346065552555152267587055071943232, 102926398130802686278750475,
128452047335620662913542902027, 200064729439405964331146775862169867,
200064729439405964268626345683570955, 249680782340378643407308069996624253195
, 102926554056755551453614347, 128452047491546615778717765899,
128816622561944438396982432011, 160308155074620760811730106437899,
151766155683625012482054410507, 189404283720811785636468717031691,
189404405245835251577341471920395, 189404162292930188330774474903819,
236376394541576875098476850102702347, 102926398130802686242918667,
128452047335620662913507070219, 102926554056755551166959883,
128573572515012556651186000139, 128452047491546615778431111435,
160308519552549289999169571688715, 160308519552627315496032463130891,
200065032401289542634637247488102667, 103023695925390713627070731,
200064577533126475666500815932608779, 249680592761341841631855408867423457547
, 236376546083281137189265587568283915, 189404162292930188330765015306507,
236376394541576875098476840643105035, 236376394541576641209547552214995211,
295270268139619760399403477444852863243,
368497294638245460978455601143737931337995,
368497294638245460978455601143737967169803,
459884623708530335301112590288677455221395723, 103218447440519630560366859,
103023929814320011514777867, 151766155839550965347444265227,
189404162487681703459388127777035, 189404162487681703459681948602635,
236376394784626688016388134122983691, 236376394784626688016388427943809291,
189427476596029707808939153363211, 9370586140724834146646785,
11694468996327347216717642497, 18214217294883699129332263913454337,
18214217294883699114904472333777665, 22731343184014856495415079417224739585,
9370622123637033609444097, 11694469032310259416180439809,
11778601740863603097318439681, 14594697307362569290451893156609,
35008577344331696785229150977, 43690732547490826956950078995201,
43690760591727011404843791661825, 43690704525671996809496261622529,
54525999248038652031829001070164737, 9370586140724834110814977,
11694468996327347216681810689, 9370622123637033322789633,
11722513268494707309606451969, 11694469032310259415893785345,
14594781417653768333692849208065, 14594781417671774217584285694721,
18214287209164524891676204819397377, 9393039477937457165433601,
18214182239588432514413965468171009, 22731299435006363778002926848947632897,
54526034219201174052780234285890305, 43690704525671996809486802025217,
54525999248038652031828991610567425, 54525999248038598057460701750557441,
68139270248112234849948367832848104193,
85037809269644069092735576255317134555905,
85037809269644069092735576255317170387713,
106127185968515798227733999179835661979859713, 9437982135274899727596289,
9393093452305756485040897, 35008577380314608984906939137,
43690704570614654146635543362305, 43690704570614654146929364187905,
54525999304127070397500602771946241, 54525999304127070397500896592771841,
43714018678962658496186568948481, 128452242399862983617545666583,
160308398222434140426129051648023, 249680971920752025768521816438019096599,
249680971920752025768334255147483299863,
311601852957098528158881337827442606817303, 128452242867640842213715230743,
160308398222901918284725221212183, 160309491948113111752580015210519,
200064880981597105772441717059584023, 567955582687290182221608057667607,
708808567558021090724745416094400535, 708808567922596161122568034359066647,
708808567193737445932828287574966295, 884593091857784332524356746137954041879
, 128452242399862983617509834775, 160308398222434140426129015816215,
128452242867640842213571903511, 160308762797972316107343342551063,
160308398222901918284725077884951, 200064882075030891360004081965023255,
200064882075031125436494670639349783, 249680972829637676503432287898689945623
, 128452534293246747696437428247, 249680971465033187302527878558230413335,
311601852388361417753554979844055004430359,
884593092312409445310629112395498864663, 708808567193737445932828282845167639
, 884593091857784332524356746133224243223,
884593091857784331822689958243645947927,
1105491483785429411473905838568804002627607,
1379653371764215905519434486720721812425261079,
1379653371764215905519434486720721812461092887,
1721807407961741450088254239427647676279225401367,
128453118547792134446592344087, 128452534994913535590745522199,
567955582687757960080204298895383, 708808567194321700478214886089670679,
708808567194321700478215033000083479, 884593091858513481963110480747499307031
, 884593091858513481963110480894409719831,
709216214378786556520010356352729111, 1168744292631834384678935,
292596363481005302169623, 364867666761303625860071447,
1168744292631834599669783, 364868134539162520042782743,
455355431671173082345288286231, 568283578725390305023894003531799,
455355431671173082198377873431, 568283578725390305023747093118999,
568283578725390305023747308109847, 1458593345732630077074456599,
456448281202215257675820908567, 456448281436291748264495235095,
569647454064450788910294751592471, 292596363481005517160471,
364867666761303626075062295, 709784368776119640805579570266832919,
885810892232597311725550295374070267927,
1105491993506281445033486955618476110725143,
199904351043159907779623914597683467, 249480630101742039729282025074313564427
, 160179768464070564104409479155979, 199904351043062531959539028084429067,
249480630101863467376927881076607848715,
249480630101863467454953377939499290891,
311351826367125607188873952793865701986571,
311351826367125607188951978290728593428747, 160179768464070564104409694146827
, 199904351043062531959539028299419915,
249480717389763694579539083921861415179, 160179768464070564104409192501515,
199904351043062531959539027797774603, 199904351164587477399983037661221131,
199904351164587555425479900552663307, 199904351164587633450976763444105483,
311351935302425090835030528167445586153739, 160179768464070564104411199082763
, 249480717459706019623552131410476077323,
249480717389763694579539084215897231627,
311351935389713112489958810723414014464267,
311351935302425090835030528167739406979339,
199904420985387575972586258710073611, 160179768561368358692437042467083,
249480717389763694579539083922076406027, 160308099083914839687303534624791,
200064507656433125018355231101632535, 200064507656433125018355233251541015,
249680505555228247427995928658148147223,
249680971091344032272219988501094514711,
311601852387533467767979857929217821098007,
311601851921997352275029017633616586227735,
388879111779641767774438161167476332737150999,
249680971464369765840289572208771645463,
311601852387533467767979857929217749434391,
311601851921997352275029017633616657891351,
388879111198652695639235512478737660951216151,
249680505555592822498393751285442428951,
249680505555592822732470241874116755479,
311601270933379842185400490190353716559895,
311601270933379842185634566680942390886423, 160308099083914839687303606288407
, 200064507656725252478609896661139479, 200064507656433125018355233323204631,
249680505555228539555456183323707654167, 160308099083914839687305541206039,
160308099083914839687303391297559, 200064507656433125018355233108213783,
160308099375808223451382498050071, 200064508021007961339687262698553367,
200064880682166693087938958916239383, 249680971091344032272219988354112438295
, 249680971091344032272219988354184101911,
311601851921997352275029017633469675814935,
200064508021008195416177851372879895, 200064508021008429492668440047206423,
70723323213266271162691730692967742441264384,
29154348607685738843464588035216, 28391411048232116279394469057608532658880,
35432480988193681116684158423365178007194304,
88262707370156306412536523017920945025290159872,
36384627436615360619597305039310064,
35432480988194615391716487233516360813730624,
44219736273266880008862174201534073661360495424,
116605812235892780654368592709323, 145524205212195827792608968531199691,
145524205212098529998020942902806219, 74867180863696405147977419,
93434144419786132254358537931, 93434144419786132252065302219,
116605933663618452007220269844171, 116605933663696477504083161286347,
116606055188563954971660311889611, 93452825596347033317154866891,
116780789476150459127800292820683, 145742425266235772678912725254784715,
116629126441694630585242051167947, 74882071792195199996462795,
93452825518384056886699427531, 93574350541787477331568953035,
93574350541787477331497289419, 116780789476150459127802550224587,
116629126344240910044353326155467, 145553149556184851725918379083777739,
145742425266235772678912723033212619, 181886546732262244302970496215899391691
, 145931700976481523297573704620525259, 145742425509285897636291331434432203,
93452825596347033317190698699, 116629126246942990415465118992075,
116629126246942990415462825756363, 116780789476150459127800328652491,
145742425266235772678912725290616523, 116629126344396835997216530269899,
145553149677612499434294798048069323, 74867102900719972936779467,
93434144341823155822147339979, 93434144341823155819854104267,
116605812235892843174819876243147, 116605812235892905695250054842059,
145524053670394267969752634146719435, 145524053670394345995249497002329803,
93452825518384056884979500747, 116629126246865027439030614558411,
145553149556184851788438830367311563, 181650330646118695031659054708444399307
, 116629145040386237389468198504139, 145553173010402023937034239878104779,
181650359916981725873093703574396602059, 145553173010402023937034235434960587
, 181650359916981725873093703572246693579,
181650359916981725873093703572175029963,
226699649176393193889620617030191666366155,
181650359916981725873093703567731885771,
226699649176393193889620617030189444794059,
282921162172138705974246529728648365531236043, 74867102900719972829284043,
93434144341823155822039844555, 74867180863696405112145611,
93434144419786132254322706123, 116605933663540426510357270906571,
93434241795606217142842541771, 93434241795606217142770878155,
74867102900719976949941963, 74867102900719974656706251,
93434241717580720282208503499, 93434241717580720282136839883,
74979447549759658230204107, 93574350541787477331461457611,
116780789476150459127802442729163, 93452825596347033321598011083,
145553149677612499371774367761974987, 116629126246942990424730149586635,
181650359742004485615415229720741119691, 145553149556184851725927646407608011
, 74979447549759662780843723, 93574350541787477333718861515,
181650330797660399215661826154309043915, 116780789573604304709547189290699,
145553149556184851725927646515103435,
226699648958021598048037882372796828124875,
181650330646118694953633567091843516107, 116629126344240785003490747385547,
145553149677612499371774367869470411, 93452825518384056884872005323,
145553172870195901935688740640655051, 145553149556184851725927646443439819,
181650359742004485615415229720705287883, 74867180863696409555289803,
74867180863696411812693707, 36385853465123950206668161862128176,
56671112315344412942698298287467341861424,
56671130500372257190583958863251515953712, 455111295587475408408183671819,
19306425967250070811684067141520516, 24094419607128087755185015144343374980,
473001820105527784845491029187742731, 45408467697302535204518822427440239152,
70723870072419487791178894905990997065650736,
105986388844024041730970423119629096417808944,
70723870072419487791178888899220436060262960,
116932471386847028074898103831563, 22968607730027937213122185625147575428,
28664822447074865641358689495387454278788,
181886956071682646097456764820494994443, 160238156661182404666435683651851,
199977219391630461381944139862151435, 128395958863252067702564753675,
160238156563806584581549170397451, 199977219513058109027800142156435723,
199977219513058187053297005047877899, 249571569952296422534698640420598616331
, 249571569952296422612724137283490058507, 128395958863252067702779744523,
160238156563806584581549385388299, 200064507413285311639002987410002187,
128395958863252067702278099211, 160238156563806584581548883742987,
160238278088752025025558747189515, 160238278088830050522421638631691,
160238278088908076019284530073867, 249680505251780068691274014000482783499,
128395958863252067704284680459, 200064577355610355652050476024664331,
200064507413285311639003281445818635, 249680592539801723619556569968911094027
, 249680505251780068691274014294303609099, 160308098888850597628779796041995,
128396056161046655730128064779, 200064507413285311639002987624993035,
199977219635070324196053359797026839, 249571570104203189058827043711101779991
, 160238156758870826639246699151383, 199977219634778196735798696387428375,
249571570104567472001764611672836554775,
249571570104567472235841102261510881303,
311465319490500204765607325372215392288791,
311465319490500204765841401862804066615319, 160238156758870826639246770814999
, 199977219634778196735798696459091991,
250152937424432229495997031876279156759, 160238156758870826639246555824151,
199977219634778196735798696244101143, 199977219999353033057130725834440727,
199977219999353267133621314508767255, 199977219999353501210111903183093783,
312190865905691422410302769367527547158551, 160238156758870826639248705732631
, 250153403263631130970893864275116867607,
250152937424432229495997032023261233175,
312191447273011651450974015846410393370647,
312190865905691422410302769367674457571351,
200443058833679671632630966230630423, 160238157050764210403325662576663,
250152937424432229495997031876350820375, 121607652842242503813955607,
152027886985268333594191921175, 151766350513415720562889654295,
189730802957381177218336034979863, 189731429068923427654132368998423,
189731429068923615215422904795159, 236784823478016204008883943915978775,
236784823478016204196445234451775511, 189404405732636576587240177729559,
236784042091103602925625106988335127, 189404405732636764148530713526295,
236784042091103603113186397524131863, 295507459700564514496843937705363570711
, 295508027527694959387163175395891675159,
295508027527694959387350736686427471895,
295507459700564514497031498995899367447, 236784823478016671974303826214027287
, 295507459700564222603272612328841314327,
295507459700564222837349102917515640855, 236376698354330681843354269152165911
, 295506484529697296685442429030232211479,
460254050513468033587184779425274076045328407, 151766350513415720560596418583
, 189730802957381177218333741744151, 189404405440509116332567738515479,
236784042090811475465370434549121047, 236784823478016204008883941622743063,
236784823478016204196445232158539799, 295507459700564222837349102915222405143
, 236376698354330447766863680513671191,
295506484529697296451365938441593716759, 236376698354330681843354269187997719
, 294998119546204690940692115795927973911,
368793309706304514092061419695176776318999,
368794018354563309315179828332955850670103,
368793309706304514092295496185765450645527,
368794018354563309315413904823544489164823,
368793309706304514092295496185765414813719, 189404405440743005261863404650519
, 236784042090811709354299730215256087, 190185792937599009029889270693911,
237919696352285744913284442390478871, 190640782917582951912149133508631,
236784042455386779752122348479922199, 236784042819961850149944966744588311,
189404770307940863339147228823575, 236784042455678907212377014039429143,
189405135175138721416431052996631, 236784042820546105070454297863602199,
237351869950406740469182657272692759, 237919696716276560390597729536131095,
237351869586123797531614704567533591, 237919696716568687850852395095638039,
237919697081435885708929678919811095, 237351869950990995389691988391706647,
237919696351993617453029776830971927, 151766350513415720560381427735,
189730802957381177218333526753303, 190185792645471736336516504387607,
236784042819961850337506259537788951, 189405134590649911977804052856855,
189405134591118064958981401509911, 237351869585831436182430743126900759,
237351869585831670258921331801227287, 189404405732636389025942511403031,
236784042091103602738063809322008599, 151766642874764904524043632663,
189730803249976602892885863284759, 190640782625689568148074469900311,
236376698354330681843354262057467927, 237919696716861049387597647036235799,
190640782333562295454699482021911, 236784042455386545863193052598796311,
237919696351993617453029774537736215, 236377152979443233851668649421783063,
236377607969131090334296243725090839, 236377152979735361311923314981290007,
236377607969715345254805574844104727, 296215133243117632355859381189576179735
, 296923781956902543330750646562953838615,
296215133243117924483319635855135686679,
296923781956903127585671155894072852503,
295506484529697296217289447845788860439, 189404770307706786848556261261335,
236784042455970800596141088631373847, 237919696716860581234616469687582743,
236376698354330447766863673383141399, 295506484529697296451365938434463186967
, 237351869221548727133792084009631767, 121607652842242503742291991,
152027886985268333594120257559, 151766350513415720562817990679,
189730802957381177218335963316247, 121607652842242503706460183,
152027886985268333594084425751, 151766350513415720562782158871,
189730802957381177218335927484439, 151766350747492211146941677591,
189730802957615253708920087003159, 189404405440743192823154083774487,
236784042090811709541861020894380055, 151766350513415720560524754967,
151766350513415720560488923159, 189404405440743192823151790538775,
189730802957615066147787676975127, 236784042091103602738063960926388247,
236784368488328581415185654487580695, 295506891873434069606337138722006433815
, 189404405732636764148528348626967, 295506484529697296217664570431697747991,
189730803249508637473145960841239, 236784042455386545863193195030233111,
236784042091103602925625246768218135, 295506484529697296217477009283306733591
, 236784042091103602738063960854724631,
368792601058045718868708934566806734405655,
236784042091103602738063960818892823, 295506891873434069606337138721898938391
, 189404405732636576587237812830231, 236376698354330213877934380081905687,
236784042091103602925625104623435799, 295506484529697296217477009141161951255
, 236376698354330447766863678112940055,
295506484529697296451365938439192985623, 189730803541636097727811520348183,
236784042819961616261015813223235607, 295506484529697296217289447997285744663
, 236376698354330681843354266787266583, 236784042455386545863193194958569495,
295506484529697296217477009283235069975,
368792092693062225679177604286704573300759, 121607886731171801737494551,
152027887219157262892115460119, 151766350747304649860813193239,
189730802957615066147633958518807, 121607886731171801701662743,
152027887219157262892079628311, 151766350747304649860777361431,
189730802957615066147633922686999, 151766642640688413933147734039,
189730803249508449911706293059607, 189404405732636389025940289830935,
236784042091103602738063807100436503, 190185792645237472284639587500055,
190185792645237472284639551668247, 237351869221256365597046832069034007,
152392462289555085510380126231, 190185792645471548775228261826583,
190185792645705625265816936153111, 152392462289555085510344294423,
190185792645471548775228225994775, 190185792645705625265816900321303,
190185792937364932539300596367383, 237351869221548493057301497628540951,
237351869221840620517556163188047895, 189730803249976602892888192352279,
189730803249508449911710807867415, 236784042455386545675631759805595671,
151766642874764904526372700183, 151766642874764904526336868375,
189730803249742526402299482193943, 189404770307706786848558554497047,
236784042455678673135886425365102615, 190640782625689568148076798967831,
190640782625221415166899414482967, 237919696716276326314107140861804567,
190185792937599009029893821333527, 190185792937599009029893785501719,
190640782625455491657488088809495, 237351869586123563455124115893207063,
237919696716568453774361806421311511, 189730803249508449911710843699223,
190640782625221415166899450314775, 121607652842242505820536855,
152027886985268333596198502423, 151766350513415720564896235543,
189730802957381177218338041561111, 151766350747304649858519957527,
189730802957615066147631665283095, 189404405440743005261865662054423,
236784042090811709354299732472659991, 151766350747304649858484125719,
189730802957615066147631629451287, 189404405440743005261865626222615,
236784042090811709354299732436828183, 152392462055478594923927371799,
190185792645237472284641809072151, 190185792645237472284637294264343,
237351869221256365597046834326437911, 190185792645237472284637258432535,
237351869221256365597046834290606103, 152392462055666156214463168535,
190185792645471548775225968590871, 190185792645471548775225932759063,
190185792645705625265814607085591, 151766642640688413939919945751,
189730803249508449911713065271319, 189404770015579326593895252394007,
236784042455386545675631762062999575, 189404770015579326593895216562199,
151766642640875975230455742487, 189730803249508825034294136864791,
189404770015813403084483926720535, 189404770016047479575072601047063,
236784042455387013828612939411652631, 189404770015813403084483890888727,
190185792937364932539307368579095, 190640782625221415166901671886871,
237351869585831435994869452591104023, 237351869585831435994869452555272215,
190185792937365120100597904375831, 190185792937365307661888440172567,
237351869585831670071360041265430551, 237919696716276794467088320467861527,
237351869585831670071360041229598743, 189404405732636389025937996595223,
236784042091103602738063804807200791, 236376697990047270752805132003655703,
295506484529333013274351879893083701271, 237351869221256365597046829775798295
, 296215132788127944265300263006598545431,
237351869221548493057301495335305239, 236377152979442999775178060747456535,
296923781501912855240191528379976204311, 236377152979735127235432726306963479
, 296215133243117632121782890600901853207,
296215133243117924249243145266461360151,
295506484984322409003374252821827502103, 121817217322893782417080343,
121607652842242508113772567, 152027886985268333598491738135,
152392462055478594926220607511, 152392462055666156216756404247,
152392462055853717507292200983, 567979158833567340920781804011543,
708837990224292041648735321897435159, 567978896795637623892257132642327,
708837989598180733474790118824214551, 884629811799916468211877766232421040151
, 884629812254906156068360393826724347927,
708837990224292041648735317382627351, 884629811799916467977801275634645434391
, 708837663200955754797668425155526679,
884629811018529555376718016797681958935,
1377814470397617098905872692716563125612986391,
1377814471106265357701095811125200904687337495,
708837990224292041648735319604199447, 884629811799916467977801275636867006487
, 884629811799916467977801275632352198679,
1104018005126295752036296171585857005518871,
708837663200955754797668425191358487, 884629811018529555376718016797717790743
, 884629403674792781987670326073068765207,
1104018004151124885110144264911967500517399,
1104018005126295752328423631840529444732951,
1104018005694122882773313951078219972837399,
1104018005126295752328423631840529408901143,
1104018005694122882773313951078219937005591,
708837990224292041648735317454290967, 884629811799916467977801275634717098007
, 708837663200955754797668425263022103,
884629811018529555376718016797789454359,
1104018005126295752328423631840529516396567,
1104018005694122882773313951078220044501015,
884629811799916467977801275630202290199,
1104018005126295752036296171585854855610391,
884629403674792781987670326073140428823,
1104018004151124885110144264911967572181015,
1719512459056226139434529120510450363099018510359,
1719512459940619166410967572284430311383808688151,
884629811799916467977801275632423862295,
1104018005126295752036296171585857077182487,
1104018005126295752036296171585852562374679,
1377814470397617098541297622318740500576108567,
884629403674792781987670326073176260631,
1104018004151124885110144264911967608012823,
1104017495786141391920612747070579497582615,
1377814469180603856617460042790083811768614935,
1377814470397617098905872692716563125720481815,
1377814471106265357701095811125200904794832919,
1377814470397617098905872692716563125684650007,
1377814471106265357701095811125200904759001111, 121607886731171801629999127,
152027887219157262892007964695, 151766642874764904526265204759,
189730803541869986656964970037271, 190640782917582951912153576652823,
121607652842242505748873239, 151766642640875975230384078871,
190640782917349062982857695526935, 121607886731171803851571223,
152027887219157262894229536791, 151766643108841395112646295575,
151766350747304649858412462103, 189404770015813403084483819225111,
237351869585831670071360041157935127, 151766642640688413935297642519,
151766642874764904523971969047, 189730803249742526402297117294615,
236784042455386779752122350629830679, 122109344595587157369126935,
152392462055478594926148943895, 122109344595587157333295127,
152392462055478594926113112087, 152392462055478594921598304279,
190185792645237472284639480004631, 121607886731171806180638743,
121607886731171806144806935, 152027887219157262896522772503,
151766642640688413937590878231, 189730803249508449911710736203799,
152392462289555085514823270423, 152392462289555085514787438615,
190185792937364932539305039511575, 190640782625221415166899342819351,
122109344595587159590699031, 152392462055478594928370515991,
152392462055478594923855708183, 190185792645237472284641737408535,
152392462055478594923819876375, 190185792645237472284641701576727,
121607886731171808402210839, 151766642640688413939848282135,
151766642640688413939812450327, 189730803249508449911712957775895,
152392462289555085517044842519, 190185792937364932539307296915479,
190185792937364932539307261083671, 190185792645237472284637186768919,
237351869221256365597046834218942487, 189404770015579326593895144898583,
236784042455386545675631761955504151, 237351869585831435994869452483608599,
237919696716276326314107143011713047, 122109344595587161883934743,
15137009212410324616907, 15059046236124307195595, 18793689390198366263084747,
18793689390198224082470603, 15059046235979833345739,
23454524358655076093338535627, 15137009212561463183051,
18890987184786398556194507, 23575952006300932226562246347,
18890987184786396334622411, 29422788103863250928218775865035,
29574451430602590719166066673355, 29271246399601285180323644081867,
23575952006300932228712154827, 36719639553621336845923639485482699,
15059046235978113418955, 18793611427221934051886795,
18793611427221789578036939, 23454427060860498192668296907,
29271124971953576813883014186699, 36530363964998063538795255883925195,
36530363964998063538795262548641483, 29271124971953576813887457330891,
36530363964998063538795260327069387, 29154451436497623231137013384960,
14629687128577771061486877017856, 29154451436497623231163672250112,
45408174730132105517136680162991621888,
45408174730150794184145279921221617408, 28051750678469553485252352,
18257849536465015557638236810774272, 36384710148415027493188519174918704,
18229617076715376838975878374919300, 36719944217147449533164288162909195,
56669331594996980292095011306141185790512,
56669331594996989625192844057763933114928,
56669331594996998980762019905899415786032, 23697477264280710078375496715,
22750562111740789677243777169818356868, 128452144633227689647954675403,
160459818303906067459614345217739, 160459818206608272871588716824267,
82551038201442922956491, 102926397943241399612769995,
102926397943241397319534283, 128573572358899042499631810251,
128573572436924539362523252427, 128695097304402006939673855691,
121607574504142462409098955, 303429384890906163079654786763,
378679872343850953763371068802763, 151766350435077620521413134027,
97441966700237771441867, 121607496541166031953659595,
243132519944586476823185099, 243132519944586476751521483,
303429384890906163081912190667, 151766252981357079632688121547,
189404162292930000769024897795787, 378679872343850953763368847230667,
472592480685125990358924193874265803, 567955582589601572424350434543307,
378680115393975911141977248450251, 121607574504142462444930763,
151766155683437450744480958155, 151766155683437450742187722443,
303429384890906163079690618571, 378679872343850953763371104634571,
151766253137283032495892235979, 189404283720577709145443862087371,
82473075225010711758539, 102926319980264967401572043,
102926319980264965108336331, 128452144633290210099238209227,
128452144633352730529416808139, 160308276502346244603279960737483,
160308276502424270100142816347851, 121607496541166030233732811,
151766155605474474309976524491, 189404162292930063289476181329611,
236376394541576719047482686419273419, 151784949126684424747560470219,
189427616510102211884885692122827, 236405665404607560482131552371476171,
189427616510102211884881248978635, 236405665404607560482131550221567691,
236405665404607560482131550149904075, 295034270424950235481749968706389608139
, 236405665404607560482131545706759883,
295034270424950235481749968704168036043,
368202769490337893881224010736742217582283, 82473075225010604263115,
102926319980264967294076619, 82551038201442887124683,
102926397943241399576938187, 128573572280873545636632872651,
103023773763326288096773835, 103023773763326288025110219,
82473075225014724921035, 82473075225012431685323, 103023695737829427462735563
, 103023695737829427391071947, 194817724264696005183179,
243132519944586476715689675, 303429384890906163081804695243,
121607574504142466852243147, 189404283720577646625013575993035,
151766155683437460009511552715, 236405490427367302803657698715993803,
189404162292930000778292221626059, 194817724264700555822795,
243132519944586478973093579, 303429482344751744826551256779,
236376546083280903050254132283918027, 189404162292930000778292329121483,
295034052053354393899015311311551366859, 236376394541576641021995069818390219
, 189404283720577646625013683488459, 151766252981232038770109351627,
121607496541166030126237387, 189427476303980210539386454673099,
189404162292930000778292257457867, 236405490427367302803657698680161995,
82551038201447330268875, 82551038201449587672779,
11694491449621276462596459073, 14629696514120716978407235357249,
14629696491667379765785936497217, 7526473894485629651521,
9370586097441463277242945, 9370586097441460984007233,
11722513232468511739560905281, 11722513250474395630997391937,
11750557450661503533416761921, 28051762658342526073571905,
70007784084473500425387903553, 87369714537422942678207378098753,
35008622286974605988815473217, 22477373913613334170177,
28051744666886428474165825, 56095980836906532900391489,
56095980836906532828727873, 70007784084473500427645307457,
35008599797654481170132060737, 43690704525671953525662481091137,
87369714537422942678205156526657, 109037403742703832476547269255203393,
131048724594134623907662445906497, 87369770625913317457884018346561,
28051762658342526109403713, 35008577344288412963452275265,
35008577344288412961159039553, 70007784084473500425423735361,
87369714537422942678207413930561, 35008599833637393367624108609,
43690732547436809304839588727361, 7508482438386274486849,
9370568105985363922078273, 9370568105985361628842561,
11694491449635704275281070657, 11694491449650132066860747329,
14594725329145373242342831344193, 14594725329163379126234231999041,
28051744666886426754239041, 35008577326296956861803874881,
43690704525671967953475165702721, 54525999248038616020060780296456769,
35027295943078011562202253889, 43714065336961360136920017685057,
54555153540527777452577752052681281, 43714065336961360136915574540865,
54555153540527777452577749902772801, 54555153540527777452577749831109185,
68084831618578666260818733269913127489, 54555153540527777452577745387964993,
68084831618578666260818733267691555393,
84969869859986175493501780819380949273153, 7508482438386166991425,
9370568105985363814582849, 7526473894485593819713, 9370586097441463241411137,
11722513214462627848016923201, 9393057440537975976757825,
9393057440537975905094209, 7508482438390287649345, 7508482438387994413633,
9393039434654086797675073, 9393039434654086726011457, 44948702582334382344769
, 56095980836906532792896065, 70007784084473500427537812033,
28051762658342530516716097, 43690732547436794877047901555265,
35008577344288422228482869825, 54555095227235142600353367305865793,
43690704525671953534929804921409, 44948702582338932984385,
56095980836906535050299969, 54526034219201120020700331965123137,
70007806573822480825044929089, 43690704525671953534929912416833,
68084758843589457965243413073091152449, 54525999248038598014186135150529089,
35008599797625625584751135297, 43690732547436794877048009050689,
28051744666886426646743617, 43714018611566620671428367501889,
43690704525671953534929840753217, 54555095227235142600353367270033985,
7526473894490036963905, 7526473894492294367809,
160308398514326961506334078615575, 200065335971284961692385430475063319,
200065335970993068308621353589882903, 102926710170269743641034775,
128452242399300299750238093335, 128452242399300299747944857623,
160308762797503975564880008740887, 160308762797738052055468683067415,
160309127372340484458200134877207, 455092614566652897484675596311,
1135782713131945862284689351229463, 1417456825988668436318527377949704215,
567955583271544540046918544801815, 364657543723129532576366615,
455092614332763968188794470423, 910082302189059034494855217175,
910082302189059034494783553559, 1135782713131945862284691608633367,
567955582979183378424247711629335, 708808567193737445370144259920052247,
1417456825988668436318527375728132119,
1768986118833858208525709399886959689751,
2126105084784183916263910409036316695, 1417456826717818811190663200931790871,
455092614566652897484711428119, 567955582687289619537587533283351,
567955582687289619537585240047639, 1135782713131945862284689387061271,
1417456825988668436318527377985536023, 567955582979651156282841767116823,
708808567558020388495273507711647767, 102926476281340445717495831,
128452242165411370452314554391, 128452242165411370450021318679,
160308398514327149067636259749911, 160308398514327336628926795546647,
200064881345880282223816384681771031, 200064881345880516300306973320265751,
455092614332763968186787889175, 567955582687055730608287316508695,
708808567193737445557705562101186583, 884593091857784332056203764816239034391
, 568282849365360735261135360884759, 709216996007970197786914954681909271,
885102811017946806838250875745697398807, 709216996007970197786914950238765079
, 885102811017946806838250875743547490327,
885102811017946806838250875743475826711,
1104608308150397614934137273940071213498391,
885102811017946806838250875739032682519,
1104608308150397614934137273940068991926295,
1378551168571696223437803318058218136505057303, 102926476281340445610000407,
128452242165411370452207058967, 102926710170269743605202967,
128452242399300299750202261527, 160308762797269899074291226918935,
128452534526760554415761768471, 128452534526760554415690104855,
102926476281340450017312791, 102926476281340447724077079,
128452534292684063829344845847, 128452534292684063829273182231,
729232613933390860197740567, 910082302189059034494747721751,
1135782713131945862284691501137943, 455092614566652897489118740503,
708808567558020388307712217068355607, 567955582687289619542146557542423,
885101835543632189219350097252830642199, 708808567193737445370148821237547031
, 729232613933390864748380183, 910082302189059034497005125655,
884593092312409444608212079196472819735, 1135782713424307399029939070255127,
708808567193737445370148821345042455,
1104607090758452972145749102738342253330455,
884593091857784331822127278777308528663, 567955582979183003301664418463767,
708808567558020388307712217175851031, 455092614332763968186680393751,
709216214377910408028180072398979095, 708808567193737445370148821273378839,
885101835543632189219350097252794810391, 102926710170269748048347159,
102926710170269750305751063, 234451613169853415447, 468340542470213517335,
584723261051801404194839, 584723261051801475858455, 584489184561212801531927,
730026991516951703636361239, 234451613176625627159, 292595988358430931124247,
365159793846435714791129111, 292595988358431002787863,
365159793658874424362827799, 455719422486650395338828103703,
365159794033997005434421271, 365159559769945126224298007,
455719130593266631261942923287, 234451613170068406295,
292361911867837921148951, 292361911867982394998807,
364867666198620056995627031, 455354847416065011728219947031,
568282849575249321817371524874263, 455354847416065011728327442455,
455354555522681247655885406231, 568282485292306384249423370354711,
55186233331163013251257690546935094441490412002112,
44219738246124209335943662298718741307821873984,
45408640604826029874545036809237712112, 160249766877508796674136709121739,
199991709063130898474664157026830027, 199991709063130898474664156955166411,
128405261921144688567212951243, 160249766877508796674140722284235,
160249766877508796674140650620619, 160249822921038479377045287519947,
128405306827819113956434429643, 249589740198809016144888759331281913547,
199991779005455942487711218096359115, 128405261921144688567642932939,
160249766877508796674141152265931, 128405261921144688571656095435,
28800882912670217262071305376306025434244,
23077630538998571524590645435360119940, 160611481391107569563825008118795,
35942096861906194184061114586872657426484356,
28799757100886373544921259942679350381700,
199992082387958277608984186056707083,
55186230869037356745596061002971478274711597407040,
35432480988194801904583269772628933776726848,
44219736273267112776919920675458542181066529600,
44219736273267112776919920675458542183288101696,
35432480988194801904583269772628933812558656,
35432480988194801904583269772628936034130752,
44219736273267112776919920675458542183323933504,
28391411048233014346621210380605818444608,
45408015134152402509156803605335395568, 29154348967419924620831887641840,
36384627511340066112957247308451056, 36384627511340066112957249530023152,
29154348967419924620831923473648, 29154348967419924620834145045744,
36384627511340066112957249565854960, 200064880682166458636588784536469527,
200064507656432890567005072272867351, 249680971091343740144384874107362295831
, 160308099083680388337142484287511, 160308099083680388337140477706263,
200064880682166458636588784751460375, 200064507656432890567005072487858199,
249680971091343740144384874107577286679,
249680971091343740144384874103062478871,
249680505555228247193544578497312800791,
311601851921996987699958244951270363840535,
200064507656432890567005070194622487, 128452002471085309361403052055,
160308397982505362752017382883351, 160308099083680388337144777523223,
200064880682166458636588789051277335, 128452002471085309361331388439,
160308099083680388337144705859607, 128452002471085309363552960535,
160308099083680388337142412623895, 128452002471085309361546379287,
160308397982505362752017526210583, 160308099083680388337144920850455,
200064880682166458636588789194604567, 160308099083680388337140406042647,
200064507656432890567005072416194583, 160308099083680388337142627614743,
200064507656432890567005070122958871, 128452241973348910801881317399,
128452002471085309365846196247, 160308397982505362752021826027543,
36384627062391727861818537394551696, 23360856256160154184187444112,
29154348607685681132300452559760, 28391411048232116279394358444539752628672,
22749528083519323941823224741984960960,
28391411048232116279394358444542010032576,
44219736273265714033621829573288598636796559808,
28391411048232116279394358444539788460480,
35432480988193681116684158312752111412904384, 23360856256160154184151612304,
23360856256160154186409016208, 45408015040895969117139406291008507120,
29154348907544358719086653705456, 36384627436615359869352145153527024,
35432480988194615391716485737835300387248960,
28391411048232864897208723171392258087744,
35432480988194615391716485737835302644652864,
55186230869037066251059993401647133903596153527104,
35432480988194615391716485737835300423080768,
44219736273266880008862174200038392603191417664,
29154348907544358719086617873648, 29154348907544358719088875277552,
23435730825379594426318897307, 15046980694763571118235,
18778630470205501049536667, 18778630470205500906209435,
15058975003526402408603, 23454412001940500043338023067,
18793599361680728395874459, 23454412001940500034451734683,
29271106178420301326787547299995, 29271106178420301322237552656539,
18793599361680866133344411, 23454412001940495493701697691,
36530340510668534613098653272146075, 15046980694763320295579,
15046980694772457406619, 567978896892857455526146999881995,
364672512489591748835004683, 455111295587225353107730190603,
19306425967250070316343098610094468, 15469892601963197454211493286276,
19306425967250070316343100867498372,
30069835669695853517852606858347075506564,
19306425967250070316343098645926276, 24094419607128087754689674177997689220,
364672512489591748799172875, 364672512489591751056576779,
36908915245365837886775913172472075, 23697477017950276890147541259,
29574451318402113556715515793675, 22750562111937099330039589105874309508,
18229617076872675745328147697127812, 22750562111937099330039589108131713412,
35434091491590479954933817896613853659828612,
22750562111937099330039589105910141316,
28392701515697499963889277264868608037252, 23697477017950276890111709451,
23697477017950276892369113355, 128395958785102431716361488075,
160238156563728434945565260367563, 160238156563728434945565188703947,
102881377295274252771903179, 128395958785102431720374650571,
128395958785102431720302986955, 128452002314785134624939886283,
102926283969699641993381579, 200064507413187935694778808817108683,
160308098888772447992626329896651, 102881377295274253201884875,
128395958785102431720804632267, 102881377295274257215047371,
160238156758636375289083642232855, 199977219634777962284448535623745559,
199977219634777962284448535552081943, 128395958941402605462003499031,
160238156758636375289087942049815, 160238156758636375289087870386199,
160611425347499736584768819085335, 128695052361966196390308790295,
250152937424431937368161917625229197335, 200443058833679437181280791850860567
, 128395958941402605462146826263, 160238156758636375289088085377047,
128395958941402605466446643223, 152027886985080772450351546391,
151766350513228159276868665367, 189730802957380989657196781076503,
189730802957380989657049870663703, 236784042090811475277809146378223639,
151766350513228159276832833559, 189730802957380989657196745244695,
189730802957380989657049978159127, 189404405440508928771279460122647,
236784042090811475277809293037813783, 121607652654681215428067351,
152027886985080772452573118487, 189730802957380989657189901369367,
97442029221695462965271, 121817217135332638791696407,
121607652654681222307774487, 152027886985080772459452825623,
121817217135332638648369175, 121607652654681222164447255,
152027886985080772459309498391, 152027886985080772312685740055,
152027886985080772312542412823, 189730802957380989657050085654551,
708837989598180499398299525491752983, 292205538659374976729111,
455111505073617964929498415127, 455111295509137313513014493207,
567979158331875400014846384341015, 455111505073617964791760945175,
567979158331875400014699760582679, 567979158331875400014699617255447,
884629811018529263249257762127715139607, 567978896795403547401657135464471,
708837989598180499398299665594122263, 455111295509137313504128204823,
567979158331875400014837498052631, 567978896795403547401664015171607,
708837989598180499398299672473829399, 708837989598180499398299525706743831,
97442029221695247974423, 121607652654681222092783639,
152027886985080772459237834775, 97442029221695212142615,
121817217135332638540873751, 121607652654681212955672599,
97442029221697469546519, 121607652654681215213076503,
121607652654681215177244695, 151766350513228159269738135575,
97609949478920707375127, 97442029221704349253655, 121817217135332647677984791
, 121817217135332500910899223, 12067645340721217691, 12067650036981301403,
18793611365607790340014235, 15058984617577869410459, 15058984617440131940507,
23454426982835893095403389083, 22477364351223952972608,
22477364351226174544704, 35008584822737054606609144640,
11722505712002017147039816512, 14629687128577737423057968569152,
22785796221508339373171783369527974720, 14629687128577737423060190141248,
18988363192197596699808011, 18988363192197598921380107,
29574451625510469208982884487435, 14607064965316808071751592464772,
18229617076715376343652521929593220,
28392701515452505516581940465358096470404,
18229617076715376343652524151165316, 18257849751523259405297411912586240,
14571392517257524339506865984512, 22750198740247205711314749295723253892,
18185074996542507273702559878844548, 102926319917744541415293083,
66084094772449247387, 82473012704589276119195, 82473012704589132791963,
78078403535280537755, 121607496478650158434418843, 97441904179816622456987,
121607496478650149548130459, 151766155605411958436170629275,
151766155605411953886175985819, 97441904179954359926939,
121607496478645608798093467, 189404162195554180684143508488347,
66084094772198424731, 66084094781335535771, 9370568091557576534705713,
6016389162395371057, 7508468010603437753905, 7508468010603294426673,
18010697925226661425, 28051744652463193553831473, 22477359485830784091697,
28051744652463184667543089, 35008577326282533626596886065,
35008577326282529076602242609, 22477359485968521561649,
28051744652458643917506097, 43690704503200610429156876256817,
6016389162144548401, 6016389171281659441, 128452242165223809166257733655,
82473137745477152145431, 102926476093779164211314711,
102926476093779164067987479, 292193544354170960609303,
455092614332576411454918033431, 364657543535568251070185495,
455092614332576411446031745047, 567955582687055543051553440071703,
567955582687055543047003445428247, 364657543535568388807655447,
455092614332576406905281708055, 708808567193445317909889601491075095,
82473137745476901322775, 82473137745486038433815, 187561290571628567,
187561292829032471, 292361724306547170361367, 234264051881646686231,
292361724306703002894359, 455354555288604756915785859095,
36385128689944073711819845399661808, 36385128689764447014117453202640112,
102843888984896483614703771, 128695097268515608768370905355,
160180067602475827645475285307659, 23360856544406841716134382832,
102926284032221099541577751, 18718634822396990113991376,
23360856496429624028043414768, 36384708801909683876405844095145216,
45408116584783286438980649991175358208, 12059229202063294487,
292205538878938536740555, 18988362995478113336428235,
303691813584305786654671752203, 29574452404516832647141895949323,
82437003341428909326491, 102881377357794719498944535, 78078400012870483991,
12023159649730583, 18011144023783247088, 15215034934707244500683,
28051798674923755489675008, 23697477888234603700914736139, 52901975842357271,
4809337243435141, 66084094808854364183, 23 ]; 

PROPERTIES_SMALL_GROUPS[ 1248 ] := rec(
isNilpotent := [ 6, 262, -280, 1128, -1151, 1427, -1432, 1460 ], 
isSupersolvable := [ 1, -136, 139, -336, 345, -430, 446, -854, 870, -1151,
1155, -1167, 1189, -1219, 1242, -1256, 1279, -1363, 1382, -1432, 1435, 1439,
1444, 1449, -1452, 1457, -1460 ], 
isAbelian := [ 6, 263, 276, 1128, 1143, 1427, 1460 ], 
lgLength := rec( lgLength := [ 3, 4, 5, 6, 7 ], pos := [ [ 1444, 1451, -1452,
1457, -1460 ], [ 42, 114, 118, 137, -138, 173, 214, 255, 262, 298, 326, 345,
-375, 399, -412, 416, -419, 423, -424, 429, -430, 437, 445, 463, 488, 534,
-584, 627, -729, 778, -845, 857, 864, 870, -900, 924, -937, 941, -944, 948,
-949, 954, -986, 1010, -1023, 1027, -1030, 1034, -1035, 1040, -1072, 1096,
-1109, 1113, -1116, 1120, -1121, 1126, -1142, 1158, -1160, 1162, 1164, 1167,
1189, -1192, 1201, -1208, 1217, -1219, 1242, -1256, 1282, -1284, 1286, 1288,
1291, 1295, -1297, 1299, 1301, 1304, -1363, 1378, -1432, 1435, 1438, -1443,
1445, -1450, 1453, -1456 ], [ 13, -21, 24, -36, 41, 43, -48, 69, -113, 115,
-117, 119, -131, 144, -152, 155, -167, 172, 174, -179, 185, -193, 196, -208,
213, 215, -220, 226, -234, 237, -249, 254, 256, -261, 263, -275, 283, -288,
291, -297, 299, -321, 327, -337, 341, 376, -398, 413, -415, 420, -422, 425,
-428, 431, -433, 438, -441, 448, -453, 456, -462, 464, -470, 473, -478, 481,
-487, 489, -533, 585, -626, 730, -777, 846, -855, 858, -859, 862, 865, -867,
901, -923, 938, -940, 945, -947, 950, -953, 987, -1009, 1024, -1026, 1031,
-1033, 1036, -1039, 1073, -1095, 1110, -1112, 1117, -1119, 1122, -1125, 1143,
-1151, 1155, -1157, 1161, 1163, 1165, -1166, 1174, -1188, 1193, -1200, 1209,
-1216, 1220, -1241, 1257, -1281, 1285, 1287, 1289, -1290, 1292, -1294, 1298,
1300, 1302, -1303, 1364, -1377, 1433, -1434, 1436, -1437 ], [ 8, -12, 22, -23
, 37, -40, 51, -68, 132, -136, 139, -143, 153, -154, 168, -171, 180, -184,
194, -195, 209, -212, 221, -225, 235, -236, 250, -253, 276, -282, 289, -290,
322, -325, 338, -340, 342, -344, 434, -436, 442, -444, 446, -447, 454, -455,
471, -472, 479, -480, 856, 860, -861, 863, 868, -869, 1152, -1154, 1168,
-1173 ], [ 1, -7, 49, -50 ] ] ),
frattFacs := rec( frattFacs := [ 6, 11, 16, 21, 26, 31, 37, 42, 47, 52, 57,
62, 67, 72, 77, 82, 87, 92, 228, 233, 238, 243, 248, 253, 258, 263, 268, 273,
278, 283, 288, 293, 298, 303, 308, 1194, 1199, 1204, 1209, 1214, 1219, 1224,
1229, 1234, 1239, 1244, 1249, 1254, 1259, 1264, 1269, 1274, 1279, 1284, 1289,
1294, 1299, 1304 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 48, 49, 50, 117, 136, 137,
138, 179, 220, 261, 280, 305, 336, 340, 344, 430, 437, 445, 470, 495, 830,
854, 861, 869, 955, 1041, 1127, 1151, 1154, 1167, 1170, 1173, 1188, 1219,
1230, 1241, 1256, 1267, 1278, 1291, 1304, 1357, 1363, 1370, 1377, 1379, 1381,
1396, 1411, 1426, 1432 ] ) );