col25.z

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

SMALL_GROUP_LIB[ 12006 ] :=
[ 13200308798630456875719479, 853622187953679863425, 1097512306662884477959,
3386237108640653, 1099475995178452966199, 71099634196785313,
91413653323355719, 284177635589, 91577198631541559, 5923671006169,
7615519021879 ]; 

SMALL_GROUP_LIB[ 12012 ] :=
[ 59694266482231703837214683, 717047528988459992251329545015,
907941747779696593415, 8613174966998352498903640826584583,
8613566077911355201076815422430727, 10859214152616123725515799,
43419230220107147133324311, 717107222349294512428535389703,
5875463452253566798871, 4971545997114486033717,
131146370908094149536703318535, 522257283910796322711299164679,
131146641066955752027706100231, 522257554069657925202301946375,
1575330207666046999084956606532103, 6273354494654505503258201910413831,
10917968787124963425389063, 43477984854615986833197575,
776066573860091616148589063, 776336732721694107151370759,
9322112003227497693679149124103, 103461466177654015457581240553681839175,
103466164201941003916085413798985720903, 131146370934569347477137263111,
522257283937271520651733109255, 8622366024664966434292315093066823,
2328094032885695005688072711, 717047533050145977883626970631,
717080093066213468907034779143, 59699235959896907518451207,
8613175672465369253108333024240711, 8613566783378371955281507620086855,
10917946296045205972847111, 43477962363536229380655623,
717812689366048717120733045831, 193814019847570034002439,
717047528986504112231184997895, 905986030573172296727,
8613174918209402933222730436568135, 10906222749250653266119175,
10906196274052712832174599, 11176355135655203834956295,
131005547663996624222913825287, 907943952024485759495, 75254531119647239,
903955425351926024711, 75586419658066439, 37625798653381721,
10859212121848088858987543, 43419228189339112266796055, 904030482527180295191
, 3614654530769856236567, 5873432684218700270615, 14908770927158083194165,
131146323024389284876902730247, 522257236027091458051498576391,
10917946298249439295834631, 43477962365740462703643143,
776018690155226956348000775, 904030313452262132759, 3614654361694938074135,
488963842347371543, 1241156505871322421, 10917942309722778202278407,
43477958377213801610086919, 908919938308188932615, 3619543986550864873991,
64603620558908043561479, 903955262538305768471, 75423606037810199,
10858312569188053031586311, 907943952013019580935, 4969627903833808963547,
59695174273911275221025591, 4400398169781832199, 59695172318031255076478471,
2444680963257535511, 717058433399728831518145373255, 52884060086783107402247,
338661748453150005, 52857584888842673457671, 323016446491333676239367,
635243329762566302359095815, 59695170362151234932007383, 488963756733245159,
717058433378214151296555361799, 52862547197511340139207, 338523983082170373,
52857583097892850639559, 64603620558865236501191, 634984916936633833919357639
, 717058409884182860879312218583, 29368516395534957690263,
8613305901997542731215680949557767, 635243366996081231869774343,
4068004860524383193877, 634925309687742500923247111,
3880520804235471193717606919, 7630543324356927848110567197191,
263285292870419201, 29365507850309372231063, 41111545311281758092695,
352774618943130714239942039, 4068832210465575684885,
3880073555256933286472321543, 635372536177404889772067335,
7630543324356929720466817944071, 4068004860535849372437,
635243329765334133330151943, 5432100987806443257799903751,
91658086412175417313458198909815303, 48864871827076070823709461,
7630542877107949310203321911815, 7632094904540498820174649494023,
46612815900476482079903253531143, 10859221975735127888799047,
43419238043226151296607559, 452560505498872246085, 905008178025199410635,
112832972162704368, 75260889497865239, 300920567173745687, 3326720609369,
6457751767559, 59746246853586696527415815, 4068004860501450836757,
4971922353212905504151, 188071650907931393, 4973878233233050051271,
338523960149813253, 413750114770757351, 3132559992661, 4973880024182872869383
, 338661725520792885, 413912928391007255, 15656684620889, 414075742011263495,
28180809255453, 34442871572999 ]; 

SMALL_GROUP_LIB[ 12020 ] :=
[ 69030440117503940174401080599, 336622554777600002399, 28035072000002399,
5742727418025345601080599, 28761875472974615640003,
829905031198239220255233600002399, 829905034563285289421313600002399,
207776342292447758644800002399, 69027584523116456347200002399,
1438093634918400002399, 477875757542400002399, 203212800359403,
39750912000002399 ]; 

SMALL_GROUP_LIB[ 12025 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12028 ] :=
[ 597714050405354443871, 7189306018731640992303935, 1471361088460163903,
49812665945557823, 1263827690429, 4133939579711 ]; 

SMALL_GROUP_LIB[ 12033 ] :=
[ 708953171015 ]; 

SMALL_GROUP_LIB[ 12036 ] :=
[ 23369229477166727294171, 16594036514050594571308460903,
114548045263064146115, 7637108842396833167, 281272045921994829788815569,
199725823483112970915083171492451, 1378822711135440117940419,
1941665424113325389, 1378700278516749179344067, 1562525995927538644674755,
16595510151228596638287210691, 388307259036039788, 88911727410859706088643,
1941664836017661261, 7378265803013029263, 10837763006983, 7387148399923972291
, 161390252976669, 613047723024579 ]; 

