File: ctbline6.tbl

package info (click to toggle)
gap-ctbllib 1.3.1-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 67,576 kB
  • sloc: xml: 39,210; makefile: 218
file content (495 lines) | stat: -rw-r--r-- 28,692 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
#############################################################################
##
#W  ctbline6.tbl                GAP table library               Thomas Breuer
##
#Y  Copyright (C)  2000,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the Brauer character tables related to the
##  linear group $L_4(4)$
##  (see file 'ctoline6.tbl') modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbline6.tbl,v $
#H  Revision 4.4  2011/09/28 12:12:37  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.3  2009/01/23 09:23:25  gap
#H  added the 2-modular table of L4(4) (contributed by Frank L"ubeck)
#H  and of its automorphic extensions
#H      TB
#H
#H  Revision 4.2  2004/08/31 11:51:19  gap
#H  added 3.A6.2^2 mod 2, 5,
#H        A6.2^2 mod 2, 5,
#H        L2(25).2^2 mod 2, 3, 5, 13,
#H        L2(49).2^2 mod 2, 3, 5,
#H        L2(81).2^2 mod 2, 5, 41,
#H        L2(81).(2x4) mod 2,
#H        3.L3(4).2^2 mod 2, 5, 7,
#H        3.L3(4).3.2_2 mod 2, 5, 7,
#H        L3(4).2^2 mod 2, 3, 5, 7,
#H        L3(4).3.2_2 mod 3, 5, 7,
#H        L3(4).3.2_3 mod 3, 5, 7,
#H        L3(4).D12 mod 2, 3, 5, 7,
#H        L3(9).2^2 mod 2, 3, 5, 7, 13,
#H        O8+(2).3.2 mod 3, 5, 7,
#H        O8+(3).3.2 mod 5, 7, 13,
#H        O8+(3).(2^2)_{111} mod 2, 5, 7, 13,
#H        O8+(3).(2^2)_{122} mod 2, 5, 7, 13,
#H        O8+(3).D8 mod 2, 5, 7, 13,
#H        O8+(3).A4 mod 2, 5, 7, 13,
#H        O8+(3).S4 mod 13,
#H        3_1.U4(3).2_2' mod 2, 5, 7,
#H        3_2.U4(3).2_3' mod 2, 5, 7,
#H        3_2.U4(3).(2^2)_{133} mod 2, 5, 7,
#H        6_2.U4(3).2_3' mod 5, 7,
#H        U4(3).(2^2)_{122} mod 2, 3, 5, 7,
#H        U4(3).(2^2)_{133} mod 2, 3, 5, 7,
#H        U4(3).D8 mod 2, 3, 5, 7,
#H        U6(2).3.2 mod 3, 5, 7, 11,
#H  extended `InfoText' values, added missing table automorphisms
#H      TB
#H
#H  Revision 4.1  2001/05/04 16:57:35  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.1 of ctbllib coincides with Rev. 1.1 of tbl in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tbl/ctbline6.tbl,v
#H  Working file: ctbline6.tbl
#H  head: 1.1
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  keyword substitution: kv
#H  total revisions: 1;	selected revisions: 1
#H  description:
#H  ----------------------------
#H  revision 1.1
#H  date: 2000/03/07 16:22:22;  author: gap;  state: Exp;
#H  added tables of L4(4) mod 17, 3, 5, 7 (computed by Gerhard Hiss)
#H  
#H      TB
#H  ==========================================================================
##

TEXT1:= "origin: modular ATLAS of finite groups, tests: DEC, TENS";

