File: ctbunit4.tbl

package info (click to toggle)
gap-ctbllib 1.3.9-2
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 74,872 kB
  • sloc: xml: 41,268; makefile: 215; javascript: 155
file content (2158 lines) | stat: -rw-r--r-- 101,806 bytes parent folder | download
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
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
#############################################################################
##
#W  ctbunit4.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the unitary
##  group $U_6(2)$ of the ATLAS (see file 'ctounit4.tbl'),
##  modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbunit4.tbl,v $
#H  Revision 4.11  2012/03/02 08:40:59  gap
#H  added the Brauer tables of 3.U6(2).3.2 and 2^2.U6(2).3.2
#H      TB
#H
#H  Revision 4.10  2012/01/26 11:21:57  gap
#H  added table automorphisms of U6(2).3.2 mod 2
#H      TB
#H
#H  Revision 4.9  2011/09/28 12:12:38  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.8  2010/09/15 08:23:19  gap
#H  do not use `factorblocks' encoding in some Brauer tables where the ordering
#H  of ordinary irreducibles does not fit to that in the factors
#H      TB
#H
#H  Revision 4.7  2009/05/11 16:08:54  gap
#H  more tables of non-bicyclic extensions of ATLAS groups
#H      TB
#H
#H  Revision 4.6  2005/08/10 14:44:02  gap
#H  added modular tables of 2^2.U6(2) and (2^2x3).U6(2)
#H      TB
#H
#H  Revision 4.5  2004/08/31 11:51:20  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.4  2002/07/15 15:18:07  gap
#H  added U6(2).3.2 mod 2
#H      TB
#H
#H  Revision 4.3  2001/05/04 16:46:53  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.3 of ctbllib coincides with Rev. 4.2 of tbl in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tbl/ctbunit4.tbl,v
#H  Working file: ctbunit4.tbl
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.2.0.8
#H  	GAP4R2PRE2: 4.2.0.6
#H  	GAP4R2PRE1: 4.2.0.4
#H  	GAP4R1: 4.2.0.2
#H  keyword substitution: kv
#H  total revisions: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/14 11:39:37;  author: gap;  state: Exp;  lines: +4 -3
#H  cosmetic changes for the release ...
#H  
#H      TB
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/07/17 15:37:12;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:57;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

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

MBT("2.U6(2).2",11,
TEXT1,
[56,56,57,58,59,60,61,62,63,64,65,66,67,68,56,56,69,70,71,72,73,56,56,74,75,
56,56,76,77,78,79,80,81,82,84,83,85,86,87,88,56,56,89,90,91,92,93,94,95],
[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,4],[2,5],[3,7],[3,6],[4,8],[5,9],[7,11],[6,10],[8,11],[9,10]]],
[],
[["U6(2).2",0]],
[(104,105),( 63, 64)( 65, 66)( 67, 68)( 69, 70)( 71, 72)( 73, 74)( 75, 76)
( 77, 78)( 79, 80)( 81, 82)( 83, 84)( 88, 89)( 90, 91)( 92, 93)( 94, 95)
( 96, 97)( 98, 99)(100,101)(102,103)(106,107)(108,109)(110,111)(112,113)],
0,
rec(version:=1,
date:="03.02.93"));

MBT("2.U6(2).2",3,
"origin: modular ATLAS of finite groups",
[7,7,7,7,7,7,7,7,7,7,7,7,7,8,9,7,7,8,9],
[6,1,1],
[[66,67,68,69,70,71,74,75,76,77,80,90,91,94,97]],
[,[[1,3],[2,3]],2],
[[[1,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],[-1,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,0,0,0],[0,-1,0,0,1,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],[0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0],[0,
0,0,-1,0,0,0,1,0,0,0,0,0,0,0],[1,-1,0,0,0,-1,0,0,1,0,0,0,0,0,0],[-1,1,0,0,-1,
0,0,0,0,1,0,0,0,0,0],[1,1,0,0,0,0,-1,-1,0,0,1,0,0,0,0],[0,1,0,1,0,0,0,0,0,1,0,
0,-1,0,1],[0,-1,-1,-2,-1,-1,2,2,0,-1,-2,0,1,1,-1],[0,-1,0,-1,0,0,0,0,0,-1,0,0,
1,0,0],[-1,0,-1,0,0,0,0,0,-1,0,0,1,0,0,0]]],
[["U6(2).2",0]],
[(49,50),(28,29)(30,31)(32,33)(34,35)(36,37)(38,39)(43,44)(45,46)(47,48)],
0,
rec(version:=1,
date:="23.07.92"));

MBT("2.U6(2).2",5,
TEXT1,
[42,43,42,43,44,45,46,47,46,47,42,43,48,49,50,42,43,51,52,53,44,45,44,45,44,
45,54,55,56,46,47,57,58,59,60,61,62,63,64,65,66,67,46,47],
[1,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,3],[2,4],[3,5],[4,5]],1,1,1,[[1,4],[2,3],[3,5],[4,5]],5],
[],
[["U6(2).2",0]],
[(102,103),(96,97),( 59, 60)( 61, 62)( 63, 64)( 65, 66)( 67, 68)( 69, 70)
( 71, 72)( 73, 74)( 75, 76)( 77, 78)( 79, 80)( 84, 85)( 86, 87)( 88, 89)
( 90, 91)( 92, 93)( 94, 95)( 98, 99)(100,101)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("2.U6(2).2",7,
TEXT1,
[54,55,56,57,58,59,56,57,60,61,62,63,64,65,66,57,56,67,68,69,70,71,56,57,72,
73,57,56,74,75,76,77,78,80,79,56,57,81,82,83,84,85,86,87,88,89,90,91],
[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,0,0,0,0],
[],
[,,[[1,6],[2,3],[4,5],[3,4],[5,7],[6,7]],3],
[],
[["U6(2).2",0]],
[(108,109),(102,103),( 63, 64)( 65, 66)( 67, 68)( 69, 70)( 71, 72)( 73, 74)
( 75, 76)( 77, 78)( 79, 80)( 81, 82)( 83, 84)( 88, 89)( 90, 91)( 92, 93)
( 94, 95)( 96, 97)( 98, 99)(100,101)(104,105)(106,107)(110,111)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("2.U6(2)",11,
TEXT1,
[41,42,43,44,45,46,47,41,48,49,50,51,41,52,41,53,54,55,56,57,58,59,60,41,61,
62,63,64,65],
[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,4],[2,3,5],[4,6],[5,7],[6,7]]],
[],
[["U6(2)",0]],
[(25,27)(26,28)(48,50)(49,51)(56,57)(60,61)(70,72)(71,73),(18,19)(46,47)
(64,65)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("2.U6(2)",3,
TEXT1,
[6,6,6,6,6,6,6,6,7,6,7],
[6,1],
[[47,48,49,51,52,54,55,62,64]],
[,[[1,3],[2,3]]],
[[[1,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0],[-1,0,1,0,0,0,0,0,0],[0,-1,0,1,0,0,
0,0,0],[0,0,-1,0,1,0,0,0,0],[1,0,0,-1,0,1,0,0,0],[1,0,0,-1,0,0,1,0,0],[0,-1,
-1,2,0,-1,-1,0,1],[-1,-1,0,0,-1,0,0,1,0]]],
[["U6(2)",0]],
[(28,30)(29,31),(12,13)(24,25)],
0);

MBT("2.U6(2)",5,
TEXT1,
[35,35,36,37,37,35,38,39,40,35,41,42,43,36,36,36,44,45,46,37,47,48,49,50,51,
52,53,37],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]],1,[[1,4],[2,3],[3,5],[4,5]]],
[],
[["U6(2)",0]],
[(52,54)(53,55),(23,25)(24,26)(46,48)(47,49)(56,57)(60,61)(68,70)(69,71),
(18,19)(44,45)(64,65)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("2.U6(2)",7,
TEXT1,
[41,42,43,42,44,45,46,47,48,42,49,50,51,52,42,53,42,54,55,56,57,58,42,59,60,
61,62,63,64,65],
[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,6],[2,3],[4,5],[3,4],[5,7],[6,7]]],
[],
[["U6(2)",0]],
[(54,56)(55,57),(25,27)(26,28)(46,48)(47,49)(58,59)(62,63)(72,74)(73,75),
(18,19)(44,45)(66,67)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("2^2.U6(2)",3,
"constructed using `PossibleCharacterTablesOfTypeV4G'",
[8,8,8,8,8,8,8,8,9,8,9,10,10,10,10,10,10,10,10,11,10,11],
[6,1,6,1],
[[79,80,82,83,85,86,88,93,95],,[110,111,113,114,116,117,119,124,126]],
[,[[1,3],[2,3]],,2],
[[[0,-1,1,0,-1,-1,1,0,0],[1,1,-1,0,1,1,-1,0,0],[0,2,-1,0,1,1,-1,0,0],[-1,0,1,0
,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0],[0,-1,0,0,0,-1,1,0,0],[0,-1,0,0,-1,0,1,0,0],[
-1,-1,2,0,-1,-1,0,0,1],[-1,1,-1,-1,1,1,-1,1,0]],,1],
[["U6(2)",0],["2.U6(2)",0]],
[(46,50)(47,51)(48,52)(49,53),
( 3, 4)( 7, 8)(11,12)(18,20)(19,21)(24,25)(29,30)(33,34)(38,40)(39,41)(44,45)
(48,49)(52,53)
,
( 2, 3)( 6, 7)(10,11)(16,18)(17,19)(23,24)(28,29)(32,33)(36,38)(37,39)(43,44)
(47,48)(51,52)
],
0);

MBT("2^2.U6(2)",5,
"constructed using `PossibleCharacterTablesOfTypeV4G'",
[54,54,55,56,56,54,57,58,59,54,60,61,62,55,55,55,63,64,65,56,66,67,68,69,70,71
,72,56,73,73,74,75,75,73,76,77,78,73,79,80,81,74,74,74,82,83,84,75,85,86,87,88
,89,90,91,75],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]],1,[[1,4],[2,3],[3,5],[4,5]],,,,,,,,,,,,,,,,,1,1,3],
[],
[["U6(2)",0],["2.U6(2)",0]],
[(),
( 39, 43)( 40, 44)( 41, 45)( 42, 46)( 82, 86)( 83, 87)( 84, 88)( 85, 89)
(102,103)(108,109)(120,124)(121,125)(122,126)(123,127)
,( 94, 98)( 95, 99)( 96,100)( 97,101),
(  3,  4)(  7,  8)( 11, 12)( 16, 17)( 20, 21)( 24, 25)( 30, 32)( 31, 33)
( 36, 37)( 41, 42)( 45, 46)( 49, 50)( 53, 54)( 57, 58)( 61, 62)( 65, 66)
( 69, 70)( 73, 74)( 78, 80)( 79, 81)( 84, 85)( 88, 89)( 92, 93)( 96, 97)
(100,101)(106,107)(112,114)(113,115)(118,119)(122,123)(126,127)
,
(  2,  3)(  6,  7)( 10, 11)( 15, 16)( 19, 20)( 23, 24)( 28, 30)( 29, 31)
( 35, 36)( 40, 41)( 44, 45)( 48, 49)( 52, 53)( 56, 57)( 60, 61)( 64, 65)
( 68, 69)( 72, 73)( 76, 78)( 77, 79)( 83, 84)( 87, 88)( 91, 92)( 95, 96)
( 99,100)(105,106)(110,112)(111,113)(117,118)(121,122)(125,126)
],
0);

MBT("2^2.U6(2)",7,
"constructed using `PossibleCharacterTablesOfTypeV4G'",
[66,67,68,67,69,70,71,72,73,67,74,75,76,77,67,78,67,79,80,81,82,83,67,84,85,86
,87,88,89,90,91,92,93,92,94,95,96,97,98,92,99,100,101,102,92,103,92,104,105,
106,107,108,92,109,110,111,112,113,114,115],
[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,0,0,0,0,0,0],
[],
[,[[1,6],[2,3],[4,5],[3,4],[5,7],[6,7]],,,,,,,,,,,,,,,,,,,,,,,,,2],
[],
[["U6(2)",0],["2.U6(2)",0]],
[(),
( 43, 47)( 44, 48)( 45, 49)( 46, 50)( 82, 86)( 83, 87)( 84, 88)( 85, 89)
(106,107)(112,113)(128,132)(129,133)(130,134)(131,135)
,( 98,102)( 99,103)(100,104)(101,105),
(  3,  4)(  7,  8)( 11, 12)( 16, 17)( 20, 21)( 24, 25)( 30, 32)( 31, 33)
( 36, 37)( 41, 42)( 45, 46)( 49, 50)( 53, 54)( 57, 58)( 61, 62)( 65, 66)
( 69, 70)( 73, 74)( 78, 80)( 79, 81)( 84, 85)( 88, 89)( 92, 93)( 96, 97)
(100,101)(104,105)(110,111)(116,118)(117,119)(122,123)(126,127)(130,131)
(134,135)
,
(  2,  3)(  6,  7)( 10, 11)( 15, 16)( 19, 20)( 23, 24)( 28, 30)( 29, 31)
( 35, 36)( 40, 41)( 44, 45)( 48, 49)( 52, 53)( 56, 57)( 60, 61)( 64, 65)
( 68, 69)( 72, 73)( 76, 78)( 77, 79)( 83, 84)( 87, 88)( 91, 92)( 95, 96)
( 99,100)(103,104)(109,110)(114,116)(115,117)(121,122)(125,126)(129,130)
(133,134)
],
0);

MBT("2^2.U6(2)",11,
"constructed using `PossibleCharacterTablesOfTypeV4G'",
[66,67,68,69,70,71,72,66,73,74,75,76,66,77,66,78,79,80,81,82,83,84,85,66,86,87
,88,89,90,91,92,93,94,95,96,97,91,98,99,100,101,91,102,91,103,104,105,106,107,
108,109,110,91,111,112,113,114,115],
[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,0,0,0,0,0,0,0],
[],
[[[1,4],[2,3,5],[4,6],[5,7],[6,7]],,,,,,,,,,,,,,,,,,,,,,,,,1],
[],
[["U6(2)",0],["2.U6(2)",0]],
[
( 43, 47)( 44, 48)( 45, 49)( 46, 50)( 86, 90)( 87, 91)( 88, 92)( 89, 93)
(102,103)(108,109)(124,128)(125,129)(126,130)(127,131)
,
(  3,  4)(  7,  8)( 11, 12)( 16, 17)( 20, 21)( 24, 25)( 30, 32)( 31, 33)
( 36, 37)( 41, 42)( 45, 46)( 49, 50)( 53, 54)( 57, 58)( 61, 62)( 65, 66)
( 69, 70)( 73, 74)( 77, 78)( 82, 84)( 83, 85)( 88, 89)( 92, 93)( 96, 97)
(100,101)(106,107)(112,114)(113,115)(118,119)(122,123)(126,127)(130,131)
,
(  2,  3)(  6,  7)( 10, 11)( 15, 16)( 19, 20)( 23, 24)( 28, 30)( 29, 31)
( 35, 36)( 40, 41)( 44, 45)( 48, 49)( 52, 53)( 56, 57)( 60, 61)( 64, 65)
( 68, 69)( 72, 73)( 76, 77)( 80, 82)( 81, 83)( 87, 88)( 91, 92)( 95, 96)
( 99,100)(105,106)(110,112)(111,113)(117,118)(121,122)(125,126)(129,130)
],
0);

MBT("2^2.U6(2).2",3,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[10,10,10,10,10,10,10,10,11,10,11],
[6,1],
[[117,118,120,121,123,124,126,131,133]],
[,[[1,3],[2,3]]],
[[[0,-1,1,0,-1,-1,1,0,0],[1,1,-1,0,1,1,-1,0,0],[0,2,-1,0,1,1,-1,0,0],[-1,0,1,0
,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0],[0,-1,0,0,0,-1,1,0,0],[0,-1,0,0,-1,0,1,0,0],[
-1,-1,2,0,-1,-1,0,0,1],[-1,1,-1,-1,1,1,-1,1,0]]],
[["U6(2).2",0],["2.U6(2).2",0]],
[(60,61),(37,38)],
0);