SMALL_GROUP_LIB[ 12050 ] :=
[ 1842639207137453759, 22203797278101995693759, 1843461321523373759,
153307054253759, 58965227984102031533759, 61433395951047123,
4893379565322413759, 5202247910163, 406093824173759 ]; 

SMALL_GROUP_LIB[ 12051 ] :=
[ 137584294103917763, 30065696293433795, 36744423953035715, 114305918021,
2497388552387 ]; 

SMALL_GROUP_LIB[ 12052 ] :=
[ 4848359065068482859, 227750856584162859, 3080018256791, 18873108802859 ]; 

SMALL_GROUP_LIB[ 12054 ] :=
[ 20231762739273565, 9995405374016716872239, 829218999500872239,
2940123698052222156926605, 1453050252818213722020249672239,
8816958095988693401726605, 4357464087959988921797836872239,
243912751507046526605, 120545068263073424998472239, 731455011166617726605,
361495278578468746035272239, 5119294901498675326605,
843335247326122079027272239, 10000420463063859272239, 29989653109106278472239
, 424696833638526605, 69963103312117760072239, 35493152560011605675215297805,
427834460958417546022510592126605, 20258645606526605, 1782579273565,
60705157939326605, 114648272865119461376072239, 1219563545346050497805,
9511220312404787521839, 101128044544382445, 788775796736328079, 1690829129561
, 9511222238429184072239, 101175020748926605, 789050943078472239,
8401715273565, 65444249672239 ]; 

SMALL_GROUP_LIB[ 12060 ] :=
[ 368513865122872409139812289552964703, 30556705236182713751210029833311,
353162524108448455503443219, 353022463621250688643307159,
4444277213381841254173656140630248761947,
368513865148363475869844260704561755, 4259140322895037245537888433427,
4259140040707008274544927511827, 4260829170170999545111562892563,
51365232294114094646168898808526099, 353162547509032755220485395,
2533764246078482081585448329, 29272009400001935766803,
353020384952877462693688595, 29283796355810233464083,
353020373339238391568750231, 29272182716739108525719,
4257425842494649521354939651347, 353162547508715364052423955,
37817377247635070586056031, 30557171637605081680071975361631,
210096364659158670701843, 70035877461391810565783,
456077569084675596048993787293, 368519489949517240746759515081910875,
2534044370259628700837016851, 3136116592205765866833,
2533762182230657707876095251, 4222891646221928274511475987,
30560575105341908417024534197523, 844774834167362600633088671,
5500295483160929520520630791548313, 4444345048791177923633669553299189962067,
30560576087843986920705570370835, 37821558981722123138864721,
30557171917784113770520837432595, 50939922228517057604911283844371,
368560547619398492029348749942469907, 3135769599021430471519,
844632695011950303407364767, 10187984500057565609487103163039,
37832010390355348255372881, 50928073253520750514191355561235,
368560547619398503642977241361814803, 30569020752731547302545030518035,
456127990860046108711520933457, 368560535770563556209445217168729363,
614335462075915739921918241505563923, 1833837248202975968759391681883579,
1481777142435106230683389661549385529847,
800071236772194998753447015497184270069145,
646473560736665142619596256306153494564152776019,
110580383482460391129323017702298332569,
89351161211984671179681286248854748775814483, 353162524276062732628567433,
3135769281631533717324, 2432147361443902739, 9883941476741377719362892948755,
37821558981087340802741841, 819423897771067679903718047,
1045487586724355914591, 819563969871904517888234771, 3136115957423429743953,
67945595449094736008855, 86711267114690263, 67957209088165860947219,
260049163698635985, 5633523957801219347 ]; 

SMALL_GROUP_LIB[ 12068 ] :=
[ 455232779597794242579, 90660293874890722579, 88615322104475,
7510422036802579 ]; 

SMALL_GROUP_LIB[ 12075 ] :=
[ 12475569595429549691, 23452069623960321, 85097039703 ]; 

SMALL_GROUP_LIB[ 12078 ] :=
[ 1847265962803420199, 22311274474637107420199, 1853508610253020199,
22311268257420288248519, 1847291393433848519, 269475573101796131328220199,
22386675325841510620199, 153678643420199, 1325402456333248551168220199,
16728334649226559947669, 109661816984663349147719, 153914486171756461,
109736914746622464220199, 1385025337958828469, 9079468161638648519,
12839731451941, 9085685378457820199, 114761318623149, 751771238620199 ]; 

SMALL_GROUP_LIB[ 12084 ] :=
[ 6777565728370890787482157882599, 289325710401014572650039,
560871046704641291303361767, 451753977872782589, 289261732445174510325303,
23937581664112873015, 46392599265088612224259, 560608233320077122678725863,
67822563511488351799, 560608169482092989420727719, 3989861793133671415,
6774389891439811064206481883703, 819639817188709489839671,
1279783780519713525, 819567860805541662068279, 915987156090729441988151,
9904527550909861836583276087, 5461986756867515382993, 225829539483034864,
38932892882173, 46458244492342912716343, 1279783439856900853,
3839325256520545271, 6277929025005, 3844607671426027063, 105946134746365,
317741071994423 ]; 

SMALL_GROUP_LIB[ 12087 ] :=
[ 418122554459 ]; 

