Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 415105
1
#############################################################################

2
##

3
#W  sml1344.e              GAP library of groups           Hans Ulrich Besche

4
##                                               Bettina Eick, Eamonn O'Brien

5
##

6


7
SMALL_GROUP_LIB[ 1344 ][ 5 ] :=

8
[ 566870811335786075370688908509, 761874370435292045070827143024349,

9
1023959153864302784237678190714621149, 567851555963631910763312188637,

10
1023959153864303326780352779321748957,

11
1376201102793622942010999259525339426269,

12
1025730708193117035973212371990671325, 1023959154845776589034146963192344541,

13
1373821906648144721771834417243074307549, 760557232588170100917018349799645,

14
565890798056677485998871085277, 1022187601499165862396345909551448797,

15
1022188920598500611192207179686038237,

16
1846419025274358678963017003806413149138909, 313281030186404908443869,

17
421049157587702447117248733, 421049157587700713431050461,

18
565890067250886894383368710365, 565890067793429690440284905693,

19
760556251114364900593225877760221, 1022187601497706421793937044621733085,

20
1022187601497706421793937127158063325, 760556251114364900593280901980381,

21
1022187601497706421793937099645953245, 1022187601497706421793937072980369629,

22
760556251114364900593226079314141, 1022187601497706421793937044830005469,

23
1373820136412917430886448029427706637533, 506724689525819574182232974059440,

24
420423760026891071846685360, 420423450002505607967668656,

25
565049116803541614320135543472, 254209147122787180439791272450480,

26
341657093733025960852144789448653488, 341657093733025418309470227500390832,

27
459187133977186162198269050791067777712, 506724689525819574182563119380400,

28
915315048779030718137476735764798531504,

29
915315048779310826487404892571799807920, 341657094713769502804673023547824560

30
, 254209147852507077725898800961456, 459187135295306211759821608678818708144,

31
459187135483609076603814983942891240112,

32
459187135295306212303172239569442175664,

33
1653366523951319231277577313744855258407528368,

34
915315048779030718137476735769877690288, 420423450002505607779551664,

35
565049116493517228856068409776, 341657093733025418309470227312273840,

36
459187133977186161655726376228931398064, 759426012567287329659843230222256,

37
1020668560890434171236756340420512176,

38
1371778545836743526142374448559657036464,

39
1114775761128712516673099302499574022288046557872,

40
829446250839815860619865552462227014460271024,

41
617147508065339182008828543245023925970864,

42
681037993933811556661491343164913428, 567851559222116224054539911525,

43
567851557051945525806106927205, 763192492677816336367417552634213,

44
341664627668979318738694295433351294, 459197259587108204383618697183314522494

45
, 459197259587108200120783397052258324606,

46
617161116885073420962331699202067345944958,

47
1023961800894778173920636007503371877,

48
1230183445810425151905475884347850161075988,

49
1230183445810425291803282212441052615751444,

50
1230183445810425432013825812504657162352404,

51
459197259594814046498959990449773875326, 341664627674712832217370853134749310

52
, 617161116895430078494601040728328246112638,

53
617161116895618381363170867001128022421886,

54
617161116895430078498870224256754573357438,

55
2222124644771420127192329687163245676575975094036,

56
1849619063581068066810187194702373425913445, 567851557051945525805905373285,

57
763192492675646165669168918095973, 459197259587108200120783397052056770686,

58
617161116885073420958068863901936088193150,

59
1025730710156068448209047073610245733,

60
1378582074449755994394508875857975765093,

61
1852814308060472056466221478762040720656741,

62
1498291661300738294963436012552337451510915839736190,

63
1114800343229715993276366080768109105671259101310,

64
829464541093538685473486667239059238782097022,

65
915315048785617069330930674148826219712,

66
1229265394467202298541380054684780338676928,

67
1652137716057723317838994286711318495350001856,

68
2477891599253370283656494617901121191885067456,

69
457826834087019804129868280067779908800,

70
8084987972503800694096820622111824458941991448961310298304,

71
1230183439241134403467208523390655095561780,

72
1652132690177593342604869698790588194098961972,

73
2220473115080431450424047654037009868360520082484,

74
3331112682255827957058993223692608641826706146868,

75
615319265012961906047030476018376530708020,

76
10868920165518258555500573000525376196343833918466802402501684,

77
942496525572066062275454053853, 1268032470404597092951215068687837,

78
1268032469675419738339669913382365, 1268032470404597092951214843619293,

79
522315083900967615433949, 701262295812248589116476637,

80
701262295812248588686494941, 701262295812248588683135709,

81
943476540479610631691435412701, 943476541022557284417827933405,

82
943476540479610631691432053469, 944457284021967138089552219357,

83
943476540479610631691425335005, 981266399983083689093802461,

84
2636941361961864018852210846173, 3544049190476745642930583561152989,

85
1318822771840913989507548849629, 3544050171220830542109810146616797,

86
730108928260036696541405, 981265857440409127360530653,

87
981265857440407421193160925, 1962009941935611923837946077,

88
1962009941935611923831227613, 2636941361961864018852639148253,

89
1962009941935611923192973533, 1318822041578070048968107100381,

90
1318822041578474028838505416925, 1318822041578070050674052760797,

91
1772872169382025009116110369916125, 1772495843866019005129445457407453,

92
3544049190476745642930583137889757, 5315602538547455829912989876563421,

93
3544051151965458387945230087171549, 6401745410082350158655739744312197834717,

94
4763202112000746144500296940484832733, 981266399983083689098841309,

95
1318821312400311460964464954589, 1318821312400311460964034972893,

96
1318821312400311459257864243933, 2636941361961864018852215885021,

97
3544049190476745642930583566191837, 2636941361961864018851570912477,

98
1772496823880926549697155268037341, 3955061412609713860356337831133,

99
1772496823880384007024299277192413, 1772496823880926549697127742490333,

100
1772497804625011448878088020870877, 1772496823880384007024299062201565,

101
1318822042663559377962405301469, 1772495843866019005127739290037725,

102
3544049190477288589581603363040733, 3544049190477288589581602933059037,

103
4763202112001475864801559505008685021,

104
6401743638529002818751747331657320934877,

105
3201724822860797326252386743182605610973,

106
4763203430121525969300770092489911773, 981266399983081982931471581,

107
1318821312400311459257867603165, 1318821312400311460964031613661,

108
1772872168652847250526427867597533, 1318822042120612723529845411037,

109
1772496823880926549697155271396573, 2382740195649442155600261067816782557,

110
2636941361962267995309849480413, 2636941362504810669872430958301,

111
3544049190477288589581602934738653, 4763202112000746144904273398761721053,

112
1772496823880926549698861213697757, 2382235731295236105842250855856295645,

113
2636941361961864018851555795933, 3544049190476745642930582489557981,

114
4763202112000746144500296939413237725, 3955061412609309880486572729821,

115
3955061412609309880486142748125, 5315602537817735528647011731385821,

116
7144169810826307373550857385862735325, 1772872169382567551788966150809053,

117
3202402822952849527406851127856761006045,

118
4763203430121525969300771825951041501, 730108928258303010343133,

119
981265857440407394104314077, 1318821312400311459230345415389,

120
1772872168652847250524694181399261, 1962009941935611923827868381,

121
2636941361961864018852629070557, 1962009941935611923182895837,

122
2636941361961864018851567553245, 3544049190476745642930582494596829,

123
1772872448656951825337959681296605, 1772496823880926549697127749208797,

124
3955061412066767205923992931549, 3955061412609309880486574409437,

125
5315602537817192985972450629649629, 1318822041578070048968100381917,

126
1772496823880926549697155261318877, 2382740195649441612653608341417543389,

127
2382740196630185697552787568009725661, 1772872169382025009116137888744669,

128
2382740570994942711113025590358770909, 4763202112982219949700742171239444445,

129
7144169811807780635804651596190642141, 7144169810827036550905468929959882717,

130
12904771119408747775896540152659805291671517,

131
6401745410083331632460940191277293694941, 1318822041577666070775077457629,

132
1772495843866019005127712202870493, 1772495843866019005127711772888797,

133
2382740194669426705109037191761743581, 1772496824610103904308672481251037,

134
2382740195650170790008219858637475549, 2382235731295965283196860667540393693,

135
3544049191207008890847581079916253, 5315602538547455829912989233270493,

136
5315602537817735528647012163047133, 5315602537817735528647011733065437,

137
2382235731295236105842249149903916765,

138
3202402822952848798229496518045518647005,

139
3202402822952848798229496516311832448733,

140
4304030072048720836292420831546719463886557, 1962218278322643848048255453,

141
2637221366066034852219353539037, 3544425516723014490856081116505565,

142
1459983837738931083804893, 1962218278322643821387710685,

143
1962218278322643848261566685, 2637221366066034852246239152349,

144
3544425517452192249445790716069085, 1320082061132328126312534442205,

145
1774190290161849405611125874508509, 2637221574402421884143575605725,

146
3544425795996855413772477844398557, 3544425515992751242939110046655453,

147
4763707893494257670911684078624565213, 1321062804674280656278824953309,

148
2384512124341553980293501289557534173, 1775508408753056248947656146101725,

149
2384512124341553980293501289127552477, 4763707894475002298757517766367061469,

150
6402423411492523139635004607311481530333, 1962218433334836607611568349,

151
2637221574402421884144433889501, 2637221366066034852246874047197,

152
2637221366066034852219355218653, 3544425515992751242939111119930077,

153
2637221574402421884143788916957, 3544425795996855413772477211183325,

154
4763708269819773676511692578684669149, 3544425515992751242939110051694301,

155
1774190568706513377895847425508573, 2386283301363377879089883636785874141,

156
3544425516722471948181546902062301, 4763707894475002298757517738849912541,

157
4763707895455746383656698698913302237, 1774190290161849405611125884586205,

158
2382741889115722535509522312030733021, 4763707893494257670911684078631283677,

159
6402423408856282309705704921838319103965, 3544425516723014490856107788807645,

160
4763707893494987934159601049701133789, 1775508408753056248947655729556957,

161
4307230092634624270533617341214784672133085,

162
4310429433451518543875066736629199577066973,

163
8604857065045950119655081995865912205570013, 2637221366066034852246027520733,

164
3544425515992751242939110703385309, 3544425515992751242939083177838301,

165
4763707893494257670911684079704558301, 3544425515992751242939110058412765,

166
4763707893494257670911684078636322525, 3544425515993294593569973811383517,

167
5315978863333741532635409483566301, 4763707893494258214262314970116394205,

168
1775508408752513706273093996285149, 3204784295115047820337512603967602347741,

169
3204784295115047820337512603967172366045,

170
8604857741274488823786612166575366320279261,

171
6402423411492522410457649995766337982173,

172
4763707894475002299161495930609765597, 7144675593300562985265405327827143901,

173
2384511749977525601545200250422250205,

174
3204783791969794408477152983624534576861, 2637221366066034852246019122653,

175
3544425515992751242939083182877149, 1320082060589381475318546572765,

176
3544425515993294189590103401309661, 1774190288702951749737042002650589,

177
4763707893494987391212946617131165661,

178
3204783789333554308811101216856526267869,

179
2384511749977525601545200250413852125, 1962218278322643848053294301,

180
2637221366066034852219365296349, 2637221366066034852246232433885,

181
3544425515992751242939110061771997, 2637221366066438828677422154973,

182
1774190288702409207062479852834013, 3544425515992751646915541668037853,

183
3544425515993294189590103402989277, 2384511748016037432150818227987547357,

184
4763707895455745841114024136761806045, 1774190290161849405611125877867741,

185
2384511749977525601545200250415531741,

186
6402423914637775821232116308950018321373,

187
4763707893494258213858335071985937885, 4763707893494258213858335071555956189,

188
6402423408856282310248651572832097021405,

189
8604857061502843424245010763121843712863709,

190
4304032453017737781902668488014032379325917,

191
3544425795996855413772476999551709, 4763708269819773676511692579326282461,

192
4763708269819773676511692579319563997,

193
6402423914637775821232116308951091595997,

194
4763708269819773676511692578681309917, 3544425515992751646915541251493085,

195
3544425515992751646915540821511389, 1774190288702951749737042434311901,

196
7144675594281307069760608151598319325,

197
3202405098971531087725199469146040339677,

198
3202405098971531087725199469146036980445,

199
9602443996078817345634559634204555014109,

200
6402423408856283039426006184376825704413,

201
4310429435223071891945233976957146025390045,

202
5315978864063461429921516588814045, 7144675592320548620263510502172839645,

203
7144675592320548620263510501527867101, 2384511748016037974693492789520944861,

204
4763707893494258213858335071987617501, 2384511748016037974693492789090963165,

205
6402423408856282310248651572832098701021,

206
4307229412864296990312943082362065169043165,

207
9602443997395956652197106316585885880029,

208
3204783791969795138197454247896082403037,

209
4304032453017737783362109090542575476657885,

210
7144675592320548620263510474654011101,

211
9602443998714076702301605527200029331165,

212
3204784295115047820337512603967600668125,

213
4307230092634624269804439986603239943450077,

214
3204784295115048549514867215512745895901, 1774190568706513377895846578982109,

215
2384512124341553437750826727407717597, 2384512124341553437750826726977735901,

216
1775508408753056248947656577763037, 2384512124341553980293501289559213789,

217
2386283301363378421632558197889289949,

218
4307230092634624269803897443928677995187421,

219
3202405098971531088268146121872432860381,

220
3202405098971531088268146121872429501149,

221
4763708269819773676511692578669552605,

222
6402423410174403089530505396724856907741, 2637221574402421884143577285341,

223
3544425795996855413772477846078173, 4763708269819773676511692579742827229,

224
3544425795996855413772477201105629, 4763707894475002298757517766368741085,

225
2382741889115722535509522312040810717,

226
8604857741273170703735964720712024711032797,

227
6402423408857263783510905367070145310685,

228
6402423408858244527595804548030423691229,

229
4763708269819773676511692578473037533,

230
6402423914637775821232116308950668332765,

231
8604857741273170703735964720712025784307421,

232
6402423914637775821232116308950023360221,

233
4763707893494987934159601077221641949, 4763707893494987934159601049702813405,

234
4763707893495717654460865348124495581,

235
6402423410174402360353150785179928350429,

236
6402423410174402360353150785179713359581,

237
6402423410174403090073452049451476176605,

238
8604857741274488824516332467839637868105437,

239
4304032453017737781902668488014032381005533, 521772541226405500889309,

240
701261753269574027001931997, 701261753269574026571950301,

241
942496525572470040443600185565, 942496525572874018607831132381,

242
1266715330369400138310019110251741, 1266715330369943084962745497733597,

243
981265857440409126984296669, 1318821311857768786401920428253,

244
1318821311857768784695753058525, 1772495843866019409107613603539165,

245
2382234414155930086242221205266476253, 2382234414155930086242219499099106525,

246
981265857440407393298098397, 1318821311857768784668664211677,

247
1772495843866019409105879917340893, 3202403327416222988829167284255520925917,

248
4304029392278393557530101281917065387896541, 1319102254018224057480417386717,

249
1772873429400493374007708761858269, 2382741889114263094907113448370807005,

250
1772873429400493374007708116885725, 1772873429400493374007707915331805,

251
2382741889114263094907113447954262237, 2382741889114263094907113447947543773,

252
3202405098969569599555401226904915945693,

253
2382741889114263094907113447309289693, 2382741889114263094907113447101017309,

254
3202405098969569599555401226904492682461,

255
4304032453015101541802459489712483529829597,

256
3202405098969569599555401226903847709917,

257
2382741889394475535464978739319021789,

258
3202405099346175119665172068799199191261,

259
3202405099346175119665172068798554218717,

260
4304032453521259360829991501108121724627165,

261
5784619617532572580955508577729958444701068509,

262
1772873429608829761039632983924957, 2382741889394267199077946815096955101,

263
2382741889394267199077946841970811101,

264
3202405099345895115561001235431411525853,

265
2382741889394267199077946841762538717,

266
3202405099345895115561001235404537669853,

267
3202405099345895115561001235431404807389,

268
4304032453520883035313985901099621679639773, 521772541226405489131997,

269
701261753269574026990174685, 522315083900967610395101,

270
701262295812248589111437789, 943476539936663978965031134685,

271
701992016113512860659263965, 701992016113512860652545501,

272
521772541226406307104989, 521772541226405877123293,

273
701991473166860134695045341, 701991473166860134688326877,

274
701991473166860134684967645, 1459828825546144001663453,

275
1962009941935611923826188765, 2636941361961864018852627390941,

276
981266399983083689940328925, 1772496823880383603046135034488285,

277
1962010484882262916532511197, 1318821312400311571923855089885,

278
2382740194669426705109151591438787805, 1772495843866019005240405277524445,

279
1459828825546144859947229, 1962009941935611924254490845,

280
1459828825546144214974685, 981266399983081984201261277,

281
1318822041577666070803866075869, 1318822041577666070776347247325,

282
2382235731295235562895598129677086173, 2636942092225111935849297948125,

283
3544050171951093790026807660341213, 1772495843866019005240405289281757,

284
3202402821635709491666949948330405375197,

285
2382234414155929543295679434785606109, 1318822041577666072509620260061,

286
1772496823880383603046135046245597, 1318822041577666070775923984093,

287
1772496823880383603044428875516637, 1772496823880383603044401349969629,

288
981265857440409126972539357, 1318821311857768784668652454365,

289
1772496823880383603044428867118557, 1962010484882262943198094813,

290
2636942092225111934116464994781, 1772872168652847250639093858443485,

291
1772495843866019005240405282563293, 2382740194669426705109149885271418077,

292
2382740194669426705109151591433748957, 981266399983081983777998045,

293
981266399983081956265887965, 1318822041577666070803869435101,

294
1772496823880383603044400933424861, 1318822041577666072510033445597,

295
1772872169382024605137973869429469, 1772496823880383603044401356688093,

296
2382235731295235562895596395992567517, 1772872168652847250637360172245213,

297
4304029392278393556800380980763749756759773,

298
2382740194669426705109149857759307997,

299
3202402821635709491666949946596709099229, 522315083900968456921565,

300
522315083900968885223645, 188723808901579461699373510969,

301
254209287750468641621483021414713, 254209287437964061073677954855225,

302
254209287750468641621482796346169, 104711313302174150398009,

303
140419500670689246920937529, 140419500670689246490955833,

304
140419500670689246487596601, 189143815290527134306713112633,

305
189143815523218556903738478649, 189143815290527134306709753401,

306
189564133951537065620191744057, 189143815290527134306703034937,

307
420423604841524346898263353, 1129957605071835734651789946169,

308
1518663021216547398120552595565881, 565049637877142864932645251385,

309
1518663441535440926339230450526521, 312815182046707323833401,

310
420423372323235249257319481, 420423372323233543089949753,

311
840742265678322162279058489, 840742265678322162272340025,

312
1129957605071835734652218248249, 840742265678322161634085945,

313
565049324907352603726751730745, 565049324907525738931875220537,

314
565049324907352605432697391161, 759802198185098897919206844074041,

315
759425872669093124777207206392121, 1518663021216547398120552172302649,

316
2041083100515039703244770657459777849, 2277900170389708906827297917448505,

317
1518663861854567145983972293423417, 2743216446329362221352687823599077616441,

318
420423604841524346903302201, 565049012402598924128473157689,

319
565049012402598924128043175993, 565049012402598922421872447033,

320
1129957605071835734651794985017, 1518663021216547398120552600604729,

321
1129957605071835734651150012473, 565049325372562317127590449209,

322
759426292675482072448108375264825, 1694866198206628523867478691897,

323
759426292675249554160716476747833, 759426292675482072448080849717817,

324
759426712994375600668492397595193, 759426292675249554160716261756985,

325
759425872669093124775501039022393, 1518663021216780089541443030298937,

326
1518663021216780089541442600317241, 2041083100515352440516739352527729465,

327
2743215687092213361393833932477004034361,

328
1371779051805839578894107966962549322553,

329
2041083665423945342444972446212698425, 420423604841522640735932473,

330
565049012402598922421875806265, 565049012402598924128039816761,

331
759802197872594144237929705328185, 565049325139870892824397713465,

332
759426292675482072448108378624057, 1021174154360773151665547934441885241,

333
1129957605072008866444153753657, 1129957605304527155542642903609,

334
1518663021216780089541442601996857, 2041083100515039703417902450461839417,

335
759426292675482072449814320925241, 1020668937355535400962750906782798393,

336
1129957605071835734651134895929, 1518663021216547398120551523970873,

337
2041083100515039703244770656388182841, 1694866198206455388662988417337,

338
1694866198206455388662558435641, 2277900170076971634855189228171577,

339
3061497828583137372837867016355555641, 759802198185331416206598532639033,

340
1372458063460878803101395125805078932281,

341
2041083665423945342444974179673828153, 312815182044973637635129,

342
420423372323233516001102905, 565049012402598922394353618489,

343
759802197872594144236196019129913, 840742265678322162268980793,

344
1129957605071835734652208170553, 840742265678322161624008249,

345
1129957605071835734651146653241, 1518663021216547398120551529009721,

346
759802477876698488204796244200505, 759426292675482072448080856436281,

347
1694866197973937099564500947001, 1694866198206455388662990096953,

348
2277900170076739116566092218763321, 565049324907352603726745012281,

349
759426292675482072448108368546361, 1021174154360772918974125337409800761,

350
1021174154781091812502344015271479865, 759802198185098897919234362902585,

351
1021174530266282535799594729717958713, 2041083100935671334044961470027985721,

352
3061497829003768770946636937864213305, 3061497828583449877418414820363957049,

353
5530093741691549609496537836157567449166649,

354
2743216446329782852983488016145987072825, 565049324907179470198996914745,

355
759425872669093124775473951855161, 759425872669093124775473521873465,

356
1021174153940766530026450996395758137, 759426292987986652995885499732537,

357
1021174154361085423554673114540986937, 1020668937355847905543296978378150457,

358
1518663021529517361513551291273785, 2277900170389708906827297274155577,

359
2277900170076971634855189659832889, 2277900170076971634855189229851193,

360
1020668937355535400962749200830419513,

361
1372458063460878490596814579733925319225,

362
1372458063460878490596814578000239120953,

363
1844584316303075730273821672449181218329145, 840950602065354086489367865,

364
1130237609176006568018932639033, 1519039347045522961522051327863097,

365
625707293076397530022969, 840950602065354059828823097,

366
840950602065354086702679097, 1130237609176006568045818252345,

367
1519039347358027715203355563853881, 565749335632989398798444987449,

368
760367107090737924987524371334713, 1130237817512393599943154705721,

369
1519039626736657168962446878811449, 1519039346732552998129079081068345,

370
2041588882008551229656157795599510329, 566169654293826198345372150073,

371
1021933767414830222591227172109822265, 760932015058398000704170391316793,

372
1021933767414830222591227171679840569, 2041588882428870355875800805244348729,

373
2743895458549310351199175189403483368249, 840950757077546846052680761,

374
1130237817512393599944012989497, 1130237609176006568046453147193,

375
1130237609176006568018934318649, 1519039346732552998129080154342969,

376
1130237817512393599943368016953, 1519039626736657168962446245596217,

377
2041589258334067235256166295659614265, 1519039346732552998129079086107193,

378
760367386469367725015319559309369, 1022692628238174176018243321260017721,

379
1519039347045290443232981205747769, 2041588882428870355875800777727199801,

380
2041588882849189249404021189060086329, 760367107090737924987524381412409,

381
1021175095175188174826664753412589113, 2041588882008551229656157795606228793,

382
2743895457419492852658046752787369358137, 1519039347045522961522078000165177,

383
2041588882008864199619550767853023545, 760932015058398000704169974772025,

384
1845955753697034344948620176592637614256953,

385
1847326511321230588099814543632430088106297,

386
3687795496290272692005535369019576674349881, 1130237609176006568045606620729,

387
1519039346732552998129079737798201, 1519039346732552998129052212251193,

388
2041588882008551229656157796679503417, 1519039346732552998129079092825657,

389
2041588882008551229656157795611267641, 1519039346732785862685148203814969,

390
2278276495592977407998921705525305, 2041588882008551462520713892449357881,

391
760932015058165482415072333828153, 1373478983405531506658199409192690307641,

392
1373478983405531506658199409192260325945,

393
3687796174542690582057046530318601422492217,

394
2743895458549310038694594641598428566073,

395
2041588882428870356048934304212226105, 3062003610496967792950609744314634297,

396
1021933391929951771356235164880686649,

397
1373478478753855180702953063991397175865, 1130237609176006568045598222649,

398
1519039346732552998129052217290041, 565749335400297977933824272697,

399
1519039346732785689549943068567865, 760367106465496072471050044123449,

400
2041588882008863966928126464650210105,

401
1373478477624037995131788022081614227769,

402
1021933391929951771356235164872288569, 840950602065354086494406713,

403
1130237609176006568018944396345, 1130237609176006568045811533881,

404
1519039346732552998129079096184889, 1130237609176179699811726428217,

405
760367106465263554181951986634809, 1519039346732553171260845427623993,

406
1519039346732785689549943070247481, 1021933391089313984472929574632163385,

407
2041588882849189016885732091000918073, 760367107090737924987524374693945,

408
1021933391929951771356235164873968185,

409
2743895963200986364184458139899068575545,

410
2041588882008551462347578659593728313, 2041588882008551462347578659163746617,

411
2743895457419492852890738173651780120889,

412
3687795494771798393972647697842572611334457,

413
1844585336718368706963927810935172589695289,

414
1519039626736657168962446033964601, 2041589258334067235256166296301227577,

415
2041589258334067235256166296294509113,

416
2743895963200986364184458139900141850169,

417
2041589258334067235256166295656255033, 1519039346732553171260845011079225,

418
1519039346732553171260844581097529, 760367106465496072471050475784761,

419
3062003610917286686305696684630133305,

420
1372459327915452906967208065697978945593,

421
1372459327915452906967208065697975586361,

422
4115332851943436439484698772372899033913,

423
2743895457419493165395318721456420057913,

424
1847326512080467737272743360914844910056249,

425
2278276495905714506835824629699129, 3062003610076961636521226263209759289,

426
3062003610076961636521226235690930745, 3062003610076961636521226262564786745,

427
1021933391089314216991218672073232953, 2041588882008551462347578659595407929,

428
1021933391089314216991218671643251257,

429
2743895457419492852890738173651781800505,

430
1845955073926707065144618691803658199913017,

431
4115332852507924713725790207679796990521,

432
4115332853072833306627718440800144183865,

433
1373478478753855493440225034393489101369,

434
1844585336718368707589402354875976775225913,

435
1373478983405531506658199409192688628025,

436
1845955753697034344636115596044832974319929,

437
1373478983405531819162779956997745109817, 760367386469367725015318712782905,

438
1021933767414829990072938074052333625, 1021933767414829990072938073622351929,

439
760932015058398000704170822978105, 1021933767414830222591227172111501881,

440
1022692628238174408536532418271105593,

441
1845955753697034344635883077755735118385209,

442
1372459327915452907199899488295004311609,

443
1372459327915452907199899488295000952377,

444
2041589258334067235256166295644497721,

445
2743895457984401758297246956310655003449, 1130237817512393599943156385337,

446
1519039626736657168962446880491065, 2041589258334067235256166296717772345,

447
1519039626736657168962446235518521, 2041588882428870355875800805246028345,

448
1021175095175188174826664753422666809,

449
3687796174542125673463911910662882976658233,

450
2743895457419913484288846943601009161017,

451
2743895457420333803182375164012557038393,

452
2041589258334067235256166295447982649,

453
2743895963200986364184458139899718586937,

454
3687796174542125673463911910662884049932857,

455
2743895963200986364184458139899073614393,

456
2041588882008864199619550795373531705, 2041588882008864199619550767854703161,

457
2041588882009176936891521196820484665,

458
2743895457984401445792666408505815192121,

459
2743895457984401445792666408505600201273,

460
2743895457984401758529938378907907117625,

461
3687796174542690582369783802289003514417721,

462
1844585336718368706963927810935172591374905, 104478795013076128181305,

463
140419268152400148898720825, 140419268152400148468739129,

464
188723808901752595202244815929, 188723808901925728701200935993,

465
253644799163955661060972217479225, 253644799164188352483569237806393,

466
420423372323235248881085497, 565049012170080635030020959289,

467
565049012170080633323853589561, 759425872669093297910710077697081,

468
1020668372867261392562738201258733625, 1020668372867261392562736495091363897,

469
420423372323233515194887225, 565049012170080633296764742713,

470
759425872669093297908976391498809, 1372458568677463721726051415032360283193,

471
1844583636532748451094829348755787053593145, 565329537347737456904336843833,

472
759802898195359151988791236240441, 1021175095174562700282843628664464441,

473
759802898195359151988790591267897, 759802898195359151988790389713977,

474
1021175095174562700282843628247919673, 1021175095174562700282843628241201209,

475
1372459327914612269180151744554315557945,

476
1021175095174562700282843627602947129, 1021175095174562700282843627394674745,

477
1372459327914612269180151744553892294713,

478
1844585336717238889778123954588611332714553,

479
1372459327914612269180151744553247322169,

480
1021175095454775140840708919612679225,

481
1372459328291217789289922586448598803513,

482
1372459328291217789289922586447953830969,

483
1844585337223396708805655965984249527512121,

484
2479122693228245176634801618292629546502467641,

485
759802898403695539020715458307129, 1021175095454566804453676995390612537,

486
1021175095454566804453677022264468537,

487
1372459328290937785185751753080811138105,

488
1021175095454566804453677022056196153,

489
1372459328290937785185751753053937282105,

490
1372459328290937785185751753080804419641,

491
1844585337223020383289650365975749482524729, 104478795013076116423993,

492
140419268152400148886963513, 104711313302174145359161,

493
140419500670689246915898681, 189143815057835711709675989305,

494
140732237942659649007824185, 140732237942659649001105721,

495
104478795013076934396985, 104478795013076504415289,

496
140732005251237052410760249, 140732005251237052404041785,

497
140732005251237052400682553, 625552280883610447881529,

498
840742265678322162267301177, 1129957605071835734652206490937,

499
420423604841524347744789817, 759426292675249381027217508870457,

500
840742498369743025606468921, 565049012402599035087863292985,

501
1021174153940766530026565396072802361, 759425872669093124888167026509113,

502
625552280883611306165305, 840742265678322162695603257,

503
625552280883610661192761, 420423604841522642005722169,

504
565049324907179470227785532985, 565049324907179470200266704441,

505
1020668937355535168271328309970743609, 1129957918041799127650053992761,

506
1518663441848410889732229141195577, 759425872669093124888167038266425,

507
1372458062896390216355723257093244956729,

508
1020668372867261159871426560145018169, 565049324907179471933539717177,

509
759426292675249381027217520627769, 565049324907179470199843441209,

510
759426292675249381025511349898809, 759426292675249381025483824351801,

511
420423372323235248869328185, 565049012170080633296752985401,

512
759426292675249381025511341500729, 840742498369743052272052537,

513
1129957918041799125917221039417, 759802197872594144350595696174137,

514
759425872669093124888167031547961, 1021174153940766530026563689905432633,

515
1021174153940766530026565396067763513, 420423604841522641582458937,

516
420423604841522614070348857, 565049324907179470227788892217,

517
759426292675249381025483407807033, 565049324907179471933952902713,

518
759802198185098724785735618414137, 759426292675249381025483831070265,

519
1020668937355535168271326576286224953, 759802197872594144348862009975865,

520
1844583636532748450782092076896340878357049,

521
1021174153940766530026563662393322553,

522
1372458062896390216355723255359548680761, 104711313302174991885625,

523
104711313302175420187705, 1266716314762630298421394939981067,

524
1702470678461082341994142743996149003, 1702470678458894809930308108530232587,

525
1702470678461082341994142743771080459, 701264468406815829168196619,

526
942497258007908546514734386187, 942497258007908546514304404491,

527
942497258007908546514301045259, 1266719254807352932129641167490059,

528
1266719254808981772087820345052171, 1266719254807352932129641164130827,

529
1266722197037980001648835517910027, 1266719254807352932129641157412363,

530
3955061414781904449432798537995, 10630262581299060702982549546772747,

531
14287072909265937586018086892061960459, 5315602543657670533330131609593099,

532
14287072912208169840715628039204185355, 2942754028854683711290804235,

533
3955061413154276425746742118411, 3955061413154276424040574748683,

534
7909421563466562123096909613067, 7909421563466562123096902894603,

535
10630262581299060702982549975074827, 7909421563466562123096264640523,

536
5315602541466882001511924749043723, 5315602541466883213448123609253899,

537
5315602541466882001513630694704139, 7148218699018148940313241933067125771,

538
7144169812791444688610151430998600971, 14287072909265937586018086891638697227

539
, 19201825990053420115609518322654585564427,

540
21429976005744810434073566160313330955,

541
14287072915150403724253130832486542603,

542
25807254135946456677400534652381970193377035, 3955061414781904449432803576843

543
, 5315602539279348725744502334393355, 5315602539279348725744501904411659,

544
5315602539279348725742795733682699, 10630262581299060702982549551811595,

545
14287072909265937586018086892066999307, 10630262581299060702982548906839051,

546
5315602541470138469495496155433995, 7144169815731489411243857971055381003,

547
15944922623322031572071447172221963, 7144169815731487783615835990741388299,

548
7144169815731489411243857943529833995, 7144169818673721665941400824364975627,

549
7144169815731487783615835990526397451, 7144169812791444688610149724831231243,

550
14287072909265939214858043364648889611,

551
14287072909265939214858043364218907915,

552
19201825990053422304770422113762205069067,

553
25807254130631796635380822675143950504865035,

554
12904771128269152717107121551090578182303499,

555
19201825994007782455083919745577973198091, 3955061414781904447726636207115,

556
5315602539279348725742795737041931, 5315602539279348725744501901052427,

557
7148218699015961407037472831792302603, 5315602541468509629535610810502155,

558
7144169815731489411243857971058740235,

559
9607205931480392177411046619314667080203, 10630262581299061914915335647300619

560
, 10630262581300689542939022551926283, 14287072909265939214858043364220587531

561
, 19201825990053420115610730255441324346379,

562
7144169815731489411243859677001041419,

563
9601764232343119581180893111272751058443, 10630262581299060702982548891722507

564
, 14287072909265937586018086890990365451,

565
19201825990053420115609518322653513969419,

566
15944922623322030360135248945227019, 15944922623322030360135248515245323,

567
21429976005742621273169771639072501003,

568
28801887751718080803609321080531026421003,

569
7148218699018150567941263913171166475,

570
12912084771909647084251286962030169480881931,

571
19201825994007782455083919747311434327819, 2942754028854681977604605963,

572
3955061413154276424013485901835, 5315602539279348725742768214854155,

573
7148218699015961407037471098106104331, 7909421563466562123096899535371,

574
10630262581299060702982549964997131, 7909421563466562123096254562827,

575
10630262581299060702982548903479819, 14287072909265937586018086890995404299,

576
7148221711580118182245308510154721291, 7144169815731489411243857943536552459,

577
15944922623320402732111562042280971, 15944922623322030360135248946906635,

578
21429976005742619645541747953647617035, 5315602541466882001511924742325259,

579
7144169815731489411243857971048662539,

580
9607205931480392175782206661135482799627,

581
9607205931483334408036904202282631742987,

582
7148218699018148940313241960585954315,

583
9607209980363678835311276043391333893131,

584
19201825990056364537025119658348992589579,

585
28801887751721025223396082459752221699851,

586
28801887751718082991141384915165434179339,

587
52025886713887431203528405139440803545000177419,

588
25807254135946459621821950253719398941650699,

589
5315602541466880789577403257507339, 7144169812791444688610149697744064011,

590
7144169812791444688610149697314082315,

591
9607205931477452131059572951155580849675,

592
7144169815733676943307692578579205643,

593
9607205931480394363314270495743013342731,

594
9601764232343121768712956944174745767435,

595
14287072909268128375761837885461417483,

596
21429976005744810434073566159670038027,

597
21429976005742621273169771639504162315,

598
21429976005742621273169771639074180619,

599
9601764232343119581180893109566798679563,

600
12912084771909647082063754898197267927911947,

601
12912084771909647082063754898195534241713675,

602
17353849247090206172658643217733700553364033035,

603
7911663054654638012958484570379, 10633275145455834698883734776291595,

604
14291121795494832626252993894192129291, 5886654058521896239135457291,

605
7911663054654638012931824025611, 7911663054654638012958697881611,

606
10633275145455834698883761661904907, 14291121795497020159528763022564197387,

607
5322569463588065059234003427721227, 7153533359062359440822294775457006091,

608
10633277386947022774773596363006219, 14291124808056798610505144113126154507,

609
14291121795492641836509242927241585419,

610
19207267693142110628269631961477625931531, 5326523823736749716909399085163787

611
, 9614352883460153329836312002537815418123,

612
7158848019100004088671865284573865227,

613
9614352883460153329836312002537385436427,

614
19207267693145052862153169462538710230283,

615
25814567779590905406884174464749658002810635, 7911664722430819617070679851019

616
, 10633277386947022774773597221289995, 10633275145455834698883762296799755,

617
10633275145455834698883734777971211, 14291121795492641836509242928314860043,

618
10633277386947022774773596576317451, 14291124808056798610505144112492939275,

619
19207271742028337332520123117486380157963,

620
14291121795492641836509242927246624267, 7153536371622137894222546557365421067

621
, 9621491737670403306016504551118081754123,

622
14291121795494830998624970235654538251,

623
19207267693145052862153169462511193081355,

624
19207267693147995094407867005391813232139,

625
7153533359062359440822294775467083787,

626
9607215295023723045811785097939891143179,

627
19207267693142110628269631961477632649995,

628
25814567779582996684394386565693185170927371,

629
14291121795494832626252993920864431371,

630
19207267693142112819059375712444583193867,

631
7158848019100004088671865284157320459,

632
17366751730097879522263163010304989286110490379,

633
17379646899456605626174442859515734909766380811,

634
34694779095770176863912287388039293348360679179,

635
10633275145455834698883761450273291, 14291121795492641836509242927898315275,

636
14291121795492641836509242900372768267,

637
19207267693142110628269631961478705924619,

638
14291121795492641836509242927253342731,

639
19207267693142110628269631961477637688843,

640
14291121795492643466561135572253248523,

641
21434024891969325524872863873980697611,

642
19207267693142110629899683854150364695563,

643
7158848019100002461043841598100900875,

644
12921690275370446073112472477005624903257611,

645
12921690275370446073112472477005624473275915,

646
34694786409408502698235222680569203811711307275,

647
25814567779590905404696642400915022548651531,

648
19207267693145052862154381397031414828043,

649
28807329454809713548525344198406910118923,

650
9614348834579811088466375972378314492427,

651
12921684833675266102898810518670600723615243,

652
10633275145455834698883761441875211, 14291121795492641836509242900377807115,

653
5322569463586436219277556654810379, 14291121795492643465349199373381281035,

654
7153533359057982747854669058178884875,

655
19207267693142112817430535752559228184331,

656
12921684833667357382599812363366828926543115,

657
9614348834579811088466375972378306094347, 7911663054654638012958489609227,

658
10633275145455834698883734788048907, 10633275145455834698883761655186443,

659
14291121795492641836509242927256701963, 10633275145455835910816521306801163,

660
7153533359057981120226645371705920523, 14291121795492641837721175687324861451

661
, 14291121795492643465349199373382960651,

662
9614348834573926623958192822843228161035,

663
19207267693147995092780238981705338588171,

664
7153533359062359440822294775460365323,

665
9614348834579811088466375972378307773963,

666
25814573221286085374907046679331981770779403,

667
19207267693142110629898471917923772345611,

668
19207267693142110629898471917923342363915,

669
25814567779582996684396015405649631733886219,

670
34694779095759547543826057174341064554364054795,

671
17353858847151971791679478273354175620059245835,

672
14291124808056798610505144112281307659,

673
19207271742028337332520123117487021771275,

674
19207271742028337332520123117487015052811,

675
25814573221286085374907046679331982844054027,

676
19207271742028337332520123117486376798731,

677
14291121795492641837721175686908316683,

678
14291121795492641837721175686478334987, 7153533359057982747854669058610546187

679
, 28807329454812655780778829806822776161803,

680
12912097356511883773571040381060079447084043,

681
12912097356511883773571040381060079443724811,

682
38717050787260303591298376172114820573753099,

683
25814567779582996686583547469484266773180171,

684
17379646899461920286218653361236722216907009803,

685
21434024891971514684564722195719704075,

686
28807329454806773505430338513875332812299,

687
28807329454806773505430338513847813983755,

688
28807329454806773505430338513874687839755,

689
9614348834573926625585820846529084706315,

690
19207267693142110629898471917923774025227,

691
9614348834573926625585820846528654724619,

692
25814567779582996684396015405649631735565835,

693
17366744416448928322211960285510648969843854859,

694
38717050787264255009218063812161962419801611,

695
38717050787268209369368377309793804850155019,

696
12921684833675266105087971422463415367093771,

697
17353858847151971791683856595161761249347882507,

698
12921690275370446073112472477005624901577995,

699
17366751730097879522260975478241154651071196427,

700
12921690275370446075300004540840260357416715,

701
7153536371622137894222546556518894603,

702
9614352883460153328208683978851342453771,

703
9614352883460153328208683978850912472075,

704
7158848019100004088671865285005526539,

705
9614352883460153329836312002537817097739,

706
9621491737670403307644132574803508317707,

707
17366751730097879522260973850613130964799785995,

708
12912097356511883773572669221018258624646155,

709
12912097356511883773572669221018258621286923,

710
19207271742028337332520123117486365041419,

711
25814567779586951046733860967117843091285771,

712
10633277386947022774773596364685835, 14291124808056798610505144113127834123,

713
19207271742028337332520123117487438316043,

714
14291124808056798610505144112482861579,

715
19207267693145052862153169462538711909899,

716
9607215295023723045811785097939901220875,

717
34694786409408498743875070738231613789030117131,

718
25814567779582999628815802167028880649547531,

719
25814567779583002571048056864571761484689163,

720
19207271742028337332520123117486168526347,

721
25814573221286085374907046679331982420790795,

722
34694786409408498743875070738231613790103391755,

723
25814573221286085374907046679331981775818251,

724
19207267693142112819059375712472103702027,

725
19207267693142112819059375712444584873483,

726
19207267693142115008220279505286102208011,

727
25814567779586951044546328903283207852117515,

728
25814567779586951044546328903283207637126667,

729
25814567779586951046735489807076022495596043,

730
34694786409408502698237411841472996626354785803,

731
17353858847151971791679478273354175620060925451, 701262840778792142703630347,

732
942497256380280522828269819915, 942497256380280522827839838219,

733
1266716314762631510355889801205771, 1266716314762632722290382494046219,

734
1702466727040976751130219148250160139, 1702466727040978379970177327422683403,

735
3955061413154276425746339010571, 5315602539277721097720815439845387,

736
5315602539277721097719109272475659, 7144169812791444689822085925859825675,

737
9601764228391701663122093022312684297227,

738
9601764228391701663122093020606516927499, 3955061413154276424012652812299,

739
5315602539277721097719082183628811, 7144169812791444689822084192173627403,

740
12912090213608781414613634789973351569627147,

741
17353841933441254972611815557067029481398918667,

742
5318620287157936655180049242787851, 7148225665940266865691107479142535179,

743
9607215295023718667489977572109042126859,

744
7148225665940266865691107478497562635, 7148225665940266865691107478296008715,

745
9607215295023718667489977572108625582091,

746
9607215295023718667489977572108618863627,

747
12912097356511877889106530986034116211382283,

748
9607215295023718667489977572107980609547,

749
9607215295023718667489977572107772337163,

750
12912097356511877889106530986034115788119051,

751
17353858847151963882959177646358971733638159371,

752
12912097356511877889106530986034115143146507,

753
9607215298038524315452049363155441815563,

754
12912097360563776679967555473091337275576331,

755
12912097360563776679967555473091336630603787,

756
17353858852597715857876394556963766565427714059,

757
23323586297891330112985874284560431274050691406859,

758
7148225668181758053766997340729249803,

759
9607215298036282824263973473293855100939,

760
9607215298036282824263973473320728956939,

761
12912097360560764115810781477190151401084939,

762
9607215298036282824263973473320520684555,

763
12912097360560764115810781477190124527228939,

764
12912097360560764115810781477190151394366475,

765
17353858852593666971649690306472610556688604171, 701262840778792142691873035,

766
942497256380280522828258062603, 701264468406815829163157771,

767
942497258007908546514729347339, 1266719254805724092171461978170635,

768
942499447168812339329372825867, 942499447168812339329366107403,

769
701262840778792143536719883, 701262840778792143106738187,

770
942499445539972381150623565835, 942499445539972381150616847371,

771
942499445539972381150613488139, 5884986282340292099421348107,

772
7909421563466562123096897855755, 10630262581299060702982549963317515,

773
3955061414781904449433645064459, 7144169815731487782403901498036790539,

774
7909421565095402079542389219595, 5315602539279348725799101416869899,

775
9607205931477452131059573009194950235147,

776
7144169812791444688610206030511059211, 5884986282340292100279631883,

777
7909421563466562123097326157835, 5884986282340292099634659339,

778
3955061414781904447727905996811, 5315602541466880789577432046125579,

779
5315602541466880789577404527297035, 9601764232343119579552053153093786807563,

780
10630262583489850446733542514568459, 14287072912210360630459379032598603531,

781
7144169812791444688610206030522816523,

782
12912084771905695664144067258206431991798795,

783
9601764228391701661493253118730857527563, 5315602541466880789579137800309771,

784
7144169815731487782403901498048547851, 5315602541466880789577404104033803,

785
7144169815731487782403899791877818891, 7144169815731487782403899764352271883,

786
3955061413154276425746327253259, 5315602539277721097719082171871499,

787
7144169815731487782403899791869420811, 7909421565095402079569054803211,

788
10630262583489850446731809681615115, 7148218699015961407037529137475489803,

789
7144169812791444688610206030516098059,

790
9607205931477452131059573007488782865419,

791
9607205931477452131059573009194945196299, 3955061414781904447727482733579,

792
3955061414781904447699970623499, 5315602541466880789577432049484811,

793
7144169815731487782403899763935727115, 5315602541466880789579138213495307,

794
7148218699018148939101307468104745483, 7144169815731487782403899764358990347,

795
9601764232343119579552053151360102288907,

796
7148218699015961407037527403789291531,

797
17353841933441254972609626396163291264111271435,

798
9607205931477452131059573007461270755339,

799
12912084771905695664144067258204698295522827, 701264468406815830009684235,

800
701264468406815830437986315, 1631263827164568281867, 3258891850851264635147,

801
4381580699436480554951435, 4381580699436480558310667,

802
4379951859478301380748555, 5891035250998315056875431691,

803
5888844461254564063064468747, 5888846090094522270600667403,

804
10637234693189398724178408261412619, 7914609146717089785955474811147,

805
1631263827165208215563, 2192421007578159032615435,

806
2946613836608913854512915211, 2192421007578159035974667,

807
2192421007578159042693131, 2946613835396979361825113611,

808
3960248994775964130398607566603, 2946613837820848347210794507,

809
2946613835396979361831832075, 2946612207768955675340391947,

810
3960246807243900295763141650187, 2946613835396979361835191307,

811
3960248994774752195905924803851, 5888844462466498584544247819,

812
7914606957557397927633942397451, 10637231750957145238570020547413515,

813
7914606957557397927633952475147, 7914606957556185993141249557003,

814
10637231750957144026635527854573067, 10637231750957144026635527861291531,

815
14296439473286401574221979429490223883, 10637231750957146450504513246972427,

816
10637231750955515186677348675331339, 14296439473284214040946210301324748555,

817
4379953071412849532829707, 5886656930402663975738876171,

818
7911666914463604177594414638347, 7911666914463604177594423036427,

819
10633280333039086438481085619464971, 10633280333039086438481085624503819,

820
7911666912834764219415233717003, 10633280333037457598522906435184395,

821
7911666914464816112087115876875, 10633280333040715278439264797027083,

822
10633280333039085226546592931663371, 10633280333039087650415578317344267,

823
14291128767602343013626645944032423691,

824
14291128767602343016050514929418104587,

825
14291128767602344642466604123209985803, 7917553566505063098019921231883,

826
14301762039106492916176854694112551691, 10641191993382807227494865038869515,

827
19221568180559126479344116464971405518603,

828
25833787634671465986047705208926650315829003, 1631263827164591796491,

829
2190792167619979450265867, 2190792167620006754103563,

830
2944423046865162888449208587, 2944424674493186658563690507,

831
3957306762520054653136461639947, 5318620288826954665599429051642635,

832
3957306762520054653136466678795, 3957304574987990818501424025611,

833
5318617348783860871849363288281611, 5318617348783860871849363298359307,

834
3957304574987990820262199070731, 5318617348783860871851124061647115,

835
7148221716765509012977329465110262539,

836
[ ( 1, 7, 2, 5)( 3, 6, 4, 8)( 9,10,11,12), (3,4,7,8,6,5) ],

837
[ ( 1, 3)( 2, 5)( 4, 6)( 7, 8)( 9,10,11,12), 

838
  ( 1, 3, 5, 2, 8, 4)( 9,12)(10,11) ],

839
[ ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,12,10,14,15,16,11,13), 

840
  ( 1, 3, 2, 4)( 5, 8, 6, 7)( 9,14,15,13,16,10) ],