MBT("2^2.U6(2).2",5,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[68,68,69,70,70,68,71,72,73,68,74,75,76,69,69,69,77,78,79,70,80,81,82,83,84,85
,86,70],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]],1,[[1,4],[2,3],[3,5],[4,5]]],
[],
[["U6(2).2",0],["2.U6(2).2",0]],
[(),(130,131),(124,125),(69,70),(32,33)(62,63)(85,86)],
0);

MBT("2^2.U6(2).2",7,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[92,93,94,93,95,96,97,98,99,93,100,101,102,103,93,104,93,105,106,107,108,109,
93,110,111,112,113,114,115,116],
[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,6],[2,3],[4,5],[3,4],[5,7],[6,7]]],
[],
[["U6(2).2",0],["2.U6(2).2",0]],
[(),(138,139),(132,133),(72,73),(35,36)(62,63)(91,92)],
0);

MBT("2^2.U6(2).2",11,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[96,97,98,99,100,101,102,96,103,104,105,106,96,107,96,108,109,110,111,112,113,
114,115,96,116,117,118,119,120],
[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,4],[2,3,5],[4,6],[5,7],[6,7]]],
[],
[["U6(2).2",0],["2.U6(2).2",0]],
[(),(133,134),(35,36)(65,66)(90,91)],
0);

MBT("2^2.U6(2).3",3,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[6,6,6,6,6,6,6,6,7,6,7],
[6,1],
[[116,117,119,120,122,123,125,130,132]],
[,[[1,3],[2,3]]],
[[[0,-1,1,0,-1,-1,1,0,0],[1,1,-1,0,1,1,-1,0,0],[0,2,-1,0,1,1,-1,0,0],[-1,0,1,0
,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0],[0,-1,0,0,0,-1,1,0,0],[0,-1,0,0,-1,0,1,0,0],[
-1,-1,2,0,-1,-1,0,0,1],[-1,1,-1,-1,1,1,-1,1,0]]],
[["U6(2).3",0]],
[(24,26)(25,27)],
0);

MBT("2^2.U6(2).3",5,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[79,79,80,81,81,79,82,83,84,79,85,86,87,80,80,80,88,89,90,81,91,92,93,94,95,96
,97,81],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]],1,[[1,4],[2,3],[3,5],[4,5]]],
[],
[["U6(2).3",0]],
[( 48, 50)( 49, 51)(128,130)(129,131),
( 21, 23)( 22, 24)( 42, 44)( 43, 45)( 52, 53)( 56, 57)( 62, 64)( 63, 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)
],
0);

MBT("2^2.U6(2).3",7,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[97,98,99,98,100,101,102,103,104,98,105,106,107,108,98,109,98,110,111,112,113,
114,98,115,116,117,118,119,120,121],
[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,6],[2,3],[4,5],[3,4],[5,7],[6,7]]],
[],
[["U6(2).3",0]],
[( 50, 52)( 51, 53)(136,138)(137,139),
( 23, 25)( 24, 26)( 42, 44)( 43, 45)( 54, 55)( 58, 59)( 66, 68)( 67, 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)
],
0);

MBT("2^2.U6(2).3",11,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[97,98,99,100,101,102,103,97,104,105,106,107,97,108,97,109,110,111,112,113,114
,115,116,97,117,118,119,120,121],
[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,4],[2,3,5],[4,6],[5,7],[6,7]]],
[],
[["U6(2).3",0]],
[
( 23, 25)( 24, 26)( 44, 46)( 45, 47)( 52, 53)( 56, 57)( 64, 66)( 65, 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)
],
0);