MBT("L4(4)",2,
"contributed by Frank L\"ubeck, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[12,0],
[[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,
30,31,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,
57,58,60,61,62,63,64,66,74]],
[],
[[[-1,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0
,0,0,0,-1,0,0,0,0,0,0,0,0,0],[-1,0,1,0,0,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,1,0,1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,1,0,0,1,1,0,1,
0,0,0,0],[2,1,-3,1,2,1,1,1,1,1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,
-1,2,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,0,1,-1,-1,1,1,-1,0,0,-1,0,0,0,0],[0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0],[0,0,1,-1,-1,1,0,1,1,0,0,0,0,0
,0,0,-1,-1,-1,-1,-1,-1,0,-1,0,-1,-1,-1,-1,-1,0,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0],[0,0,1,0,0,-1,0,0,0,-1,0,0,0,0,0,0,0,1,0,0
,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,
0,0,0,0,0],[0,-1,-2,1,0,1,1,0,1,1,-1,-1,0,-1,0,-1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,
-1,1,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,-1,0,1,0,1,1,0,-1,-1,0,0,0,0,0,0],[-2,
-2,1,0,-2,0,0,0,-1,0,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,
0,-1,0,0,0,0,0,-1,0,0,0,0,-1,0,1,-1,0,1,0,0,2,0,0,0,0],[0,-1,0,0,0,0,0,0,0,0,1
,0,0,0,1,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0,-1,0,0,-1,0,0,0
,0,0,0,-1,0,0,1,-1,0,0,0,0,0,0,0],[-1,-1,2,0,-1,-1,-1,-1,-1,-1,0,1,1,1,0,0,0,0
,0,0,0,1,0,0,0,0,0,1,0,0,1,-1,0,0,0,-1,-1,0,0,0,0,0,0,-1,0,-1,0,0,0,0,0,1,1,0,
-1,1,0,0,1,0,0,0,0],[1,1,-1,0,1,1,1,1,1,0,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,0
,0,-1,-1,0,-1,0,-1,0,1,0,1,1,1,1,0,1,1,0,1,1,1,1,1,0,1,-1,-1,0,0,0,1,1,0,0,0,0
,-1,0,1,0],[0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,1,0,0,0,1,0,0,0,0,1,-1,0,
0,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,0,-1,1,0,0,0,0,-1,-1,0,0,0,0,0,0,-1,0],[-1,0,2,
0,0,-1,-1,-1,-1,-1,0,1,0,1,0,0,0,0,0,2,0,1,0,0,0,0,0,1,0,0,1,-1,0,0,-2,-1,-1,0
,0,0,0,0,0,0,0,-1,0,0,2,0,0,1,0,-2,-1,1,0,0,1,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,1,
0,0,0,1,0,0,0,1,0,2,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,-2,0,0,-1,0,0,-1,0,0,0,
2,0,0,-1,0,0,-1,-1,0,0,-1,0,0,0,0],[3,2,-4,2,4,1,1,1,1,1,-2,-2,-1,-1,-2,-2,0,0
,0,0,0,1,0,0,0,0,2,1,0,0,-1,3,0,0,0,-1,-1,-2,0,0,0,0,0,-1,0,0,0,0,-2,0,2,-1,-1
,2,1,-1,0,0,-2,0,0,0,0],[-2,0,2,0,1,-2,-2,-2,-2,-2,1,0,0,0,0,1,0,0,1,0,0,0,0,0
,0,1,0,0,2,0,2,0,-2,-1,0,0,0,0,0,-1,0,-1,0,0,0,0,0,0,0,0,-2,1,1,0,1,1,2,0,2,0,
0,0,0],[0,0,-1,1,1,-1,-1,-1,-2,1,1,1,0,0,0,1,1,0,1,0,1,1,0,1,1,2,1,1,1,1,0,1,
-1,-2,-1,-1,-1,-1,-1,-2,-1,-2,-1,-1,-1,-2,-1,-2,0,1,0,0,-1,0,1,0,0,0,0,1,0,-1,
1],[0,0,0,0,0,0,0,-1,0,0,0,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0,0,1,0,0,0,-1,0,0,0,-1
,-1,0,0,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,-1,0,0,0,-1],[0,0,0,1,1,-1,
-1,-2,-1,0,1,0,1,0,1,0,0,0,1,0,0,0,0,1,0,1,0,1,1,0,1,1,-1,-1,-1,-1,0,0,0,-1,-1
,-2,0,-1,-1,-1,-1,-1,0,0,0,1,0,0,1,0,0,0,0,1,-1,0,1],[0,0,0,-1,0,1,1,1,0,0,0,1
,0,1,0,1,0,0,0,0,0,1,0,0,-1,0,0,0,-1,-1,0,-2,1,0,1,0,-1,0,0,0,0,1,0,0,0,0,0,1,
0,0,0,-1,-1,0,-1,0,0,0,-1,-1,1,1,-1],[1,1,0,-1,-1,1,1,1,1,1,0,0,0,0,0,0,0,0,-1
,-1,-1,-1,0,0,0,-1,-1,-1,-1,0,-1,-1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,0,0,-1,0,0,0,
-1,0,0,0,-1,0,-1,0,0,0,0],[-1,0,3,-2,-2,-1,0,1,0,-1,1,2,0,1,0,1,0,1,-1,1,1,0,0
,0,0,-1,-1,-1,-1,1,0,-3,1,1,0,1,0,1,-1,1,0,1,0,1,1,0,0,0,2,0,-1,0,0,-2,-2,1,0,
-1,0,-1,1,0,-1],[3,2,-2,-1,1,3,2,3,4,1,-1,-2,0,-1,-1,-2,-1,-1,-2,-2,-2,-2,0,-2
,-1,-3,-1,-2,-1,-2,-1,0,1,2,3,2,2,1,2,3,1,3,1,1,2,3,2,2,-2,-1,1,-1,-2,2,0,-1,0
,1,-3,-1,0,1,-1],[2,1,-1,0,0,1,0,1,2,2,0,-1,0,0,1,-1,-1,-1,-1,0,0,-2,0,0,1,-1,
-1,-1,-1,0,-1,1,1,1,-1,1,1,1,0,1,0,0,0,1,0,1,0,0,1,0,1,0,-2,0,0,-1,-1,1,-2,1,
-1,-1,1],[0,1,1,0,1,-2,-1,0,-1,-1,0,0,-1,0,-1,1,0,1,-1,-1,-1,-1,0,0,0,0,1,-1,1
,1,1,1,-1,0,0,0,1,-1,1,-1,0,0,0,1,1,0,-1,-1,-1,0,-1,1,0,0,2,1,1,-1,1,0,0,0,1],
[0,1,5,-3,-3,2,-1,2,3,-1,0,-1,0,0,0,-1,-3,-3,-4,-2,-4,-4,0,-3,0,-4,-4,-4,-2,-3
,1,-3,2,4,2,4,4,4,4,4,3,4,3,4,4,4,3,3,1,-1,-2,2,-2,-2,0,2,1,3,0,0,-1,0,0],[5,3
,-3,1,4,0,3,4,3,0,-2,-2,-3,-2,-3,-2,0,3,-1,-1,1,-1,0,0,0,-1,1,-1,-1,3,-3,3,1,1
,1,1,1,-1,-1,1,0,1,0,1,1,1,0,0,-1,0,2,-2,-1,2,0,-2,-1,-3,-3,-1,1,0,0],[-1,0,2,
-1,-2,0,-1,-1,0,1,2,0,1,0,2,0,0,-2,0,0,0,-2,0,-1,1,0,-2,-1,0,0,0,-1,0,0,-1,1,2
,2,0,1,1,-1,0,1,0,1,1,-1,2,0,-1,1,-1,-2,0,0,0,2,0,1,-1,-1,1],[2,2,-3,2,4,-1,0,
0,-1,0,0,-1,-2,-2,-2,0,0,2,1,-1,1,0,1,2,0,2,2,0,2,2,-1,4,-2,-2,0,0,0,-2,-1,-2,
-2,-2,0,0,0,-1,-2,-1,-2,0,0,-1,0,2,3,-1,0,-2,0,0,0,0,1],[0,0,1,0,1,0,-1,-1,0,
-2,0,-2,0,-1,1,0,-1,-1,0,-2,-2,-2,0,-1,-1,0,-1,-1,1,-2,2,1,-1,0,2,1,2,1,2,0,1,
0,1,1,0,2,1,2,-2,-1,-1,1,1,2,2,0,1,1,1,0,-1,1,0],[2,1,-2,1,3,0,1,1,0,-1,-2,0,
-1,-1,-3,-1,0,1,-1,-1,-1,1,0,0,-1,0,2,1,0,0,0,2,0,0,1,-1,-1,-2,1,0,0,1,1,-1,1,
-1,0,0,-3,0,1,-1,0,2,2,0,0,-1,0,-1,1,1,0],[1,2,0,-1,0,2,1,1,2,0,-2,-2,0,0,-1,
-2,-2,-1,-2,-1,-3,-1,0,-1,-1,-3,-1,-1,-1,-3,0,-1,1,3,2,1,1,1,3,3,1,3,2,1,2,3,1
,3,-2,-1,0,1,-1,1,0,1,0,2,-1,-1,0,1,-1],[0,-1,2,0,-2,0,-1,-1,0,0,0,1,2,1,1,-1,
0,-1,0,2,0,1,0,0,1,-1,-1,1,-1,0,0,-1,1,1,-2,-1,-1,1,0,1,0,0,0,-1,0,-1,1,0,2,0,
1,1,0,-2,-2,0,-1,1,0,1,-1,-1,0],[1,1,0,0,0,0,1,1,0,0,-1,1,-1,1,-1,0,2,2,0,2,2,
2,0,0,1,0,1,1,-1,2,-2,-1,1,0,-1,-1,-2,-1,-2,0,0,1,-2,0,0,-1,0,-1,1,0,1,-1,0,-1
,-3,0,-1,-2,-1,-1,1,0,-1],[-2,-2,3,-1,-2,-2,-1,-1,-2,-1,2,2,0,1,2,3,1,1,2,1,3,
1,0,1,1,2,0,0,0,2,0,-2,0,-2,-1,0,-1,0,-3,-2,0,-2,-1,0,-2,-1,-1,-1,3,1,-1,-1,1,
-2,-2,0,0,-1,1,0,1,-1,0],[-2,-1,4,-1,-2,-3,-2,-2,-3,-2,2,3,1,2,1,3,1,1,0,1,0,1
,0,1,0,1,0,0,1,1,2,-2,-1,-1,-1,-1,-1,0,0,-2,-1,-1,-1,0,0,-2,-1,-1,1,1,-2,1,0,
-2,0,2,1,-1,2,0,0,0,0],[3,1,-3,0,1,2,1,1,2,2,0,-1,1,0,1,-1,0,-1,0,-1,0,-1,0,0,
0,-1,0,0,-1,-1,-1,1,1,0,1,0,0,0,0,1,0,0,0,-1,-1,1,0,0,-1,0,2,-1,-2,2,0,-2,-1,1
,-4,1,0,0,0],[-3,-1,4,-3,-4,0,-1,-1,-2,0,3,3,2,3,3,3,1,-1,0,2,1,1,0,0,0,0,-1,
-1,-1,-1,1,-5,1,0,-1,0,-1,1,-1,0,0,0,-1,1,0,0,0,0,4,0,-2,0,-1,-4,-3,1,1,1,0,0,
0,0,-1],[1,1,-2,1,1,-1,0,-2,-1,2,1,1,1,1,1,0,2,1,2,2,3,1,0,2,1,1,1,2,1,2,-1,1,
-1,-2,-3,-2,-2,-1,-3,-1,-2,-3,-2,-2,-2,-2,-2,-3,2,1,2,0,-1,-1,-2,-1,-1,-1,-2,1
,0,-1,1],[0,2,-1,1,2,-1,-2,-2,-3,0,0,0,0,0,-1,0,0,-1,-1,-1,-1,0,0,1,0,1,1,0,2,
-1,2,2,-2,-1,0,-1,0,-1,1,-1,-1,-1,0,0,1,-1,-1,-1,-2,0,-1,2,-1,1,3,2,1,1,1,1,-1
,0,1],[3,3,-6,1,5,1,2,0,1,1,-1,-2,-1,-1,-1,-1,1,1,1,0,0,0,0,1,-1,0,2,1,1,0,-1,
3,-1,-1,1,-1,-1,-2,0,0,-1,0,-1,-1,-1,1,-1,0,-3,0,1,-2,-1,4,2,-2,0,-1,-3,-1,1,1
,-1],[-2,-1,-2,2,1,-1,-1,-3,-3,1,1,1,1,1,1,1,2,0,3,2,2,3,0,2,0,3,2,3,2,0,1,1,
-2,-3,-2,-3,-3,-2,-2,-3,-2,-3,-2,-3,-3,-3,-2,-2,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0]
,[-1,-3,-5,4,2,-1,2,0,-3,0,-3,1,-1,0,-3,1,2,4,3,1,1,6,0,3,-1,4,5,4,1,2,-1,3,-1
,-3,0,-4,-5,-5,-1,-5,-3,-1,-2,-4,-3,-5,-3,-1,-5,1,2,-2,4,3,1,0,0,-4,2,-1,1,1,
-1],[-6,-6,3,-2,-8,3,0,-2,1,2,0,2,4,3,4,0,0,-4,1,2,-2,1,-1,-2,0,-1,-3,2,-3,-4,
1,-6,3,2,-1,-1,-1,3,2,1,2,1,0,-2,-2,0,2,1,3,0,1,2,1,-3,-4,1,-2,4,2,1,0,0,-1],[
-6,-5,0,0,-3,1,-2,-4,-1,1,2,-1,3,-1,3,1,-2,-4,2,-3,-3,-1,0,0,-1,1,-2,1,2,-4,3,
0,-2,-1,2,0,2,2,3,-1,0,-2,2,-2,-2,0,0,1,-3,0,-2,2,2,2,4,0,2,4,4,2,-1,0,1],[-6,
-7,1,2,-3,-4,-1,-3,-6,0,4,5,1,1,3,5,4,3,5,2,6,5,0,3,1,7,2,4,2,5,0,0,-2,-6,-3,
-3,-4,-2,-6,-7,-3,-6,-4,-4,-5,-7,-3,-5,4,2,-1,-2,5,-2,-1,-1,-1,-4,4,1,0,-1,1],
[4,0,-4,1,0,3,3,3,4,2,-3,-1,0,0,-1,-2,0,1,-1,0,-1,1,0,0,0,-2,1,1,-3,0,-3,1,3,2
,0,-1,-1,-1,1,1,0,2,0,-1,0,0,0,1,-2,0,4,-2,-1,1,-1,-2,-3,-1,-3,0,0,0,0],[1,-1,
-2,0,0,1,1,1,2,0,1,-1,0,-2,1,0,0,0,1,-3,1,-2,0,0,0,1,-1,-1,0,1,-1,1,0,-1,3,2,2
,1,-1,0,0,-1,0,0,-1,1,1,0,-2,0,0,-2,1,3,1,-2,-1,-1,-1,0,0,0,0],[-6,-4,8,-4,-7,
-2,-2,-1,-2,-3,4,3,2,1,3,4,-1,-1,0,-2,-1,-2,0,-1,-1,0,-4,-3,0,-1,3,-6,0,0,2,3,
3,4,1,0,1,0,2,2,1,1,1,1,2,0,-4,2,2,-3,-1,2,1,1,4,0,0,0,0],[-1,-1,2,-1,-3,0,0,1
,0,-1,-2,1,0,1,-1,0,-1,-1,-3,0,-4,0,-1,-1,0,-2,-1,0,-2,-1,1,-2,2,3,0,0,0,1,4,1
,2,3,1,1,2,0,1,1,-2,0,0,2,0,-1,1,2,-1,1,2,0,0,0,0],[-1,0,4,-4,-5,1,-1,1,2,0,1,
1,1,1,1,1,-2,-2,-3,-1,-4,-4,0,-2,0,-4,-4,-3,-1,-2,1,-4,1,3,1,3,3,4,4,3,1,3,1,3
,3,3,2,2,0,0,-2,2,-2,-2,0,2,0,2,1,1,0,0,0],[5,2,-4,0,1,1,3,4,3,2,-1,-1,-1,-1,
-1,-1,0,2,-2,-2,1,-1,0,0,0,-1,1,-2,-2,2,-3,2,2,1,2,1,1,-1,-1,1,0,1,0,1,1,1,-1,
-1,-2,1,2,-2,-1,2,0,-2,-2,-2,-4,0,0,0,0],[3,4,1,0,3,-2,-2,0,0,-1,1,-1,-1,-1,-1
,-1,-1,0,-3,-1,0,-3,0,0,1,-2,0,-2,1,1,1,3,-1,1,-1,1,2,0,0,2,0,0,1,2,3,1,0,-1,1
,0,-1,1,-2,0,2,0,1,0,-1,1,-1,-1,2],[-5,-5,1,0,-5,1,1,-2,-2,1,1,2,2,1,2,2,2,0,3
,0,0,3,0,0,-1,2,0,2,0,-1,0,-3,0,-2,0,-2,-1,0,0,-2,0,-1,-1,-2,-2,-2,0,-1,0,0,0,
0,3,-2,-2,0,-1,0,3,0,0,1,0],[5,5,0,-2,2,2,2,4,4,-1,-2,-2,-2,0,-2,-2,-1,0,-3,0,
-1,-3,0,-2,-1,-4,-1,-4,-2,-1,-1,-1,2,3,2,3,2,1,1,4,2,4,1,4,3,5,2,3,0,-1,1,-1,
-3,0,-2,0,0,0,-4,-2,1,1,-2],[-3,-3,-4,3,-1,0,0,-3,-3,2,-1,0,0,-1,0,0,1,0,3,1,1
,3,0,3,1,4,1,4,1,1,-1,2,-1,-2,-1,-2,-3,-1,-1,-3,-2,-3,-1,-3,-3,-3,-2,-1,-3,1,0
,0,3,2,2,0,-2,0,3,1,0,-1,0],[3,7,4,-1,6,-5,-2,0,-4,-4,1,2,-3,1,-3,2,1,2,-2,2,2
,1,0,1,0,1,2,-2,2,2,3,0,-2,-1,-2,0,-1,-2,-2,-1,-1,0,-1,3,3,-1,-1,-1,3,0,-3,0,
-3,-3,0,3,3,-2,-1,-2,1,0,0],[10,10,-5,1,10,3,0,1,5,1,-2,-6,-1,-2,-1,-6,-1,-2,
-1,0,0,-4,0,-1,0,-4,0,-1,0,-2,0,5,0,2,0,1,2,0,0,5,1,1,1,1,1,5,1,1,0,-2,3,0,-6,
3,0,-3,0,2,-8,0,-1,0,0],[0,2,-2,1,4,-1,-1,-1,-1,-2,1,-3,-2,-3,-1,1,-1,1,0,-5,
-1,-3,0,0,-1,2,1,-2,4,-1,2,4,-4,-2,4,2,3,-1,2,-2,0,-2,1,1,0,2,-1,0,-5,-1,-3,0,
1,5,6,1,3,-1,1,0,0,1,1],[-5,-3,7,-3,-7,-2,-2,-2,-2,0,6,3,2,2,6,4,0,-1,2,1,4,-2
,-1,0,2,1,-4,-2,0,1,1,-5,1,-2,-2,2,2,4,-4,-1,0,-3,-1,2,-2,0,0,-1,8,1,-2,2,0,-5
,-5,0,0,1,1,1,-1,-2,1],[0,-1,2,-2,-5,2,2,2,2,2,0,4,2,4,1,0,1,0,-1,5,2,3,0,0,1,
-2,0,1,-4,2,-3,-5,4,2,-4,-2,-3,1,-2,2,0,2,-1,-1,0,-2,0,-1,6,0,2,-2,-2,-6,-6,0,
-2,-1,-3,0,1,-1,-1],[6,5,-8,2,6,4,4,4,4,1,-6,-4,-2,-2,-6,-5,-2,-1,-4,-2,-6,-1,
0,-2,-3,-4,2,0,-1,-3,-1,5,1,4,4,0,0,-2,6,3,1,5,2,0,4,2,2,3,-8,-1,3,0,-3,6,5,-1
,0,1,-3,-2,0,2,-1]]],
0,
[
( 2, 3)(11,12)(13,14)(15,17)(16,18)(19,20)(25,27)(26,28)(33,36)(34,35)(37,47)
(38,48)(39,40)(41,43)(42,44)(45,46)(49,63)(50,58)(51,53)(52,62)(54,59)(55,64)
(56,61)(57,60)
,
( 6, 7)( 8, 9)(11,12)(15,18)(16,17)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)
(31,32)(33,34)(35,36)(37,41)(38,44)(39,45)(40,46)(42,48)(43,47)(49,54)(50,52)
(51,61)(53,56)(55,57)(58,62)(59,63)(60,64)
],
0);

