sml1008.z

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

SMALL_GROUP_LIB[ 1008 ] :=
[ 117492740845329886430337326525, 39059099698872872362728893,
39293493121622467032132013927, 194215878755188592446692797,
39999689205972755244993657913027, 271779273544933639863983,
38981869247494162953523769, 39293723933183399806816039481,
39608075071227616708209690980921, 39608075071227616971216308318777,
39924939671797437906952785016059833, 38981869247494162953243833,
39293723933183399806815759545, 38981870307147824205786011,
39294262673059221231046970267, 39295070781283472875514973083,
38982403445494770235278875, 39686195163971322878312415897401,
40003684725283093461303352730741945, 40003684725283093461303352731021881,
40323714203085358208993743989812426681, 38983205139372666696941723,
39992237062492227873222407107, 40312174958992170406939834465987,
40312177342466205089628579500995, 40634674761205934735056321743789763,
40636549682956174634625136863024067, 40961642080419824029320851484401835715,
40636549680531849961870203459015619, 40961642077976104759183878613161320131,
39992237062492227873222687043, 40312177342466205089628579780931,
40636549678112294930690109001403971, 40634674766013733444861003467069763,
40961642075537193290137972337021032771, 40634674766013733442493943911029059,
40961642075537193290137972337020752835,
40959752164141843310036239080003231427,
41289335212141490836459078458180242792131,
40959752164141843312422235112492261059, 39992237064875856846154836163,
40312179766790875477502426908867, 40312179766793261473534915938499,
40312177342468588718601511930051, 39992241832133802712150048195,
40312179766795647469567404968131, 39992239427052169022764499779,
38750167020956888722331, 39283305367902918215195, 39597571811339552768871323,
38749107367295636460089, 39058831935518128537940537,
39371303658603173174646023993, 39686274087871998525058020717113,
40003764280574974513223499147311033, 78942372926881920784323795918000,
79573602218328050994607396945239252, 192674483414934955217465,
194215610991833573433619001, 195770682458518240549121471033,
195770682458518503555738808889, 197336847918186651846519860426681,
192674483414934954937529, 194215610991833573433339065,
192675543068596207479707, 194754350867654997664549787,
195562459091906642132552603, 193208681415542236972571,
273890775202224410651846387513, 276081901403842206197087575108793,
276081901403842206197087575388729, 278290556615072943846924301844543417,
194010375293438698635419, 39925016939642328175305627813324247,
38981640001608249310019671, 39293800666625537859312345175,
39608151725835642692571298029655, 39608151725835643030722663178327,
38981640001608249309739735, 39293800666625537859312065239,
38981640342126674012772823, 39293800666966056284015098327,
39294146999062164131644242391, 38981945106116784748278871,
357588033566639096938308166818994903, 354750033300237199343227472434519,
360448737835172209713814967027870246359, 357588033566639096938308166819274839
, 38982288689207311803117271, 40642246639985919455169126253587553987,
39682231355131692239853123907, 39999691589446785193563291146563,
40319689126970158187282504198592835, 40319689126970158189649563754633539,
39682231355131692239852843971, 39999691589446785193563290866627,
39682231357515321212785273027, 39999691589449168822536223295683,
39999694013773841577469627304131, 39682233719691633389394936643,
2522902009416754941862434537295112754115,
2502878977595987045498444615535988291,
2543085225492088981397334015958308211089091,
2522902009416754941862434537295113034051, 39682236124773267078780485059,
269622285790377748655, 4810435479227739012527, 4848921351424630136670383,
269622285790378308527, 2424594295040723800232879,
2446148405245207033566826031, 2465717592487171055680510874543,
2485443333227068426491799830159023, 38981869246967874533649653,
39059367460649851971020267, 39293724468708531530249119211,
38749106841007216585973, 192674482888921723628789, 38596099510128990421297,
194216146516965572054984171, 38904983062609320558075751,
195769876492396094938107537071, 2409865461052146050735,
40850456837842019190161743275420231777665352,
40526246862938511101350935793982469831624, 78941946246388583337756810119772,
41177260492544758478742125371803954553719927048,
40850456837842022300339410091080020667689864,
79573481817902304041335020750546156, 39294262672263891274976086115,
38672489596621170885347, 38982403444707805142057699,
38982403444707805141497827, 39283228309020479991011,
39914274620917852435419068387, 39914274086984962498394836451,
40233588817885193677440123309539, 38672489596621170045539,
38673019291948524039395, 41383467389254533354319921345558542,
41055027171879497375873760572046, 814842651397022879206404029,
40126534716683419049756245296573675534, 39808070155439899850949221590315662,
39914350973588588837400539069, 40312177342466202722569041376195,
40636549678107525286748210516882371, 40634674761205932346693229716635331,
40961642075532385489044538682382679747, 40314037376710365936237075495235,
40312177342466202722569041656131, 40636549678107525286748210517162307,
39992239427049801963209018947, 40314037379074925877386617867843,
40636549678107525286748210499246403, 39674838355642378116361795,
39994084699117424200118398531, 39992239427049801963226934851,
40314037379074925877386635783747, 40312177342466202722569022900419,
39674838355642378115521987, 39994084699117424200117558723,
39992237062489860813665806531, 39992239427049801963208179139,
39674838355642378115801923, 39992239427049801963226374979,
40314037379074925877386635223875, 39674840701435970543401027,
39992239427049801963208459075, 39676671328487184207599683,
39674840701435970561316931, 39994084701463217792563353667,
38441838558229775075, 38971533886693715171, 39597571016009597809053155,
39283304580937824434147, 115482359915176627341396,
39332320491678178274805402504, 39646979055611598995283815043336,
39597571283485010323894205, 39492133090370604996385992290958,
39808070155093569835787302425819150, 194754350072322986854467683,
191145582289827611363, 193208680626522404553443, 193208680626522403993571,
801884294689136717027, 814766298726284147297449955,
814765764793394210273218019, 821284429116095207724814601699,
191145582289826771555, 191675277617180765411, 39293800666625199707963707327,
38672261905687324117567, 38981945105778633401600575,
38981945105778633401040703, 346370461446706326320191,
351934556844829872093181902655, 351934556539725363557724607807,
354750033299588511406012428653887, 38672261905687323277759,
38672564588731540796479, 39999691589446782826503752741827,
39367293011038649937194563, 39682233719689266329857371715,
39682233719689266329856811843, 2443758324991148142828804163,
2483014858726172892710454229771075, 2483014858723808332769304670042435,
2502878977595982275854502717051746627, 39367293011038649936354755,
39367295356832242382149699, 267477729837358511, 2386259039128762415,
2424594292673664243632303, 2405351478478797983279, 39058755848755768892767259
, 39058755848755768892487323, 39371225895547087677407560091,
39371225894751755666595519515, 39371225894751755666595239579,
39686195701909770984543740518811, 39686815713324491266748560249115,
39686195702710671108469148195867, 39686815714125391390673825158811,
40004310239031087197363763446389787, 40004310239031087197363763446109851,
39686195702710670319449296182299, 40003685268332355682488413991330203,
39686815714927086057590139115163, 40004310240646501951989155849068955,
40324344720943335894943154768112116123, 40003685268332356477820424821006747,
40004310239838393727737511381066139, 39058756643298759868470683,
39058755848755768908443675, 39058756643298759885826715,
39371226698036297584714855835, 39371225895546298657571222939,
39371226696445633563055502747, 39371226697240965573885179291,
78944160346868146631854944360276, 38672489331559816030445,
38981868981331466226649325, 39293724200148792748985895149,
39293724200149055755603233005, 39608073993750248168320996576877,
38672489331559815750509, 38981868981331466226369389, 38672754179223471052397,
38981869246179129881671277, 38982136477734768652990061,
38672489331559829467373, 39371225360022218681248169453,
39686195162902396392753079583597, 39686195162902396392753079863533,
40003684724205615563857158863425133, 38672754179223488408429,
38749372477966198553627, 39059366663740076642671643,
39371842397950614302640020507, 39371842397951403322492034075,
39686817137135015042121224413595, 38749372477966198273691,
39059366663740076642391707, 38750167020957174257051,
39059367458283067618375067, 39060169152949983932331419,
38749372477966214230043, 39914351584931427699115626779,
40233666397610879611449081288347, 40233666397610879611449081568283,
40555535728791766648831414186533275, 38750167020957191613083,
38981869512604833515617307, 39293724467911621754920770587,
39608074264455815345429641665563, 39608074264455816134449493679131,
39924938858571462664017561560539547, 38981869512604833515337371,
39293724467911621754920490651, 38981870307147824491320731,
39293724468706164745896474011, 39293725270400831662210430363,
38981869512604833531293723, 40233588279681635950912263098651,
40555456985919089039009724410844827, 40555456985919089039009724411124763,
40879900641806441751322292369057374619, 38981870307147824508676763,
39529758109340339987784692014951, 278921074743229753479141321727469231,
269561084676540894460955, 269561084676540894181019,
271717573355521444025139611, 271717572560189433213099035,
271717572560189433212819099, 273891313140672516883171008923,
274511324555392799087990739227, 273891313941572640808578685979,
274511325356292923013255648923, 276707415151835942257498290756635,
276707415151835942257498290476699, 273891313941571851788726672411,
276082444453104427382148835697051, 274511326157987589929569605275,
276707416767250696882890693435803, 278921074473050629796335080144232859,
276082444453105222714159665373595, 276707415959142472631246225432987,
269561879219531870164379, 269561084676540910137371, 269561879219531887520411,
271718375844731351332435355, 271717573354732424188802459,
271718374254067329673082267, 271718375049399340502758811,
272332664843216950774833455, 272332664843216950774553519,
274511326161967406065400800943, 274511326159581410032929407279,
274511326159581410032929127343, 276707416768858066032859169900207,
276709664310236427548981660825135, 276707416771260766404635214332207,
276709664312639127920757634153391, 278923341624718318971724930720317743,
278923341624718318971724930720037807, 276707416771260764037575658291503,
278921076105430850152228834246526639, 276709664315044211921506576022447,
278923341629564563235601108106954415, 281154728357716065523501081582124795567
, 278921076105430852538224866735556271, 278923341627140238562846174702945967,
272332667226845923706982575, 272332664843216950791629615,
272332667226845923724338607, 274511328569435035787292455087,
274511326161965039005861556399, 274511328564663043722314395823,
274511328567049039754803425455, 38596213354439978831959,
38904983061933035599762903, 38904982721076459547537495,
39216222582845728742813627863, 39448726863365792302177920343,
39216222926088638996600565847, 39764316678272718957581984837719,
39216222926088300845235417175, 39529952709497007571292665935319,
40082431211698900709559626793481687, 39529952709497348427868735796695,
38596553872864681585111, 38596213354439994508375, 38905326985880138740419031,
38904983061594884250290647, 38905326304166986600696279,
271717574154009534404796719, 271717574154009534404516783,
273891314747246334838649972399, 273891314744860338806178578735,
273891314744860338806178298799, 276082445262819226240768580929199,
278349594502173660931981042791983, 276082445265221926612544625361199,
278349594504576361303757016120239, 280576391258191050221792781989101871,
280576391258191050221792781988821935, 276082445265221924245485069320495,
278291104827343699641805994809951919, 278349594506981445304505957989295,
280576391263037294485668959375738543, 282821002388256578623569480135305397935
, 278291104827343702027802027298981551, 280576391260612969812914025971730095,
271717576537638507336945839, 271717574154009534421592879,
271717576537638507354301871, 273891317154713964560541626543,
273891314747243967779110727855, 273891317149941972495563567279,
273891317152327968528052596911, 274511324556192076200426905903,
274511324556192076200426625967, 276707415152639231533537887912239,
276707415152639231533537887632303, 278923341623099699825216925474240047,
278921074473862748090897489056809263, 281154728356084497423821012150312026415
, 281154728356084497423821012150311746479,
278921074473862748088530429500768559,
283403966182933173403211582598786236614319,
281152443069653650075627021395621906095, 274511324558575705173359055023,
274511324556192076200443702063, 274511324558575705173376411055,
276707415152641615162510820061359, 276707415155046699163259761930415,
115058294200178890349, 114793446536537305325, 115711794076228704417389,
114793446536523868397, 115711529228565049395437, 116637221462360969109880301,
117570319234059819495006488813, 118510881787932298013598223797869,
78315846157620952563745157616, 78942376006343877502904694298452,
191145319283211954413, 192674217252238228343021, 194215877957226515603474669,
194215877957489522220812525, 195769604981149700660427066989,
191145319283211674477, 192674217252238228063085, 191410166946866976365,
192674482099901883364973, 192941713655540654683757, 191145319283225391341,
271717037830652447865748973, 273890774133297925092510073709,
273890774133297925092510353645, 276081900326364308750893707791981,
191410166946884332397, 38289780813336210505, 38595985665836072979529,
38904867965578296293674057, 38904867965691013415390281,
39216106909416653495064957385, 38289780813335930569, 38595985665836072699593,
38403286954900249033, 38596099171977637018057, 38710626981537110440393,
38289780813349647433, 116406180391408785762861385,
117337429834540163403302897353, 117337429834540163403303177289,
118276129273216484817883377537481, 38403286954917605065,
192674748525605517311003, 194216145720055521538350107,
195769875686716877769072155675, 195769875686717666788924169243,
197336034692211408911296404906395, 192674748525605517031067,
194216145720055521538070171, 192675543068596493014427,
194216146514598512514053531, 194216948209265428828009883,
192674748525605532987419, 821283890912537483251693588763,
827854162039837783903459255211675, 827854162039837783903459255491611,
834476995336156486175472681089491355, 192675543068596510370459,
38596213354422206255191, 38904982721076441774960727,
39216222926088300827462840407, 39216222926088638978827989079,
39529952709497348427850963219927, 38596213354422205975255,
38904982721076441774680791, 38596553872846909008343,
38904983061594866477713879, 38905326645023544897980887,
38596213354422221931607, 351934479882785688327478256983,
354749955721847974168981708696279, 354749955721847974168981708976215,
357587955367622757962668445709891031, 38596553872846926364375,
194216147313875622730047791, 195769876490005364786524061999,
197336035504328110442621808853295, 197336035504328112809681364893999,
198914723788362737714524809240446639, 194216147313875622729767855,
195769876490005364786523782063, 194216149697504595662196911,
195769876492388993759456211119, 195769878897472994508398080175,
194216147313875622746843951, 2483170946368945592437883865282095,
2503036313939897157179751775551257519, 2503036313939897157179751775551537455,
2523060604451416334437192154594732869295, 194216149697504595679552943,
2390730151601950895, 4774359124552295855, 4814942360622436593839,
2390730151602510767, 2407474730900562295727, 2426734531114808081462831,
2446148407366092395775097775, 2465717594625023500790677505711,
197178898316647660241246431523496, 1408631685888430655635897665511,
78941946249139370447162785570668, 269560515305290668229512,
78315422863480739615799297612, 78941946247918952413006655020908,
38365573684596332591, 808375646224294916987885, 39597570410303522915294189,
39321782784880629405763, 38145352611944495, 114565833242168074092,
39283304842109815692269, 116406523899579995000412336,
39914353989488625898435009061, 189627771678382127, 38365338857550557371,
39054816339889918924867, 263006621816879,
[ ( 1, 2, 4, 5)( 3, 6, 7, 9)( 8,10,12,13)(11,14,15,16)(17,18,19), 
  ( 1, 3, 2)( 4, 7, 5)( 6, 8,11)( 9,12,15) ],
40526247138785310194945352954729805985064,
40204610256731458526731505824467840936, 78315538193290955423062418796,
40850457115895592057994273468847427863360808,
40526247138785309581343525271591104966568, 78942062498529754292959044101484,
41383467079287305254783996313791758, 41055026864372326642319424792462,
814842497820095055083366645, 39371840985440176114537177571,
39371225894750968701499498979, 39686815713323695936791268844003,
39371225894750968701499219043, 39686815713323695936791268564067,
39686195701908974865567814821731, 40004310239030285502698900670424931,
39058755847968803796186851, 39371840985440176114554533603,
39686815713323695936791250928099, 38748765723764197234403,
39059366056985875770054371, 39058755847968803814102755,
39371840985440176114572449507, 38748765723764196674531,
39058755847968803813542883, 39371840985440176114571889635,
38748765723764196394595, 39059366056985875769214563,
39058755847968803777991011, 38748765723764214030563,
39058755847968803795626979, 39058755847968803795347043,
39371225894750968701480743267, 38749371089853706666211,
38748765723764231946467, 39059366056985875804766435, 808375494732501102127349
, 40729193317488833221563426702, 41055026864028743213640718150926,
40164724848563628924072992960455253863,
283402298529471704257029807296812159788719, 276708306763168168492310686388399
, 276708306763165784863337771035439, 278921973217271111144375389419876527,
276708306763165784863337754239279, 278921973217271111144375389403080367,
278921973217271108760746416487727407, 281153349003009277630834518734717798063
, 39529797090712767496152759927895, 39846035467438469632902944700516823,
40164803868592292721010560675856721239,
40486122299541031062778641939843123490903,
40810011277937359311280871072140447463241175,
278922246837673183296288631644678959, 278922246837673183296288631644399023,
281153624812374568762661080418214424751,
283402856095341348586000304764228979013167,
285670078944104079374688307204481339932983599,
285670078944104079374688307204481339932703663,
287955439575656912009685813662119329180971108015,
278923069632648709214937239291751215, 281154454189709898886272871945481826479
, 283403689823227575653038389031003029291311,
283403689823227575653038386663943473250607,
285670919341813396258262696145381788201060015,
40164882419582245005937935156382812631,
283402575795033079791186504659047535030447,
283402575795033079791188890655080024060079, 270171294482773770573359,
272332664840850028812935471, 270171294482773769733551,
272332664840850028812655535, 274511326159579043110949873327,
270173488934845235331119, 272334876848536911772718639,
270171294482773805285423, 272332664840850028848207407,
272334876848536911807430703, 274513555863327419980366468655,
272332664840850028865003567, 276709664310234041553086765938223,
276707416768855677669904754524463, 272332664840850028847367599,
276709664310234041553086747742383, 274511326159579043111001941423,
276709664310234041553086765098415, 274513555863327419980331196719,
274511326159579043110985145263, 278923341624715913887724319354955439,
278921076103006523093478005947631279, 281154728357713641198828326786314929839
, 272332664840850028847647535, 274511326159579043110985425199,
274513555863327419980365908783, 276709664310234041553086748582191,
274511326159579043111002781231, 274513555863327419980383264815,
278923341624715913887724319372591407, 272334876848536911771878831,
274513555863327419980330916783, 274513555863327419980365628847,
276709664310234041553086748302255, 276709664310234041553086713030319,
274511326159579043110984585391, 276707416768855677669904736888495,
276707416768855677669904754244527, 278923341624715913887724319372311471,
40204609983073918254542188026864862728, 39885525776859045887449061437718664,
77693871888087108106419540, 40526246862939752971284890248607822427432,
40204609983075151757227078534429044648, 78315423474601713346074568044,
40526246862938510485649431339246733175624,
40204609983073919132588726441808946632, 78315422863178958308589133404,
40850456837843271001481553815683554370917672,
40526246862939752977660271647212136026024, 78941946862398532970426944818204,
116560258509228383291055233, 114717439679421814529, 115635177094574109611777,
115635177094574109051905, 114793110441612804353, 116637144845379310927694849,
116637144845379310892982785, 117570242004140241941839241729,
114717439679420974721, 114717439679456526593, 116637756191110980474641507,
114793711598163138275, 115712059714967259698915, 115712059714967259139043,
115323406926627078371, 117175960544167467056450531,
117175960544167467021738467, 118113368228519229621520720355,
114793711598162298467, 114793711598197850339, 117492741112293966669520968803,
115635177620587595110115, 116560259039975737365223139,
116560259039975737364663267, 116245916332986904215779,
118113290731368094378410462179, 118113290731368094378375750115,
119058197057219037555689042371043, 115635177620587594270307,
115635177620587629822179, 41055027171879495309393195494670,
40729193622896325268077324174, 808375646224088524941557,
39965719372994976242752209166593294, 39648531124002952622343526852494,
117175959938460910263232757, 40116328350738032999496565195062,
39797944792398842817783053238, 346446662241242819099953,
43082614722912267624510723633227298, 42740689209238360738605158916258,
2444527569509173872255460331, 39969004817945419104548699731830306,
39651790493993471333889806327970, 118792710927925428307518443,
40287144275312593789046859985347192354, 39967405035032335108181421130014882,
119743052536083871710146094059, 39529758109339998457988000060887,
39845996174214718101923694725199319, 39216029870377323597415770583,
39529758109339998457988015737303, 39216029870377323597417450199,
39529758109339998457988017416919, 39216029870377323597433126615,
278921074743229751088411376517572271, 281152443341175589094737182912384091823
, 276707415419870787172515865809071, 278921074743229751088411376534368431,
276707415419870787172515866368943, 278921074743229751088411376534928303,
276707415419870787172515883165103, 272332663248607826415559139,
271717572559400413377880547, 274511324554597467075960136163,
271717572559400413377600611, 274511324554597467075959856227,
273891313139876395852506113891, 276707415151034247590580775593827,
269561083887521058682595, 272332663248607826432915171,
274511324554597467075942220259, 267421709432853960419,
270171292904593032550115, 269561083887521076598499,
272332663248607826450831075, 267421709432853400547, 269561083887521076038627,
272332663248607826450271203, 267421709432853120611, 270171292904593031710307,
269561083887521040486755, 267421709432870756579, 269561083887521058122723,
269561083887521057842787, 271717572559400413359124835, 268027075522363392227,
267421709432888672483, 270171292904593067262179,
274513555863327419842737053999, 274511326159579042973391282479,
276709664310234041552949154439471, 274511326159579042973391002543,
276709664310234041552949154159535, 276707416768855677669767142745775,
278923341624715913887724181760812719, 272332664840849891236148783,
274513555863327419842754410031, 276709664310234041552949136523567,
270171294482636176430639, 272334876848536774178575919,
272332664840849891254064687, 274513555863327419842772325935,
270171294482636175870767, 272332664840849891253504815,
274513555863327419842771766063, 270171294482636175590831,
272334876848536774177736111, 272332664840849891217952943,
270171294482636193226799, 272332664840849891235588911,
272332664840849891235308975, 274511326159579042973372526767,
270173488934707641188399, 270171294482636211142703,
272334876848536774213287983, 116713954905475909175584063,
116406409560872202101351743, 117647666544720043629577528639,
118588847877077804305758619478719, 115482549167206234487359,
117647666544720043629559612735, 114566020673482594879,
115787653675742785772095, 116713954905475909210855999, 114566020673482035007,
115482549167206251843391, 116713954905475909210296127,
115482549167206216291519, 114566020673499391039, 115482549167206233927487,
116406409560872202082596031, 114868703718810059839, 115787653675742820484159,
823533586712499836260814397743, 821283892516723727137094132015,
830121855406199837311319609336111, 821283892516723727137093852079,
830121855406199837311319609056175, 827854163656857519315728107480751,
836762830249449436012170548789028527, 814765766385636275378222639,
823533586712499836260831753775, 830121855406199837311319591420207,
808299371411978870527535, 816997605865572892699989551,
814765766385636275396138543, 823533586712499836260849669679,
808299371411978869967663, 814765766385636275395578671,
823533586712499836260849109807, 808299371411978869687727,
816997605865572892699149743, 814765766385636275360026799,
808299371411978887323695, 814765766385636275377662767,
814765766385636275377382831, 821283892516723727137075376303,
810513497880171103518767, 808299371411978905239599,
816997605865572892734701615, 276709664308630652219116634022191,
276707415152639229166478349787439, 278923341623099697439220892967854383,
276707415152639229166478349507503, 274511324556189709140888221231,
276709664308630652219116651378223, 272332663250185869702207023,
274513555861736755821220468271, 274511324556189709140906137135,
272332663250185869701647151, 274511324556189709140905577263,
276709664308630652219116668734255, 272332663250185869701367215,
272332663250185869719003183, 274511324556189709140887661359,
276707415152639229166478331031727, 272334876846958734616756271,
272332663250185869736919087, 38138307788478209, 38138308933976321,
38748840943648156787201, 38441312545028131841, 114565832829384813864,
39020159217939108122668968, 39332320491677915268187780392,
39283304841628235360501, 39178703462669249503653439374,
39492133090370602929905427213582, 192674216989231625280641,
189627771675023105, 191145056276626528001, 191145056276625968129,
265298533866012929, 269560553140159261920257, 269560553140159227208193,
271717037565541774021124609, 189627771674183297, 189627771709735169,
38595985553118965538061, 37985670592796557, 38289668096246405005,
38289668096245845133, 113656432783786381, 115482321704046602177677,
115482321704046567465613, 116406180277789923504841357, 37985670591956749,
37985670627508621, 194216145719266501702851683, 191145582290112026339,
192674747736585699448547, 192674747736585698888675, 801884294689421132003,
814765764793394210592345059, 814765764793394210557632995,
821283890911742151239662985699, 191145582290111186531, 191145582290146738403,
38904982720738290426322879, 38289893530740660799, 38596213016270875253311,
38596213016270874693439, 343621414350445216831, 349141349089726682198527807,
349141349089726682163815743, 351934479882444831750207464767,
38289893530739820991, 38289893530775372863, 195769876490002997726985657263,
192674749314625510970927, 194216147311508563209279023,
194216147311508563208719151, 2424515818337224804859951,
2463463240445380162774795045679, 2463463240445380162774760333615,
2483170946368943206441851358896431, 192674749314625510131119,
192674749314625545682991, 2367059556320687, 2367059573956655,
2407472363841005695151, 2388363092064106031,
[ (2,3)(4,7)(5,6)(8,9), ( 1, 2, 4)( 3, 5, 6)( 7, 8, 9)(10,11) ],
[ ( 1, 4, 6, 8, 5, 2, 7, 3)( 9,10), ( 1, 3, 8, 6, 5, 4, 7)( 9,10,11) ],
[ (1,4,6,8,5,2,7,3), ( 1, 3, 8, 6, 5, 4, 7)( 9,10,11) ],
[ ( 1, 2)( 4, 5)( 8, 9,10), (2,3,4)(5,6,7)(8,9) ],
[ ( 1, 2)( 4, 5)( 8, 9,10), ( 2, 3, 4)( 5, 6, 7)(11,12) ],
197178898316647660241246466795432, 78315538193288550871180445340,
117453720379906314041671296936, 77693986302868472953800348,
78315538192985867815890618012, 808375493870153318008301,
281154176935989610561412997389528441135,
41136612385312171288170926596864317070603414231,
287956002735364214217696171126649355035709520815,
290259650757527170088756811778025488163641610780975,
287956002735640100348418093554739459113391276335,
276708036317959805308553079816239, 283402855820080268563044841633491328016687
, 808681545050423764465585, 1397452069333722933022595047,
77693872797328000566363804, 78315423782127683165098280604,
77693986302267246174247500, 78316461745244256309272102556,
78315425917556559866652821148, 78941947172384705226216824145564,
114793117494459236399, 1618621797802689845527835, 118792710924957598612194587
, 801959817213703620077, 543858975955167470601688229,
115482662598221023505904, 543856875221334702851167397,
552595526544913386832762496685221, 39845957191035346154850585523292887,
281153073937967960572450198240633183151, 274512209090442243966990846767,
39216068542373452887283164223, 276708578211977362013597481197615,
278923069632648706824208628745038639, 40164882419582244318429893639337424063,
283403410350578511972033994792971958694063, 801959965531589836847,
267421149946976413608, 77077253870858075703660, 77693872494644945276536476,
77693871888076540947634764, 78315423474601710264001316508, 38070208432963631,
38145352894119983, 38365573684878508079, 801959965669183981037,
39283303977945788057069, 343697085330208065865, 2425126557049731753837851,
40887223608153354929435, 41214321321128959752144155,
38904791538086157734005183, 274511324821300381165160580527,
265298541892337711, 268027075525803245615, 113656440810111163,
801884294692860985391, 270171292904596614610991, 46965467381807,
113656871365117596, 38971532050956289517, 115482662598194364640752,
39597573402266288602354853, 187862442836015, 37572947214403,
189627771960557615, 37985670878331067, 191145582290254233647, 47 ]; 