SMALL_GROUP_LIB[ 12100 ] :=
[ 61301801277623308800003399, 3856294790066218526924135122011684322048003399,
11679746603943547854968690851052585385177985030399,
40867866795310252800003399, 460984836980992003399,
9881073382517456284128497861504003399, 38098206720003399,
5577916523908010496003399, 3720300176772010496003399,
14865998259588010496003399, 5067482499944960003399,
159578107253764870033156845876951936003399,
159578097191032920283380347469005697030399,
29644851494261613275567590093569033099, 741751781642283940717313039039,
61301800161147756801039039, 1194590501160732638152024082379649030399,
1194590229187123253970264082379649030399,
1194591861028779559060824082379649030399, 98726487699247919587346379137030399
, 98726465222090119241746379137030399, 98726600085036921315346379137030399,
98726510176405719932946379137030399, 98727161969399137624082371457030399,
8159213859442256463818881030399, 8159212001825909327818881030399,
8159223147523992143818881030399, 8159269584248142251971201030399,
79774337134316437291728974145227713003399,
11675892061228331764040161152738079041240001003399,
4340303895277598834188552497397450797953030399, 460984742384128003939,
67492830469096995916544003399, 45015672668751395916544003399,
179878619470824995916544003399, 67492789939286062502528003399,
816662591093703744697774464003399, 45015632138940462502528003399,
544688981709521984697774464003399, 179878578941014062502528003399,
179878565125174867370368003399, 2176530638014612544697774464003399,
5577919873573554432003399, 3720303526437554432003399,
14866001609253554432003399, 7435536220709554432003399,
61316538249262436992003399, 61302722410067304832003399,
741762941158464697708928003399, 40923288241699851008003399,
3382089937357312003399, 964950122419807256592064747304769402816003399,
159578097191033024308514090243961792003399, 544869456555675415284386624003399
, 1930894976011498335428902219724383957953003399,
358702703080565520634370906291024769030399, 38072812032003399,
5577915382103114496003399, 3720299034967114496003399,
14865997117783114496003399, 460984836784384003399, 307462824624384003399,
1228594897584384003399, 614506848944384003399, 3377598561288960003399,
279140401664003399, 45030480634637570147200003399, 460680261075712003939,
38097977600003939, 67492776123446867362688003399,
45015618323101267362688003399, 179878565125174867362688003399,
5577916524279202176003399, 3720300177143202176003399,
14865998259959202176003399, 7435532871415202176003399,
61302722410067297152003399, 460985113608320003399, 307463101448320003399,
1228595174408320003399, 5066340971872896003399,
544868815679114595915629504003399, 25398706176003399, 3211264003399,
101525323776003399, 50843451392003399, 114293743872003399,
202478326678476262081281033099, 460578730017281039903,
61302721293220709121039039, 8159225015272792082367361030399,
29644859608504438876405450785665030399, 418705838592003939,
55728604707818240003399, 15198793774404224003399, 16733747059897676160003399,
2449987752809565837491012481030399, 67459337799829317616385099033,
8978837857435291668473496449090339, 1195083316801652177147719607914433003399,
4340303895770416295717013130506167926721003399, 67459337953351329776385099033
, 8978837857436980410607256449090339,
1195083316801652195723883079274433003399,
4340303895770416295717031706669639286721003399, 27864705836541674241099033,
3708747760671072740983681090339, 493632303510669852046550632385003399,
358703196170247907252138833110644673003399, 5068319892707840009339,
674593376576732139264003399, 183905404672136975040003399,
202478339424763631382976003399, 29644853472366725214025311859649003399,
38079045888009933, 25331246230932224009339, 61326670701857348224009339,
3371575053006419265408003399, 8162579856578460741799744003399,
184182660933104965248003399, 205665995256116819273600003399,
16733750410991371200003399, 1382116978852736009339, 38079038208009933,
1382954579264384003399, 114224530176003939, 3146240003993, 114293736192003399
, 9437696003399 ]; 

SMALL_GROUP_LIB[ 12103 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12105 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12108 ] :=
[ 944870052057107918761283847407, 2387757466816484476895,
78037902109475297660273903, 944882918739514565809289627615,
6458199704562800003039, 28917435875708127544603631, 19200778307880115968,
197425249514424287, 6445400578725157799903, 561618013355281,
532314766637533151 ]; 

SMALL_GROUP_LIB[ 12114 ] :=
[ 321338735727219239231, 3892697119642533734312255, 321338941286753167679,
26546545524926783, 10282072857852202388482367, 1265160200337202849,
848776024897893099839, 110936892228961, 70066435422349631 ]; 

SMALL_GROUP_LIB[ 12116 ] :=
[ 50300766352545874975143, 2395224100849615423435,
7390408841780774082446512364255, 7390408829805013106180682947295,
6761632026411063914317224671, 609444126995085300408523487,
46060962054299585247, 4155188049213590239, 16408738189667, 342729406155487 ];


SMALL_GROUP_LIB[ 12124 ] :=
[ 1129783176633318465552047, 13697491607888624772838394399,
468075500966183438879, 93219775568183036447, 90275517224789, 7686793098955295
]; 

SMALL_GROUP_LIB[ 12132 ] :=
[ 41973183525962126732578444839503, 509218662536972106957438333584855711,
1311836885305004343441865631, 6961370034020188567903654223,
108130182885858858875807, 1311835182976331766414031775,
108130322940421308791711, 3459725538362314694864439887,
41973390231050237385799344771743, 286889211217050322713503,
509221170283101469942517786251213727, 3481115334616769086825282463,
851448693643819423825, 3480539948172950583292050335,
42232891239547740214410155768735, 1520384115666503943613847158272337,
74953438622789194968550005843274111455968159,
6216066003849160157812975361243206499231, 1312410616832867902394978639,
2553771610566680700672, 8928409836337609631, 3459887319991244671747734431,
851444856532519426129, 285186882544473294879647, 70712479671611569,
23505595665028856735 ]; 