MBT("L4(4).2_1",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[13,1],
[[1,3,5,6,7,8,9,10,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31
,32,33,43,44,48,51,52]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0
,1,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0
,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,2,0,0,0,0
,-1,0,0,0,0,0,0,0,0,0,1,2,-1,-2,0,1,0,0,0,0,1,0,0,0,0,0,0,0,-2],[2,0,0,0,-1,-1
,1,0,-3,-2,-2,-3,-2,-2,-2,-2,0,-1,-2,-1,2,2,3,2,2,3,2,1,1,0,-2,0,2,0,-2],[0,0,
-1,0,1,0,0,0,0,1,1,1,0,1,1,1,0,0,1,1,-1,-1,0,-1,-1,-1,-1,-1,0,0,0,-1,0,1,1],[0
,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,0,0,1,0,1,0,0,-1,1,0,-1,0],[0,
2,1,-2,-1,-1,0,1,0,-1,-1,0,0,-1,-1,0,2,2,-2,-2,1,1,0,1,1,0,1,0,0,0,0,0,0,0,-2]
,[-2,-2,2,0,0,0,1,0,0,0,0,-1,0,0,-2,-2,0,0,0,-2,0,0,0,2,0,2,0,1,0,0,-2,2,0,-2,
0],[-2,-2,0,0,0,0,1,0,1,2,2,2,0,0,2,2,0,0,2,2,-2,-2,0,-2,0,-2,-2,-2,-1,0,0,-2,
0,2,2],[0,-4,-2,2,2,1,1,-2,1,2,1,1,0,2,2,2,-4,-5,4,6,-1,-2,0,-2,-1,-1,-2,-1,-1
,-1,2,-2,0,0,4],[-2,-2,0,0,0,1,1,1,-1,-1,0,-1,0,0,0,-2,0,-1,0,0,0,-1,0,0,-1,1,
-1,1,1,1,-2,2,0,0,2],[0,1,-1,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,-1,0,1,1,0,0,0,0,
1,0,0,0,1,0,0,0,-1],[-2,2,0,-2,0,1,-1,2,3,1,1,2,3,1,2,2,3,5,-1,-2,-2,-1,-4,-2,
-2,-3,-1,0,-1,1,0,0,-2,0,0],[0,2,0,0,0,-1,-1,-1,0,-1,-1,1,0,0,-1,1,-1,1,-1,0,1
,2,0,1,1,-1,2,-1,0,-1,2,0,0,0,-2],[-2,8,2,-2,-2,-2,-3,1,1,-1,-1,1,1,-1,-1,1,5,
9,-5,-7,1,4,-1,1,1,-1,4,-1,-1,0,0,0,0,0,-8],[0,0,-2,0,1,-1,0,-1,2,2,1,3,0,1,2,
4,-1,-1,2,4,-1,-1,0,-2,0,-3,0,-3,-2,-1,4,-4,0,2,0],[0,2,-1,0,0,0,-1,0,-1,1,2,2
,-1,0,2,2,1,1,1,0,-1,-1,1,-2,0,-2,-1,-2,1,0,0,-2,0,2,0],[0,2,1,0,0,0,-1,0,0,0,
-1,-3,0,0,-2,-3,1,1,-1,-4,1,1,0,2,0,3,1,3,0,0,-2,2,0,-2,-2],[-2,2,2,-2,-2,0,0,
2,-1,-3,-2,-2,0,-2,-3,-4,3,3,-4,-6,2,3,0,3,1,3,2,2,1,1,-2,4,0,-2,-4],[0,0,-2,1
,2,2,-2,0,2,2,2,2,2,3,3,2,-1,-1,3,3,-2,-3,-3,-3,-3,-3,-3,0,0,0,2,0,-2,0,4],[-2
,-4,-1,0,1,1,1,1,2,1,2,3,2,2,2,1,-1,-3,3,5,-2,-4,-3,-2,-3,-3,-4,-1,0,1,2,0,-2,
2,6],[0,-6,-1,2,2,2,1,-2,3,2,1,2,1,2,2,2,-5,-7,5,7,-1,-3,-2,-2,-1,-2,-3,0,-1,
-1,4,0,-2,-2,6],[0,-5,-1,0,1,1,2,0,0,1,1,0,0,1,1,0,-2,-4,3,4,-1,-3,0,-1,-1,0,
-3,0,0,0,0,0,0,0,5],[4,-6,1,1,0,2,3,1,-7,-4,-3,-8,-3,-1,-4,-8,-1,-5,-2,-3,3,1,
5,4,0,8,0,6,4,1,-8,6,2,-4,2],[6,-8,-5,3,3,1,3,-2,-2,3,2,-1,-2,2,5,3,-5,-9,6,11
,-2,-5,3,-5,-1,0,-4,-2,0,-1,0,-6,2,4,8],[4,4,1,2,-1,-1,-2,-2,-5,-6,-5,-7,-2,-2
,-7,-8,-2,-1,-5,-6,6,7,3,7,2,8,6,5,3,0,-2,6,2,-4,-6],[4,2,-5,2,1,1,-2,-2,1,3,2
,3,0,1,6,6,-2,-1,3,6,-2,-2,0,-6,-1,-5,-1,-3,-1,0,4,-6,0,4,2],[2,6,-2,1,0,0,-3,
0,2,-1,-1,2,2,1,1,2,0,3,-2,0,0,2,-3,-1,-1,-3,2,0,0,0,4,0,-2,0,-2],[-1,3,0,0,0,
-1,-2,-1,4,2,1,3,2,1,1,3,0,2,1,1,-1,0,-3,-1,0,-3,0,-2,-2,-1,4,-2,-1,1,-1],[6,
-6,-3,2,0,0,4,-1,-6,-3,-3,-6,-5,-2,-2,-5,-4,-10,0,4,4,1,7,2,2,7,1,2,2,0,-2,0,4
,0,2],[-3,4,2,-2,-1,0,-2,2,2,0,1,3,2,0,0,1,4,6,-2,-5,-1,0,-3,0,-1,-3,0,0,0,1,0
,2,-2,-1,-2],[-12,2,4,-3,-1,-1,-1,1,7,3,3,7,4,1,1,4,3,6,2,-2,-3,-3,-6,-1,-1,-6
,-3,-3,-3,0,4,0,-4,0,2],[2,-2,-4,1,2,2,-2,-2,4,6,6,9,2,4,9,11,-2,-2,7,11,-6,-5
,-3,-9,-2,-10,-6,-7,-2,-1,8,-8,-2,4,6],[0,2,4,-1,-1,-1,-2,1,-1,-4,-4,-6,1,-1,
-6,-8,2,2,-5,-7,3,3,-1,7,0,6,4,6,1,1,-2,8,0,-4,-4]]],
0,
[
( 8, 9)(11,12)(13,14)(16,17)(21,22)(23,24)(25,26)(27,28)(29,31)(30,36)(32,35)
(33,34)
],
0);