PROPERTIES_SMALL_GROUPS[ 1008 ] := rec(
isNilpotent := [ 6, 106, -113, 123, 213, -216, 490, -497, 516, 876, -879, 954
], 
isSupersolvable := [ 1, -55, 58, -123, 130, -139, 146, -176, 183, -241, 243,
-290, 293, -407, 410, -497, 504, 507, -508, 513, -516, 527, -553, 586, -624,
637, -666, 699, -819, 826, -879, 906, 922, 928, -930, 939, -944, 949, -954 ],

isSolvable := [ 1, -516, 518, -879, 885, -954 ], 
isAbelian := [ 6, 106, 109, 123, 213, 490, 493, 516, 876, 954 ], 
lgLength := rec( lgLength := [ 3, 4, 5, 6, 7, false ], pos := [ [ 910, -913,
922, 928, 940, -944, 947, -949, 952, -954 ], [ 242, 250, -253, 258, 336, -342
, 354, -358, 377, -383, 395, -402, 408, -409, 417, -420, 425, 465, -468, 473,
481, -484, 489, -492, 504, 507, -508, 511, -516, 559, -561, 566, -567, 571,
-573, 578, -579, 583, -624, 637, -646, 687, -688, 691, 694, -695, 698, 726,
-819, 826, -835, 856, -879, 887, 890, 896, -897, 899, 901, -906, 909, 916,
-921, 923, 926, -927, 929, -932, 937, -939, 945, -946, 950, -951 ], [ 14, -17
, 22, 41, -50, 56, -57, 65, -68, 73, 81, -84, 89, 97, -100, 105, -108, 130,
-139, 146, -176, 183, -216, 235, -241, 243, -249, 254, -257, 266, -269, 274,
282, -285, 290, 311, -335, 343, -353, 359, -376, 384, -394, 403, -407, 410,
-416, 421, -424, 433, -436, 441, 449, -452, 457, -464, 469, -472, 474, -480,
485, -488, 493, -503, 505, -506, 509, -510, 524, -556, 562, -565, 568, -570,
574, -577, 580, -582, 631, -636, 647, -672, 685, -686, 689, -690, 692, -693,
696, -697, 699, -725, 820, -825, 836, -855, 885, -886, 888, -889, 891, -895,
898, 900, 907, -908, 914, -915, 924, -925, 933, -936 ], [ 7, -13, 18, -21, 23
, -40, 51, -55, 58, -64, 69, -72, 74, -80, 85, -88, 90, -96, 101, -104, 109,
-114, 117, -118, 121, -129, 140, -145, 177, -182, 217, -234, 259, -265, 270,
-273, 275, -281, 286, -289, 291, -310, 426, -432, 437, -440, 442, -448, 453,
-456, 518, -523, 557, -558, 625, -630, 673, -684 ], [ 1, -6, 115, -116, 119,
-120 ], [ 517, 880, -884 ] ] ),
frattFacs := rec( frattFacs := [ 9, 17, 25, 33, 41, 49, 58, 66, 74, 82, 90,
98, 106, 114, 122, 59, 67, 75, 83, 91, 99, 107, 115, 123, 131, 364, 372, 380,
388, 396, 404, 412, 420, 428, 436, 444, 452, 460, 213, 221, 229, 237, 245,
253, 261, 269, 277, 285, 293, 301, 309, 317, 325, 333, 341, 349, 357, 365,
373, 1686, 1694, 1702, 1710, 1718, 1726, 1734, 1742, 1750, 1758, 1766, 1774,
1782, 1790, 1798, 1806, 1814, 1822, 1830, 1263, 1279, 1287, 1295, 1303, 1311,
1319, 1327, 1335, 1343, 1351, 1359, 1367, 1375, 1383, 1399, 1407, 1415, 1423,
1431, 1439, 1447, 1455, 1463, 1471, 1479, 1487, 1495, 1503, 1511, 1519, 1527,
1535, 1543, 1551, 1559, 1567, 1575, 1583, 1591, 1599, 1607, 1615, 1623 ],
pos := [ 1, 2, 3, 4, 5, 6, 22, 47, 55, 56, 57, 73, 89, 105, 113, 114, 115,
116, 117, 118, 119, 120, 121, 122, 123, 126, 129, 139, 142, 145, 172, 176,
179, 182, 192, 202, 212, 216, 241, 242, 258, 274, 290, 291, 292, 317, 342,
358, 383, 399, 407, 408, 409, 425, 441, 457, 473, 489, 497, 498, 499, 500,
501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515,
516, 517, 520, 523, 526, 553, 556, 557, 558, 565, 570, 577, 582, 583, 585,
624, 627, 630, 633, 636, 646, 656, 666, 669, 672, 675, 678, 681, 684, 691,
698, 725, 752, 770, 797, 815, 819, 822, 825, 835, 845, 855, 865, 875, 879
] ) );