841
[ ( 1,31,25,26,27,20,13, 7,18,12,29,23,15, 8, 4, 2)( 3,28,21,22,14,16,32,

842
     30,24,17, 9,10, 5,19,11, 6), ( 1,21,13,14, 7, 3)( 2,24,18, 9, 4, 5)

843
    ( 6,23,16, 8,11,12)(10,15)(17,25)(19,20,32,31,30,26)(22,27)(28,29) ],

844
[ ( 1,42, 7,38, 2,40, 4,45, 3,41, 5,44)( 6,36,12,46,11,34, 9,33, 8,48,15,37

845
     )(10,39,13,35)(14,43,16,47)(17,58,23,54,18,56,20,61,19,57,21,60)

846
    (22,52,28,62,27,50,25,49,24,64,31,53)(26,55,29,51)(30,59,32,63), 

847
  ( 1,56, 5,55, 8,62,15,63, 4,60, 2,51,12,64,11,59)( 3,54,14,49, 6,50,13,

848
     61, 7,57,16,52, 9,53,10,58)(17,44,21,35,24,48,31,43,20,40,18,39,28,46,

849
     27,47)(19,41,30,36,22,37,29,42,23,38,32,33,25,34,26,45) ],

850
[ ( 2,25,16, 9, 5, 3)( 4,20,17,21,13, 7)( 6,27,23,28,19,11)( 8,18,29,22,24,

851
     15)(12,14)(30,32), ( 1,15,20,12, 6, 3,27,18,10, 5,23,14, 7, 8, 4, 2)

852
    ( 9,32,29,19,22,13,31,28,24,30,25,21,16,11,26,17) ],