MBT("3.U6(2).2",11,
TEXT1,
[56,56,57,58,59,60,61,62,63,64,65,66,56,67,68,69,70,71,72,73,74,75,56,76,77,
78,79,80,81,82,83,84,85,86,87,56,88,89,90,91,92],
[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,3],[2,4],[3,5],[4,6,7],[5,6,7]]],
[],
[["U6(2).2",0]],
[( 21, 22)( 50, 51)( 69, 70),(100,101)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("3.U6(2).2",2,
TEXT1,
[3,3,3,3,3,3,3,3,3,3],
[15],
[[66,67,69,70,71,72,73,90,97,103]],
[],
[[[-2,-2,1,-3,0,-2,-1,-2,0,1],[3,2,-1,3,0,2,1,2,0,-1],[-3,-2,1,-3,0,-3,0,-2,0,
1],[-1,1,0,0,0,1,-1,0,0,0],[0,1,0,3,0,2,1,2,0,-1],[1,0,-1,1,0,1,-1,0,0,0],[-3,
-4,1,-3,1,-2,-1,-2,0,1],[-4,-5,1,-6,0,-5,0,-4,0,2],[8,5,-3,3,-2,0,1,3,0,-1],[
1,2,0,-1,-3,-2,0,0,1,0]]],
[["U6(2).2",0]],
[],
[1,1,-1,1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
rec(version:=3,
date:="08.09.94"));

MBT("3.U6(2).2",5,
TEXT1,
[42,43,44,45,42,46,44,47,48,49,50,51,52,45,53,54,55,56,42,57,58,44,59,60,61,
62,63,45,64,65,66,44,42,67,68,69,70,45,71,72],
[1,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],
[],
[[[1,2],[2,4],[3,5],[4,5]],,[[1,3],[2,4],[3,5],[4,5]],3],
[],
[["U6(2).2",0]],
[(55,56),(21,22)(48,49)(68,69),(95,96)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("3.U6(2).2",7,
TEXT1,
[54,55,56,57,58,59,60,61,61,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,
77,78,79,61,61,61,80,81,82,83,84,85,86,87,88,89,90],
[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,0,0,0,0,0,0],
[],
[,,,,,,,[[1,7],[2,7],[3,7],[4,7],[5,7],[6,7]]],
[],
[["U6(2).2",0]],
[(57,58),(21,22)(48,49)(70,71),(100,101)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("3.U6(2).3",11,
TEXT1,
[97,98,99,100,101,102,99,97,98,101,102,100,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,97,98,99,
100,101,102,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,99,97,98,101,102,100,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,97,98,99,100,101,102,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,270,268,269],
[1,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,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,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,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,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,6,7],[5,6,7]],1,1,1,1,1],
[],
[["U6(2).3",0]],
[(283,284,285)(286,287,288),(109,110,111)(112,113,114)(115,116,117)
(118,119,120)(121,122,123)(124,125,126)(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)(191,192,193)
(194,195,196)(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)(289,290,291)
(292,293,294)(295,296,297)(298,299,300)(301,302,303)(304,305,306),(  2,  3)
(  5,  6)(  8,  9)( 11, 12)( 14, 15)( 17, 18)( 21, 22)( 24, 25)( 27, 28)
( 30, 31)( 33, 34)( 36, 37)( 38, 41)( 39, 43)( 40, 42)( 45, 46)( 48, 49)
( 51, 52)( 54, 55)( 57, 58)( 61, 62)( 64, 65)( 67, 68)( 69, 72)( 70, 74)
( 71, 73)( 77, 78)( 79, 82)( 80, 84)( 81, 83)( 86, 87)( 88, 91)( 89, 93)
( 90, 92)( 95, 96)( 98, 99)(101,102)(103,106)(104,108)(105,107)(109,112)
(110,113)(111,114)(115,118)(116,119)(117,120)(121,124)(122,125)(123,126)
(127,128)(129,132)(130,133)(131,134)(135,138)(136,139)(137,140)(141,144)
(142,145)(143,146)(147,150)(148,151)(149,152)(153,156)(154,157)(155,158)
(159,162)(160,163)(161,164)(165,168)(166,169)(167,170)(171,174)(172,175)
(173,176)(177,180)(178,181)(179,182)(183,186)(184,187)(185,188)(189,190)
(191,194)(192,195)(193,196)(197,198)(199,202)(200,203)(201,204)(205,208)
(206,209)(207,210)(211,214)(212,215)(213,216)(217,220)(218,221)(219,222)
(223,226)(224,227)(225,228)(229,232)(230,233)(231,234)(235,238)(236,239)
(237,240)(241,244)(242,245)(243,246)(247,250)(248,251)(249,252)(253,256)
(254,257)(255,258)(259,262)(260,263)(261,264)(265,268)(266,269)(267,270)
(271,274)(272,275)(273,276)(277,280)(278,281)(279,282)(283,286)(284,287)
(285,288)(289,292)(290,293)(291,294)(295,298)(296,299)(297,300)(301,304)
(302,305)(303,306)],
0,
rec(version:=1,
date:="03.02.93"));

MBT("3.U6(2).3",2,
TEXT1,
[5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,
5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6],
[15,15],
[[115,116,117,121,122,123,133,134,135,139,140,141,145,146,147,151,152,153,157,
227,228,229,253,254,255,289,290,291,319,320],[118,119,120,124,125,126,136,137,
138,142,143,144,148,149,150,154,155,156,158,230,231,232,256,257,258,292,293,
294,322,323]],
[],
[[[-1,-2,0,1,-2,-2,0,0,1,-2,-1,-3,-1,0,0,-1,-2,-2,0,-1,-2,-1,0,-1,0,0,1,0,1,
0],[0,-1,-2,-2,1,-2,1,0,0,-3,-2,-1,0,-1,0,-2,-1,-2,0,-1,-1,-2,0,0,-1,0,0,1,0,
1],[-1,1,0,-1,-1,2,0,1,0,2,0,1,1,1,0,1,1,2,-1,0,1,1,0,1,1,1,0,0,-1,-1],[2,2,0,
-1,2,2,0,0,-1,2,1,3,1,0,0,1,2,2,0,1,2,1,0,1,0,0,-1,0,-1,0],[0,2,2,2,-1,2,-1,0,
0,3,2,1,0,1,0,2,1,2,0,1,1,2,0,0,1,0,0,-1,0,-1],[1,-1,1,1,1,-2,0,-1,0,-2,0,-1,
-1,-1,0,-1,-1,-2,1,0,-1,-1,0,-1,-1,-1,0,0,1,1],[-2,-2,-2,0,-2,-3,1,-1,1,-5,-3,
-4,-1,-2,0,-5,-3,-4,1,-2,-3,-3,0,-2,-1,0,1,0,2,1],[-1,-1,-1,-2,1,-1,1,1,-1,-1,
-2,0,1,0,-1,-1,-2,0,0,-1,0,-1,0,1,-1,0,0,1,-1,1],[0,0,0,0,-1,2,-1,1,1,3,2,1,0,
2,1,3,2,1,-1,1,1,2,0,1,2,1,0,0,-1,-2],[-2,-2,-1,1,-1,-3,1,-1,0,-5,-3,-4,-1,-2,
-1,-4,-4,-3,1,-2,-3,-3,0,-2,-2,-1,1,0,2,2],[1,0,0,-1,3,1,0,1,-1,2,1,3,1,1,0,3,
2,2,-1,1,2,1,0,2,0,0,-1,1,-2,0],[0,1,0,1,-1,3,-1,0,1,3,2,1,0,1,1,2,3,2,-1,1,1,
2,0,0,2,1,0,-1,0,-2],[2,1,-2,-5,5,2,1,0,-1,1,0,5,2,-1,0,0,3,2,0,1,3,0,0,2,-1,
0,-2,1,-2,1],[-1,3,2,3,-4,6,-1,1,0,8,4,3,1,3,0,5,3,6,-1,2,3,5,0,1,3,1,0,-2,-1,
-3],[-1,-4,0,3,0,-7,0,-1,1,-6,-1,-5,-3,-2,0,-3,-4,-6,2,-1,-4,-3,0,-3,-2,-2,1,
0,3,2],[-2,3,2,5,-6,3,-2,0,1,5,3,-1,-1,2,1,3,2,2,-1,1,0,3,0,-1,3,1,1,-2,1,
-3],[-1,-5,0,0,2,-9,1,-2,0,-10,-4,-6,-2,-4,-1,-7,-6,-7,2,-3,-5,-6,0,-3,-4,-2,
1,1,3,4],[4,3,-1,-5,4,6,0,1,-2,6,2,8,3,2,0,5,5,6,-2,2,5,3,0,4,1,1,-2,1,-4,
-1],[3,0,-1,-5,5,1,0,2,-1,4,2,6,3,2,1,5,5,3,-2,2,4,2,0,4,1,1,-2,2,-4,-1],[-2,
2,-1,0,-6,4,-1,0,2,3,1,-1,0,2,1,0,2,2,-1,0,0,2,0,-1,3,2,1,-2,1,-3],[-4,-5,-1,
1,-3,-9,2,-1,0,-10,-6,-8,-2,-3,-1,-7,-9,-7,2,-4,-6,-6,0,-3,-4,-2,2,1,3,4],[2,
-2,-4,-7,4,-2,1,0,0,-4,-3,1,1,-2,1,-3,1,-3,0,-1,0,-3,0,1,-1,1,-1,2,-1,1],[-3,
3,-1,-1,-6,5,0,1,0,4,-1,0,2,2,-1,0,0,4,-1,-1,1,2,0,1,2,2,1,-1,-1,-2],[-3,-5,1,
3,-3,-8,0,0,1,-6,-2,-7,-3,0,0,-2,-6,-6,1,-2,-5,-3,0,-2,-1,-1,2,1,2,1],[2,-1,2,
1,4,-5,0,-2,-1,-7,-2,-3,-3,-3,-1,-5,-4,-6,2,-1,-3,-3,0,-2,-3,-2,0,1,2,3],[5,5,
2,-2,4,7,-1,0,-2,6,2,7,2,0,0,3,4,5,-1,3,5,3,0,3,1,1,-2,0,-3,-1],[1,4,4,6,-3,3,
-2,-1,0,4,3,-1,-1,1,-1,2,0,1,0,1,1,3,0,-1,2,0,1,-2,1,-2],[-4,3,-4,0,-6,2,2,-2,
0,-7,-6,-6,-3,-4,-2,-11,-6,-3,2,-4,-4,-4,1,-4,-2,0,2,-2,4,2],[-2,-2,5,4,2,-4,
0,2,-2,0,-1,0,0,-1,-2,3,-5,0,0,0,0,0,0,3,-2,-2,0,2,-2,2],[7,0,0,-2,6,4,-2,0,2,
6,6,5,0,2,1,6,9,1,-2,4,4,4,0,2,5,2,-2,0,-2,-4]],[[0,-1,0,0,0,0,0,1,0,-1,-1,0,
-1,1,-1,-2,-1,1,0,0,-1,0,0,0,0,0,0,-1,1,0],[0,0,-1,0,0,0,0,0,1,0,-1,-1,-1,-1,
1,1,-2,-1,0,0,0,-1,0,0,0,-1,0,0,0,1],[0,1,1,1,1,1,1,0,0,2,3,2,2,0,0,2,4,1,-1,
1,2,2,1,1,1,0,-1,0,-1,-1],[1,1,0,0,0,0,0,-1,0,1,1,0,1,-1,1,2,1,-1,0,0,1,0,0,0,
0,0,0,1,-1,0],[0,1,1,0,0,0,0,0,-1,0,1,1,1,1,-1,-1,2,1,0,0,0,1,0,0,0,1,0,0,0,
-1],[0,-1,0,-1,-1,-1,-1,0,0,-2,-3,-2,-2,0,0,-2,-4,-1,1,-1,-2,-2,-1,-1,-1,0,1,
0,1,1],[0,-2,1,0,0,1,1,1,-1,-1,1,1,0,2,-2,-3,0,3,0,1,-1,1,1,0,0,0,0,-1,1,-1],[
0,-1,-3,0,-1,-1,-1,1,1,-2,-4,-2,-3,-1,1,0,-6,-3,1,-1,-1,-3,-1,0,-1,-1,0,0,1,
2],[-1,2,1,1,2,1,1,-1,1,4,4,2,3,-1,1,3,6,0,-1,1,3,3,1,1,2,0,-1,0,-2,-1],[-1,
-1,3,0,2,1,1,0,-1,1,3,2,2,2,-2,-2,5,4,-1,1,0,3,1,0,1,1,0,-1,0,-2],[1,-3,-3,-1,
-2,0,-1,1,0,-4,-5,-3,-4,0,0,-2,-8,-1,1,-1,-3,-4,-1,-1,-2,-1,1,0,2,2],[-1,3,-1,
2,1,0,0,-1,1,3,2,1,2,-2,2,5,4,-2,-1,0,3,1,0,1,1,0,-1,1,-2,0],[0,3,-1,0,1,1,1,
-1,0,4,5,2,4,-2,2,6,6,-1,-1,1,4,2,1,1,1,0,-1,2,-3,-1],[-2,-1,2,0,-1,0,0,1,-1,
-1,1,2,1,3,-3,-4,3,3,0,0,-1,2,0,0,0,2,0,-1,1,-2],[0,-4,-3,-2,-2,-3,-1,0,1,-4,
-7,-5,-5,-1,1,-3,-10,-3,2,-2,-4,-5,-2,-2,-2,-1,2,0,2,3],[0,-5,-1,-1,-3,-3,-2,
1,0,-6,-9,-5,-7,1,-1,-6,-13,-1,2,-2,-6,-6,-2,-2,-3,-1,2,-1,4,3],[2,3,-2,0,2,0,
0,-2,1,4,3,0,2,-4,4,8,3,-4,-1,0,4,0,0,1,1,-1,-1,2,-3,1],[-1,3,4,1,1,3,1,0,-2,
3,7,6,5,3,-3,-1,11,6,-2,2,2,6,2,1,2,2,-1,-1,-1,-4],[0,5,-4,2,-1,0,0,-1,2,4,2,
1,3,-4,4,9,3,-5,-1,0,5,0,0,2,1,-1,-2,2,-3,1],[-3,1,6,1,3,0,2,0,-1,4,7,5,5,4,
-3,-2,12,6,-2,2,2,7,2,1,3,2,-1,-2,-1,-4],[2,-7,-3,-4,-3,-1,-1,2,0,-7,-8,-5,-7,
1,0,-6,-14,0,2,-1,-6,-6,-1,-2,-3,-2,2,-1,4,3],[2,3,-2,1,0,3,1,0,0,3,5,3,3,-1,
1,6,4,0,-1,2,4,2,2,2,1,-1,-2,1,-2,-1],[-3,1,2,2,0,-1,0,1,0,0,0,2,0,2,-2,-3,3,
1,0,0,0,2,0,1,1,1,-1,-2,1,-1],[1,-4,0,-2,1,-1,0,0,1,-1,-3,-3,-3,-1,1,-2,-6,0,
1,0,-2,-2,0,-1,0,-2,1,-1,1,2],[0,5,5,2,2,2,0,-1,-2,2,5,4,3,1,-2,-1,8,2,-1,1,3,
4,1,1,1,2,-1,0,-1,-3],[2,-3,2,-1,-1,-1,-2,0,-1,-5,-7,-4,-5,0,-2,-7,-10,-1,2,
-2,-5,-3,-2,-2,-2,0,2,-1,3,2],[4,4,-1,1,1,1,-1,-2,0,2,1,-1,0,-3,2,5,-1,-4,0,1,
2,-1,0,0,0,-1,0,2,-2,1],[2,-8,7,-4,4,2,2,0,-2,-3,2,0,-3,4,-4,-9,-1,8,0,2,-4,2,
3,-2,0,0,2,-2,2,-2],[5,0,-10,0,-6,2,-2,2,0,-6,-9,-4,-6,-5,2,2,-15,-7,2,-2,-2,
-8,-2,1,-4,-2,0,2,2,4],[-6,9,4,6,4,-2,0,-2,2,8,6,3,6,-2,-1,5,14,-3,-2,0,6,6,0,
2,5,2,-2,0,-4,-2]]],
[["U6(2).3",0]],
[(33,34,35)(36,37,38)(39,40,41)(42,43,44)(45,46,47)(48,49,50)(53,54,55)
(56,57,58)(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),( 2, 3)( 5, 6)
( 8, 9)(12,13)(15,16)(17,20)(18,22)(19,21)(24,27)(25,29)(26,28)(31,32)(33,36)
(34,37)(35,38)(39,42)(40,43)(41,44)(45,48)(46,49)(47,50)(51,52)(53,56)(54,57)
(55,58)(59,60)(61,64)(62,65)(63,66)(67,70)(68,71)(69,72)(73,76)(74,77)(75,78)
(79,82)(80,83)(81,84)(85,94)(86,95)(87,96)(88,91)(89,92)(90,93)],
[1,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=3,
date:="08.09.94"));

MBT("3.U6(2).3",5,
TEXT1,
[79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,
79,80,81,82,83,84,103,104,105,106,107,108,92,93,91,96,94,95,109,110,111,112,
113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,97,98,99,100,
101,102,129,130,131,132,133,134,135,136,79,80,81,82,83,84,137,138,139,140,141,
142,143,144,145,146,147,148,91,92,93,94,95,96,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,97,98,99,100,101,102,179,180,92,93,91,96,94,95,79,80,81,82,83,84,
181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,
200,201,202,203,204,97,98,99,100,101,102,205,206,207,208,209,210,211,212,213,
215,216,214],
[1,1,1,1,1,1,0,0,0,0,0,0,1,1,1,1,1,1,1,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,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,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,2],[2,4],[3,5],[4,5]],1,1,1,1,1,,,,,,,[[1,3],[2,4],[3,5],[4,5]],13,13,13,
13,13,13,13,13,13,13,13],
[],
[["U6(2).3",0]],
[(268,269,270)(271,272,273),(106,107,108)(109,110,111)(112,113,114)
(115,116,117)(118,119,120)(121,122,123)(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)(188,189,190)
(191,192,193)(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)(274,275,276)(277,278,279)(280,281,282)(283,284,285)(286,287,288)
(289,290,291)(292,293,294)(295,296,297),( 73, 76)( 74, 77)( 75, 78)(280,286)
(281,287)(282,288)(283,289)(284,290)(285,291),(  2,  3)(  5,  6)(  8,  9)
( 11, 12)( 14, 15)( 17, 18)( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)
( 35, 38)( 36, 40)( 37, 39)( 42, 43)( 45, 46)( 48, 49)( 51, 52)( 54, 55)
( 58, 59)( 61, 62)( 64, 65)( 66, 69)( 67, 71)( 68, 70)( 74, 75)( 77, 78)
( 79, 82)( 80, 84)( 81, 83)( 86, 87)( 88, 91)( 89, 93)( 90, 92)( 95, 96)
( 98, 99)(100,103)(101,105)(102,104)(106,109)(107,110)(108,111)(112,115)
(113,116)(114,117)(118,121)(119,122)(120,123)(124,125)(126,129)(127,130)
(128,131)(132,135)(133,136)(134,137)(138,141)(139,142)(140,143)(144,147)
(145,148)(146,149)(150,153)(151,154)(152,155)(156,159)(157,160)(158,161)
(162,165)(163,166)(164,167)(168,171)(169,172)(170,173)(174,177)(175,178)
(176,179)(180,183)(181,184)(182,185)(186,187)(188,191)(189,192)(190,193)
(194,195)(196,199)(197,200)(198,201)(202,205)(203,206)(204,207)(208,211)
(209,212)(210,213)(214,217)(215,218)(216,219)(220,223)(221,224)(222,225)
(226,229)(227,230)(228,231)(232,235)(233,236)(234,237)(238,241)(239,242)
(240,243)(244,247)(245,248)(246,249)(250,253)(251,254)(252,255)(256,259)
(257,260)(258,261)(262,265)(263,266)(264,267)(268,271)(269,272)(270,273)
(274,277)(275,278)(276,279)(280,283)(281,284)(282,285)(286,289)(287,290)
(288,291)(292,295)(293,296)(294,297)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("3.U6(2).3",7,
"origin: modular ATLAS of finite groups",
[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,139,140,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,278,279,280,275,276,277,272,273,274,281,282,283,284,285,
286,287,288,289,290,291,292,293,294,295,296,297,298],
[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,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,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,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,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],
[],
[,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,3,4,5],[2,3,4,5]],43],
[],
[["U6(2).3",0]],
[(112,113,114)(115,116,117)(118,119,120)(121,122,123)(124,125,126)
(127,128,129)(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)(194,195,196)(197,198,199)(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),( 76, 79)( 77, 80)( 78, 81)(298,304)(299,305)(300,306)(301,307)
(302,308)(303,309),(  2,  3)(  5,  6)(  8,  9)( 11, 12)( 14, 15)( 17, 18)
( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 38, 41)( 39, 43)
( 40, 42)( 45, 46)( 48, 49)( 51, 52)( 54, 55)( 57, 58)( 61, 62)( 64, 65)
( 66, 69)( 67, 71)( 68, 70)( 74, 75)( 77, 78)( 80, 81)( 82, 85)( 83, 87)
( 84, 86)( 89, 90)( 91, 94)( 92, 96)( 93, 95)( 98, 99)(101,102)(104,105)
(106,109)(107,111)(108,110)(112,115)(113,116)(114,117)(118,121)(119,122)
(120,123)(124,127)(125,128)(126,129)(130,131)(132,135)(133,136)(134,137)
(138,141)(139,142)(140,143)(144,147)(145,148)(146,149)(150,153)(151,154)
(152,155)(156,159)(157,160)(158,161)(162,165)(163,166)(164,167)(168,171)
(169,172)(170,173)(174,177)(175,178)(176,179)(180,183)(181,184)(182,185)
(186,189)(187,190)(188,191)(192,193)(194,197)(195,198)(196,199)(200,201)
(202,205)(203,206)(204,207)(208,211)(209,212)(210,213)(214,217)(215,218)
(216,219)(220,223)(221,224)(222,225)(226,229)(227,230)(228,231)(232,235)
(233,236)(234,237)(238,241)(239,242)(240,243)(244,247)(245,248)(246,249)
(250,253)(251,254)(252,255)(256,259)(257,260)(258,261)(262,265)(263,266)
(264,267)(268,271)(269,272)(270,273)(274,277)(275,278)(276,279)(280,283)
(281,284)(282,285)(286,289)(287,290)(288,291)(292,295)(293,296)(294,297)
(298,301)(299,302)(300,303)(304,307)(305,308)(306,309)(310,313)(311,314)
(312,315)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("3.U6(2)",11,
TEXT1,
[41,42,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,41,
42,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,41,42,81,82,83,84,85,
86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,41,42,105,106,
107,108,109,110,111,112,113,114],
[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,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,3],[2,4],[3,5],[4,6,7],[5,6,7]],1],
[],
[["U6(2)",0]],
[( 29, 32)( 30, 33)( 31, 34)( 75, 78)( 76, 79)( 77, 80)(109,112)(110,113)
(111,114),( 26, 29)( 27, 30)( 28, 31)( 72, 75)( 73, 76)( 74, 77)(106,109)
(107,110)(108,111),(  2,  3)(  5,  6)(  8,  9)( 11, 12)( 14, 15)( 17, 18)
( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 39, 40)( 42, 43)
( 44, 47)( 45, 49)( 46, 48)( 51, 52)( 54, 55)( 57, 58)( 60, 61)( 63, 64)
( 67, 68)( 70, 71)( 73, 74)( 76, 77)( 79, 80)( 81, 84)( 82, 86)( 83, 85)
( 89, 90)( 91, 94)( 92, 96)( 93, 95)( 98, 99)(100,103)(101,105)(102,104)
(107,108)(110,111)(113,114)(116,117)(119,120)(121,124)(122,126)(123,125)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("3.U6(2)",2,
TEXT1,
[3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4],
[15,15],
[[47,49,53,55,57,59,61,95,109,121],[48,50,54,56,58,60,62,96,110,122]],
[],
[[[-2,-2,1,-3,0,-2,-1,-2,0,1],[3,2,-1,3,0,2,1,2,0,-1],[-3,-2,1,-3,0,-3,0,-2,0,
1],[-1,1,0,0,0,1,-1,0,0,0],[0,1,0,3,0,2,1,2,0,-1],[1,0,-1,1,0,1,-1,0,0,0],[-3,
-4,1,-3,1,-2,-1,-2,0,1],[-4,-5,1,-6,0,-5,0,-4,0,2],[8,5,-3,3,-2,0,1,3,0,-1],[
1,2,0,-1,-3,-2,0,0,1,0]],[[0,1,1,1,0,1,-1,1,1,-1],[1,-1,-1,-1,0,-1,1,-1,-1,
1],[-1,1,1,1,0,0,0,1,1,-1],[-1,1,0,0,0,1,-1,0,0,0],[-2,-2,0,-1,0,-1,1,-1,-1,
1],[1,0,-1,1,0,1,-1,0,0,0],[-1,-1,1,1,1,1,-1,1,1,-1],[0,1,1,2,0,1,0,2,2,-2],[
6,2,-3,-1,-2,-3,1,0,-1,1],[1,2,0,-1,-3,-2,0,0,1,0]]],
[["U6(2)",0]],
[( 2, 3)( 5, 6)( 8, 9)(12,13)(15,16)(17,20)(18,22)(19,21)(24,27)(25,29)(26,28)
(31,32)],
[1,1,-1,0,0,-1,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=3,
date:="08.09.94"));

MBT("3.U6(2)",5,
TEXT1,
[35,36,37,38,39,40,41,42,35,36,43,44,39,40,45,46,47,48,49,50,51,52,53,54,55,
56,41,42,57,58,59,60,61,62,63,64,35,36,65,66,67,68,39,40,69,70,71,72,73,74,75,
76,77,78,41,42,79,80,81,82,83,84,39,40,35,36,85,86,87,88,89,90,91,92,41,42,93,
94,95,96],
[1,1,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,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,4],[3,5],[4,5]],1,,,[[1,3],[2,4],[3,5],[4,5]],5,5,5],
[],
[["U6(2)",0]],
[(85,88)(86,89)(87,90),( 29, 32)( 30, 33)( 31, 34)( 72, 75)( 73, 76)( 74, 77)
(109,112)(110,113)(111,114),( 26, 29)( 27, 30)( 28, 31)( 69, 72)( 70, 73)
( 71, 74)(106,109)(107,110)(108,111),(  2,  3)(  5,  6)(  8,  9)( 11, 12)
( 14, 15)( 17, 18)( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)
( 39, 40)( 41, 44)( 42, 46)( 43, 45)( 48, 49)( 51, 52)( 54, 55)( 57, 58)
( 60, 61)( 64, 65)( 67, 68)( 70, 71)( 73, 74)( 76, 77)( 78, 81)( 79, 83)
( 80, 82)( 86, 87)( 89, 90)( 91, 94)( 92, 96)( 93, 95)( 98, 99)(100,103)
(101,105)(102,104)(107,108)(110,111)(113,114)(116,117)(118,121)(119,123)
(120,122)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("3.U6(2)",7,
TEXT1,
[41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,55,56,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,55,56,55,56,55,56,93,94,95,96,97,98,99,100,101,102,103,104,105,
106,107,108,109,110,111,112,113,114],
[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,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,7],[2,7],[3,7],[4,7],[5,7],[6,7]],15],
[],
[["U6(2)",0]],
[(88,91)(89,92)(90,93),( 29, 32)( 30, 33)( 31, 34)( 72, 75)( 73, 76)( 74, 77)
(112,115)(113,116)(114,117),( 26, 29)( 27, 30)( 28, 31)( 69, 72)( 70, 73)
( 71, 74)(109,112)(110,113)(111,114),(  2,  3)(  5,  6)(  8,  9)( 11, 12)
( 14, 15)( 17, 18)( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)
( 39, 40)( 42, 43)( 44, 47)( 45, 49)( 46, 48)( 51, 52)( 54, 55)( 57, 58)
( 60, 61)( 63, 64)( 67, 68)( 70, 71)( 73, 74)( 76, 77)( 78, 81)( 79, 83)
( 80, 82)( 86, 87)( 89, 90)( 92, 93)( 94, 97)( 95, 99)( 96, 98)(101,102)
(103,106)(104,108)(105,107)(110,111)(113,114)(116,117)(119,120)(122,123)
(124,127)(125,129)(126,128)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("6.U6(2).2",11,
"origin: modular ATLAS of finite groups, tests: DEC",
[133,133,134,135,136,137,138,139,133,140,141,133,142,143,133,144,145,146,147,
148,149,150,151,152,153,154],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,4],[2,3],[3,5,6],[5,6,7],[4,7]]],
[],
[["U6(2).2",0],["2.U6(2).2",0],["3.U6(2).2",50]],
[(171,172),( 34, 35)( 85, 86)(114,115),(130,131)(132,133)(134,135)(136,137)
(138,139)(140,141)(142,143)(144,145)(146,147)(148,149)(150,151)(155,156)
(157,158)(159,160)(161,162)(163,164)(165,166)(167,168)(169,170)(173,174)
(175,176)(177,178)(179,180)],
0,
rec(version:=1,
date:="03.02.93"));

MBT("6.U6(2).2",5,
TEXT1,
[99,100,101,100,102,101,101,100,103,103,100,103,104,105,106,107,103,101,108,
109,110,111,112,113,114],
[0,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0],
[],
[,[[1,2],[2,3],[3,5],[4,5]],[[1,3],[2,4],[3,5],[4,5]],,[[1,4],[3,5],[2,3],[4,
5]]],
[],
[["U6(2).2",0],["2.U6(2).2",0],["3.U6(2).2",50]],
[(167,168),(161,162),(92,96)(93,95),( 34, 35)( 81, 82)(112,113),(124,125)
(126,127)(128,129)(130,131)(132,133)(134,135)(136,137)(138,139)(140,141)
(142,143)(144,145)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160)
(163,164)(165,166)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("6.U6(2).2",7,
TEXT1,
[129,130,129,131,129,132,129,129,133,134,135,136,137,138,139,140,141,129,142,
143,144,145,146,147,148,149,150],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,4],[3,5],[5,6],[4,7],[6,7]]],
[],
[["U6(2).2",0],["2.U6(2).2",0],["3.U6(2).2",50]],
[(177,178),(171,172),( 96,100)( 97, 99),( 34, 35)( 81, 82)(116,117),(132,133)
(134,135)(136,137)(138,139)(140,141)(142,143)(144,145)(146,147)(148,149)
(150,151)(152,153)(157,158)(159,160)(161,162)(163,164)(165,166)(167,168)
(169,170)(173,174)(175,176)(179,180)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("6.U6(2)",11,
"origin: modular ATLAS of finite groups, tests: DEC",
[140,141,140,141,142,143,144,145,146,147,148,149,150,151,152,153,140,141,154,
155,156,157,140,141,158,159,160,161,140,141,162,163,164,165,166,167,168,169,
170,171,172,173,174,175,176,177,178,179,180,181,182,183],
[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],
[],
[[[1,4],[2,3],[3,5,6],[5,6,7],[4,7]],1],
[],
[["U6(2)",0],["2.U6(2)",0],["3.U6(2)",31]],
[( 48, 51)( 49, 52)( 50, 53)(128,131)(129,132)(130,133)(178,181)(179,182)
(180,183),(  2,  6)(  3,  5)(  8, 12)(  9, 11)( 14, 18)( 15, 17)( 20, 21)
( 23, 27)( 24, 26)( 29, 33)( 30, 32)( 37, 38)( 40, 41)( 43, 47)( 44, 46)
( 49, 50)( 52, 53)( 55, 59)( 56, 58)( 61, 62)( 64, 68)( 65, 67)( 69, 75)
( 70, 80)( 71, 79)( 72, 78)( 73, 77)( 74, 76)( 82, 86)( 83, 85)( 88, 92)
( 89, 91)( 94, 98)( 95, 97)(100,104)(101,103)(106,110)(107,109)(114,118)
(115,117)(120,121)(123,127)(124,126)(129,130)(132,133)(134,140)(135,145)
(136,144)(137,143)(138,142)(139,141)(149,153)(150,152)(154,157)(155,159)
(156,158)(161,165)(162,164)(166,169)(167,171)(168,170)(173,177)(174,176)
(179,180)(182,183)(185,189)(186,188)(191,195)(192,194)(196,202)(197,207)
(198,206)(199,205)(200,204)(201,203)],
0,
rec(version:=1,
date:="03.02.93"));

MBT("6.U6(2)",5,
TEXT1,
[116,117,118,119,120,121,118,119,122,123,120,121,120,121,118,119,124,125,124,
125,118,119,124,125,126,127,128,129,130,131,132,133,124,125,120,121,134,135,
136,137,138,139,140,141,142,143,144,145,146,147],
[0,0,1,1,1,1,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],
[],
[,,[[1,2],[2,3],[3,5],[4,5]],3,[[1,3],[2,4],[3,5],[4,5]],5,,,[[1,4],[3,5],[2,
3],[4,5]],9],
[],
[["U6(2)",0],["2.U6(2)",0],["3.U6(2)",31]],
[(142,148)(143,149)(144,150)(145,151)(146,152)(147,153),( 48, 51)( 49, 52)
( 50, 53)(122,125)(123,126)(124,127)(178,181)(179,182)(180,183),(  2,  6)
(  3,  5)(  8, 12)(  9, 11)( 14, 18)( 15, 17)( 20, 21)( 23, 27)( 24, 26)
( 29, 33)( 30, 32)( 37, 38)( 40, 41)( 43, 47)( 44, 46)( 49, 50)( 52, 53)
( 55, 59)( 56, 58)( 61, 62)( 63, 69)( 64, 74)( 65, 73)( 66, 72)( 67, 71)
( 68, 70)( 76, 80)( 77, 79)( 82, 86)( 83, 85)( 88, 92)( 89, 91)( 94, 98)
( 95, 97)(100,104)(101,103)(108,112)(109,111)(114,115)(117,121)(118,120)
(123,124)(126,127)(128,134)(129,139)(130,138)(131,137)(132,136)(133,135)
(143,147)(144,146)(149,153)(150,152)(154,157)(155,159)(156,158)(161,165)
(162,164)(166,169)(167,171)(168,170)(173,177)(174,176)(179,180)(182,183)
(185,189)(186,188)(190,196)(191,201)(192,200)(193,199)(194,198)(195,197)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("6.U6(2)",7,
TEXT1,
[140,141,142,143,140,141,144,145,140,141,146,147,140,141,140,141,148,149,150,
151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,140,141,166,167,
168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183],
[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],
[],
[[[1,2],[2,4],[3,5],[5,6],[4,7],[6,7]],1],
[],
[["U6(2)",0],["2.U6(2)",0],["3.U6(2)",31]],
[(148,154)(149,155)(150,156)(151,157)(152,158)(153,159),( 48, 51)( 49, 52)
( 50, 53)(122,125)(123,126)(124,127)(184,187)(185,188)(186,189),(  2,  6)
(  3,  5)(  8, 12)(  9, 11)( 14, 18)( 15, 17)( 20, 21)( 23, 27)( 24, 26)
( 29, 33)( 30, 32)( 37, 38)( 40, 41)( 43, 47)( 44, 46)( 49, 50)( 52, 53)
( 55, 59)( 56, 58)( 61, 62)( 64, 68)( 65, 67)( 69, 75)( 70, 80)( 71, 79)
( 72, 78)( 73, 77)( 74, 76)( 82, 86)( 83, 85)( 88, 92)( 89, 91)( 94, 98)
( 95, 97)(100,104)(101,103)(106,110)(107,109)(114,115)(117,121)(118,120)
(123,124)(126,127)(128,134)(129,139)(130,138)(131,137)(132,136)(133,135)
(143,147)(144,146)(149,153)(150,152)(155,159)(156,158)(160,163)(161,165)
(162,164)(167,171)(168,170)(172,175)(173,177)(174,176)(179,183)(180,182)
(185,186)(188,189)(191,195)(192,194)(197,201)(198,200)(202,208)(203,213)
(204,212)(205,211)(206,210)(207,209)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2).2",11,
TEXT1,
[1,1,2,3,4,5,1,1,6,7,8,9,1,1,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,1,1,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,
50,51,1,1,52,53,54,55],
[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,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,7],[4,8],[5,9],[6,9],[7,10],[8,11],[9,10],[9,11]]],
[],
0,
[(59,60)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2).2",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,2],
[16,1],
[[1,3,5,9,11,15,25,26,28]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0],[-2,1,0,0,0,0,0,0,0],[1,-1,0,-1,1,0,0,0,0],[-3,2,-1,2,
-1,0,0,0,0],[0,-1,1,1,-1,0,0,0,0],[4,-2,-1,-1,1,1,0,0,0],[-1,0,7,-8,-1,-4,1,0,
0],[2,0,-1,-3,1,-1,0,1,0],[1,0,-1,-4,2,-1,0,0,1]]],
0,
[],
[1,1,-1,1,-1,1,1,1,1,1],
rec(version:=2,
date:="20.05.92"));