MBT("L4(4).2_2",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
,2],
[13,1],
[[1,3,4,5,6,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,34,36,38
,39,40,43,44,45,54,68,70,73,75,77]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[0,1,0,-1,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0],[0,1,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0],[-3,-3,-2,-3,2,1,1,1,1,2,2,2,2,6,-2,-2,-2,-1,-2,-2,-2,-3,-3,-3,1,2
,3,-1,-2,4,2,-2,-1,4,4,3,-1,3,4],[0,0,1,1,0,1,1,1,1,1,1,1,1,-1,0,-1,-1,-1,-1,
-1,-1,0,0,0,0,-1,0,0,0,1,-1,0,1,1,0,1,0,-1,-1],[2,0,0,1,0,0,0,0,0,-1,0,0,0,-1,
0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,-1,1,0,0,0,0,0,-1,0],[1,-1,0,-1,0,0,-1,0,0,0,
0,0,0,1,0,0,0,0,1,0,0,-1,0,-1,0,1,0,0,0,0,1,0,0,-1,0,0,0,2,1],[0,-2,-1,-1,0,0,
-1,-1,0,-1,0,0,-1,3,0,1,0,0,1,0,0,-1,-1,-1,0,2,2,0,0,0,0,0,0,0,0,0,0,2,2],[0,1
,1,1,1,1,2,2,1,2,1,1,2,-2,-1,-2,-1,-1,-2,-1,-1,0,0,0,0,-2,0,-2,-2,2,0,0,0,2,2,
2,0,-2,-2],[-2,0,-1,-3,0,0,-1,-1,-2,0,0,0,-1,3,0,1,2,0,1,0,0,-2,-1,-1,0,2,0,0,
0,0,2,0,0,0,0,0,0,2,2],[0,2,-1,1,0,0,0,-1,0,-1,0,-2,-1,-1,0,1,0,0,1,2,0,1,0,1,
0,0,0,0,0,0,-2,2,0,0,0,0,0,-2,-2],[2,2,1,2,-3,-3,-4,-3,-2,-4,-4,-4,-5,-4,3,4,3
,3,5,4,4,2,4,3,-1,0,-4,2,4,-6,0,2,0,-8,-6,-6,2,0,-2],[2,2,1,2,-2,-2,-2,-3,-2,
-4,-3,-2,-3,-4,2,4,3,2,3,2,3,4,2,3,-1,0,-2,2,2,-6,-2,2,0,-4,-4,-4,0,-2,-2],[0,
0,2,2,0,0,1,1,1,1,0,1,1,-3,0,-1,-1,0,-1,-1,0,1,1,1,0,-2,-1,0,0,0,0,0,0,0,0,0,0
,-2,-2],[0,2,4,3,-2,0,1,2,1,2,0,0,1,-6,2,-2,0,0,-1,0,0,0,3,2,-1,-4,-4,0,2,0,0,
0,2,-2,-4,-2,2,-2,-4],[-4,-2,-2,-1,3,2,4,3,2,3,2,3,4,4,-3,-4,-3,-1,-5,-3,-3,-1
,-4,-2,1,0,4,-2,-4,6,0,-2,-2,8,6,4,-2,0,2],[-10,-8,-5,-10,7,4,5,5,3,8,7,8,8,17
,-7,-8,-6,-4,-8,-8,-7,-9,-10,-9,3,5,10,-4,-8,14,5,-6,-3,15,14,11,-4,8,11],[-1,
1,2,4,0,3,4,4,4,4,3,2,4,-4,0,-4,-4,-3,-4,-2,-3,-1,0,0,0,-4,-1,-1,0,4,-2,0,3,3,
0,3,1,-3,-3],[-8,-6,-4,-8,7,2,4,2,1,5,5,6,6,13,-6,-5,-4,-3,-6,-6,-5,-5,-8,-6,3
,4,8,-4,-8,10,4,-4,-4,12,12,10,-4,4,8],[2,4,5,7,-2,1,1,2,2,2,0,-1,0,-11,2,-1,
-1,-1,0,1,0,2,5,4,-1,-6,-6,0,2,-2,-2,2,4,-4,-4,-2,2,-6,-8],[-6,-7,-6,-8,5,3,2,
1,1,3,4,5,4,15,-5,-3,-3,-3,-4,-5,-4,-5,-8,-7,2,6,10,-2,-6,8,2,-4,-2,10,10,8,-4
,6,10],[0,-1,0,0,-1,0,-1,0,1,0,1,-1,-1,1,1,0,-1,-1,1,1,0,-2,1,-1,0,0,0,0,2,0,0
,0,2,-2,-2,0,2,2,0],[0,0,1,0,-2,-1,-2,-1,-1,-1,-2,-1,-2,-1,2,1,2,1,2,1,2,0,2,1
,-1,0,-2,1,3,-3,1,-1,1,-4,-4,-3,1,2,0],[0,0,-1,1,0,-1,0,-1,0,-2,-1,-1,-1,0,0,1
,0,1,0,1,1,2,0,1,0,0,1,1,0,-1,-2,0,-1,0,0,-1,0,-1,0],[0,3,1,-1,-2,-4,-4,-4,-4,
-3,-5,-4,-5,-3,2,3,5,4,5,4,5,3,4,4,-1,0,-4,2,2,-6,2,0,-2,-8,-4,-6,0,0,-2],[8,
11,6,12,-7,-5,-3,-5,-4,-8,-8,-8,-8,-21,7,8,7,5,6,8,8,12,11,12,-3,-8,-12,4,8,
-16,-6,6,2,-14,-14,-12,4,-12,-14],[6,5,2,4,-4,-4,-5,-5,-4,-7,-6,-6,-7,-9,4,7,6
,4,7,6,6,6,6,6,-2,-1,-6,2,4,-10,-2,4,0,-10,-8,-8,2,-4,-6],[24,13,11,19,-15,-6,
-12,-7,-3,-15,-13,-14,-16,-32,14,15,10,7,18,14,13,14,20,15,-7,-8,-20,8,18,-26,
-10,12,8,-32,-28,-22,8,-10,-20],[4,-7,-8,-10,2,-5,-7,-8,-6,-10,-4,-1,-5,16,-2,
9,5,5,6,1,4,0,-6,-5,1,12,6,2,-2,-6,4,0,-8,0,4,-2,-2,10,14],[4,-1,1,5,-2,1,1,1,
3,-1,0,0,1,-4,1,0,-3,0,-1,0,0,3,1,1,0,-2,0,2,2,-2,-4,0,2,0,-2,-2,0,-2,-2],[-4,
-9,-3,-9,2,0,-1,1,0,3,3,5,3,14,-2,-3,-2,-1,-2,-5,-2,-7,-5,-7,2,6,6,0,-2,6,6,-6
,-2,4,4,4,-2,10,12],[-4,-4,-1,-4,2,1,2,2,0,3,1,4,3,6,-2,-3,-1,0,-4,-4,-2,-3,-3
,-3,1,1,3,0,-2,4,4,-4,-2,5,4,2,-1,4,5],[3,3,4,7,-2,0,2,2,3,1,0,-1,1,-10,2,-2,
-2,0,-1,1,0,4,4,4,-1,-6,-3,1,3,-1,-4,1,2,-2,-4,-2,1,-6,-7],[-12,-2,-2,-4,5,5,9
,7,4,11,7,6,9,7,-5,-11,-6,-5,-11,-6,-7,-6,-6,-4,2,-2,6,-4,-6,14,2,-6,0,14,10,
10,-2,0,2],[14,3,4,6,-5,-5,-8,-7,-4,-10,-7,-6,-9,-12,5,11,6,5,11,6,8,8,8,6,-2,
0,-8,4,6,-16,-2,6,0,-16,-10,-10,2,-4,-6],[-5,5,3,1,-2,0,0,1,-1,3,-1,-2,-1,-6,2
,-2,2,0,1,2,1,-1,4,3,-1,-4,-4,-1,2,1,1,0,2,-3,-4,-1,2,-3,-7],[-8,2,-3,-1,3,1,5
,1,0,2,2,1,3,2,-3,-2,-1,-1,-5,-1,-2,1,-4,0,1,-1,4,-2,-5,5,-1,-1,-2,9,7,4,-2,-5
,-1],[2,4,4,4,-3,-1,0,0,0,-1,-1,-1,-1,-8,2,0,1,1,1,2,1,3,4,4,-1,-4,-6,2,2,-4,
-2,0,2,-4,-4,-4,2,-2,-6],[-4,-2,-3,-3,2,1,1,1,1,2,1,2,2,6,-2,-2,-1,-1,-3,-2,-2
,-2,-3,-2,1,2,2,-2,-2,4,2,-4,-2,4,4,4,-2,2,6]]],
0,
[
( 3, 4)( 6, 7)( 9,10)(11,14)(12,13)(16,17)(18,19)(20,26)(21,23)(22,25)(24,27)
(31,32)(33,34)(35,38)(36,37)(39,40)
],
0);