853
[ ( 1, 6, 4, 2)( 3, 8, 7, 5)( 9,10)(11,12)(13,14), 

854
  ( 1, 7, 4, 2, 6, 8, 5, 3)( 9,12,10,11)(13,14) ],

855
[ ( 1, 3, 4)( 5, 6, 8)(11,12), ( 1, 3, 2, 6, 4, 7, 8, 5)( 9,12)(10,11) ],

856
[ ( 1,16, 8,10, 4,14, 6, 2,15, 7, 9, 3,13, 5)(11,12)(17,18), 

857
  ( 1, 2)( 3, 7,13,11, 9, 6)( 4, 8,14,12,10, 5) ],

858
[ ( 1, 7, 4, 2)( 3,28,31,24,17,12, 8,27,20,14,10, 6)( 5,22,29,30,23,16,11,

859
     32,26,18,13, 9)(15,19,25,21), 

860
  ( 1,18,26,32,25,17,12, 8, 4,30,29,22,15,10, 6, 3)( 2,24,31,28,21,23,16,

861
     11, 7,14,20,27,19,13, 9, 5)(33,34) ],

862
[ ( 1,15,16, 9,12, 7, 4, 2)( 3,17,22,14, 8, 5,10, 6)(11,30,31,21,23,28,25,

863
     18)(13,32,27,19,24,26,29,20), ( 1,26,18,24,15, 8,12,32,21,13, 7, 3)

864
    ( 2,17, 9, 5)( 4,10,30,20,23,14,16,22,28,19,11, 6)(25,29,31,27) ],