MBT("U6(2).2",3,
TEXT1,
[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,3,2,3,4,5,6],
[6,1,1,0,0,0],
[[1,2,3,4,5,6,7,8,9,10,13,14,18,19,20,21,22,23,24,32,33,39,40,41]],
[,[[1,3],[2,3]],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,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,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,1,0,0,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,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,0],[-1,
0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,0,-1,0,0,0,1,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,0,0,0,0,0,0,0,0],[1,
0,-1,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,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],[1,-1,
1,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,1,0,0,0,-1,0,0,0,0,0,1,
0,0,0,0,0,0,0,0,0,0],[0,0,1,1,0,0,-1,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[1,0,
-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,1,0,-1,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,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,0,1,0,0,0,0,0],[-1,-1,1,1,0,-1,0,0,-1,0,-1,-1,-1,0,
0,-1,0,-1,0,0,0,1,0,0],[-1,-1,1,1,-1,0,0,0,0,-1,-1,-1,0,-1,0,0,-1,0,-1,0,0,0,
1,0],[-2,-2,2,2,-1,-1,0,0,-1,-1,-2,-2,0,0,-1,-1,-1,-1,-1,0,0,0,0,1],[-1,-1,1,
1,-1,0,0,0,-1,0,-1,-1,0,0,0,0,0,0,0,1,0,0,0,0],[-1,-1,1,1,0,-1,0,0,0,-1,-1,-1,
0,0,0,0,0,0,0,0,1,0,0,0]]],
0,
[(30,31)],
0);

MBT("U6(2).2",5,
TEXT1,
[1,2,3,4,5,6,3,4,7,8,9,10,11,12,1,2,13,14,15,16,5,6,17,18,19,20,21,22,23,3,4,
5,6,24,25,26,1,2,27,28,29,30,31,32,33,1,2,5,6,34,35,36,37,38,39,3,4,40,41],
[1,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,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0],
[],
[[[1,4],[2,3],[3,5],[4,5]],1,1,1,[[1,3],[2,4],[3,5],[4,5]],5],
[],
0,
[(55,56)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("U6(2).2",7,
TEXT1,
[1,2,1,2,3,4,5,6,7,8,1,2,9,10,11,12,13,14,15,16,17,18,19,20,21,1,2,22,23,24,
25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,1,2,40,41,42,43,44,45,46,47,48,
49,50,51,1,2,52,53],
[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,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,6],[5,7],[6,7]],1],
[],
0,
[(58,59)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2).3",11,
TEXT1,
[1,2,3,4,5,6,7,8,9,1,2,3,10,11,12,13,14,15,1,2,3,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,1,2,3,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,1,2,3,91,92,93,94,95,96],
[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,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,2],[2,4],[3,5,6],[4,7],[5,6,7]],1,1],
[],
0,
[( 14, 15)( 25, 26)( 29, 30)( 32, 33)( 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)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2).3",2,
TEXT1,
[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,3,4],
[15,0,0,0],
[[1,2,3,4,5,6,7,8,9,13,14,15,16,17,18,22,23,24,38,39,40,41,42,43,44,45,46,47,
48,49,100,101,102]],
[],
[[[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,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,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,-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],[-1,0,-1,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],[-1,-1,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,0,0,0,0],[2,-1,0,1,-1,-1,-1,3,-2,0,1,-2,-1,2,0,0,-2,2,-1,0,
1,1,1,-2,1,-2,1,0,1,-1,0,1,-1],[0,2,-1,-1,1,-1,-2,-1,3,-2,0,1,0,-1,2,2,0,-2,1,
-1,0,-2,1,1,1,1,-2,-1,0,1,-1,0,1],[-1,0,2,-1,-1,1,3,-2,-1,1,-2,0,2,0,-1,-2,2,
0,0,1,-1,1,-2,1,-2,1,1,1,-1,0,1,-1,0],[1,-3,0,1,-1,1,-2,0,-5,7,6,3,0,3,-1,1,1,
5,-2,0,0,1,-1,-3,-1,-3,1,0,0,-2,1,1,-1],[0,1,-3,1,1,-1,-5,-2,0,3,7,6,-1,0,3,5,
1,1,0,-2,0,-3,1,-1,1,-1,-3,-2,0,0,-1,1,1],[-3,0,1,-1,1,1,0,-5,-2,6,3,7,3,-1,0,
1,5,1,0,0,-2,-1,-3,1,-3,1,-1,0,-2,0,1,-1,1],[2,-1,-2,1,1,-1,-1,6,1,-5,-3,-6,
-3,0,0,-1,-5,-1,0,0,2,1,3,-1,3,-1,1,0,2,0,-1,1,-1],[-2,2,-1,-1,1,1,1,-1,6,-6,
-5,-3,0,-3,0,-1,-1,-5,2,0,0,-1,1,3,1,3,-1,0,0,2,-1,-1,1],[-1,-2,2,1,-1,1,6,1,
-1,-3,-6,-5,0,0,-3,-5,-1,-1,0,2,0,3,-1,1,-1,1,3,2,0,0,1,-1,-1],[-3,2,1,-1,0,0,
2,-3,2,0,-1,2,1,-2,0,0,2,-2,1,0,-1,-1,-1,2,-1,2,-1,0,-1,1,0,-1,1],[1,-3,2,0,
-1,0,2,2,-3,2,0,-1,0,1,-2,-2,0,2,-1,1,0,2,-1,-1,-1,-1,2,1,0,-1,1,0,-1],[2,1,
-3,0,0,-1,-3,2,2,-1,2,0,-2,0,1,2,-2,0,0,-1,1,-1,2,-1,2,-1,-1,-1,1,0,-1,1,0],[
3,0,1,0,-1,-1,-2,3,-2,0,1,-2,-1,2,0,1,-2,2,-1,0,1,1,1,-2,1,-2,1,0,1,-1,0,1,
-1],[1,3,0,-1,0,-1,-2,-2,3,-2,0,1,0,-1,2,2,1,-2,1,-1,0,-2,1,1,1,1,-2,-1,0,1,
-1,0,1],[0,1,3,-1,-1,0,3,-2,-2,1,-2,0,2,0,-1,-2,2,1,0,1,-1,1,-2,1,-2,1,1,1,-1,
0,1,-1,0],[-3,3,0,-1,2,-1,4,-2,8,-9,-9,-1,1,-6,2,-1,1,-9,4,0,-1,-2,0,5,0,5,-2,
0,-1,3,-1,-2,2],[0,-3,3,-1,-1,2,8,4,-2,-1,-9,-9,2,1,-6,-9,-1,1,-1,4,0,5,-2,0,
-2,0,5,3,0,-1,2,-1,-2],[3,0,-3,2,-1,-1,-2,8,4,-9,-1,-9,-6,2,1,1,-9,-1,0,-1,4,
0,5,-2,5,-2,0,-1,3,0,-2,2,-1],[-4,2,1,-1,-1,2,3,-8,2,3,2,6,4,-1,-1,1,5,-1,1,0,
-3,-1,-4,3,-4,3,-2,0,-3,1,1,-2,2],[1,-4,2,2,-1,-1,2,3,-8,6,3,2,-1,4,-1,-1,1,5,
-3,1,0,3,-1,-4,-2,-4,3,1,0,-3,2,1,-2],[2,1,-4,-1,2,-1,-8,2,3,2,6,3,-1,-1,4,5,
-1,1,0,-3,1,-4,3,-1,3,-2,-4,-3,1,0,-2,2,1],[-1,2,1,-2,1,1,0,-3,2,0,-3,0,3,-2,
0,-1,2,-2,1,0,-1,-1,-1,2,0,2,-1,0,-1,1,0,-1,1],[1,-1,2,1,-2,1,2,0,-3,0,0,-3,0,
3,-2,-2,-1,2,-1,1,0,2,-1,-1,-1,0,2,1,0,-1,1,0,-1],[2,1,-1,1,1,-2,-3,2,0,-3,0,
0,-2,0,3,2,-2,-1,0,-1,1,-1,2,-1,2,-1,0,-1,1,0,-1,1,0],[-2,2,1,-2,1,1,0,-3,2,
-1,-3,0,2,-1,1,-1,2,-2,1,0,-1,-1,-1,2,-1,2,-1,1,-1,1,0,-1,1],[1,-2,2,1,-2,1,2,
0,-3,0,-1,-3,1,2,-1,-2,-1,2,-1,1,0,2,-1,-1,-1,-1,2,1,1,-1,1,0,-1],[2,1,-2,1,1,
-2,-3,2,0,-3,0,-1,-1,1,2,2,-2,-1,0,-1,1,-1,2,-1,2,-1,-1,-1,1,1,-1,1,0]]],
0,
[( 7, 8)(10,11)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)
(31,32)(33,36)(34,35)],
[1,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0],
rec(version:=2,
date:="20.05.92"));