MBT("L4(4).2_3",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[13,1],
[[1,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30
,31,35,36,37,38,41,42]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0
,-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0,0,0,0],[0,0,0,
-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,2,0,0,0],[-4,3,-2,-2
,-2,-2,-2,-2,-2,-2,-2,-2,1,2,-3,6,2,-2,-2,-2,0,0,1,1,0,0,4,2,2,-2,-2,-2,-2,2,2
],[2,1,1,1,0,0,-1,-1,0,0,0,0,0,-1,0,-2,-1,0,1,1,0,1,0,0,1,0,0,0,0,-2,0,0,-2,0,
0],[0,0,1,1,0,0,-1,-1,0,0,-1,-1,0,0,0,-1,-2,1,1,1,0,1,0,0,1,0,0,0,0,0,0,0,-2,0
,0],[1,0,0,0,0,1,1,1,1,0,1,1,-1,-1,1,0,2,-1,-1,-1,0,0,1,-1,-1,0,0,-1,0,0,-1,0,
2,-2,0],[1,0,0,0,1,0,1,1,0,1,1,1,-1,-1,1,0,2,-1,-1,-1,0,-1,-1,1,0,0,0,0,-1,0,0
,-1,2,0,-2],[-2,1,-1,1,0,0,-1,0,-2,0,-1,-1,0,0,0,-1,-2,1,0,1,2,1,0,0,1,0,0,0,0
,-2,4,0,-2,0,0],[-2,1,1,-1,0,0,0,-1,0,-2,-1,-1,0,0,0,-1,-2,1,1,0,0,1,0,0,1,2,0
,0,0,-2,0,4,-2,0,0],[2,-3,3,2,2,1,1,1,2,2,1,1,0,-1,2,-6,-4,3,3,3,-1,0,-2,0,1,0
,-4,-1,-2,2,2,2,0,0,-2],[2,-3,2,3,1,2,1,1,2,2,1,1,0,-1,2,-6,-4,3,3,3,0,1,0,-2,
0,-1,-4,-2,-1,2,2,2,0,-2,0],[0,0,0,0,0,0,1,1,1,1,1,1,0,0,0,1,2,-1,-1,-1,-1,-1,
0,0,-1,-1,0,0,0,1,-2,-2,2,0,0],[-2,1,-3,0,-1,-1,0,1,-2,1,0,1,-1,1,-1,4,4,-2,-3
,-2,2,-1,1,1,-2,-2,2,0,1,0,0,-4,2,0,0],[-2,1,0,-3,-1,-1,1,0,1,-2,1,0,-1,1,-1,4
,4,-2,-2,-3,-2,-2,1,1,-1,2,2,1,0,0,-4,0,2,0,0],[-12,9,-7,-7,-5,-5,-3,-3,-5,-5,
-3,-3,1,5,-7,18,11,-8,-9,-9,0,-2,3,3,-2,0,12,5,5,-6,-6,-6,-2,4,4],[-2,2,-1,-1,
1,-2,0,1,-2,1,0,0,-1,-1,0,3,4,-2,-3,-2,0,-2,-2,3,1,0,2,2,-1,-2,0,-4,2,2,-2],[
-2,2,-1,-1,-2,1,1,0,1,-2,0,0,-1,-1,0,3,4,-2,-2,-3,0,1,3,-2,-2,0,2,-1,2,-2,-4,0
,2,-2,2],[-2,1,1,-3,-1,0,-1,-2,1,-3,-1,-2,1,1,-1,3,0,-1,0,-1,-2,0,1,-1,1,2,2,1
,1,0,-4,2,-2,0,2],[-2,1,-3,1,0,-1,-2,-1,-3,1,-2,-1,1,1,-1,3,0,-1,-1,0,2,1,-1,1
,0,-2,2,1,1,0,2,-4,-2,2,0],[2,-5,1,1,1,1,1,1,2,2,1,1,1,1,1,-2,-2,2,2,2,-1,-1,
-1,-1,-1,-1,-3,-1,-1,6,0,0,2,0,0],[6,-7,1,5,4,3,4,5,2,6,3,4,-1,-3,5,-9,-3,4,3,
4,1,-1,-3,-1,-1,-2,-8,-3,-4,6,6,0,6,-2,-4],[6,-7,5,1,3,4,5,4,6,2,4,3,-1,-3,5,
-9,-3,4,4,3,-2,-1,-1,-3,-1,1,-8,-4,-3,6,0,6,6,-4,-2],[8,-6,5,5,4,4,3,3,4,4,3,3
,-2,-4,6,-13,-6,5,5,5,0,1,-2,-2,1,0,-8,-4,-4,3,4,4,3,-4,-4],[12,-6,8,6,2,5,0,
-1,7,2,2,1,1,-3,4,-16,-12,7,10,8,-2,5,0,-5,2,0,-9,-5,-2,2,0,10,-4,-4,0],[12,-6
,6,8,5,2,-1,0,2,7,1,2,1,-3,4,-16,-12,7,8,10,0,2,-5,0,5,-2,-9,-2,-5,2,10,0,-4,0
,-4],[0,0,-2,0,-2,-1,-2,-2,-1,0,-1,-1,2,3,-3,4,0,-1,0,0,-1,0,1,0,-1,-2,2,2,2,2
,-2,-4,-2,2,2],[0,0,0,-2,-1,-2,-2,-2,0,-1,-1,-1,2,3,-3,4,0,-1,0,0,-2,-1,0,1,0,
-1,2,2,2,2,-4,-2,-2,2,2],[-4,2,-5,-5,-4,-4,-1,-1,-2,-2,-1,-1,2,5,-6,12,7,-4,-4
,-4,-1,-3,2,2,-3,-1,5,3,3,4,-6,-6,2,4,4],[-10,4,-7,-7,-3,-3,1,1,-4,-4,-1,-1,0,
4,-4,15,10,-6,-8,-8,1,-4,2,2,-4,1,8,3,3,0,-4,-4,4,2,2],[7,-3,4,4,3,2,1,1,3,3,2
,1,0,-3,3,-9,-5,3,4,4,-2,1,-2,-1,2,0,-5,-1,-3,1,2,1,0,-1,-2],[7,-3,4,4,2,3,1,1
,3,3,1,2,0,-3,3,-9,-5,3,4,4,0,2,-1,-2,1,-2,-5,-3,-1,1,1,2,0,-2,-1],[-8,-2,-3,
-3,2,2,6,6,0,0,3,3,-3,0,4,2,5,-2,-5,-5,2,-3,0,0,-3,2,-1,-2,-2,4,2,2,10,-4,-4],
[0,-1,4,-6,-2,0,1,-2,5,-6,0,-1,0,0,-1,2,2,0,1,-2,-4,-1,3,-2,0,5,1,0,1,0,-8,8,2
,-2,2],[0,-1,-6,4,0,-2,-2,1,-6,5,-1,0,0,0,-1,2,2,0,-2,1,5,0,-2,3,-1,-4,1,1,0,0
,8,-8,2,2,-2]]],
0,
[
( 2, 3)(10,11)(12,13)(17,18)(21,22)(23,27)(24,26)(25,28)(29,35)(30,36)(31,33)
(32,34)
],
0);