865
[ ( 2, 6)( 4, 7)( 8,11,10, 9), ( 1, 6, 4, 3)( 5, 7)( 8,11,10, 9)(12,13) ],

866
[ ( 1,29,20,11, 7,23,27,19,31,24,14, 8, 4, 2)( 3,25,18,10, 5,16, 9,28,21,

867
     26,15,22,12, 6)(13,17)(30,32)(33,34), 

868
  ( 1,15, 8,28,19,10, 7, 3)( 2,25,14,22,27,21,11, 5)( 4,16,13, 6,23,12,17,

869
      9)(18,31,30,20,26,29,32,24)(33,34) ],

870
[ ( 1, 3, 7)( 2, 4, 5)( 8,11), ( 1, 3, 6, 2, 7, 5, 4)( 8, 9)(10,11) ],

871
[ ( 1,13,29,26,30,31,28,19,11,23,16, 8, 4, 2)( 3,21,25,17,20,12, 6)

872
    ( 5,22,15,24,27,18,10)( 7,14), 

873
  ( 1,10,11, 5, 2, 9, 4,25,26,17, 8,15, 7, 3)( 6,28,32,31,24,16,27,30,21,

874
     14,22,19,12,13)(18,23)(20,29) ],

875
[ ( 1, 8, 2, 7)( 3, 5, 4, 6)( 9,13,11,10,15,12,14), 

876
  ( 1, 4, 2, 3)( 5, 7, 6, 8)( 9,12,14,11)(10,13) ],