MBT("U6(2).3",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,2,2,3,4,5],
[7,2,1,1,1],
[[1,4,7,10,13,19,31,32,35,53,68]],
[,[[1,2,3,7,8,9],[4,5,6,7,8,9]],[[1,2,3]],3,3],
[[[1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0],[
-1,-1,0,1,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0],[0,
3,0,-3,0,0,1,0,0,0,0],[1,-1,0,0,0,0,0,1,0,0,0],[0,0,0,0,0,0,0,0,1,0,0],[-6,6,
-3,0,-3,-6,-1,-3,-3,0,1],[-2,2,-1,0,-1,-2,0,0,0,1,0]]],
0,
[(15,16)],
0);

MBT("U6(2).3",5,
TEXT1,
[1,2,3,4,5,6,7,8,9,4,5,6,10,11,12,13,14,15,16,17,18,1,2,3,19,20,21,22,23,24,
25,7,8,9,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,4,5,6,7,8,9,41,42,43,44,
45,46,47,48,49,1,2,3,50,51,52,53,54,55,56,57,1,2,3,7,8,9,58,59,60,61,62,63,64,
65,66,67,68,69,70,71,72,73,74,75,4,5,6,76,77,78],
[1,1,1,1,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,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,0,
0],
[],
[[[1,4],[2,3],[3,5],[4,5]],1,1,1,1,1,[[1,3],[2,4],[3,5],[4,5]],7,7],
[],
0,
[( 27, 28)(100,102)(101,103),( 13, 14)( 24, 25)( 29, 30)( 32, 33)( 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)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("U6(2).3",7,
TEXT1,
[1,2,3,1,2,3,4,5,6,7,8,9,10,11,12,1,2,3,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,1,2,3,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,1,2,3,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,1,2,3,94,95,
96],
[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,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,3],[2,4],[3,5],[4,6],[5,7],[6,7]],1,1],
[],
0,
[( 28, 29)(106,108)(107,109),( 14, 15)( 24, 25)( 30, 31)( 33, 34)( 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)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2)",11,
TEXT1,
[1,2,3,1,4,5,1,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,1,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,37,38,1,39,40],
[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,2],[2,4],[3,5,6],[4,7],[5,6,7]]],
[],
0,
[(16,17)(29,30)(33,34)(36,37)(43,44),(11,12)(27,28)(39,40),(10,11)(26,27)
(38,39)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2)",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,2],
[15,0],
[[1,2,3,5,6,8,16,17,18,19,42]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0],[-2,1,0,0,0,0,0,0,0,0,0],[1,-1,0,-1,1,0,0,0,0,0,0],[
-2,1,-7,16,2,7,-2,-3,-3,-2,1],[-1,1,6,-14,-3,-7,2,3,3,2,-1],[0,-1,1,1,-1,0,0,
0,0,0,0],[4,-2,-1,-1,1,1,0,0,0,0,0],[0,0,10,-19,-3,-9,3,3,3,2,-1],[-1,0,-3,11,
2,5,-2,-2,-3,-2,1],[2,0,-1,-3,1,-1,0,0,1,0,0],[1,0,-1,-4,2,-1,0,0,0,1,0]]],
0,
[( 7, 8)(10,11)],
[1,1,-1,0,0,-1,1,0,0,1,1,1],
rec(version:=1,
date:="19.05.92"));

MBT("U6(2)",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,3,4,5],
[6,1,0,0,0],
[[1,2,3,4,5,7,11,12,13,14,15,21,26,27,28]],
[,[[1,3],[2,3]]],
[[[1,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],[1,-1,1,0,
0,0,0,0,0,0,0,0,0,0,0],[-1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,1,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,1,0,-1,0,0,1,0,0,0,0,0,0,0,
0],[0,1,0,-1,0,0,0,1,0,0,0,0,0,0,0],[0,1,0,-1,0,0,0,0,1,0,0,0,0,0,0],[1,-1,0,
0,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],[-2,2,-1,0,-1,-2,-1,
0,0,-1,-1,0,1,0,0],[-2,2,-1,0,-1,-2,0,-1,0,-1,-1,0,0,1,0],[-2,2,-1,0,-1,-2,0,
0,-1,-1,-1,0,0,0,1],[-2,2,-1,0,-1,-2,0,0,0,0,0,1,0,0,0]]],
0,
[(19,20),( 8, 9)(16,17),( 7, 8)(15,16)],
0);

MBT("U6(2)",5,
TEXT1,
[1,2,3,2,4,5,6,1,7,8,9,10,11,3,12,13,14,15,16,2,3,17,18,19,1,20,21,22,23,24,
25,26,27,1,3,28,29,30,31,32,33,2,34],
[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],
[],
[[[1,4],[2,3],[3,5],[4,5]],1,[[1,3],[2,4],[3,5],[4,5]]],
[],
0,
[(31,32),(15,16)(28,29)(33,34)(36,37)(42,43),(11,12)(26,27)(39,40),(10,11)
(25,26)(38,39)],
0,
rec(version:=1,
date:="30.04.92"));

MBT("U6(2)",7,
TEXT1,
[1,1,2,3,4,1,5,6,7,8,9,10,11,12,13,14,15,1,16,17,18,19,20,21,22,23,24,25,26,
27,28,29,30,1,31,32,33,34,35,36,37,38,39,1,40],
[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,3],[2,4],[3,5],[4,6],[5,7],[6,7]]],
[],
0,
[(32,33),(16,17)(28,29)(34,35)(37,38)(44,45),(11,12)(26,27)(40,41),(10,11)
(25,26)(39,40)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("U6(2).3.2",2,
0,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3],
[16,1,0],
[[1,3,4,6,7,9,13,15,16,18,22,24,36,37,38,39,41,42,44,89]],
[,[[1,2]]],
[[[1,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,0],[0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,-1,0,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[2,-1,1,-1,-7,-3,9,10,0,3,6,4,-2,-3,0,0,-3,-2,-1,1],[-1,2,-2,
0,7,3,-10,-11,1,-2,-6,-4,2,3,0,0,3,2,1,-1],[3,-4,2,0,-15,-6,20,21,-1,5,12,8,-4
,-6,0,0,-6,-4,-2,2],[-1,-1,2,0,1,-1,0,1,-1,0,0,0,0,0,0,0,0,0,0,0],[-5,2,-2,2,
13,6,-18,-20,1,-6,-12,-8,4,6,0,0,6,4,2,-2],[-3,2,-1,0,8,3,-9,-10,0,-3,-6,-4,2,
3,0,0,3,2,1,-1],[3,-2,0,-1,-7,-2,10,11,-1,2,6,4,-2,-3,0,0,-3,-2,-1,1],[3,0,0,
-1,-8,-3,9,10,0,3,7,4,-2,-3,0,0,-3,-2,-1,1],[1,4,-2,-1,7,2,-10,-11,1,-2,-6,-3,
2,3,0,0,3,2,1,-1],[-7,5,-2,1,31,14,-42,-43,1,-11,-24,-18,9,12,0,0,12,8,4,-4],[
2,-2,-2,1,-6,0,10,6,2,1,2,4,-2,-2,0,0,-3,-2,-1,1],[4,-4,4,-2,-18,-7,24,29,-4,9
,18,10,-6,-9,1,0,-9,-6,-3,3],[-1,2,-2,1,6,3,-9,-12,2,-3,-7,-4,2,3,0,1,3,2,1,-1
],[3,0,2,-1,-7,-4,6,9,-1,4,6,3,-2,-3,0,0,-2,-2,-1,1],[-2,2,-2,1,6,3,-10,-12,1,
-2,-7,-4,2,3,0,0,3,3,1,-1],[3,-1,2,-1,-7,-4,6,8,1,4,6,3,-2,-3,0,0,-3,-2,0,1]]]
,
0,
[],
0);

MBT("U6(2).3.2",3,
"(no info text)",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,3,4,4],
[7,2,1,1],
[[2,3,4,5,7,8,10,11,13,14,19,20,28,29,30,31,33,34,48,49,60,61],[77,78,79,80]],
[,,[[1,2,3]],[[2,3],[1,3]]],
[[[-1,1,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,0,0,0,0],[1,-1,0,1,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,1,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,0,-1,0,0,0,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,-1,0,
0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,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,0,1,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],[-2,1,1,2,0,0,-1,-2,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[2,-1,2,
1,0,0,-2,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0],[1,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,0,0,1,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,-3,
3,3,-2,-1,0,0,-1,-2,-3,-3,0,-1,-1,-2,-1,-2,0,0,0,1],[0,-3,3,3,-1,-2,0,0,-2,-1,
-3,-3,-1,0,-2,-1,-2,-1,0,0,1,0],[0,-1,1,1,0,-1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,1,
0,0],[0,-1,1,1,-1,0,0,0,-1,0,-1,-1,0,0,0,0,0,0,1,0,0,0]],[[1,0,0,0],[-1,1,0,0]
,[0,0,0,1],[0,0,1,0]]],
0,
[(28,29)],
0);

MBT("U6(2).3.2",5,
0,
[1,2,3,4,5,6,7,8,9,4,5,6,10,11,12,13,14,15,16,17,18,1,2,3,19,20,21,22,23,7,8,9
,24,25,26,27,28,29,30,31,32,33,34,35,4,5,6,7,8,9,36,37,38,39,40,41,1,2,3,42,43
,44,45,46,47,48,1,2,3,7,8,9,49,50,51,52,53,54,55,56,57,58,59,60,4,5,6,61,62,63
],
[1,1,1,1,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,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,4],[2,3],[3,5],[4,5]],1,1,1,1,1,[[1,3],[2,4],[3,5],[4,5]],7,7],
[],
0,
[(63,64),(86,87)],
0);

MBT("U6(2).3.2",7,
0,
[1,2,3,1,2,3,4,5,6,7,8,9,10,11,12,1,2,3,13,14,15,16,17,18,19,20,21,22,23,24,25
,26,27,28,29,30,31,32,1,2,3,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,1,2,3,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73
,74,75,76,77,78,1,2,3,79,80,81],
[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,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,3],[2,4],[3,5],[4,6],[5,7],[6,7]],1,1],
[],
0,
[(67,68),(91,92)],
0);

MBT("U6(2).3.2",11,
"(no info text)",
[1,1,2,4,3,5,7,6,8,1,1,2,10,9,11,13,12,14,1,1,2,16,15,17,18,19,20,22,21,24,23,
25,27,26,28,29,30,31,33,32,34,36,35,37,39,38,40,42,41,43,44,45,46,48,47,49,1,1
,2,51,50,52,53,54,56,55,58,57,59,61,60,62,64,63,65,67,66,68,70,69,71,72,73,74,
76,75,77,1,1,2,79,78,80,82,81,83],
[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,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,4],[2,3],[4,8],[3,7],[6,9],[5,9],[8,11],[7,10],[9,11],[9,10]],[[1,2],[2,4
],[3,5,6],[4,7],[5,6,7]]],
[],
0,
[(91,92)],
0);