MBT("L4(4).2^2",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[14,2],
[[1,5,9,13,17,21,25,27,29,33,35,36,38,39,40,45,49,53,54,55,56,57,59],[41]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,1,-2,1,2,0,0,0,-1,-1,0,
0,0,1,0,2,-1,0,0,0,1,0],[0,0,0,2,-1,-1,0,1,-1,0,0,-1,0,-1,-1,0,-1,1,1,1,1,0,0]
,[2,0,-1,-1,1,0,1,0,1,-1,0,0,0,1,0,-1,0,0,0,-1,0,-1,0],[1,0,-1,2,0,0,-1,-1,-1,
1,1,0,0,1,0,1,-1,0,-1,-1,0,0,0],[0,1,1,-1,0,0,1,1,1,-1,-1,0,0,-1,0,-1,1,0,1,1,
0,0,-1],[0,0,2,0,2,6,-2,-2,-2,0,-1,0,0,2,2,2,2,-2,-2,-1,0,2,0],[-2,-2,-2,-1,1,
0,-1,-3,1,2,2,2,0,3,1,1,-1,-1,-3,-3,-2,0,1],[-1,0,0,0,-1,-2,1,1,1,0,0,0,0,-1,
-1,-1,-1,1,1,1,0,-1,0],[-4,0,0,1,-3,-4,1,5,1,0,-1,-2,0,-5,-2,-1,-1,2,4,4,1,0,
-1],[-3,2,1,2,-2,-2,2,6,-1,-2,-3,-3,0,-5,-3,-2,0,3,5,5,3,0,-1],[-2,1,3,-1,0,0,
1,1,1,-1,-2,0,1,-1,0,-3,1,0,1,2,0,-1,-1],[2,2,0,4,0,2,-2,-2,-4,0,1,0,0,1,0,2,0
,0,-1,-1,1,0,0],[-2,-1,-2,1,-1,-3,-1,-1,0,2,2,1,0,0,0,1,-1,0,-1,-1,-1,0,1],[-4
,-3,1,-5,0,0,-1,-5,3,3,2,4,0,2,3,1,1,-3,-4,-2,-4,1,1],[1,-1,0,-2,2,2,-1,-3,1,1
,1,2,0,3,2,1,1,-2,-3,-3,-2,0,0],[12,-7,-9,-1,4,0,-1,-9,3,3,7,4,-1,11,2,3,-3,-2
,-8,-12,-4,-1,3],[2,0,-4,4,-4,-8,2,4,-2,0,2,-2,-1,-3,-5,0,-6,5,4,2,3,-4,0],[-3
,1,-1,0,-4,-7,2,5,2,0,0,-2,0,-5,-3,-2,-2,3,4,4,1,-2,1],[-5,3,4,1,-2,0,0,4,-2,
-1,-3,-2,0,-6,-1,0,2,1,4,6,2,1,-1],[6,-2,-2,-3,3,0,1,-5,3,0,2,3,0,6,1,-1,-1,-1
,-4,-5,-2,-3,1],[-9,4,8,-1,0,7,-2,1,-3,-1,-4,0,0,-3,2,3,5,-2,1,4,0,3,-2],[-4,
-3,-1,-1,-2,-6,3,3,1,1,0,-2,-1,-3,-1,-1,-1,2,2,2,1,1,-1]],[[1]]],
0,
[],
0);