877
[ ( 1,59,14,54, 4,63,16,57)( 2,60, 7,61, 5,56, 3,58)( 6,49,15,62, 9,52,11,

878
     64)( 8,55,10,53,12,51,13,50)(17,47,30,41,20,43,32,38)(18,40,23,42,21,

879
     44,19,45)(22,36,31,48,25,33,27,46)(24,35,26,34,28,39,29,37), 

880
  ( 1,46,12,39,15,42, 5,33,16,44, 3,47,13,37, 4,48, 8,35,11,45, 2,36,14,40,

881
     7,43,10,34)( 6,41, 9,38)(17,62,28,55,31,58,21,49,32,60,19,63,29,53,20,

882
     64,24,51,27,61,18,52,30,56,23,59,26,50)(22,57,25,54) ],

883
[ ( 1, 3, 8, 5,16,13, 9, 6,10,14,11, 7, 4, 2)(12,15)(17,18)(19,20), 

884
  ( 1,10, 6, 3)( 2,11, 9, 5)( 4,14,13, 8)( 7,15,16,12)(17,19)(18,20) ],

885
1021427233130493282601695244641854616, 1021427233130493282601695244853486232,

886
1845040782584002714114516174503385390482840,

887
5551578401146782285934789173500219547723982546128,

888
468036304876996986975926418901152052416,

