#############################################################################
##
#W  sml672.z               GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##
Revision.sml672_z :=
    "@(#)$Id: sml672.z,v 1.1 1998/07/18 16:57:44 gap Exp $";

SMALL_GROUP_LIB[ 672 ] :=
[ 15485109704384651587412819429, 7742114569452057446317541,
7696370908779360907982689, 38390367222551444682440165,
25798406824964955730457268875, 11435915168169707417904,
23043318012474323155751957, 15485109585260538658548380693,
6992827780744007638640642842489877, 6992827834378449604824154756674581,
4699180268659973133166577489486625173, 23043318012474323151552917,
15485109585260538658544181653, 15485189398418489438244725141,
10405993641294552611867615479829, 15500410907827673857218277397,
10416276209754585528075526507925, 10416276289567743478855227051413,
10416276130059667462252548933653, 6999737559400096534696184283499925,
23043318012474323155472021, 15485109585260538658548100757,
23043318012474323153792405, 15485189398771444318712127893,
15485109585260538658546421141, 10405993880616140060143693980053,
10405993720989117722810197314965, 10405993720989294463257048354197,
6992827780504567987521843583760789, 23043436605314160216513557,
15485109941393065076694293525, 6999737612954725519932369824430485,
10416276130059667462252475030549, 6999737559400096534696184209596821,
6999737559400096005263863584355349, 4703854770151681069683901822476249365,
3160990405541929678827582085587465186965,
3160990405541929678827582085587465466901,
2124185552524176744172135161575659843697045, 23043436605314160216233621,
23043318012474323167229333, 10416276130059667462252548653717,
10416276130059667462250253178517, 15500410907827673854996425365,
6999737559400096005263863582395797, 6999737559400096005263861286920597,
6999737559400096005263863584075413, 53691808913799851939450123,
53691808913799851939170187, 36080895590076650040354149003,
36080895232707466507570457867, 36080895232707466507570177931,
24246361596379420642612369781387, 10986544154257430351333323042199757323,
16293555154148106596595735998852363, 16349024039791518655394868012836747,
7382957671660993196095993864443807755531,
7382957671660993196095993864443807475595, 16293555315051432495146271741406475
, 10949269171714562636739077003561775755, 16349024040030958129247207114467211
, 10986544154900803861266606376331080331,
4961347555356187427776507877686324006597259,
10949269063587527632913116984565412491,
10986544154739900534837834500035408523, 53691808913799851938610315,
53691808913799851937490571, 53691811034685214149961355,
36080895232707466507569618059, 36080895232707466507568498315,
36080895234828351869780969099, 53692164692319363097100555,
53692164692319363096820619, 36081134674302204208882599563,
24328621506498748781636386144523, 24328621506498748781635275078539,
10986471492889667274540011105037108875, 16348833652367159182040555653564043,
16348833652367157593743592439465611, 10986471492889667275070232445590226571,
24328621506498748781636423096075, 36080896301105045761840234763,
24328621506498748781636422816139, 36203307594258030978784738187,
24246361835464176418121506217099, 24328622703340339523819570153099,
16348833652367159182040555690515595, 24246362314342591534399563368075,
16348833652367157593743593587203211, 24328622703339809302479017035403,
24246361835463646196780953099403, 24328622703340869745160123270795,
16348833652367157593743593588043019, 24246361596377829978590816524043,
16348833652367157593743593587763083, 24328743917079285863189645611403,
16293555153429789764124700613735051, 16348915912277281163653340776914059,
36081134673240183488072337035, 36081134673241761527776364171,
36081134672181318846670128779, 24328621985022976831444815207563,
16348833652367159714628955799673995, 24246361835461525311418740628619,
24328621745583502979105713577099, 16348833652367159184407615246556299,
24246361835462055532759293746315, 16348833813031046137749112666026635,
10986416214390729902998842829339554443, 16293555153429787643239338401264267,
53691808913799851954286731, 36203305813244548062044007179,
36203305813244548060932941195, 16348915912038197998541853439799435,
11521356775632333059477, 11521356775632317383061, 7741995798294009045082517,
11639596660588914940949, 7741995445339133233295381,
5202620938738528119257406485, 3496161270832290959046656516501,
5202620938738528119331309589, 3496161270832290959046730419605,
3496161270831761526726031275029, 7821808956244788745626005,
5202780446814544722009427349, 5202700633656593942308883861,
3496214825461276195232271350165, 11521003820751854179349,
7741995445339128581878805, 2349456362789790584995385511012629,
1578834675794739273116960331516670997,
1060976902134064791534597404046943140245, 3496122983625085908503557427232,
2349394584694281643981566129273720, 57128522649475865056277,
38390248098438240629715989, 17336475590997816070302164907029,
17336529225439782253814079091733, 11650111597150532399505515579783573,
57128522649475860857237, 38390248098438240625516949,
38470061256389020326060437, 25798246721621327987701630997,
53691570665573439299612693, 36080815181654244195612659093,
36080894994812194975313202581, 36080735486736178372635084821,
24246254247086712125843605917077, 57128522649475864776341,
38390248098438240629436053, 57128522649475863096725,
38470061609343900793463189, 38390248098438240627756437,
25798486043208776263780131221, 25798326416186438930283466133,
25798326416363179377134505365, 17336475351558164951502906177941,
57247115489312925817877, 38390604230964658775628821,
24246307801715697362029146847637, 36080735486736178372561181717,
24246254247086712125843532013973, 24246254247086182693522906772501,
16324613088858468916829848569407765, 10970139995712891112109916083496464021,
10970139995712891112109916083496743957,
7371934077119062827337863865954290710933, 57247115489312925537941,
57128522649475876533653, 36080735486736178372634804885,
36080735486736178370339329685, 53691570665573437077760661,
24246254247086182693522904812949, 24246254247086182693520609337749,
24246254247086182693522906492565, 11452932898627996297297,
7696319855587987752257617, 3475557960114137826858962323537,
3475580946303551905506925545553, 2335574949196700619761393944579537,
11452932898627992098257, 7696319855587987748058577, 7730525494709750476862929
, 5171926942728340519236852817, 22997642422723186422154321,
15454449862808076256793240017, 15454484068447198019522044369,
15454415707843190904170306641, 10385367355670624396745775882705,
11452932898627996017361, 7696319855587987751977681, 11452932898627994337745,
7730525645976127820035537, 7696319855587987750298065,
5172029509122961208901760465, 5171961097541959494588277201,
5171961097617705400381579729, 3475557857497144490230667791825,
11503758401415315730513, 7696472483813595567468625,
10385390307654475212253784231377, 15454415707843190904096403537,
10385367355670624396745701979601, 10385367355670397497179763083345,
6996256867903405854984177826692433, 4701484615231088734549475054892663505,
4701484615231088734549475054892943441,
3159397661435291629617247344443037666769, 11503758401415315450577,
11452932898628007774673, 15454415707843190904170026705,
15454415707843190901874551505, 22997642422723184200302289,
10385367355670397497179761123793, 10385367355670397497177465648593,
10385367355670397497179762803409, 38390486346664649034681611,
25798406467592616118265523467, 11650147747642482002404753270074635,
11650147908545807900955289012628747, 7828899286415747905616782553526284939,
38390486346664649032722059, 25798406467592616118263563915,
25798645907066468457365194379, 17336529146220650522940600112907,
108165425846481365522069760779, 72687166407918644318205719501963,
72687166647358118170544821132427, 72687166168833890120736429020939,
48845775665456374161921722371529867, 38390486346664649034401675,
25798406467592616118265243531, 38390486346664649033841803,
25798645908125333098767402635, 25798406467592616118264683659,
17336529864185412867769198970507, 17336529385304345855768524217483,
17336529385304876077109077335179, 11650147746924163049048355672486539,
38390842125184160192332043, 25798407535990195372535300363,
48845775826120261117630279347040907, 72687166168833890120736392069387,
48845775665456374161921722334578315, 48845775665456372573624760269057291,
32910385314241286715626550389296783883,
22115778931170144672901042647655708829579,
22115778931170144672901042647655709109515,
14861803441746337220189500660010684415980171, 38390842125184160192052107,
38390486346664649049518219, 72687166168833890120736428741003,
72687166168833890120735281003403, 108165425846481365520958694795,
48845775665456372573624760268217483, 48845775665456372573624759120479883,
48845775665456372573624760268777355, 67893655370830068168,
17017730457729577416, 11418897437711990428104, 67893655370838466248,
11418947859847082716872, 7673532936637485649845960,
5156614133395210596741409224, 7673532936637481058895560,
5156614133395210592150458824, 5156614133395210592158856904,
45624586981600504768968, 7707687750256451895792072, 7707687775505087160226248
, 5179566117321659284393968072, 17017730457737975496, 11418897437711998826184
, 3470370629350568210262193566024, 2332089062923581837324224326514376,
1567163850284646994681906777480249800,
3151601418434756061530064485645754065136, 6935600002849084133206713889668,
1571834963972140947914226151093462584,
1056273095789278716997775823163431156792,
2117876153188156074079773072607663744965552,
4660723202097287597922227582882316, 1056273095789524530122389926267684820680,
709815520370560484242241816942480069960136, 15485109703852591530477569885,
10406047275736694748861085648733, 10406047275618101909024038324061,
34290828282500395409885, 23043318011687358073168349,
23043318011687358055252445, 15485189398417702473166340573,
15485189398241225032932639197, 15485269211399175812633182685,
23066087836936072270011485, 15500411026596730179128400989,
15500411145366047456408867165, 34324535473586178430685,
23066087660458632053946077, 23066087837199078922901213,
23066087837199078922341341, 23066088013939525773380573,
15500411145189570016192801757, 15500411026420252738912335581,
15554045587508971415139379037, 10416276209872824889070185654109,
10416276209754231786226520991581, 10416276289685982839849886197597,
23066087836936072270291421, 15500410907826886888612979165,
15500410907826886888595063261, 15500411026419989732277641693,
15500411026596467172511343069, 15500411145189570016176005597,
15500411026773207619362382301, 10416276209754055308786304926173,
34290651805060165627613, 23043317835209917843386077,
23043317835209917825470173, 15485109703852854537259790045,
15485109703853117543877127901, 10405993720989116935845103253981,
10405993720989293676291954013277, 23066087660458632040509149,
15500410907650409448365280989, 10416276130059666938290632077021,
6999737559400096181217341899520477, 15500433830128644041554286813,
10416291533846447429764747303133, 6999747910744812671435726393211101,
10416291533846447429764712591069, 6999747910744812671435726376414941,
6999747910744812671435726375855069, 4703830596020514115203441940404997853,
6999747910744812671435726341143005, 4703830596020514115203441940387641821,
3160974160525785485416711617755573787101, 34290651805060164787805,
23043317835209917842546269, 34290651805060161428573,
23043318011687358072888413, 15485189398240962026314461533,
23043317835209917839187037, 23043317835209917838627165,
34290651805060196980445, 34290651805060179064541, 23043436604527195137849053,
23043436604527195137289181, 15500410907826886960996030685,
6999747841809166730956853047370717, 10416276130059666675356250824285,
34324535473586177590877, 23066087836936072304723549,
15554045587508971415174091101, 34324535473586213142749,
23066087836936072305003485, 23066087836936072322359517,
15500411026419726725677099997, 10416276130059666675356251664093,
4703830549695760043201642044995910109, 6999737559400096004476967285126237,
10452318475179888316020949296989, 15500410907650409448343725917,
15500411026419726725660303837, 10416276209754055045779687588317,
23066087660458632039669341, 10416291431263640970714368317661,
10416276130059666675356251104221, 6999747841809166730956853047090781,
34290651805060196140637, 34290828282500447477981,
3132286385807394016632022052289552660, 3132286385807382648686480593446150420,
6936220915283522039300625948948, 107508409304180599807900133,
3604564094756302356349465978878, 2470558665230648242186085734678014,
48549468910080532172933456223845, 2104729136682736719284732922328253374740,
2104729136682736730703579712480196075796,
2104729136682736742071525253939039478036, 4660769949074229200513578240991508,
15607702562293303141902416357, 2346068658136714462019018319521790,
1576558138267872117089804532882472446, 7024040987962353663095603019406949,
79898525164658206130699, 53873966983990177519059467,
53691808382000471717577227, 36203305812712748680625127947,
36203727410788590726674858507, 36203727410789379746526872075,
24328904820049404316174560920075, 24328904820049405105194412933643,
36080895588484407979097424395, 36080895588485196998949437963,
24328621506498747203595590926859, 24328621506498747992615442940427,
16349024039073555480557981682074123, 16349024039073555481347001534087691,
16349132166108915615258852373529099, 16349132166108915616047872225542667,
24328904820050463969835779869963, 16349024039073199701249450616982795,
16349024039073200231470791170100491, 24246361835462053165699756181387,
16348833652367158651819214009255819, 7382957671660992478489129346448769176203
, 53691808382000471699661323, 36203305812712748680607212043,
36080895232175667127348584971, 24328621506142438462743842087435,
24328904820049404316174543004171, 24328904820049405105194395017739,
16349024039073200231470791152184587, 24246361835461522944359203343627,
24246361835462053165699756461323, 16348833652367158121597873456418059,
16293555153430499728132641700205195, 10986544154257429282935743787946216715,
10986544154257429283465965128499334411,
10986616815625191293454728892603960587,
10986544154257429283465965128499054475,
10986616815625191293984950233156798347, 79898525164658205570827,
53873966983990177518499595, 53691808382000471717017355,
36203305812712748680624568075, 79898525164658205290891,
53873966983990177518219659, 53691808382000471716737419,
36203305812712748680624288139, 53691808912221812234583179,
36203305813242970021142133899, 36080895232705888467883506827,
24328621506142968684084377009291, 53691808382000471699101451,
53691808382000471698821515, 36080895232705888467865590923,
36203305813242181002525477899, 24328621506498746414576867615243,
24328743916723504976619018980363, 16348915912038195345068091120689675,
36080895588485196998930962187, 16348833652367157592954572589411595,
36203306169021489533448081803, 24328621745581912315084054783883,
24328621506498747203596682957195, 16348833652367157592165553847904139,
24328621506498746414576867055371, 10986471492889667271886537342717439243,
24328621506498746414576866775435, 16348915912038195345068091119849867,
36080895588484407979078948619, 24246361835460993512038484323595,
24328621506498747203595572451083, 16348833652367157592165552737398027,
24246361835461522944359184587915, 16348833652367158121597873437662347,
36203306525330230385143173515, 24328621985021386167423155854475,
16348833652367157591376534031162507, 24246361835462053165699737705611,
24328621745581912315084054224011, 16348833652367157592165553847344267,
10986416214390729901406600767940342411, 36364209852288434580974855819,
36081135384267001169821083275, 24436748780942576448274316961419,
24328621745939281498615725729419, 24328621745938221055934619494027,
24328621746294529796786314585739, 24436748541859411336786910422667,
36080895232705099448030373515, 24328621506142967895064523875979,
36203305812712748680587896459, 36203305813773191361694131851,
24328621746295590239467420821131, 24544875577575854778509296969355,
24328621745582441747403625506443, 24328621985021915599742727136907,
36080895232175667127329269387, 24328621745938750488255320598155,
36080895233236109808435504779, 24328621985734533081446117320331,
24328621985378755350954827359883, 24328621985377694908273721124491,
24328621506142438462743822771851, 24328621985735064091806522451595,
24328621985734003649125416216203, 24328621506143498905424929007243,
36203306169550921853001728267, 36203306170081143193554845963,
36203306169550921853001448331, 36080895589013840299742821259,
36080895589544061640295938955, 36080895589013840299743101195,
24328621506499806857256789721355, 24328621506499806857256789441419,
24328621985021386167422043668747, 53691808382000471697981707,
36203305812712748680605532427, 36203306169020700512448610571,
36203306169022278552152637707, 24328621745581912315082942038283,
24328621985021916388762596786443, 36080895589544061640296218891,
36080895588485196998894010635, 36081374112183814486656121739,
24328621506499276635916236603659, 24328621506499276635916236323723,
24328621506498746414575683485963, 36080895588483618959189703563,
24328621506498746414575683206027, 53691808382000471697701771,
36203306170081143193554566027, 36203306525330230383995435915,
24246361835462053165699700754059, 24328621985021386167422008116875,
24328621745581912315082906486411, 16348833652367513900117384542684811,
24328621745938220266914749564555, 24246361835817301463870289610379,
24246361836173610204721984702091, 24246361835462053954719552767627,
16348833652367870208858236237776523, 16348833652367157592165552699606667,
16348833652367158652608233805842059, 16348833652367157591376532847593099,
36080895232705888467864471179, 24328621746294529007766444656267,
24328621985021916388762561234571, 24246361835461522944359147636363,
16348833652367158121597873400710795, 79898525164658204451083,
53873967513422498218483979, 53691808911432792417001739,
36203305813242181001324552459, 53692165750394984665211147,
36364209495449472388762198283, 79898525164658204171147,
53873967513422498218204043, 53691808911432792416721803,
36203305813242181001324272523, 53691808912221812233463435,
36203306169020700512430974603, 36080895588483618959172347531,
24328621506498746414575665849995, 54113407517496177872952203,
36364209495449472388761918347, 36203306169551710872871657739,
36203306526390673065119867147, 36203306169550921853019644171,
36203306169551710872871377803, 24328621745938751277275172611723,
53873966983990177517379851, 36203306169021489532318540043,
36203306170081932213424775435, 53873966983990177517099915,
36364209139670952877619944331, 36203306170081932213424495499,
36203305813242970021141014155, 24436748541858881115446357304971,
24328621746295060018126867703435, 36203306169020700512466526475,
36203306170081143193572761867, 36203306169020700512466246539,
24328621745581911526063072388747, 53691808382000471715897611,
53691808382000471715617675, 36203306169550921853019364235,
36080895232705888467882387083, 24328621745938220266914767480459,
36203306525330230384013631755, 36203306525860451724566749451,
36203306525860451724566469515, 24328621985378225129614274242187,
36203305812712748680623448331, 36203305812712748680623168395,
36203306526390673065119587211, 24328621506142968684084375889547,
24328621985734533870465969333899, 79898525164658221807115,
53873966983990177534735883, 53691808382000471733253643,
36203305812712748680640804363, 53691808911432792399085835,
36203305813242181001306636555, 53691808911432792398805899,
36080895232705099448047729547, 53873967514211518087853579,
53873967515000537939867147, 53873967513422498235840011,
36203306169021489532300624139, 36203306169021489532300344203,
53691808912221812286371339, 36203306169020700512483882507,
53691808913010832138384907, 24328621745581911526063090024715,
53691808911432792434357771, 36203306169022278552187909643,
36080895588484407979041997067, 24328621745582971968744196260107,
36080895588484407979041717131, 36203305813242970021193922059,
36525112466100513773785265675, 36203305813242181001341908491,
36203305813243759041045935627, 24328621506498747203595535499531,
24328621506498747203595535219595, 36080895588483618959154431627,
24328621745582442536423459604107, 24246361835461523733378999649931,
16348833652367158122386893252724363, 80169594512858315822603,
79898525164658239723019, 53873966983990177552651787,
53873967514211518105769483, 53873967513422498253755915,
53873967515000537957783051, 108180909954495991118002793483,
72697571489421306786848207072267, 108180727169046133699872451595,
72697571067823761166142746291211, 48852768040891118691738862028221451,
48852768201794445120510738323893259, 72697571489421306786848171800331,
48852768040891118161517521404000011, 72697448657599002604100594086283,
48852767757577567504404942433726859,
22061128402977774943290710706957125893259,
22061128475639142705301229692061783637131, 72697571489421306786848189156363,
48852768040891118161517521421356043, 48852768040891118161517521386084107,
32829060123478831404540529909381125899, 72697448657599002604100594366219,
48852767757577567504404942434006795, 48852685497906529750713385345039499,
32829059933092125362960878332202925195,
32829060123478831760849270761129965323,
32829060231605867120983971631821420299,
32829060123478831760849270761129685387,
32829060231605867120983971631821140363, 72697571489421306786848172360203,
48852768040891118161517521404559883, 72697448657599002604100594926091,
48852767757577567504404942434566667, 32829060123478831760849270761130525195,
32829060231605867120983971631821980171, 48852768040891118161517521369287947,
32829060123478831404540529909364329739, 48852685497906529750713385345599371,
32829059933092125362960878332203485067,
14825078286801064761891357595830666202469003,
14825078335629503897962426353820996206350987,
48852768040891118161517521386643979, 32829060123478831404540529909381685771,
32829060123478831404540529909346413835,
22061128402977774703851236854617971354891,
48852685497906529750713385345879307, 32829059933092125362960878332203765003,
32829004654593187992480152737610486411,
22061128275037908243909710996256729092747,
22061128402977774943290710706957126733067,
22061128475639142705301229692061784476939,
22061128402977774943290710706957126453131,
22061128475639142705301229692061784197003, 36364209852288434581009567883,
36203306169550921853018804363, 79898525164658203611275,
53873967513422498217644171, 53691808382000471715057803,
36203306525859662704713896075, 36525112465570292433213952139,
36203305813773191361728843915, 36203306169021489532335336203,
36203306525330230384030427915, 79898525164658221247243,
53691808911432792433797899, 36203305813243759041045375755,
79898525164658220967307, 53873967513422498235000203,
53691809442443152803377291, 53691808911432792398246027,
36080895588484407979041157259, 24328621506498747203595534659723,
53691808912221812250259595, 53691808382000471697141899,
36203306169550921853000888459, 80169594512858315262731,
53873967514211518105209611, 53873967513422498253196043,
53873968044432858658327307, 80169594512858314982795,
53873967514211518069657739, 79898525164658239163147, 79898525164658238883211,
53873967513422498252916107, 53691808912221812268175499,
36203306169020700512465686667, 54352845931694855755072907,
53873966983990177552091915, 53873966983990177551811979,
36203305813242970021175726219, 36525112821878244265057030283,
80169594512858332618763, 53873967514211518087293707,
53873967513422498270552075, 53873967514211518087013771,
54352846461127176473813003, 79898525164658256519179,
53691808912221812285811467, 53691808912221812285531531,
53873966983990177569447947, 36203305813242970021193362187,
36203305813242970021193082251, 36203306169551710872852902027,
36080895589014629319594274955, 24328621506499277424936087777419,
80169594512858350534667, 17320829146294231517, 17144351707206588125,
11521003033787882381789, 11521003033786771595741, 17144351706077886173,
7742114037392000511067997, 17320829147475001565, 11521180037241385470941,
7742232807235292191023581, 11521003296794534431709, 7821808426025502966137309
, 5202700633302852093303367517, 5202700633126374653087302109,
7821808425762497494017629, 5256255381057405556266411869, 17144351706064449245
, 11520826556347652599517, 11520826556346523897565, 7741995444552242564978909
, 5202620938737741228587970269, 3496161270831760739835286256093,
3496161270831760739835338324189, 5202620938737741228622682333,
3496161270831760739835320968157, 10320890499599201257437707184,
5179634528524387048446068016, 10320890499599201257645979568,
4660749015382424557215847411039152, 4660749015371005710425695468338096,
34222707499807998912816, 3480714403168208496063258276144,
6935608270568959948713591791892, 3470577972482145371901587548158,
3532311683323980260313238888037, 3132009725256624628335939460178092308,
3132009725256635996281480919021494548, 3132009725256613209489149308235391252,
7901622115773346701736421, 2332228397508000302942281341337086,
38390366690489057819707229, 25851881163763462926432601949,
25851881045170623089385277277, 85189158389393236445, 57128521860456043274717,
57128521860456025358813, 38470061255600000508477917,
38470061079122560274776541, 38549874237073339975320029,
79898347109170240117853, 53691689434627706470538333,
53691808203944983751004509, 118896349475176257245, 79898170631730024052445,
79898347372176893007581, 79898347372176892447709, 79898524112623743486941,
53691808027467543534939101, 53691689258150266254472925,
107326250346868942481516381, 36080815299893603135532607325,
36080815181300500291867944797, 36080895113051553915233150813,
79898347109170240397789, 53691570664784415955116509,
53691570664784415937200605, 53691689257887259619779037,
53691689434364699853480413, 53691808027467543518142941,
53691689611105146704519645, 36080815181124022851651879389,
85012680949163454173, 57128345383015813492445, 57128345383015795576541,
38390366690752064601927389, 38390366691015071219265245,
25798326416185649910450207197, 25798326416362390357300966493,
79898170631730010615517, 53691570488306975707418333,
36080735486735652355979030237, 24246254247086358644946482739677,
53714492966541568896424157, 36096139273516143830094256349,
24256605591802848863330976430301, 36096139273516143830059544285,
24256605591802848863330959634141, 24256605591802848863330959074269,
16300438957691514436367911758958301, 24256605591802848863330924362205,
16300438957691514436367911741602269, 10953894979568697701239446196865866205,
85012680949162614365, 57128345383015812652637, 85012680949159255133,
57128521860456042994781, 38470061078859553656598877, 57128345383015809293405,
57128345383015808733533, 85012680949194807005, 85012680949176891101,
57247114700293107955421, 57247114700293107395549, 53691570664784488338168029,
24256536656156908384457630589917, 36080735486735389421597777501,
118896349475175417437, 79898347109170274829917, 107326250346868942516228445,
118896349475210969309, 79898347109170275109853, 79898347109170292465885,
53691689257624253019237341, 36080735486735389421598617309,
16300392632937442434568016349870557, 24246254247086181904571868345437,
72123080606957030086296250205, 53691570488306975685863261,
53691689257624253002441181, 36080815181123759845034541533,
79898170631730009775709, 36096036690709684779715270877,
36080735486735389421598057437, 24256536656156908384457630309981,
85012680949193967197, 85189158389445304541, 7696370680752623687781049,
5194913132217826921445984953, 5194913081392324134139988665,
17118687426983077177, 11452932560476661376313, 11452932560476643460409,
7730525494371599146140985, 7730525418738410474554681,
7764731057860173203359033, 34222757809190858219449,
22997693323746441785253817, 22997744224882417762276537, 50926722764328213049,
34222682176002204269113, 34222757921908015487545, 34222757921908014927673,
34222833667813808230201, 22997744149249229108326201,
22997693248113253131303481, 45983933714706971484089017,
15454449913482087229087328953, 15454449862656471724659616441,
15454484119121208991816133305, 34222757809190858499385,
22997642422385031564518713, 22997642422385031546602809,
22997693248000535992231225, 22997693323633724663817529,
22997744149249229091530041, 22997693399379630457120057,
15454449862580838536005666105, 17043054238315409977, 11452856927287993709113,
11452856927287975793209, 7696370680865340974379577, 7696370680978058096095801
, 5171961097541621343241878841, 5171961097617367249034901433,
34222682176002190832185, 22997642346751842878935609,
15454415707842965466505491001, 10385367355670472904930768174393,
23020496956805134764497977, 15469773954973109803943664697,
10395688097741929847468282641465, 15469773954973109803908952633,
10395688097741929847468265845305, 10395688097741929847468265285433,
6985902401682576857557892036661817, 10395688097741929847468230573369,
6985902401682576857557892019305785, 4694526413930691648278962653986430265,
17043054238314570169, 11452856927287992869305, 17043054238311210937,
11452932560476661096377, 7730525418625693351998649, 11452856927287989510073,
11452856927287988950201, 17043054238346762809, 17043054238328846905,
11503758063263984728633, 11503758063263984168761, 22997642422385103947570233,
10395649810280774136409146435385, 15454415707842852821619859897,
50926722764327373241, 34222757809190892931513, 45983933714706971518801081,
50926722764362925113, 34222757809190893211449, 34222757809190910567481,
22997693247887818887311161, 15454415707842852821620699705,
6985876672508680219729145501826361, 10385367355670397159097211516857,
30901135045080698779414604473, 22997642346751842857380537,
22997693247887818870515001, 15454449862580725818883949881,
34222682176002189992377, 15469716979584485229478681657,
15454415707842852821620139833, 10395649810280774136409146155449,
17043054238345923001, 17118687427035145273, 25798406823368768569849497227,
17336690049547076927757267240587, 17336690049191298408246125266571,
57129229348256932929803, 38390486344297589512233227,
38390486344297589494317323, 25798645907064101397844705547,
25798645906534669077143601419, 25798885346008521416245231883,
160960455658120134374939531, 108165426202788528332897131403,
108165426559096480164739649675, 239524487585316163229195,
160960455128687813691471371, 160960455658909154262504971,
160960455658909154261945099, 160960456189130494815062795,
108165426558567047844056181515, 108165426202259096012213663243,
216292461919231181035396392587, 72687166408273362395034625418891,
72687166407917583086503631431307, 72687166647712836247373727049355,
160960455658120134375219467, 108165425846478998461350306059,
108165425846478998461332390155, 108165426202258306992344293643,
108165426202787739313045397771, 108165426558567047844039385355,
108165426203317960653598515467, 72687166407917053654182947963147,
57128699915936233505291, 38390485814865268812808715,
38390485814865268794892811, 25798406823369557589792489995,
25798406823370346609644503563, 17336529385304343488708986932491,
17336529385304873710049539770251, 160960455128687813675794955,
108165425845949566140632965643, 72687166168833888542695596851723,
48845775665456373101479040137432331, 108288417650524121421386099723,
72769816661152210356684488371211, 48901316796294285360453465153752075,
72769816661152210356684453659147, 48901316796294285360453465136955915,
48901316796294285360453465136396043, 32861684887109759762225490060251324939,
48901316796294285360453465101683979, 32861684887109759762225490060233968907,
22083052244137758560215530081965068381451, 57128699915936232665483,
38390485814865268811968907, 57128699915936231545739,
38390486344297589511953291, 25798645906533880057290748043,
38390485814865268810849163, 38390485814865268810289291,
57128699915936267097611, 57128699915936249181707, 38390842122817100671563275,
38390842122817100671003403, 108165425846478998496967683083,
48901126302239902645744042439931659, 72687166168833887753711289151883,
239524487585316162389387, 160960455658120134409651595,
216292461919231181035431104651, 239524487585316197941259,
160960455658120134409931531, 160960455658120134427287563,
108165426202257517972509076235, 72687166168833887753711289991691,
32861556875105214577940759498884779275, 48845775665456372571257735129188235,
145348533930844936960120882636427, 108165425845949566140613650059,
108165426202257517972492280075, 72687166407917052865163095949579,
160960455128687813674955147, 72769533187856997983602772044811,
72687166168833887753711289431819, 48901126302239902645744042439651723,
57128699915936266257803, 57129229348256984997899, 25323780013085196,
50534842920969996, 33984700638321062412, 33984700638321622284,
33959452003057188108, 22854711198044507817996, 25323780065993100,
17017655313030753420, 11435864445464973734412, 17017655313031313292,
11435864407892600668812, 7684900882178935205529612, 11435864483037348479628,
11435839196829710140044, 7684883940344672770197516, 25323780021483276,
16992406677739165452, 16992406678867867404, 11418897325004331946380,
7673499002434118019733260, 5156591329635758516024959500,
7673499002434118020573068, 7673482060599855619953036,
5156579944723134159517342860,
[ ( 1, 8, 2, 5, 7, 4, 6, 3)( 9,11,10,12), (1,6,3)(4,8,5) ],
[ ( 1,10, 5, 9,13,14, 6, 3,16, 2, 4, 7, 8,12)(11,15), 
  ( 2,16)( 4,11)( 5,10)( 6,12)( 7,14)( 8,13)( 9,15) ],
[ ( 1, 4,14)( 2, 9,16)( 3, 7,15)( 8,12,10)(17,19,27)(18,22,20)(21,28,32)
    (23,29,26), ( 1,32, 2,29,13,20,14,24,12,19, 7,22, 6,26, 8,30)
    ( 3,21, 5,17, 4,23,15,25,16,27,11,28,10,18, 9,31) ],
[ ( 1, 7, 4)( 2, 5, 6)( 8, 9)(10,11), ( 1, 3)( 2, 7, 6, 4)( 8,11, 9,10) ],
[ ( 1,27, 5,24, 9,18, 7)( 2, 4,21,12,16,15,10)( 3,31,11,30,14,25,13)
    ( 6, 8,26,19,23,20,17), ( 1,31,12, 3,21,19, 4,26, 5, 8,27,11)
    ( 2,28,16, 6,29,23, 7,32,24,13,22,30)( 9,20,15,14)(10,25,18,17) ],
[ ( 1, 7, 3,10, 6,14,11,12, 2,16, 4,13, 8, 5)( 9,15)(17,18), 
  ( 1,16, 9, 2,10, 5,13,12, 3,15, 7, 4,11, 6)( 8,14) ],
11636209365834494501447858195294232, 69129698493730249976634721,
476996029689071924070387754201207761164353992,
1056273095789646940702920733247830677192,
709815520370642744152362729470951417143752,
709815520370642744152362729470951434499784,
1056273095789646940702920733247830957128,
1056273095789646940702920733247848313160,
709815520370642744152362729470951434779720,
1571834963972688899855541673866727752, 3132005991870582553952184198860714508,
6935600003256498355637778859788, 4660723202188366895761029400613388,
4660723202188366895761029417969420, 6935600003256498355637779139724,
6935600003256498355637796495756, 4660723202188366895761029418249356,
79898145158172462316848, 4660723201914584225527334307580404,
10320833337573054592696296564, 6935600002849083682338244068468,
1571834963972140947913361986493605800, 2339040124958543077258419510682152,
1571834963972140947913361986511241768,
709815520370395297822504768151289026695848,
1571834963972140947913361986493885736,
1056273095789278716997774958998848376104, 10320833337573054592696016628,
10320833337573054592713652596, 3132005991809377263683643393906356748,
6935600003120963681509416045708, 4660723202097287594766148192464012,
1056273095789524530122383651681242617544,
1571834963972506741253551954735812936,
1056273095789524530122383651681260253512,
476996029689016645410786496765562616083153352,
1056273095789524530122383651681242897480,
709815520370560484242241810667893645392968, 6935600003120963681509415765772,
6935600003120963681509433401740, 23043317834953956078907817,
51027764269707832361, 34290651549098436701225, 34290651549098435581481,
51078186432178421801, 23066087660202705855616553, 34324535217624451743785,
23066087660202705786192425, 15500410907650153522164711977,
15500410907650153486617878825, 34324535217625527817769,
23066087660202670311582761, 10416276129940897102044827307305,
51027764269705872809, 51027764269777256489, 72245651051703443898180973973,
159982751937834612199445, 107508409303128779746832405,
3676426585164655119866244681390, 5470872894590261235526961454,
3676426585164655119866262317358, 1660215423034995617360013612807797166,
3676426585164655119866244961326, 2470558665230648240119708382557230,
159982751937834611919509, 159982751937834629555477,
10488376121860393780150794859925, 23225747860552893806710805,
15607702562292251597029634069, 2346068658136714459952778544467630,
3491173598417729851907242756398, 2346068658136714459952778562103598,
1059447068916010062682959604078675147182, 2346068658136714459952778544747566,
1576558138267872117087738293124494382, 23225747860552893806430869,
23225747860552893824066837, 53873966983201158813103883,
53691808381211451900835595, 36203305812711959661955004171,
36203305812711959660807266571, 24328621506142437673724008549643,
53691808381211451900555659, 36203305812711959661954724235,
36203305812711959660808106379, 36080895232174878107514207371,
24328621506142437673725154327691, 79898524375638370913291,
53873966983201158830459915, 36203305812711959661901256459,
118896612489821039627, 80169593723839611546635, 79898524375638424661003,
53873966983201158884207627, 80169593723839610426891, 79898524375638423541259,
53873966983201158883087883, 53873966983201157737589771,
53873966983201157736470027, 36203305812711959660808946187,
72697571067823230944802156781835, 356485669206853681163,
160983496022495752597870091, 160983224953147551410984459,
108180909327117902066266314251, 160983496022495751521796107,
108180909327117902065120816139, 108180909327117902065119696395,
48852767757577211195664090704203019, 108180727168515912359230874123,
72697571067823230944803251331595, 160983224953147551341560331,
108180909327117902066196890123, 108180727168515912359284621835,
72697571067823230944803305079307, 72697571067823230944802158461451,
118896612489819360011, 79898524375638422981387, 53873966983201158882528011,
118896612489819080075, 80169593723839609587083, 79898524375638351597707,
118896612489836716043, 79898524375638369233675, 79898524375638368953739,
53691808381211451845128331, 119299989498360496139, 118896612489890463755,
80169593723839680970763, 80169593723838534352907, 25521034977487913,
25521071667019817, 11520826300421398282793, 17144095746555975209,
17144095745479901225, 7741995267818762632896809, 50926648058161173576,
50926648058178529608, 7707789476975276471423304, 22997659339008669671897544,
5179634528524124248220212296, 2339040078929035929491215347302856,
5179634528524124248237568328, 11758366241092943777813,
11758366241092961133845, 5164550554288904515413772590,
5309890061093758160628233621, 3470577972482143305661812773934,
1567257483125376202188171235377330606, 3470577972482143305661830129966,
3480714574586646748504155199008, 5156614218610181931461676576,
2332228398776442451224922104650334, 3465229682064441121778551182942,
57128345120009228906921, 126506183515057193, 85012417942614420521,
85012417942613300777, 176928345985646633, 79898170368759005615657,
118896086468629463081, 79898170368758936191529, 53691570488044004686742057,
53691570488043969139908905, 118896086469705537065, 79898170368723461581865,
36080735367965809065354153257, 126506183513097641, 126506183584481321,
11452856814570904744501, 25361352961698997, 17042941521261997237,
17042941521260877493, 75783515432288437, 34222682063320681453237,
50926610047277039797, 34222682063320612029109, 22997642346639161353880245,
22997642346639125807047093, 50926610048353113781, 34222682063285137419445,
15454415656941604056175300021, 25361352959739445, 25361353031123125,
38390485814076248995787147, 85012943956064087051, 57128699126916452035595,
57128699126916450915851, 356435247072186335243, 160960455127898829438359051,
239524486796296381759499, 160960455127898829368934923,
108165425845948777156379853323, 108165425845948777120833020171,
239524486796297457833483, 160960455127898793894325259,
72687166168477579012824014474507, 85012943956062127499, 85012943956133511179,
37572374185410, 37572391821378, 16992369105356861634, 25286207657375298,
16992369106574303298, 7673482035351212071092546,
[ ( 1, 2)( 3, 8)( 4, 7)( 9,10), (1,8,4,2,3,5,7,6) ],
[ ( 1, 5, 3)( 2, 4, 6)( 8,10)( 9,11), ( 1, 4, 2)( 3, 7, 6)( 8,11)( 9,10) ],
13855753274890675882416528165192, 9311066208377316875174702076418680,
92172931340716478019882528, 102922855116617124944209,
10320833338179311879755334028, 67944307040314198344,
15358382942830444264883292, 10320833337977623347750666636,
4689883063162157079543944845496540400,
3151601418444969557455150686372472739760, 25455283894222859,
356485670922193993949, 11639949281134514012381, 107509276037415769673571941,
5256415721758115829480955493, 176928318466818059, 56358560858123,
50613510060638604, 17321356920732254429, 22854863103186586056624,
7822047204996952109882981, 187862442835979, 37572947214367,
126506183799472139, 11 ]; 