SMALL_GROUP_LIB[ 12138 ] :=
[ 9326315546343909346177470975, 5776462002769933319017983, 208616359469045,
43032306465065934687, 8878936590828146033432063,
398397555096958477418863479756287, 2704097821370072006923775,
3545255655776095, 731499142429479540223, 32822339355491718357166593535,
99941773355320505868044211711, 49225627567492076471207335423,
222779540486490166783, 541678301245985527295, 18253619189, 44626653141276159,
461488225384400643167743, 37984647971004805471, 1042766721253141,
38020100864448942591, 3128231041457951, 17314111473, 38020120724377703935,
3129399272546143, 86033571829, 3132319850305023, 257832261119 ]; 

SMALL_GROUP_LIB[ 12140 ] :=
[ 30530296058145065922567, 224977118371281540759913481351,
1526514658543914889079, 507273514259392687223, 211464054929961,
41779255351585655 ]; 

SMALL_GROUP_LIB[ 12141 ] :=
[ 10872769578410931187, 74527392747 ]; 

SMALL_GROUP_LIB[ 12156 ] :=
[ 80234051497649759943988611, 975325130003377905432426318055,
6613445959308040497127, 19584702659402596848, 6600390906146331899879,
570585788431517, 542962722523850727 ]; 

SMALL_GROUP_LIB[ 12159 ] :=
[ 1632846795466642559, 702318185540260991, 905359294125085823, 739278397253,
57793623921791 ]; 

SMALL_GROUP_LIB[ 12172 ] :=
[ 1142335472470502765219, 2488756720148096953421299759, 16798037966024274207,
1108730785531285023, 7741890632993, 91007369604383 ]; 

SMALL_GROUP_LIB[ 12180 ] :=
[ 24653213726136982428264399275, 3658164122928305573041446140746407471,
3658164122927930761735818632469159471, 967526024852621080201663610101295,
79435634236720904012301606447, 300276143184700863637250058231343,
1124969375376457445959039, 300276143184343871181714155298807,
1124612412228240771453127, 44556439017266761879642336727387087042687,
44556439017262196677939793676570206402687,
11784466982704924755917598545269487743, 967526025003259675210506112596095,
3657363423989656517393740144297638015, 13702127716768619487377338431,
13702126990592873288035840063, 13706474801708844139592921151,
166891915590241405626695082422335, 1124969434906764585316415,
1124969376290275686378459, 92331951531709456279, 1124600133470230320014719,
92362143000138114431, 1124600104162911090446535, 92332835680908546247,
13697629624197563631361699903, 1124969434904914126549055,
300288925749824976605465887863527, 2174797994171163226431383,
24654263197880410733648507623, 233538371710487221338217008299161,
44627144973831892138195536196983078943447,
44627144973827326936492993146166198303447,
82490423547835183309117068141261388503, 19173922156041450885161385113,
3663969209674211534565202073712491223, 3663969209673836723259574565435243223,
6772612770758582604052340065073879, 3657519115632870712742335089527651031,
79445382900239000289289461655, 75091508963598995073225,
26489039569093137434573037463, 26523822058020910723635371927,
322636545576008301599365021065111, 300288925752681091998863327918807,
2177653699355909711486871, 7832128414834583, 6157095359146385897,
2174071818424038655549335, 178495233208046608279, 224917566704918069291209,
26480194748515696898557370263, 6165180013500999881, 2174072052882530810486679
, 2024079537887712322486699, 24653289482421055291858842343,
892421515824636911511, 224892940692932736086131,
300341882088860520452377627860527, 300341881714049214824869350612527,
79436533783854378697731874351, 19174222005085949190865648793,
3663969197814357239638457812917058263, 3663969193249155537095406996036418263,
6772610953523448399639358197103319, 24653289125428599755954724399,
535458367607962363263, 300277065898386165254602532485847,
10873275989900284984844183, 30783300532857514185, 10869694343426906083843991,
45652183271200195146178455, 132436501557019675858507423639,
24653288768436144220051791863, 178495219391287857351,
300277065895887218065851204581047, 10870777247862768263038199,
30776226352353858577, 10869694138275671476602103, 15217505254246523033683191,
132406066879002722186394928375, 2739196014567347357216735327,
3658164123842321137017347220428552319, 3658164119277119434474296403547912319,
967536981487345778528765708597375, 233542024021946140386588768489065,
44627144829378871178797468712900108840855,
44627144773774714441823109763293913640855,
82490401413915601509044589028300910487, 300277061547719021716580826347647,
6522609139435455572455487, 3657374662642343493949774070327635863,
132436507637642644752829538199, 374940568594894817398441,
132392877103424798908910165911, 556117654231031743856776339351,
1613076663026487441284410259824535, 30774203307465506703,
6521882963689256230957119, 10869694079660107788038207,
79445379318328746295333859391, 375026725040174602456745,
556043592243714728056807776151, 132466936235271087529319227287,
1613076663026487675742902414761879, 374940568596745276165801,
132436501557459285554428665751, 926737970490005302690293768087,
19647273755662617035105267954147155863, 4566775940817063223875407529,
1613076588964500124268610291261335, 1613447283342746414843243777253271,
6773513028533966925365711780470679, 75091509940826289719877,
18464116783373926000, 536879770395113, 24662962470221606975411347351,
374940568591193899863721, 2024516568379599556816959, 18466137977784500111,
2024873560835135460934903, 30776222651436323857, 166187154061606850759,
505545335313285, 2024873765986370068176791, 30783296831939979465,
166216461380836418943, 1516142550083591, 166245768700066029463,
2526739764896233, 13643309127851927 ]; 