MBT("L4(4)",3,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,25,26,1,27,28,1,2,3,4,5,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,26
,25,6,7,8,1,27,28],
[4,0,0,0,0,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2],
[[1,2,3,5,18],,,,,,[12],[15],,,,,,,,,,,,,,,,,,,[55,58],[57,59]],
[,,,,,[[1,2,3]],,,,,,,,,,,,,,,,,,,[[1,3],[2,3]],[[1,2],[1,3]]],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],,,,,,[[1]],7,,
,,,,,,,,,,,,,,,,,[[1,0],[-1,1]],27],
0,
[(17,20,18,19)(21,24,25,27,35,34,23,36)(22,28,29,31,30,33,32,26),(11,12),(6,7)
(8,9)(13,14)(15,16)(21,33,35,28)(22,36,30,27)(23,31,25,26)(24,32,34,29),(21,
35)(22,30)(23,25)(24,34)(26,31)(27,36)(28,33)(29,32)],
0);

MBT("L4(4)",5,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,28,29,1,2,1,2,2,30,31,3,4,5,6,7,1,2,8,9,10,11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,3,28,29],
[2,2,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0],
[[1,2,3,5,11],[4,33,53,56]],
[,,[[1,2],[2,3,4]],[[1,2,3,4,5]],4,4,4,,,,,,,,,,,,,,,,,,,,,[[1,4],[2,3,4]],28]
,
[[[1,0,0,0,0],[-1,1,0,0,0],[1,-1,1,0,0],[-1,0,-1,1,0],[-1,1,-1,0,1]],[[1,0,0,0
],[0,0,0,1],[-1,1,-1,-1],[0,0,1,0]]],
0,
[(22,25,23,24),(16,17)(26,27)(28,29)(30,32,37,34,38,31)(33,35,36,39,41,40),(4,
5)(10,11)(12,13)(18,19)(20,21)(26,28)(27,29)(30,33,37,36,38,41)(31,40,32,35,
34,39),(30,38,37)(31,34,32)(33,41,36)(35,40,39)],
0);