MBT("3.U6(2).3.2",2,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4
,4,4,4,4,4,4,4,4,4,4,4,4,4],
[16,1,0,15],
[[1,3,4,6,7,9,13,15,16,18,22,24,36,37,38,39,41,42,44,89],,,[100,101,102,103,
104,105,109,110,111,112,113,114,115,116,117,118,119,120,121,156,157,158,169,
170,171,187,188,189,202,203]],
[,[[1,2]]],
[[[1,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,0],[0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,-1,0,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[2,-1,1,-1,-7,-3,9,10,0,3,6,4,-2,-3,0,0,-3,-2,-1,1],[-1,2,-2,
0,7,3,-10,-11,1,-2,-6,-4,2,3,0,0,3,2,1,-1],[3,-4,2,0,-15,-6,20,21,-1,5,12,8,-4
,-6,0,0,-6,-4,-2,2],[-1,-1,2,0,1,-1,0,1,-1,0,0,0,0,0,0,0,0,0,0,0],[-5,2,-2,2,
13,6,-18,-20,1,-6,-12,-8,4,6,0,0,6,4,2,-2],[-3,2,-1,0,8,3,-9,-10,0,-3,-6,-4,2,
3,0,0,3,2,1,-1],[3,-2,0,-1,-7,-2,10,11,-1,2,6,4,-2,-3,0,0,-3,-2,-1,1],[3,0,0,
-1,-8,-3,9,10,0,3,7,4,-2,-3,0,0,-3,-2,-1,1],[1,4,-2,-1,7,2,-10,-11,1,-2,-6,-3,
2,3,0,0,3,2,1,-1],[-7,5,-2,1,31,14,-42,-43,1,-11,-24,-18,9,12,0,0,12,8,4,-4],[
2,-2,-2,1,-6,0,10,6,2,1,2,4,-2,-2,0,0,-3,-2,-1,1],[4,-4,4,-2,-18,-7,24,29,-4,9
,18,10,-6,-9,1,0,-9,-6,-3,3],[-1,2,-2,1,6,3,-9,-12,2,-3,-7,-4,2,3,0,1,3,2,1,-1
],[3,0,2,-1,-7,-4,6,9,-1,4,6,3,-2,-3,0,0,-2,-2,-1,1],[-2,2,-2,1,6,3,-10,-12,1,
-2,-7,-4,2,3,0,0,3,3,1,-1],[3,-1,2,-1,-7,-4,6,8,1,4,6,3,-2,-3,0,0,-3,-2,0,1]],
,,[[-1,-2,0,1,-2,-2,0,0,1,-2,-1,-3,-1,0,0,-1,-2,-2,0,-1,-2,-1,0,-1,0,0,1,0,1,0
],[0,-1,-2,-2,1,-2,1,0,0,-3,-2,-1,0,-1,0,-2,-1,-2,0,-1,-1,-2,0,0,-1,0,0,1,0,1]
,[-1,1,0,-1,-1,2,0,1,0,2,0,1,1,1,0,1,1,2,-1,0,1,1,0,1,1,1,0,0,-1,-1],[2,2,0,-1
,2,2,0,0,-1,2,1,3,1,0,0,1,2,2,0,1,2,1,0,1,0,0,-1,0,-1,0],[0,2,2,2,-1,2,-1,0,0,
3,2,1,0,1,0,2,1,2,0,1,1,2,0,0,1,0,0,-1,0,-1],[1,-1,1,1,1,-2,0,-1,0,-2,0,-1,-1,
-1,0,-1,-1,-2,1,0,-1,-1,0,-1,-1,-1,0,0,1,1],[-2,-2,-2,0,-2,-3,1,-1,1,-5,-3,-4,
-1,-2,0,-5,-3,-4,1,-2,-3,-3,0,-2,-1,0,1,0,2,1],[-1,-1,-1,-2,1,-1,1,1,-1,-1,-2,
0,1,0,-1,-1,-2,0,0,-1,0,-1,0,1,-1,0,0,1,-1,1],[0,0,0,0,-1,2,-1,1,1,3,2,1,0,2,1
,3,2,1,-1,1,1,2,0,1,2,1,0,0,-1,-2],[-2,-2,-1,1,-1,-3,1,-1,0,-5,-3,-4,-1,-2,-1,
-4,-4,-3,1,-2,-3,-3,0,-2,-2,-1,1,0,2,2],[1,0,0,-1,3,1,0,1,-1,2,1,3,1,1,0,3,2,2
,-1,1,2,1,0,2,0,0,-1,1,-2,0],[0,1,0,1,-1,3,-1,0,1,3,2,1,0,1,1,2,3,2,-1,1,1,2,0
,0,2,1,0,-1,0,-2],[2,1,-2,-5,5,2,1,0,-1,1,0,5,2,-1,0,0,3,2,0,1,3,0,0,2,-1,0,-2
,1,-2,1],[-1,3,2,3,-4,6,-1,1,0,8,4,3,1,3,0,5,3,6,-1,2,3,5,0,1,3,1,0,-2,-1,-3],
[-1,-4,0,3,0,-7,0,-1,1,-6,-1,-5,-3,-2,0,-3,-4,-6,2,-1,-4,-3,0,-3,-2,-2,1,0,3,2
],[-2,3,2,5,-6,3,-2,0,1,5,3,-1,-1,2,1,3,2,2,-1,1,0,3,0,-1,3,1,1,-2,1,-3],[-1,
-5,0,0,2,-9,1,-2,0,-10,-4,-6,-2,-4,-1,-7,-6,-7,2,-3,-5,-6,0,-3,-4,-2,1,1,3,4],
[4,3,-1,-5,4,6,0,1,-2,6,2,8,3,2,0,5,5,6,-2,2,5,3,0,4,1,1,-2,1,-4,-1],[3,0,-1,
-5,5,1,0,2,-1,4,2,6,3,2,1,5,5,3,-2,2,4,2,0,4,1,1,-2,2,-4,-1],[-2,2,-1,0,-6,4,
-1,0,2,3,1,-1,0,2,1,0,2,2,-1,0,0,2,0,-1,3,2,1,-2,1,-3],[-4,-5,-1,1,-3,-9,2,-1,
0,-10,-6,-8,-2,-3,-1,-7,-9,-7,2,-4,-6,-6,0,-3,-4,-2,2,1,3,4],[2,-2,-4,-7,4,-2,
1,0,0,-4,-3,1,1,-2,1,-3,1,-3,0,-1,0,-3,0,1,-1,1,-1,2,-1,1],[-3,3,-1,-1,-6,5,0,
1,0,4,-1,0,2,2,-1,0,0,4,-1,-1,1,2,0,1,2,2,1,-1,-1,-2],[-3,-5,1,3,-3,-8,0,0,1,
-6,-2,-7,-3,0,0,-2,-6,-6,1,-2,-5,-3,0,-2,-1,-1,2,1,2,1],[2,-1,2,1,4,-5,0,-2,-1
,-7,-2,-3,-3,-3,-1,-5,-4,-6,2,-1,-3,-3,0,-2,-3,-2,0,1,2,3],[5,5,2,-2,4,7,-1,0,
-2,6,2,7,2,0,0,3,4,5,-1,3,5,3,0,3,1,1,-2,0,-3,-1],[1,4,4,6,-3,3,-2,-1,0,4,3,-1
,-1,1,-1,2,0,1,0,1,1,3,0,-1,2,0,1,-2,1,-2],[-4,3,-4,0,-6,2,2,-2,0,-7,-6,-6,-3,
-4,-2,-11,-6,-3,2,-4,-4,-4,1,-4,-2,0,2,-2,4,2],[-2,-2,5,4,2,-4,0,2,-2,0,-1,0,0
,-1,-2,3,-5,0,0,0,0,0,0,3,-2,-2,0,2,-2,2],[7,0,0,-2,6,4,-2,0,2,6,6,5,0,2,1,6,9
,1,-2,4,4,4,0,2,5,2,-2,0,-2,-4]]],
0,
[
(21,22,23)(24,25,26)(27,28,29)(31,32,33)(35,36,37)(38,39,40)(41,42,43)
(44,45,46)(47,48,49)(50,51,52)
],
0);

MBT("3.U6(2).3.2",5,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,2,3,4,5,6,7,8,9,4,5,6,10,11,12,13,14,15,16,17,18,1,2,3,19,20,21,22,23,7,8,9
,24,25,26,27,28,29,30,31,32,33,34,35,4,5,6,7,8,9,36,37,38,39,40,41,1,2,3,42,43
,44,45,46,47,48,1,2,3,7,8,9,49,50,51,52,53,54,55,56,57,58,59,60,4,5,6,61,62,63
,64,65,66,67,68,69,70,71,72,73,74,75,64,65,66,76,77,78,71,72,70,79,80,81,82,83
,84,85,86,87,88,73,74,75,89,90,91,92,64,65,66,93,94,95,96,97,98,70,71,72,99,
100,101,102,103,104,105,106,107,108,109,110,111,112,113,73,74,75,114,71,72,70,
64,65,66,115,116,117,118,119,120,121,122,123,124,125,126,73,74,75,127,128,129,
130,131,132],
[1,1,1,1,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,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,1,1,0,0,0,1,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,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,4],[2,3],[3,5],[4,5]],1,1,1,1,1,[[1,3],[2,4],[3,5],[4,5]],7,7,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,2],[2,4],[3,5],[4,5]],64,64,,,,
7,7,7,7,7,7],
[],
0,
[(),(182,183),(147,148,149),
( 66, 67, 68)( 69, 70, 71)( 72, 73, 74)( 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)(107,108,109)(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)(150,151,152)(153,154,155)(156,157,158)(159,160,161)
,( 49, 50)(153,156)(154,157)(155,158)],
0);

MBT("3.U6(2).3.2",7,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,2,3,1,2,3,4,5,6,7,8,9,10,11,12,1,2,3,13,14,15,16,17,18,19,20,21,22,23,24,25
,26,27,28,29,30,31,32,1,2,3,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,1,2,3,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73
,74,75,76,77,78,1,2,3,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,103,150,151,152,153,154,
155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,173,172,
174,175,176,177,178,179,180,181,182],
[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,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,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,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,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,6],[5,7],[6,7]],1,1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,3,4,5],[2
..5]]],
[],
0,
[(),(193,194),
( 70, 71, 72)( 73, 74, 75)( 76, 77, 78)( 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)(111,112,113)(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)
,( 51, 52)(163,166)(164,167)(165,168)],
0);

MBT("3.U6(2).3.2",11,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,1,2,3,4,5,6,7,8,1,1,2,9,10,11,12,13,14,1,1,2,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,1,1
,2,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,1,1,2,78,79,80,81,82,83,84,85,86,86,84,85,87,88,89,90,91,92,93,94,95,
96,97,98,99,100,101,102,103,104,105,106,107,108,84,85,86,109,110,111,112,113,
114,115,116,117,118,119,120,121,122,123,124,125,126,127,86,84,85,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,84,85,86,156,157,158,159,160,161,162,163,164,165,166,
167,168,169,170],
[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,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,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,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,3],[2,4],[3,7],[4,8],[5,9],[6,9],[7,10],[8,11],[9,10],[9,11]],[[1,2],[2,4
],[3,5,6],[4,7],[5..7]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,3],[2,4],[3,5],[4,6,7],[5..7]],84,84],
[],
0,
[(),(190,191),(156,157,158),
( 69, 70, 71)( 72, 73, 74)( 75, 76, 77)( 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)(110,111,112)(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)(159,160,161)(162,163,164)
(165,166,167)
],
0);

MBT("2^2.U6(2).3.2",3,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,3,4,4,5,5,5,5,5,5,5,5,5,5
,5,5,5,6,7,5,5,6,7],
[7,2,1,1,6,1,1],
[[1,2,4,5,7,8,10,11,13,14,19,20,28,29,30,31,33,34,48,49,60,61],[76,77,79,80],,
,[100,101,102,103,104,105,108,109,110,111,114,124,125,128,131]],
[,,[[1..3]],[[1,3],[2,3]],,4,4],
[[[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,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0],[-1,0,1,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,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]
,[0,1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,0,0,1,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0],[0,-1,0,-1,0,0,0,1,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,0,0,0,0,0,0],[1,0,-1,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,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],[1,-1,2,1,0,0,-2,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,1,1,2,0
,0,-1,-2,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[1,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,
0,0,0],[0,1,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,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],[-3,-3,3,3
,-1,-2,0,0,-2,-1,-3,-3,-1,0,-2,-1,-2,-1,0,0,1,0],[-3,-3,3,3,-2,-1,0,0,-1,-2,-3
,-3,0,-1,-1,-2,-1,-2,0,0,0,1],[-1,-1,1,1,-1,0,0,0,-1,0,-1,-1,0,0,0,0,0,0,1,0,0
,0],[-1,-1,1,1,0,-1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,1,0,0]],[[1,0,0,0],[0,1,0,0],
[0,0,1,0],[0,0,0,1]],,,[[1,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],[-1,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,0,0,0],[0
,-1,0,0,1,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],[0,0,-1,0,0,0,
1,0,0,0,0,0,0,0,0],[0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0],[1,-1,0,0,0,-1,0,0,1,0,0,0
,0,0,0],[-1,1,0,0,-1,0,0,0,0,1,0,0,0,0,0],[1,1,0,0,0,0,-1,-1,0,0,1,0,0,0,0],[0
,1,0,1,0,0,0,0,0,1,0,0,-1,0,1],[0,-1,-1,-2,-1,-1,2,2,0,-1,-2,0,1,1,-1],[0,-1,0
,-1,0,0,0,0,0,-1,0,0,1,0,0],[-1,0,-1,0,0,0,0,0,-1,0,0,1,0,0,0]]],
0,
[(47,48)],
0);

MBT("2^2.U6(2).3.2",5,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,2,3,4,5,6,7,8,9,4,5,6,10,11,12,13,14,15,16,17,18,1,2,3,19,20,21,22,23,7,8,9
,24,25,26,27,28,29,30,31,32,33,34,35,4,5,6,7,8,9,36,37,38,39,40,41,1,2,3,42,43
,44,45,46,47,48,1,2,3,7,8,9,49,50,51,52,53,54,55,56,57,58,59,60,4,5,6,61,62,63
,64,65,64,65,66,67,68,69,68,69,64,65,70,71,72,64,65,73,74,75,66,67,66,67,66,67
,76,77,78,68,69,79,80,81,82,83,84,85,86,87,88,89,68,69],
[1,1,1,1,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,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,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,4],[2,3],[3,5],[4,5]],1,1,1,1,1,[[1,3],[2,4],[3,5],[4,5]],7,7,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,7,7,7,7,1,1],
[],
0,
[(),(133,134),(127,128),(87,88)],
0);

MBT("2^2.U6(2).3.2",7,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,2,3,1,2,3,4,5,6,7,8,9,10,11,12,1,2,3,13,14,15,16,17,18,19,20,21,22,23,24,25
,26,27,28,29,30,31,32,1,2,3,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,1,2,3,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73
,74,75,76,77,78,1,2,3,79,80,81,82,83,84,85,86,87,84,85,88,89,90,91,92,93,94,85
,84,95,96,97,98,99,84,85,100,101,85,84,102,103,104,105,106,108,107,84,85,109,
110,111,112,113,114,115,116,117,118,119],
[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,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,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],
[],
[[[1,3],[2,4],[3,5],[4,6],[5,7],[6,7]],1,1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,6],[2,3],[4,5],[3,4],[5,7],[6
,7]],84],
[],
0,
[(),(141,142),(135,136),(93,94)],
0);

MBT("2^2.U6(2).3.2",11,
[
"constructed using `CharacterTableOfTypeGS3'"
],
[1,1,2,3,4,5,6,7,8,1,1,2,9,10,11,12,13,14,1,1,2,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,1,1
,2,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,1,1,2,78,79,80,81,82,83,84,84,85,86,87,88,89,90,91,92,93,94,95,96,84,
84,97,98,99,100,101,84,84,102,103,84,84,104,105,106,107,108,109,110,112,111,
113,114,115,116,84,84,117,118,119,120,121,122,123],
[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,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,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,3],[2,4],[3,7],[4,8],[5,9],[6,9],[7,10],[8,11],[9,10],[9,11]],[[1,2],[2,4
],[3,5,6],[4,7],[5..7]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,4],[2,5],[3,7],[3,6],[4,8],[5,9],[7,11],[6,10],
[8,11],[9,10]]],
[],
0,
[(),(136,137)],
0);