SMALL_GROUP_LIB[ 12186 ] :=
[ 10718120044120346062239319, 1303251286147393493, 879543734539966950999,
113601924042621, 72177315983990359 ]; 

SMALL_GROUP_LIB[ 12188 ] :=
[ 121375732612692733790243, 1479327509315359885247065031,
90274469836636056263, 9965391146306190023, 26924913084549, 817217532078791 ];


SMALL_GROUP_LIB[ 12195 ] :=
[ 133243516100950652716392239, 299298217858156979, 10931353852581495912239,
25849309996979, 73636484716979 ]; 

SMALL_GROUP_LIB[ 12201 ] :=
[ 282924777397739, 24596015379, 847797746998763 ]; 

SMALL_GROUP_LIB[ 12212 ] :=
[ 437010596102082939, 10394313544162939, 504786244871, 848993602939 ]; 

SMALL_GROUP_LIB[ 12213 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12220 ] :=
[ 5543156262025480378247, 3183584290219959612822085039, 21319349180392884979,
1511766147038249220415, 868266752337396596782480895,
827966172346468444375105256781, 475534090544697838298935583371853267,
827966173858193336468835253581, 475534090544768889368863988681702867,
240158159885573418304126285, 137929531038777949369736512191955,
5814478492252081059, 67737370573374049719598413,
38903400026538301967359892757971, 260596176134127748393715,
453731769830911113, 260522451559197866534643, 923665766450096045957875,
3184485272358530784826745587, 22697198764102011264755, 453731585288084617,
1856111963269464995, 10149855482629, 1857380774291391219, 37145834655981,
151878746213107 ]; 

SMALL_GROUP_LIB[ 12222 ] :=
[ 23658496120340205244433409599, 1935730384336318618248767,
1935730332236481974609471, 158380839932825282111, 55526033240793916991,
1633422426841663397, 8294366699684922162779366975,
14635637364752034894321657407, 678642393761262129227327,
1197483063460747707000383, 1935829981766395192256063,
678642341661425485588031, 1197483011360911063361087, 158388969133390538303,
678639128267970231248447, 55578133077437556287, 678639076434793074668735,
55526299900280976575, 59874395789623153056869,
101373749803549037192306372748863, 178876759871999288997216246408767,
8294367336481419337629804095, 14635638001548532069172094527,
23659714037169439074813847103, 1633689086329543781,
8294366699710838490438411839, 14635637364777951221980702271,
678642419677589788272191, 1197483089377075366045247,
1935830007682722851300927, 8294327425660670092323431999,
679275924765145081685567, 55526303553150625343, 97977675644419286591,
141940080101285, 4550431951660607, 23179706912989880366704469567,
99788483888079159075941, 1895922400589939420144831, 1633147417942613089,
1896555957514324736321087, 8164662102323813477, 155123742500979619007,
134634340767649, 155175575678136198719, 668996991829925, 12692156641551935 ];


SMALL_GROUP_LIB[ 12225 ] :=
[ 5431828387151485253915, 60360148009549173, 36343834310555 ]; 

SMALL_GROUP_LIB[ 12228 ] :=
[ 6852138597538272415219, 20172081135252676908, 6838691992589566139123,
584238284574251, 559253505178192371 ]; 

SMALL_GROUP_LIB[ 12236 ] :=
[ 403972199514405631, 118816606782525607, 4945239579832339389183,
17571958568681523, 4943003977398475876095, 27622568738254938829567,
60509951498805022970131199, 265884011752654831359, 17571953951027251,
21706332442896551, 422845207031, 21729637084336895, 1436090481491,
1773838908159 ]; 

SMALL_GROUP_LIB[ 12252 ] :=
[ 1038695962041995904189080241419, 4420935066558182402039,
84777632111380056298161419, 1038695548626493465972091042039,
6933280338410388482039, 54172240609363223168089019, 20370974918286495600,
361064730746882039, 6919701149028072962039, 588843096079381,
564769803801602039 ]; 

SMALL_GROUP_LIB[ 12260 ] :=
[ 6596768660861354800326803, 32388412194924757969971,
991711499364930343233054277163663, 991711493502787192281382118546063,
243411201186168451826296576655, 80876384861467709279783656079,
1619420459580066523535, 538163130864849926543, 219964070417583,
43889565567691151 ]; 

SMALL_GROUP_LIB[ 12267 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12274 ] :=
[ 137864934932211647, 11230213233059, 809580741, 11232255645503, 917075519 ];