889
7146702671815150486542672522695801569, 3956463621283719456507345230305,

890
5317487107005320301481203482253793, 3956463621283719456507343550689,

891
3956463621283719456507556861921, 915312269431424110503331130687017789068,

892
1230179690127876421028653820711572733503116,

893
1230179690115834004516474620440424165959820,

894
1653361503531865909862510732617113868298905740,

895
915312269440384241836797797582501955468,

896
915312269431424110503331130687019468684,

897
1230179690127876421028653820711572735182732,

898
681035914755523891745349950389552524, 915312269440384241836797797582713587084

899
, 1230179690127876421028653820711572520191884,

900
506723150859764802205768079017356, 681035914762190656130369819113325964,

901
681035914755523891745349950604543372, 915312269440384241836797797582928577932

902
, 1496043111795248819494546187205068976767125036059720,

903
828219728663575779641520839544046167579560520,

904
1113127315323845840499856446227912232446102997576,

905
1113127315323845847838204008337112397632978635848,

906
1113127315323845847838204008337112397633190267464,

907
828219728663575779641520839544046167581240136,

908
1113127315323845847838204008337112397633406937928,

909
1496043111795248809631807063730303954719011119606600,

910
828219728663575779641520839544046167792871752,

911
1113127315323845847838204008337112397633191947080,