PROPERTIES_SMALL_GROUPS[ 672 ] := rec(
isNilpotent := [ 6, 259, -277, 1019, -1042, 1248, -1253, 1280 ], 
isSupersolvable := [ 1, -133, 136, -277, 286, -371, 387, -745, 761, -1042,
1089, -1103, 1126, -1184, 1203, -1253, 1266, 1271, -1272, 1277, -1280 ], 
isSolvable := [ 1, -1042, 1049, -1253, 1256, -1280 ], 
isAbelian := [ 6, 260, 273, 1019, 1034, 1248, 1280 ], 
lgLength := rec( lgLength := [ 3, 4, 5, 6, 7, false ], pos := [ [ 1258, 1266,
1271, -1272, 1277, -1280 ], [ 41, 111, 115, 134, -135, 170, 211, 252, 259,
286, -316, 340, -348, 352, -358, 362, -365, 370, -371, 378, 386, 467, -620,
669, -736, 748, 755, 761, -791, 815, -823, 827, -833, 837, -840, 845, -877,
901, -909, 913, -919, 923, -926, 931, -963, 987, -995, 999, -1005, 1009,
-1012, 1017, -1033, 1089, -1103, 1126, -1184, 1199, -1253, 1256, -1257, 1259,
-1265, 1267, -1270, 1273, -1276 ], [ 12, -20, 23, -35, 40, 42, -47, 66, -110,
112, -114, 116, -128, 141, -149, 152, -164, 169, 171, -176, 182, -190, 193,
-205, 210, 212, -217, 223, -231, 234, -246, 251, 253, -258, 260, -272, 278,
282, 317, -339, 349, -351, 359, -361, 366, -369, 372, -374, 379, -382, 387,
-466, 621, -668, 737, -746, 749, -750, 753, 756, -758, 792, -814, 824, -826,
834, -836, 841, -844, 878, -900, 910, -912, 920, -922, 927, -930, 964, -986,
996, -998, 1006, -1008, 1013, -1016, 1034, -1042, 1049, -1088, 1104, -1125,
1185, -1198 ], [ 7, -11, 21, -22, 36, -39, 48, -65, 129, -133, 136, -140, 150
, -151, 165, -168, 177, -181, 191, -192, 206, -209, 218, -222, 232, -233, 247
, -250, 273, -277, 279, -281, 283, -285, 375, -377, 383, -385, 747, 751, -752
, 754, 759, -760 ], [ 1, -6 ], [ 1043, -1048, 1254, -1255 ] ] ),
frattFacs := rec( frattFacs := [ 6, 11, 16, 21, 26, 31, 37, 42, 47, 52, 57,
62, 67, 72, 77, 228, 233, 238, 243, 248, 253, 258, 263, 268, 273, 278, 283,
288, 1044, 1049, 1054, 1059, 1064, 1069, 1074, 1079, 1084, 1089, 1094, 1099,
1104, 1109, 1114, 1119, 1124, 1129, 1134, 1139, 1144 ], pos := [ 1, 2, 3, 4,
5, 6, 47, 114, 133, 134, 135, 176, 217, 258, 277, 281, 285, 371, 378, 386,
721, 745, 752, 760, 846, 932, 1018, 1042, 1045, 1048, 1049, 1050, 1065, 1066,
1077, 1088, 1103, 1114, 1125, 1178, 1184, 1191, 1198, 1200, 1202, 1217, 1232,
1247, 1253 ] ) );