SMALL_GROUP_LIB[ 12276 ] :=
[ 463406169925108224028199, 461078957632799232035159,
5688777069178322618880028199, 5688774141633611280000028199,
5695916356111312638720028199, 69835427301232655732171520028199,
463406408421342336028199, 10713612692243483161353029, 37557898228224028199,
461060380891908864028199, 37749001017600028199, 461060191317756672035159,
37559426865408035159, 5659977235496418080640028199, 463406408418542976028199,
2618136000152064028199, 290923707843072035159, 32143165302008056320028199,
84463699491072053139, 32140237757296717440028199, 39282452234998076160028199,
394589497247604609442560028199, 3571979989330561536243959,
394589506575030517329408028199, 1036876324581369216783939,
394553558709314116740288028199, 482345887117462801659648028199,
4843980782715074775282632448028199, 28152529371648269131,
3571379467337379456243959, 43849626348986109321984243959,
1037082754017444096783939, 482231383637593177459008028199,
4843980782715074822676077184028199, 394668061607428061401728028199,
12728693554063123215744783939, 4843980668212176708731415744028199,
5921278110253973579476247424028199, 17364452387221594933464545073031,
6608146408337156949925437422176290959, 2344826143069109271303802370672490939,
892337653360221340975726475410726041028199, 461660762184218521353029,
28152526572313379100, 3105423360028199, 41042738969164763540928028199,
1036876324575770496783939, 3341004218237056896243959, 9386214329088269131,
3343331620103518080028199, 84463693892352053139, 272157392800512035159,
764785152035971, 272346966952704028199, 6880080384028779, 22168318464028199 ]
; 

SMALL_GROUP_LIB[ 12284 ] :=
[ 122265333350600811447, 124649895515463732439135383, 826061350639137159,
23100232488259207, 811648990229, 1876486155655 ]; 

SMALL_GROUP_LIB[ 12292 ] :=
[ 508429236653954682947, 101262309636025728323, 95396280102323,
8235878832311363 ]; 

SMALL_GROUP_LIB[ 12294 ] :=
[ 11401878945450895222008247, 1362102981961608239, 927434427049273151799,
117689143374111, 75438740307419191 ]; 

SMALL_GROUP_LIB[ 12300 ] :=
[ 311708003089289096204290756839, 47169510502808185631926412906498752159,
47169510502793240563075540586498752159, 12091717798921370823033884674752159,
983066487823545924587522752159, 3834008438002558927490781186752159,
5854568444525019136068959, 3834008437998226671053836295872079,
5850236539704967168196879, 580184979184540683272674369559072775681759,
580184979184356858925808640023072775681759,
148728128926732861116014346637319681759, 12091717800229607595784540167681759,
47158303787431474794230795735047681759, 72011200623850580606976193759,
72011191855099312340992193759, 72064474274128488038400193759,
885737767673359032952815616193759, 5854569156682711040193759,
5854568452057464942272039, 342098055203273400845128962946891778497723,
4207806079098568894153765688777174155264126523,
342098053630296467526017025398538240126523,
2012414642887744719028032342238791733248126523,
13301695277028676134611490177024126523,
44636312593117712700289939655364613056123,
87776194514257562786334261998284656476688386564959,
87776194514257562786150437651418926940688386564959,
22510092440709262170871448556752464252930564959,
2561335979220139673651268823274355167331841723,
332116194764492824666709495715820259419770064896126523,
27001316647519646584278724616983062129676288126523,
580631164061916067536980106997665794564959,
80615232291461663473755226112068959, 3835575240678677186852425730564959,
475621459230720068959, 5850131245076316160068959, 475982235435008068959,
5850130892083691520196879, 475629242810368196879,
71956614302073712279552193759, 5854569156666982400193759,
1081438643657917659757412354497723, 13301695316992437386256095903744126523,
159855705515490517450752126523, 80615232236853683937749762048068959,
133232040045222821888068959, 39728447488068959, 25343276335534968834756839,
1949409658357682178814403, 3834919567369648465792471042752159,
3834919552424579614920151042752159, 983085981391612013449218752159,
311722303233425782345730752159, 6498023544717312068959,
295038077369545756968488965056123, 580185038758015321002015932129218562564959
, 580185038757831496655150202593218562564959,
148787702401370590457576916783106564959, 295038078019331359180328965056123,
580185038758015347643225622814658562564959,
148787702401397231667267602223106564959, 119887393229139518427141056123,
47217877262069204135793365880834564959,
47217877078244857270063829880834564959, 60458540993644847518153445378564959,
3834184329792787799772499970564959, 79956118519697899520068959,
792434369888256126523, 399620206184386002944068959,
983460257794590262165504068959, 311722298901169580281863872079,
2166119529971712196879, 23977738771425097945098176043,
47169510678646676112039925518343681759,
47169510494822329246310389518343681759, 12091957571116823764713082887681759,
3834184329771126518762180615681759, 79934458999624171520193759,
158505802661888254443, 79925690248355905536193759,
133208109277531602944193759, 983193845695570284380160193759,
3628968351645412791185663594595841723,
7136275976723588448324795972573210611712068959,
7136275976721327408858347499280410611712068959,
1830088739536858262628206761977057280068959,
3628968359637775698391295594595841723,
7136275976723588776011675168004122611712068959,
1830088739537185949507402192889057280068959,
1474614936718409756659159139841723,
580779890323451210870267435017834496068959,
580779888062411744421794142217834496068959,
743640054221831624485623784280064068959,
47160467256451289947061863845888068959, 983460309880620737101824068959,
1950149335526670338497723, 983460257796351198494720068959,
8192197328024756496629760068959, 148787710281839113057460521795584068959,
1950677573546541058497723, 4915328536072208317153280068959,
983726669891497112371200068959, 12096561811531637320864759808068959,
119901688406688522043394497723, 12096561170873464285221879808068959,
60466421408885028020505018368068959, 39969615925469410754762240123,
158488591335534334400, 264192430964736126523, 311782109503774160322560068959,
1950149335479484418497723, 25348137222755844096193759, 158505771204608254443,
2060471908696064196879, 4297064448198361, 25348138983692435456068959,
158548720877568126523, 2060824096014336068959, 12886999040070363,
167505821696068959 ]; 