912
616234917160398645566607775022096547080520,

913
828219728663575774181440808212796072169335112,

914
828219728663575779641520839544046168007862600,

915
1113127315323845840499856446227912232446531299656,

916
1496043111795248819494546187205068976767125254409800,

917
2010681942252814400145148693653528505056661813294370376,

918
2010681942252814413400670075603612694689364161487753288,

919
2702356530387782553795079844270342310786067787929408032840,

920
1496043111795248809631807063730303954719010696343368,

921
1496043111795248819494546187205068976767125256089416,

922
2010681942252814400145148693653528505056661813296049992,

923
1113127315323845847838204008337112397633195306312,

924
1496043111795248809631807063730303954719010907974984,

925
2010681942252814400145148693653528505056661813081059144,

926
828219728663575779641520839544046167584599368,

927
1113127315323845840499856446227912232446108036424,

928
1113127315323845847838204008337112397633410297160,

929
1496043111795248809631807063730303954719011122965832,

930
915312269431424110503331130686799438988, 506723150859764802205768073978508,

931
681035914762190656130369819108287116, 681035914755523891745349950172882060,

932
681035914755523891745349950384513676, 506723150859764802205768075658124,

933
681035914755523891745349950601184140, 915312269440384241836797797582925218700

934
, 506723150859764802205768287289740, 681035914755523891745349950386193292,

935
506723150864725192373221068374412, 506723150859764802205768502280588,

936
681035914762190656130369819536589196, 981265779531121841554028976,

937
981265779531121841765660592, 1772495703134324240754447407225520,

938
681035911392133188727883337786015348, 377026152051540438448697417076,

939
506723148357241977009040122682740, 506723148357241977009040119323508,

940
377027298521717884689638234484, 681037982302487636211263322779835252,

941
616234917160391916398726790246638973754152,

942
681037982302487636211263322356572020, 915315048214543383039565602275728744308

943
, 458508122887196366368110159160841632296,

944
616234917160391916398726790246639402056232,

945
1113127315323833692700010537547322713477238857512,

946
616234917160391916398726790246638978793000,

947
828219728663566735639888792827817246723145256,

948
828219728663566735639888792827817246719786024,

949
1113127315323492037301143501456430738135938383912,

950
1496043111794773298132736865957429648352198115147816,

951
616234917160202773626359392325741493910056,

952
1113127315323492037301143501456430738136361647144,

953
377026152051540438448692378228, 377026152051540438449120680308,

954
915312267926122046480931096255109342860, 506723150026419254077746124588428,

955
681035913635507475062016050278401420, 681035913635507475062016050275042188,

956
506734776867847070077707297227148, 915333269908359401922987264907284595596,

957
828219728663572769037392794743977683006523976,

958
915333269908359401922987264906861332364,

959
1230207914756835036184492465523118164068236,

960
616234917160396405533774408354675138652488,

961
828219728663572769037392794743977683434826056,

962
1496043111795243381331927951273093742837241166401096,

963
828219728663572769037392794743977683011562824,

964
1113127315323841801586255916125821300255603420488,

965
1113127315323841801586255916125821300255600061256,

966
1496043111794773306241623111336008146938976051408712,

967
2010681942252175323588741461635594939401241138858110792,

968
828219728663312532242962057640202114013227336,

969
1496043111794773306241623111336008146938976474671944,

970
506723150026419254077746119549580, 506723150026419254077746547851660,

971
1496043121021346601033430277122531032009945587691168,

972
1113127322188501935292730860954271352720318991776,

973
826375147072169930393327560396224680021216928,

974
2696333460791594584607282021819440675802316385789825822368,

975
614862460619174055352178245452224915221920,

976
2006200491660412637356608647187083836170756118227389856,

977
915314037969255257543967266350105310544,

978
2010681954652689831788954426463016598557625505372360480,

979
1496043121021346601033448233975458785855134832864800,

980
1110648197664996386448645601924700862282733088544,

981
3623872171303903121712187037349462278613203244969216771804960,

982
826375147072169930393337501433153316544368160,

983
2696333460791594584607282021837397528730070230979070996000,

984
1230182067030679072815802813161948662782128, 565609854654808256775519187241,

985
313125509414033397780521, 420840665679896446077112361,

986
420840665679896446063675433, 313280521663123977928745,

987
565889858758979146473702230057, 421049002066930077299638313,

988
565889858758979146472009177129, 760555970172048924604374515914793,

989
760555970172048924549777139928105, 421049002066931836798175273,

990
565889858758979091876359835689, 1022187223911233735619968434640624681,

991
565889858758979090170172310569, 421049157079122917701189673,

992
760556250176153095384933006476329, 760556250176153095383225132616745,

993
1022187600236749741219978723402748969, 313125509414033372586281,

994
313125509414035090833449, 5315978865523989138026340699679253,

995
2942962364434095636146981141, 3955341417800586291867583744277,

996
3955341417800586291867580385045, 2942964147074312082189976853,

997
5315982085571187102609774042433301, 350770200414676004740686527824647726,

998
5315982085571187102609773619170069, 7144679923007675467069255667907480341,

999
260989732451395837887712876967214, 350770200414676004740686528252949806,

1000
633608840736244195697416102488115161029166,

1001
350770200414676004740686527829686574, 471435149357324550370102293815684872494

1002
, 471435149357324550370102293815681513262,

1003
633608838460227474895547251246263409572654,

1004
851570278890545726259615504294541472753580846,

1005
350770199154657535971936526973941038,

1006
633608838460227474895547251246263832835886, 2942962364434095636141942293,

1007
2942962364434095636570244373, 1025730706933621426040152677022771733,

1008
567851555266362779624981039381, 763192490277992132056482698463509,

1009
763192490277992132056482695104277, 567851557049002996071024035093,

1010
1025730710153668624004736110365525781,

1011
459197259588369156798194313999091750446,

1012
1025730710153668624004736109942262549,

1013
1378582074446530630662921535308284218133,

1014
341664627669917527380861214112232750, 459197259588369156798194313999520052526

1015
, 829464541095816389214220860524662737868905006,