MBT("(2^2x3).U6(2)",5,
[
"constructed using `PossibleCharacterTablesOfTypeV4G'"
],
[1,2,3,2,4,5,6,1,7,8,9,10,11,3,12,13,14,15,16,2,3,17,18,19,1,20,21,22,23,24,25
,26,27,1,3,28,29,30,31,32,33,2,34,35,35,36,37,37,35,38,39,40,35,41,42,43,36,36
,36,44,45,46,37,47,48,49,50,51,52,53,37,54,55,56,57,58,59,60,61,54,55,62,63,58
,59,64,65,66,67,68,69,70,71,72,73,74,75,60,61,76,77,78,79,80,81,82,83,54,55,84
,85,86,87,58,59,88,89,90,91,92,93,94,95,96,97,60,61,98,99,100,101,102,103,58,
59,54,55,104,105,106,107,108,109,110,111,60,61,112,113,114,115,116,117,118,119
,120,121,118,119,122,123,120,121,120,121,118,119,124,125,124,125,118,119,124,
125,126,127,128,129,130,131,132,133,124,125,120,121,134,135,136,137,138,139,
140,141,142,143,144,145,146,147,148,148,149,150,150,148,151,152,153,148,154,
155,156,149,149,149,157,158,159,150,160,161,162,163,164,165,166,150,167,168,
169,170,171,172,169,170,173,174,171,172,171,172,169,170,175,176,175,176,169,
170,175,176,177,178,179,180,181,182,183,184,175,176,171,172,185,186,187,188,
189,190,191,192,193,194,195,196,197,198,199,199,200,201,201,199,202,203,204,
199,205,206,207,200,200,200,208,209,210,201,211,212,213,214,215,216,217,201,
218,219,220,221,222,223,220,221,224,225,222,223,222,223,220,221,226,227,226,
227,220,221,226,227,228,229,230,231,232,233,234,235,226,227,222,223,236,237,
238,239,240,241,242,243,244,245,246,247,248,249],
[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,1,1,1,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,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,0,0,0,0,0,0,0,0,0,0
,1,1,1,1,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,1,1,1,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,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,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,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],
[],
[[[1,4],[2,3],[3,5],[4,5]],1,[[1,3],[2,4],[3,5],[4,5]],,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,3,3,1,,,,,,,,,,,,,,,,,[[1,2],[2,4],[3,5],[4,5]],54,,,3,3,3,3,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,2],[2,3],[3,5],[4,5]],118,3
,3,,,[[1,4],[3,5],[2,3],[4,5]],124,,,,,,,,,,,,,,,,,,,,,,,3,3,1,,,,,,,,,,,,,,,,
,,,118,118,3,3,,,124,124,,,,,,,,,,,,,,,,,,,,,,,3,3,1,,,,,,,,,,,,,,,,,,,118,118
,3,3,,,124,124],
[],
0,
[
(256,268)(257,269)(258,270)(259,271)(260,272)(261,273)(262,274)(263,275)
(264,276)(265,277)(266,278)(267,279)
,
(  7,  8)(  9, 10)( 11, 12)( 19, 20)( 21, 22)( 23, 24)( 31, 32)( 33, 34)
( 35, 36)( 46, 47)( 48, 49)( 50, 51)( 58, 59)( 60, 61)( 62, 63)( 66, 67)
( 80, 86)( 81, 87)( 82, 88)( 83, 89)( 84, 90)( 85, 91)( 98, 99)(100,101)
(102,103)(113,114)(115,116)(117,118)(125,126)(127,128)(129,130)(137,138)
(139,140)(141,142)(149,150)(151,152)(153,154)(161,162)(163,164)(165,166)
(173,174)(175,176)(177,178)(185,186)(187,188)(189,190)(193,194)(201,202)
(203,204)(205,206)(216,222)(217,223)(218,224)(219,225)(220,226)(221,227)
(234,235)(236,237)(238,239)(246,247)(248,249)(250,251)(254,255)(262,263)
(264,265)(266,267)(274,275)(276,277)(278,279)(292,293)(294,295)(296,297)
(310,316)(311,317)(312,318)(313,319)(314,320)(315,321)(328,329)(330,331)
(332,333)(340,341)(342,343)(344,345)(352,353)(354,355)(356,357)
,
(  3,  5)(  4,  6)(  7, 11)(  8, 12)( 15, 17)( 16, 18)( 19, 23)( 20, 24)
( 27, 29)( 28, 30)( 31, 35)( 32, 36)( 38, 39)( 42, 44)( 43, 45)( 46, 50)
( 47, 51)( 54, 56)( 55, 57)( 58, 62)( 59, 63)( 69, 70)( 72, 73)( 75, 76)
( 77, 79)( 82, 84)( 83, 85)( 88, 90)( 89, 91)( 94, 96)( 95, 97)( 98,102)
( 99,103)(105,106)(107,119)(108,120)(109,123)(110,124)(111,121)(112,122)
(113,129)(114,130)(115,127)(116,128)(117,125)(118,126)(133,135)(134,136)
(137,141)(138,142)(145,147)(146,148)(149,153)(150,154)(157,159)(158,160)
(161,165)(162,166)(169,171)(170,172)(173,177)(174,178)(181,183)(182,184)
(185,189)(186,190)(197,199)(198,200)(201,205)(202,206)(208,209)(211,212)
(213,215)(218,220)(219,221)(224,226)(225,227)(228,240)(229,241)(230,244)
(231,245)(232,242)(233,243)(234,250)(235,251)(236,248)(237,249)(238,246)
(239,247)(258,260)(259,261)(262,266)(263,267)(270,272)(271,273)(274,278)
(275,279)(280,283)(281,285)(282,284)(288,290)(289,291)(292,296)(293,297)
(298,301)(299,303)(300,302)(305,306)(307,309)(312,314)(313,315)(318,320)
(319,321)(324,326)(325,327)(328,332)(329,333)(334,346)(335,347)(336,350)
(337,351)(338,348)(339,349)(340,356)(341,357)(342,354)(343,355)(344,352)
(345,353)
,
(  2,  9)(  4, 11)(  6,  7)( 14, 21)( 16, 23)( 18, 19)( 26, 33)( 28, 35)
( 30, 31)( 41, 48)( 43, 50)( 45, 46)( 53, 60)( 55, 62)( 57, 58)( 65, 66)
( 74, 80)( 75, 84)( 76, 82)( 77, 83)( 78, 81)( 79, 85)( 93,100)( 95,102)
( 97, 98)(108,115)(110,117)(112,113)(120,127)(122,129)(124,125)(132,139)
(134,141)(136,137)(144,151)(146,153)(148,149)(156,163)(158,165)(160,161)
(168,175)(170,177)(172,173)(180,187)(182,189)(184,185)(192,193)(196,203)
(198,205)(200,201)(210,216)(211,220)(212,218)(213,219)(214,217)(215,221)
(229,236)(231,238)(233,234)(241,248)(243,250)(245,246)(253,254)(257,264)
(259,266)(261,262)(269,276)(271,278)(273,274)(287,294)(289,296)(291,292)
(304,310)(305,314)(306,312)(307,313)(308,311)(309,315)(323,330)(325,332)
(327,328)(335,342)(337,344)(339,340)(347,354)(349,356)(351,352)
],
0);

MBT("(2^2x3).U6(2)",7,
[
"constructed using `PossibleCharacterTablesOfTypeV4G'"
],
[1,1,2,3,4,1,5,6,7,8,9,10,11,12,13,14,15,1,16,17,18,19,20,21,22,23,24,25,26,27
,28,29,30,1,31,32,33,34,35,36,37,38,39,1,40,41,42,43,42,44,45,46,47,48,42,49,
50,51,52,42,53,42,54,55,56,57,58,42,59,60,61,62,63,64,65,66,67,68,69,70,71,72,
73,74,75,76,77,78,79,80,81,80,81,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,80,81,80,81,80,81,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,140,141,144,145,140,141,
146,147,140,141,140,141,148,149,150,151,152,153,154,155,156,157,158,159,160,
161,162,163,164,165,140,141,166,167,168,169,170,171,172,173,174,175,176,177,
178,179,180,181,182,183,184,185,186,185,187,188,189,190,191,185,192,193,194,
195,185,196,185,197,198,199,200,201,185,202,203,204,205,206,207,208,209,210,
211,212,209,210,213,214,209,210,215,216,209,210,209,210,217,218,219,220,221,
222,223,224,225,226,227,228,229,230,231,232,233,234,209,210,235,236,237,238,
239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,254,256,
257,258,259,260,254,261,262,263,264,254,265,254,266,267,268,269,270,254,271,
272,273,274,275,276,277,278,279,280,281,278,279,282,283,278,279,284,285,278,
279,278,279,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,
302,303,278,279,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,
319,320,321],
[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,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,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,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,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,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,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,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,0,0,0
,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,6],[5,7],[6,7]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,[[1,6],[2,3],[4,5],[3,4],[5,7],[6,7]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[
1,7],[2,7],[3,7],[4,7],[5,7],[6,7]],80,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,[[1,2],[2,4],[3,5],[5,6],[4,7],[6,7]],140,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,42,,,,,,,,,,,,,,,,,,,,,,,,140,140,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,42,,,,,,,,,,,,,,,,,,,,,,,,140,140],
[],
0,
[
(268,280)(269,281)(270,282)(271,283)(272,284)(273,285)(274,286)(275,287)
(276,288)(277,289)(278,290)(279,291)
,
(  7,  8)(  9, 10)( 11, 12)( 19, 20)( 21, 22)( 23, 24)( 31, 32)( 33, 34)
( 35, 36)( 46, 47)( 48, 49)( 50, 51)( 58, 59)( 60, 61)( 62, 63)( 66, 67)
( 80, 86)( 81, 87)( 82, 88)( 83, 89)( 84, 90)( 85, 91)( 98, 99)(100,101)
(102,103)(113,114)(115,116)(117,118)(125,126)(127,128)(129,130)(137,138)
(139,140)(141,142)(149,150)(151,152)(153,154)(161,162)(163,164)(165,166)
(173,174)(175,176)(177,178)(185,186)(187,188)(189,190)(197,198)(199,200)
(201,202)(205,206)(216,222)(217,223)(218,224)(219,225)(220,226)(221,227)
(234,235)(236,237)(238,239)(246,247)(248,249)(250,251)(254,255)(262,263)
(264,265)(266,267)(274,275)(276,277)(278,279)(286,287)(288,289)(290,291)
(304,305)(306,307)(308,309)(322,328)(323,329)(324,330)(325,331)(326,332)
(327,333)(340,341)(342,343)(344,345)(352,353)(354,355)(356,357)(364,365)
(366,367)(368,369)(376,377)(378,379)(380,381)
,
(  3,  5)(  4,  6)(  7, 11)(  8, 12)( 15, 17)( 16, 18)( 19, 23)( 20, 24)
( 27, 29)( 28, 30)( 31, 35)( 32, 36)( 38, 39)( 42, 44)( 43, 45)( 46, 50)
( 47, 51)( 54, 56)( 55, 57)( 58, 62)( 59, 63)( 69, 70)( 72, 73)( 75, 76)
( 77, 79)( 82, 84)( 83, 85)( 88, 90)( 89, 91)( 94, 96)( 95, 97)( 98,102)
( 99,103)(105,106)(109,111)(110,112)(113,117)(114,118)(119,131)(120,132)
(121,135)(122,136)(123,133)(124,134)(125,141)(126,142)(127,139)(128,140)
(129,137)(130,138)(145,147)(146,148)(149,153)(150,154)(157,159)(158,160)
(161,165)(162,166)(169,171)(170,172)(173,177)(174,178)(181,183)(182,184)
(185,189)(186,190)(193,195)(194,196)(197,201)(198,202)(208,209)(211,212)
(213,215)(218,220)(219,221)(224,226)(225,227)(228,240)(229,241)(230,244)
(231,245)(232,242)(233,243)(234,250)(235,251)(236,248)(237,249)(238,246)
(239,247)(258,260)(259,261)(262,266)(263,267)(270,272)(271,273)(274,278)
(275,279)(282,284)(283,285)(286,290)(287,291)(292,295)(293,297)(294,296)
(300,302)(301,303)(304,308)(305,309)(310,313)(311,315)(312,314)(317,318)
(319,321)(324,326)(325,327)(330,332)(331,333)(336,338)(337,339)(340,344)
(341,345)(348,350)(349,351)(352,356)(353,357)(358,370)(359,371)(360,374)
(361,375)(362,372)(363,373)(364,380)(365,381)(366,378)(367,379)(368,376)
(369,377)
,
(  2,  9)(  4, 11)(  6,  7)( 14, 21)( 16, 23)( 18, 19)( 26, 33)( 28, 35)
( 30, 31)( 41, 48)( 43, 50)( 45, 46)( 53, 60)( 55, 62)( 57, 58)( 65, 66)
( 74, 80)( 75, 84)( 76, 82)( 77, 83)( 78, 81)( 79, 85)( 93,100)( 95,102)
( 97, 98)(108,115)(110,117)(112,113)(120,127)(122,129)(124,125)(132,139)
(134,141)(136,137)(144,151)(146,153)(148,149)(156,163)(158,165)(160,161)
(168,175)(170,177)(172,173)(180,187)(182,189)(184,185)(192,199)(194,201)
(196,197)(204,205)(210,216)(211,220)(212,218)(213,219)(214,217)(215,221)
(229,236)(231,238)(233,234)(241,248)(243,250)(245,246)(253,254)(257,264)
(259,266)(261,262)(269,276)(271,278)(273,274)(281,288)(283,290)(285,286)
(299,306)(301,308)(303,304)(316,322)(317,326)(318,324)(319,325)(320,323)
(321,327)(335,342)(337,344)(339,340)(347,354)(349,356)(351,352)(359,366)
(361,368)(363,364)(371,378)(373,380)(375,376)
],
0);

MBT("(2^2x3).U6(2)",11,
[
"constructed using `PossibleCharacterTablesOfTypeV4G'"
],
[1,2,3,1,4,5,1,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,1,23,24,25,26,27
,28,29,30,31,32,33,34,35,36,37,38,1,39,40,41,42,43,44,45,46,47,41,48,49,50,51,
41,52,41,53,54,55,56,57,58,59,60,41,61,62,63,64,65,66,67,66,67,68,69,70,71,72,
73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,66,67,88,89,90,91,92,93,94,95,96,
97,98,99,100,101,102,103,104,105,66,67,106,107,108,109,110,111,112,113,114,115
,116,117,118,119,120,121,122,123,124,125,126,127,128,129,66,67,130,131,132,133
,134,135,136,137,138,139,140,141,140,141,142,143,144,145,146,147,148,149,150,
151,152,153,140,141,154,155,156,157,140,141,158,159,160,161,140,141,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,184,191,192,193,194,184,195,184,196,197,198,
199,200,201,202,203,184,204,205,206,207,208,209,210,209,210,211,212,213,214,
215,216,217,218,219,220,221,222,209,210,223,224,225,226,209,210,227,228,229,
230,209,210,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,253,260,261,262,263,253,
264,253,265,266,267,268,269,270,271,272,253,273,274,275,276,277,278,279,278,
279,280,281,282,283,284,285,286,287,288,289,290,291,278,279,292,293,294,295,
278,279,296,297,298,299,278,279,300,301,302,303,304,305,306,307,308,309,310,
311,312,313,314,315,316,317,318,319,320,321],
[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,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,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,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,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,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,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,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],
[],
[[[1,2],[2,4],[3,5,6],[4,7],[5..7]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1
,4],[2,3,5],[4,6],[5,7],[6,7]],,,,,,,,,,,,,,,,,,,,,,,,,[[1,3],[2,4],[3,5],[4,6
,7],[5..7]],66,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,[[1,4],[2,3],[3,5,6],[5..7],[4,7]],140,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,41,,,,,,,,,,,,,,,,,,,,,,,,,140,140,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,41,,,,,,,,,,,,,,,,,,,,,,,,,140,140],
[],
0,
[
(  7,  8)(  9, 10)( 11, 12)( 19, 20)( 21, 22)( 23, 24)( 31, 32)( 33, 34)
( 35, 36)( 46, 47)( 48, 49)( 50, 51)( 58, 59)( 60, 61)( 62, 63)( 66, 67)
( 80, 86)( 81, 87)( 82, 88)( 83, 89)( 84, 90)( 85, 91)( 98, 99)(100,101)
(102,103)(113,114)(115,116)(117,118)(125,126)(127,128)(129,130)(137,138)
(139,140)(141,142)(149,150)(151,152)(153,154)(161,162)(163,164)(165,166)
(173,174)(175,176)(177,178)(185,186)(187,188)(189,190)(197,198)(199,200)
(201,202)(205,206)(213,214)(215,216)(217,218)(228,234)(229,235)(230,236)
(231,237)(232,238)(233,239)(246,247)(248,249)(250,251)(258,259)(260,261)
(262,263)(266,267)(274,275)(276,277)(278,279)(292,293)(294,295)(296,297)
(310,316)(311,317)(312,318)(313,319)(314,320)(315,321)(328,329)(330,331)
(332,333)(340,341)(342,343)(344,345)(352,353)(354,355)(356,357)(364,365)
(366,367)(368,369)
,
(  3,  5)(  4,  6)(  7, 11)(  8, 12)( 15, 17)( 16, 18)( 19, 23)( 20, 24)
( 27, 29)( 28, 30)( 31, 35)( 32, 36)( 38, 39)( 42, 44)( 43, 45)( 46, 50)
( 47, 51)( 54, 56)( 55, 57)( 58, 62)( 59, 63)( 69, 70)( 72, 73)( 75, 76)
( 77, 79)( 82, 84)( 83, 85)( 88, 90)( 89, 91)( 94, 96)( 95, 97)( 98,102)
( 99,103)(105,106)(109,111)(110,112)(113,117)(114,118)(119,131)(120,132)
(121,135)(122,136)(123,133)(124,134)(125,141)(126,142)(127,139)(128,140)
(129,137)(130,138)(145,147)(146,148)(149,153)(150,154)(157,159)(158,160)
(161,165)(162,166)(169,171)(170,172)(173,177)(174,178)(181,183)(182,184)
(185,189)(186,190)(193,195)(194,196)(197,201)(198,202)(209,211)(210,212)
(213,217)(214,218)(220,221)(223,224)(225,227)(230,232)(231,233)(236,238)
(237,239)(240,252)(241,253)(242,256)(243,257)(244,254)(245,255)(246,262)
(247,263)(248,260)(249,261)(250,258)(251,259)(270,272)(271,273)(274,278)
(275,279)(280,283)(281,285)(282,284)(288,290)(289,291)(292,296)(293,297)
(298,301)(299,303)(300,302)(305,306)(307,309)(312,314)(313,315)(318,320)
(319,321)(324,326)(325,327)(328,332)(329,333)(336,338)(337,339)(340,344)
(341,345)(346,358)(347,359)(348,362)(349,363)(350,360)(351,361)(352,368)
(353,369)(354,366)(355,367)(356,364)(357,365)
,
(  2,  9)(  4, 11)(  6,  7)( 14, 21)( 16, 23)( 18, 19)( 26, 33)( 28, 35)
( 30, 31)( 41, 48)( 43, 50)( 45, 46)( 53, 60)( 55, 62)( 57, 58)( 65, 66)
( 74, 80)( 75, 84)( 76, 82)( 77, 83)( 78, 81)( 79, 85)( 93,100)( 95,102)
( 97, 98)(108,115)(110,117)(112,113)(120,127)(122,129)(124,125)(132,139)
(134,141)(136,137)(144,151)(146,153)(148,149)(156,163)(158,165)(160,161)
(168,175)(170,177)(172,173)(180,187)(182,189)(184,185)(192,199)(194,201)
(196,197)(204,205)(208,215)(210,217)(212,213)(222,228)(223,232)(224,230)
(225,231)(226,229)(227,233)(241,248)(243,250)(245,246)(253,260)(255,262)
(257,258)(265,266)(269,276)(271,278)(273,274)(287,294)(289,296)(291,292)
(304,310)(305,314)(306,312)(307,313)(308,311)(309,315)(323,330)(325,332)
(327,328)(335,342)(337,344)(339,340)(347,354)(349,356)(351,352)(359,366)
(361,368)(363,364)
],
0);