SMALL_GROUP_LIB[ 12308 ] :=
[ 14575374640916757126179, 1221390243369488199615,
2210537224794244354119211682879, 2210537213151080910700321442879,
2720787393723160664230562879, 179393727841413542474402879,
17960549996067842879, 1185592343109122879, 8095749152235, 96241996802879 ]; 

SMALL_GROUP_LIB[ 12321 ] :=
[ 3263871414134515895, 1487854709112532547981663, 1487852620336566022492511,
265685931872351, 496942382763236240001290591, 496942381849396754646389087,
179851486322959643099746655, 179851482798150199587983711, 21552881759,
265685770629215, 96156027383903 ]; 

SMALL_GROUP_LIB[ 12324 ] :=
[ 122149267923121014737771, 122182497071290472281607, 9913044177511914347,
1505367624674377508699748677, 122274606083776494389573, 9914120700895464299,
122181331228802440605191, 9914203297179844103, 827810634799979,
973973442499780156992855191, 11686166510941605515387495390947897919,
11686201428968058326755244096645296703, 948244604912635753375579556315711,
948247438248115533590424469144127, 948256646006480610166181805257279,
1949053799384269666904132459, 4782389279164484511816960875,
1135657035360135160351595, 948244604330691544254569159012927,
76942924865968901264634987071, 158565523757324213963627, 12828948378797378411
, 1166468335045091141, 1949053337711155320736433003,
4782388817491370165649261419, 158151071048482464682859,
388054956132888083387243, 1135195362245788992652139, 158151033584323086355307
, 388054918668728705059691, 92112576968357284715, 158103850642978046264171,
12866412538175705963, 79031793008336667778199, 76943320013271387499883901503,
506602749969484893035, 46058108374121133575, 973987816740524331694621073,
948249475843556645554442160072779, 6243926091002417757236075,
6413264994579045965, 6243372316434346689390443, 7378522741564005259125611,
76950145145523024865656398699, 1949054490343312774713123767,
4782389970123527619625952183, 14391729181496586150515,
158197088125627964078405, 1748951560105902828, 12832785502824635243,
31487758326940638059, 106432795914053, 1052502092815211,
553712871171411043409771, 6413262407670812237, 44892265886089457159,
47673023237347, 44929635623317193579, 520707671629637, 3642736351415147 ]; 

SMALL_GROUP_LIB[ 12325 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12330 ] :=
[ 192949969337920072604031298655, 347712740330934090200779,
15646246008984451279974223, 9401207217165254729, 15648821519584921084406879,
28200554665844964427, 1268957486279035403215, 768235236983417,
1269166350977800252511, 2292795081945595, 102913744851872863 ]; 

SMALL_GROUP_LIB[ 12340 ] :=
[ 6904135276520598848434471, 33678762106017127067587,
1051561016754967547233215260924319, 1051561019325710248016249222601119,
256422660333859156237433706911, 85197030434573216659257170335,
1683937951170114750879, 559614556955137477023, 225771390486491,
45343188776520095 ]; 

SMALL_GROUP_LIB[ 12342 ] :=
[ 33484984738872322799953834393, 413271681647162567135462307143577,
549148199397263583223705, 311761931219299665614817204639,
1067978513747007248799, 13783943232888729, 484871692755567336495519,
23573300034398122393, 39286288731189842335, 1908494689148697,
3180801441175839, 17314126321, 39286314432274110879, 1910006517604249,
3183137903352223, 154753047033, 257832262047 ]; 

SMALL_GROUP_LIB[ 12350 ] :=
[ 992349139237413092071163, 51955768803308340053, 80294027259188312747,
1147483915348053, 80352157014407955707, 4206944716337693, 6501540317112971,
93117932409, 6506246036791547, 340787386721, 526539479291 ]; 

SMALL_GROUP_LIB[ 12364 ] :=
[ 134224202403870477505879, 1659548125978870474385922799,
98404235064360962799, 10863845454766082799, 28520038478129, 878220492802799 ]
; 

SMALL_GROUP_LIB[ 12372 ] :=
[ 7351102464939679682059, 21389115403001513100, 7336844573359022562059,
612276793699871, 593008081812802059 ]; 

SMALL_GROUP_LIB[ 12380 ] :=
[ 34339827083378977727895, 263153624197214264461134554039,
1716991198026739732391, 570604568753722899623, 228717797086077,
46084302180944807 ]; 

SMALL_GROUP_LIB[ 12388 ] :=
[ 12105139005645205859, 704303874367073891, 6016898500595, 56796876811619 ];


SMALL_GROUP_LIB[ 12396 ] :=
[ 1140566279589931103541386695751, 6018937361255665633295,
92009688064458242155238471, 1140552093244760832136698337295,
7437134083127790405647, 74618196213670971819066887, 21597542907278574528,
485796851129255951, 7422737251707648149519, 617046210657337,
598788901156554767 ]; 

SMALL_GROUP_LIB[ 12397 ] :=
[ 179964487 ]; 

SMALL_GROUP_LIB[ 12402 ] :=
[ 1159150625602941503, 14375747159290973624791, 1159161502479915479,
178288016250298414815585463, 14375902329024338404535, 96553574478399,
154579595873237559, 101564711750942857441855, 8189381643025527359,
7665813519963108622383, 1259605555136165993704829503, 154592030066032687,
101564712411232554103359, 12847854795319, 606571740705884378918482495,
10540329553441187886735, 48868238663784641406135, 77274078782731429,
48909187283830400594495, 849889551342845999, 3940351441588820439,
6277929149389, 3943652950904746559, 68570557725239, 317741072134719 ]; 