1016
459197259588369156798194313999096789294,

1017
617161116886768146736771474857009741150510,

1018
617161116886768146736771474857009737791278,

1019
829464541093540372493418991673420886117448494,

1020
1114800343229718260631155124807394476203208932142,

1021
459197259587109138329425563998241043758,

1022
829464541093540372493418991673420886540711726, 567851555266362779624976000533

1023
, 567851555266362779625404302613, 627675835214524488374857924229948702754654,

1024
467020710725092625278913004550039201374,

1025
457493030555016099380315781594346051422, 340396600115339359657993887481378398

1026
, 5315989933919739594324578800392005,

1027
829464541135813236972684164513061510665766750,

1028
617161116916527706080866194693108734551646,

1029
614863150006148795613813692371986188752734,

1030
457487462802194044355516161433401341534,

1031
1025730718002017176496000927239132997, 1321062805218035264067835089419,

1032
1318822772384668597242381292043, 1775508410213040606083989541835275,

1033
1775508410213040606083934490741259, 2386283303326326575788056396802447883,

1034
1318822772384668597242379612427, 1775508410213040606083989540155659,

1035
1775508410213040606083934502498571, 1772497806084995806016099205182219,

1036
2386283303326326575788056451828347659, 981266943737691423271194635,

1037
1321062805218035264068046721035, 1775508410213040606083988036899339,

1038
730109332236880037154827, 982933634833946493486501899,

1039
981266943737691424776130571, 1321062805218035264069551656971,

1040
982933634833946493473064971, 981266943737691424762693643,

1041
1321062805218035264069538220043, 1321062805218035264014513999883,

1042
1321062805218035264014500562955, 1775508410213040606083934514255883,

1043
1321062805218035264014493844491, 7144678604886895098917868567905192459,

1044
2189704139058185251061771, 3955343083948331634694464276491,

1045
3955341417257235379625753905163, 5315981104826558852516654494058507,

1046
2942963604127323488495075339, 2942962364029781523770376203,

1047
3955343083948331580098814935051, 3955343083948331634641133109259,

1048
5315981104826558852516599469838347, 5315981104826558852516599456401419,

1049
5315981104826558852463763298878475, 5315981104826558852462002093851659,

1050
7148219077581508617164193799357498379,

1051
9602448044967987012946750914158592416267, 5315978864793725485849825842272267,

1052
7144678604886895098917868621461428235, 3955341417257235379624060852235,

1053
5315981104826558852516652801005579, 5315978864793725485849827347208203,

1054
7144678604886895098917868622966364171, 7144678604886895098917868567928707083,

1055
5315981104826558852462055425018891, 5315978864793725485795229971221515,

1056
7144678604886895098917814025590377483, 7144678604886895098917815731771184139,

1057
7144678604886895098917813970552720395,

1058
12912085455722271949495520755949023574203403, 2942962364029783283268913163,

1059
3955343083948331580097121882123, 3955341417257235325028411510795,

1060
5315981104826558852462057151664139, 7144678604886895098917814023897324555,

1061
7144675594282767054117746135278918667,

1062
9602448044967987012946750859616277601291, 5315981104826558852516599449682955,

1063
7148219077581508617164248396713329675,

1064
9607206440269547581469880673493561152523,

1065
7144678604886895098917813970566157323,

1066
9607206440269547581469880618896205321227,

1067
9602448044967987012946750859561239944203,

1068
9607206440269547581469880618896191884299, 730109332236880013640203,

1069
981266943737691424752615947, 1321062805218035264069528142347,

1070
730109332236880011960587, 982933634833946493461307659,

1071
981266943737691423034368779, 730109332236880225271819,

1072
981266943737691423247680011, 981266943737691423246000395,

1073
1318822772384668597240851161867, 731349429778846454906891,

1074
730109332236881730207755, 982933634833946495179554827,

1075
982933634833946440141897739, 77982213488179286057, 77982269846713270313,

1076
140836561509119449534765097, 104789122385671990609961,

1077
104789122384020847460393, 189284338649208250158778911785,

1078
140836561509063147697898537, 312815067298902445559112,

1079
312815067298929957669192, 565049116493287018251886907208,

1080
189143710656842902877249497416, 420423449772294976717474632,

1081
254209147122786776778643949677896, 459187133977186161655322715108888948552,

1082
254209147122786776778671461787976, 341657093733025417905809080389249864,

1083
142296003309887355001145621, 142296003309887382513255701,

1084
257034393435516853620414317447957, 253461541272692754355912847537454,

1085
191245828449044864108611258133, 340652311470499060171198338792995118,

1086
615332533692375390351137887719306392238894,

1087
340652311470499060171198366305105198, 457836706616350736868407418800885102382

1088
, 565049950460037465307495460640, 341657096956199988589759180903919136,

1089
459187138309132784655004679305168375584, 253268193332505056468150350073376,

1090
340392451838886794436005558453202720, 257034399273284110685216259594053,

1091
457836706639754222124797418758126626398,

1092
615332533723829674535726576343533060917086,

1093
340391704230651461383654460218193502, 457486450485995564099603009267484481374

1094
, 701261752865595863592317225, 388223015839726178345,

1095
521772137248242949558313, 521772137248242936121385, 543235264930306326569,

1096
981265857036485561775360041, 730108524281874172084265,

1097
981265857036485560082307113, 1318821311857364862836308383785,

1098
1318821311857364808238932397097, 730108524283633670621225,

1099
981265857036430964432965673, 1772495843136298703865175224720425,

1100
981265857036429258245440553, 730263536474714573635625,

1101
1319101315961535643394798945321, 1319101315961535641686925085737,

1102
1772872168652304303875463986844713, 388223015839700984105,

1103
388223015841419231273, 140419267979266650763932085, 77736941045084197045,

1104
104478621879578851676341, 104478621879578838239413, 232749190135664345269,

1105
420423372150156348946974901, 312815008913210074202293,

1106
420423372150156347253921973, 565049012169907556129683740853,

1107
565049012169907501532307754165, 312815008914969572739253,

1108
420423372150101751604580533, 759425872356355852806806429605045,

1109
420423372150100045417055413, 312970021106050475753653,

1110
565329016274078336688174302389, 565329016274078334980300442805,

1111
759802197872361452817095191729333, 77736941045059002805, 77736941046777249973

1112
, 942497256379068588336425185547, 521772945204576571232267,

1113
701262839566857651717279755, 701262839566857651703842827,

1114
2189549126865019783348235, 3955061413153064545852695054347,

1115
2942754027642749220304453643, 3955061413153064545851002001419,

1116
5315602539277719885840921392781323, 5315602539277719885786324016794635,

1117
2942754027642750979802990603, 3955061413153064491255352659979,

1118
7144169812789255527706358617670261771, 3955061413153064489549165134859,

1119
2944421803824353413337972747, 5318615103434493881689297970168843,

1120
5318615103434493881687590096309259, 7148218699015959778197516415126508555,

1121
521772945204576546038027, 521772945204578264285195, 1211934492694520075,

1122
1211934492907831307, 2190790955685486733910795, 1630051892672092111883,

1123
2190790955685515107663883, 3957304573359150860238383236619,

1124
2944423045653228395969679371,

1125
[ ( 3, 4, 6)( 5, 8, 7)( 9,11)(10,12), ( 1, 2)( 3, 6)( 5, 8)( 9,10)(11,12), 

1126
  ( 1, 8, 2, 5, 4, 6, 7)( 9,12)(10,11) ],

1127
[ ( 1, 4)( 2, 3)( 5, 8)( 6, 7)( 9,12,15,13,11,10,14), 

1128
  ( 1, 7)( 2, 8)( 3, 5)( 4, 6)( 9,12,10)(11,13,14), 

1129
  ( 1, 2)( 3, 4)( 5, 6)( 7, 8)(10,14)(11,12) ],

1130
[ (1,3,4,6)(2,8,5,7), (1,2)(4,8,5,7) ],

1131
681051548382076713044950064008236900, 1265960437635692753178307948710216,

1132
916674083840541357828304442780433824376,

1133
3334418800455570208794438387047066525925727491264,

1134
3334418796792953512985759478151502700074864170176,

1135
5275284828505776555829644840480,

1136
37345474485365425438367514467588833764724384605852864,

1137
2943797337264036163451099473, 377026153913517277833413001612,

1138
915314037969255264991938754804147435440, 730108472881089985120584,

1139
1772495708140604941781282178192576, 1772495708139363920860764709573824,

1140
280525410773744571762869340, 377026153293468506363451408780,

1141
681037230631886352338045004672310512, 915314037969255262511743670522543028144

1142
, 77881218960854089739, 2189704141706597310136541,

1143
142296001988053682387681501, 3955349653214087177230281088613,

1144
257034399273277935643325104135781, 543235209012046725131, 86566749478060043,

1145
232754544185186451852, 105875007571969588592861, 420424070282131768438962096,

1146
191245832792617351496821907045, 759427133420773316373876318852288,

1147
343685311598923736168779245056935301, 288555845352947723, 57711180078120991,

1148
388223015846579011595, 11 ]; 

1149


1150