MBT("L4(4)",7,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,2,12,11,33,43,1,3,36,37,38,42,53,57,4,45,46,11,12,5,6,7,8,9,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,32,41,47,10,34,35,55,59,1,11,12,13,14,44,50,51,
56,58,60,39,40,48,49,52,54,15,16],
[1,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,5],[3,4,5]],,,,,,,,,,[[3,4],[4,5],[1,2,5]],11,[[1,2,3,4,5,6,7]],13]
,
[],
0,
[(43,46,44,45)(51,54,55,57,65,64,53,66)(52,58,59,61,60,63,62,56),(10,11)(12,
13)(23,24)(25,26)(29,32)(30,31)(33,34)(35,36)(37,38)(39,40)(41,42)(47,48)(49,
50)(51,63,65,58)(52,66,60,57)(53,61,55,56)(54,62,64,59),(4,5)(15,16)(17,18)
(21,22)(27,28)(29,31)(30,32)(33,34)(39,41)(40,42)(47,49)(48,50),(51,65)(52,60)
(53,55)(54,64)(56,61)(57,66)(58,63)(59,62)],
0);

MBT("L4(4)",17,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,30,38,29,28,2,3,33,34,35,39,51,55,1,42,44,41,43,4,1,28,29,5,31,32,53,57,6
,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,40,48,49,54,56,59,36,37
,46,47,50,52,45,58,26,27],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,3],[3,8],[4,5,6,7,8]],,,,,,,,,,,,,,,,,,,,,,,,,,,[[9,10],[1,2,3,4,5,
6,7,8,10]],28],
[],
0,
[(21,22)(45,46)(47,48)(53,55,60,57,61,54)(56,58,59,62,64,63),(10,11)(12,13)
(25,26)(27,28)(31,34)(32,33)(35,36)(37,38)(39,40)(41,42)(43,44)(49,50)(51,52),
(4,5)(15,16)(17,18)(23,24)(29,30)(31,33)(32,34)(35,36)(41,43)(42,44)(45,47)
(46,48)(49,51)(50,52)(53,56,60,59,61,64)(54,63,55,58,57,62),(53,61,60)(54,57,
55)(56,64,59)(58,63,62)],
0);

LIBTABLE.LOADSTATUS.ctbline6:="userloaded";

#############################################################################
##
#E