MBT("(2^2x3).U6(2).2",5,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[134,135,136,137,138,139,136,137,140,141,138,139,138,139,136,137,142,143,142,
143,136,137,142,143,144,145,146,147,148,149,150,151,142,143,138,139,152,153,
154,155,156,157,158,159,160,161,162,163,164,165],
[0,0,1,1,1,1,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],
[],
[,,[[1,2],[2,3],[3,5],[4,5]],3,[[1,3],[2,4],[3,5],[4,5]],5,,,[[1,4],[3,5],[2,3
],[4,5]],9],
[],
[["U6(2).2",0],["2.U6(2).2",0],["2^2.U6(2).2",0],["3.U6(2).2",81],["6.U6(2).2"
,31]],
[(),(245,246),(239,240),(150,152)(151,153)(154,159)(155,158)(156,157),
(  5,  6)( 12, 13)( 19, 20)( 28, 29)( 35, 36)( 51, 53)( 52, 54)( 59, 60)
( 70, 71)( 72, 73)( 74, 75)( 80, 81)( 87, 88)( 94, 95)(101,102)(108,109)
(118,119)(129,131)(130,132)(139,140)(141,142)(143,144)(154,155)(156,157)
(158,159)(167,168)(179,181)(180,182)(187,188)(196,197)(198,199)(200,201)
],
0);

MBT("(2^2x3).U6(2).2",7,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[176,177,178,179,176,177,180,181,176,177,182,183,176,177,176,177,184,185,186,
187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,176,177,202,203,
204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219],
[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],
[],
[[[1,2],[2,4],[3,5],[5,6],[4,7],[6,7]],1],
[],
[["U6(2).2",0],["2.U6(2).2",0],["2^2.U6(2).2",0],["3.U6(2).2",81],["6.U6(2).2"
,31]],
[(),(261,262),(255,256),(157,159)(158,160)(161,166)(162,165)(163,164),
(  5,  6)( 12, 13)( 19, 20)( 28, 29)( 35, 36)( 51, 53)( 52, 54)( 59, 60)
( 68, 69)( 77, 78)( 79, 80)( 81, 82)( 87, 88)( 94, 95)(101,102)(108,109)
(115,116)(129,131)(130,132)(139,140)(141,142)(143,144)(152,153)(161,162)
(163,164)(165,166)(174,175)(186,188)(187,189)(194,195)(201,202)(210,211)
(212,213)(214,215)
],
0);

MBT("(2^2x3).U6(2).2",11,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[180,181,180,181,182,183,184,185,186,187,188,189,190,191,192,193,180,181,194,
195,196,197,180,181,198,199,200,201,180,181,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,216,217,218,219,220,221,222,223],
[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],
[],
[[[1,4],[2,3],[3,5,6],[5,6,7],[4,7]],1],
[],
[["U6(2).2",0],["2.U6(2).2",0],["2^2.U6(2).2",0],["3.U6(2).2",81],["6.U6(2).2"
,31]],
[(),(252,253),
(  5,  6)( 12, 13)( 19, 20)( 28, 29)( 35, 36)( 51, 53)( 52, 54)( 59, 60)
( 68, 69)( 77, 78)( 79, 80)( 81, 82)( 87, 88)( 94, 95)(101,102)(108,109)
(115,116)(125,126)(136,138)(137,139)(146,147)(148,149)(150,151)(159,160)
(169,170)(181,183)(182,184)(189,190)(196,197)(205,206)(207,208)(209,210)
],
0);

MBT("(2^2x3).U6(2).3",5,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[236,237,238,239,240,241,238,239,242,243,240,241,240,241,238,239,244,245,244,
245,238,239,244,245,246,247,248,249,250,251,252,253,244,245,240,241,254,255,
256,257,258,259,260,261,262,263,264,265,266,267],
[0,0,1,1,1,1,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],
[],
[,,[[1,2],[2,3],[3,5],[4,5]],3,[[1,3],[2,4],[3,5],[4,5]],5,,,[[1,4],[3,5],[2,3
],[4,5]],9],
[],
[["U6(2).3",0],["2^2.U6(2).3",0],["3.U6(2).3",31]],
[(),(346,347,348)(349,350,351),
(184,185,186)(187,188,189)(190,191,192)(193,194,195)(196,197,198)(199,200,201)
(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)(266,267,268)(269,270,271)(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)(352,353,354)(355,356,357)
(358,359,360)(361,362,363)(364,365,366)(367,368,369)(370,371,372)(373,374,375)
,
(130,136)(131,137)(132,138)(133,139)(134,140)(135,141)(358,364)(359,365)
(360,366)(361,367)(362,368)(363,369)
,
(  3,  5)(  4,  6)(  9, 11)( 10, 12)( 15, 17)( 16, 18)( 20, 21)( 24, 26)
( 25, 27)( 30, 32)( 31, 33)( 37, 38)( 40, 41)( 43, 44)( 45, 47)( 50, 52)
( 51, 53)( 55, 56)( 57, 63)( 58, 64)( 59, 67)( 60, 68)( 61, 65)( 62, 66)
( 71, 73)( 72, 74)( 77, 79)( 78, 80)( 83, 85)( 84, 86)( 89, 91)( 90, 92)
( 95, 97)( 96, 98)(103,105)(104,106)(108,109)(111,112)(113,115)(116,122)
(117,123)(118,126)(119,127)(120,124)(121,125)(132,134)(133,135)(138,140)
(139,141)(142,145)(143,147)(144,146)(150,152)(151,153)(154,157)(155,159)
(156,158)(161,162)(163,165)(168,170)(169,171)(172,178)(173,179)(174,182)
(175,183)(176,180)(177,181)(184,187)(185,188)(186,189)(190,193)(191,194)
(192,195)(196,199)(197,200)(198,201)(202,203)(204,207)(205,208)(206,209)
(210,213)(211,214)(212,215)(216,219)(217,220)(218,221)(222,225)(223,226)
(224,227)(228,231)(229,232)(230,233)(234,237)(235,238)(236,239)(240,243)
(241,244)(242,245)(246,249)(247,250)(248,251)(252,255)(253,256)(254,257)
(258,261)(259,262)(260,263)(264,265)(266,269)(267,270)(268,271)(272,273)
(274,277)(275,278)(276,279)(280,283)(281,284)(282,285)(286,289)(287,290)
(288,291)(292,295)(293,296)(294,297)(298,301)(299,302)(300,303)(304,307)
(305,308)(306,309)(310,313)(311,314)(312,315)(316,319)(317,320)(318,321)
(322,325)(323,326)(324,327)(328,331)(329,332)(330,333)(334,337)(335,338)
(336,339)(340,343)(341,344)(342,345)(346,349)(347,350)(348,351)(352,355)
(353,356)(354,357)(358,361)(359,362)(360,363)(364,367)(365,368)(366,369)
(370,373)(371,374)(372,375)
],
0);

MBT("(2^2x3).U6(2).3",7,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[324,325,326,327,324,325,328,329,324,325,330,331,324,325,324,325,332,333,334,
335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,324,325,350,351,
352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367],
[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],
[],
[[[1,2],[2,4],[3,5],[5,6],[4,7],[6,7]],1],
[],
[["U6(2).3",0],["2^2.U6(2).3",0],["3.U6(2).3",31]],
[
(196,197,198)(199,200,201)(202,203,204)(205,206,207)(208,209,210)(211,212,213)
(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)(278,279,280)(281,282,283)(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)
,
(136,142)(137,143)(138,144)(139,145)(140,146)(141,147)(382,388)(383,389)
(384,390)(385,391)(386,392)(387,393)
,
(  3,  5)(  4,  6)(  9, 11)( 10, 12)( 15, 17)( 16, 18)( 20, 21)( 24, 26)
( 25, 27)( 30, 32)( 31, 33)( 37, 38)( 40, 41)( 43, 44)( 45, 47)( 50, 52)
( 51, 53)( 55, 56)( 59, 61)( 60, 62)( 63, 69)( 64, 70)( 65, 73)( 66, 74)
( 67, 71)( 68, 72)( 77, 79)( 78, 80)( 83, 85)( 84, 86)( 89, 91)( 90, 92)
( 95, 97)( 96, 98)(101,103)(102,104)(108,109)(111,112)(113,115)(116,122)
(117,123)(118,126)(119,127)(120,124)(121,125)(132,134)(133,135)(138,140)
(139,141)(144,146)(145,147)(148,151)(149,153)(150,152)(156,158)(157,159)
(160,163)(161,165)(162,164)(167,168)(169,171)(174,176)(175,177)(180,182)
(181,183)(184,190)(185,191)(186,194)(187,195)(188,192)(189,193)(196,199)
(197,200)(198,201)(202,205)(203,206)(204,207)(208,211)(209,212)(210,213)
(214,215)(216,219)(217,220)(218,221)(222,225)(223,226)(224,227)(228,231)
(229,232)(230,233)(234,237)(235,238)(236,239)(240,243)(241,244)(242,245)
(246,249)(247,250)(248,251)(252,255)(253,256)(254,257)(258,261)(259,262)
(260,263)(264,267)(265,268)(266,269)(270,273)(271,274)(272,275)(276,277)
(278,281)(279,282)(280,283)(284,285)(286,289)(287,290)(288,291)(292,295)
(293,296)(294,297)(298,301)(299,302)(300,303)(304,307)(305,308)(306,309)
(310,313)(311,314)(312,315)(316,319)(317,320)(318,321)(322,325)(323,326)
(324,327)(328,331)(329,332)(330,333)(334,337)(335,338)(336,339)(340,343)
(341,344)(342,345)(346,349)(347,350)(348,351)(352,355)(353,356)(354,357)
(358,361)(359,362)(360,363)(364,367)(365,368)(366,369)(370,373)(371,374)
(372,375)(376,379)(377,380)(378,381)(382,385)(383,386)(384,387)(388,391)
(389,392)(390,393)(394,397)(395,398)(396,399)
],
0);

MBT("(2^2x3).U6(2).3",11,
[
"constructed using `BrauerTableOfTypeMGA'"
],
[296,297,296,297,298,299,300,301,302,303,304,305,306,307,308,309,296,297,310,
311,312,313,296,297,314,315,316,317,296,297,318,319,320,321,322,323,324,325,
326,327,328,329,330,331,332,333,334,335,336,337,338,339],
[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],
[],
[[[1,4],[2,3],[3,5,6],[5,6,7],[4,7]],1],
[],
[["U6(2).3",0],["2^2.U6(2).3",0],["3.U6(2).3",31]],
[(),(364,365,366)(367,368,369),
(190,191,192)(193,194,195)(196,197,198)(199,200,201)(202,203,204)(205,206,207)
(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)(272,273,274)(275,276,277)(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)(370,371,372)(373,374,375)(376,377,378)(379,380,381)
(382,383,384)(385,386,387)
,
(  3,  5)(  4,  6)(  9, 11)( 10, 12)( 15, 17)( 16, 18)( 20, 21)( 24, 26)
( 25, 27)( 30, 32)( 31, 33)( 37, 38)( 40, 41)( 43, 44)( 45, 47)( 50, 52)
( 51, 53)( 55, 56)( 59, 61)( 60, 62)( 63, 69)( 64, 70)( 65, 73)( 66, 74)
( 67, 71)( 68, 72)( 77, 79)( 78, 80)( 83, 85)( 84, 86)( 89, 91)( 90, 92)
( 95, 97)( 96, 98)(101,103)(102,104)(109,111)(110,112)(114,115)(117,118)
(119,121)(122,128)(123,129)(124,132)(125,133)(126,130)(127,131)(138,140)
(139,141)(142,145)(143,147)(144,146)(150,152)(151,153)(154,157)(155,159)
(156,158)(161,162)(163,165)(168,170)(169,171)(174,176)(175,177)(178,184)
(179,185)(180,188)(181,189)(182,186)(183,187)(190,193)(191,194)(192,195)
(196,199)(197,200)(198,201)(202,205)(203,206)(204,207)(208,209)(210,213)
(211,214)(212,215)(216,219)(217,220)(218,221)(222,225)(223,226)(224,227)
(228,231)(229,232)(230,233)(234,237)(235,238)(236,239)(240,243)(241,244)
(242,245)(246,249)(247,250)(248,251)(252,255)(253,256)(254,257)(258,261)
(259,262)(260,263)(264,267)(265,268)(266,269)(270,271)(272,275)(273,276)
(274,277)(278,279)(280,283)(281,284)(282,285)(286,289)(287,290)(288,291)
(292,295)(293,296)(294,297)(298,301)(299,302)(300,303)(304,307)(305,308)
(306,309)(310,313)(311,314)(312,315)(316,319)(317,320)(318,321)(322,325)
(323,326)(324,327)(328,331)(329,332)(330,333)(334,337)(335,338)(336,339)
(340,343)(341,344)(342,345)(346,349)(347,350)(348,351)(352,355)(353,356)
(354,357)(358,361)(359,362)(360,363)(364,367)(365,368)(366,369)(370,373)
(371,374)(372,375)(376,379)(377,380)(378,381)(382,385)(383,386)(384,387)
],
0);

LIBTABLE.LOADSTATUS.ctbunit4:="userloaded";

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