SMALL_GROUP_LIB[ 12404 ] :=
[ 536910009230730825819, 106938777110698450267, 98929103944559,
8619045495819355 ]; 

SMALL_GROUP_LIB[ 12411 ] :=
[ 78205021224679, 802836852641 ]; 

SMALL_GROUP_LIB[ 12412 ] :=
[ 268881831296384857519, 357081654187058839672694183, 2317842942581789079,
84427936623836823, 1749288086933, 6791116066199 ]; 

SMALL_GROUP_LIB[ 12425 ] :=
[ 6720704792404119, 547044884119, 689184084119 ]; 

SMALL_GROUP_LIB[ 12428 ] :=
[ 2791166050235813610511, 8290395707598854911058529335, 53675088921916535079,
4843004335005044263, 18173186113121, 389440083127591 ]; 

SMALL_GROUP_LIB[ 12438 ] :=
[ 629446126412658717479, 7829050549461156454077479, 629446354897238397479,
50629281466077479, 12371480528185359889677479, 1443859340634433591,
994651907293571517479, 123309139191511, 79969602888477479 ]; 

SMALL_GROUP_LIB[ 12444 ] :=
[ 1448489364400303169904270059, 224578989299047615172483385917016959,
224578989298970673645138800803416959, 279536004209806025355659837016959,
22463516999163368572272216959, 18025001650732687766207856216959,
23819380072814592004559, 1903223302963204559, 23683681569346560004559,
1914128863027204559, 116406490050666864270059, 29594797823933194028415,
18047170540722835214197718616959, 18047170463781307869612605016959,
22463609723568116478115416959, 1448562497515526271139416959,
145063963603353604559, 1448562362112315469990440119, 9671632931635254119,
368277664041159969353544075, 224578990208754961383792842812804559,
224578989251294595107775689174404559, 279537159400081659404061552004559,
18025911719083207051471728004559, 1805331008809823846404559,
2378302862745812475, 1805175970099309670404559, 2045864848956097536004559,
22465539073632435869491204559, 23703329525639286600059, 475629976182812400,
156067430404559, 116543797277822668804559, 2378302166016212475,
9354580005888054119, 12839731257541, 9365460135321604559, 191202508807155,
751771238404559 ]; 

SMALL_GROUP_LIB[ 12446 ] :=
[ 4834575161369351, 60170702530346214407, 4900385739432455, 419406913799,
2499764373908061756551, 8035201791978863, 200848782809783303, 653306893727,
16139097660167 ]; 

SMALL_GROUP_LIB[ 12450 ] :=
[ 16054169166595983576690776903557, 199874406124121507838113560373889093,
2344498315352837037529911877, 1453546241569186723886778300241371,
5470336010990779036117467, 8319171451567438405, 9497067777143896335679965147,
28256838054069315407749, 762816638502054102127843, 2269018716136564017,
61260328243469247687, 61216564590103, 762816688917927306245595,
2269626136294560325, 61270411418109186523, 182700595307145, 4920577836272091
]; 

SMALL_GROUP_LIB[ 12452 ] :=
[ 102692399502620102915, 11337775528280694275, 29343668991891,
910058476555523 ]; 

SMALL_GROUP_LIB[ 12460 ] :=
[ 1167912411775021867682199, 14552189033755277374882886671,
479422233374269398223, 40271913256413536437699,
181355896108666673256605998481247, 181355895826770825150277200478047,
44659108207153906916131962719, 3512489393008322762998426381,
2263033093132379410709348765421919439, 2263033089619957143304491942302047439,
3895080106653799881541730055347407, 14552188841974003789044219743,
287656350308739618975, 181320275361933104588273779334351,
5975520806790502602005711, 5388503585848445133, 5973601147363952048495823,
25088824248210617368861903, 74454989252589226952134515919,
1168333804178385650343119, 5388498857370470605, 93751355483042650271,
260066288645419, 93766746003352870095, 432993483126957, 7523008457497807 ]; 

SMALL_GROUP_LIB[ 12465 ] :=
[ 472578666667295 ]; 

SMALL_GROUP_LIB[ 12468 ] :=
[ 6647967703364393564699, 7700279456549663370779, 82894573494060170097242693,
22232593254677071788, 533450138567456795, 7685459294136302471963,
631521752862391, 616402378081462811 ]; 

SMALL_GROUP_LIB[ 12483 ] :=
[ 15008625708808477391, 12864903777931976729, 2350419308219169405989215055,
2350419338236075281660959567, 2350419421854598792460819279,
21059991504390501199009209167, 21059991444356689447665720143,
21059991515110824726034832207, 11722804602383806121827151,
11722924670007308808805199, 187352737337140203674447,
187357025485635321518927, 75230439436700495, 1208339292277583,
10826830320290639, 83416832585, 97176243023 ]; 

SMALL_GROUP_LIB[ 12492 ] :=
[ 352205757892518977005143, 4400460701274886280720713303,
1015170529898304938335, 4399754372528095440070957655,
54970555080298572926366999408215, 1978940020999017851747836430212707,
8578158638409315266245006661805249221111, 3044846390466296003772,
4374399606172324156694823511, 1015166086773590847839,
350176075367278288146007, 81880441159906799, 28030404356993033815 ]; 

SMALL_GROUP_LIB[ 12495 ] :=
[ 644107856854869, 51673904629, 644348375023445 ];