Quelle  bins37   Sprache: C

bins := 
[ [ 3, 5 ], [ 7, 14, 17 ], [ 8, 16, 18 ], [ 9, 12 ], [ true
  [ 19, 43, 206, 216 ], [ 20, 24, 46 ], [ 21, 22, 29, 31, 52, 55, 58, 61 ], 
  [ 23, 45, 207, 218 ], [ 25, 26, 30, 32, 48, 49, 50, 51, 54, 57, 60, 63 ], 
  [ 27, 47 ], [ 28, 53, 56, 59, 62 ], [ 34, 35, 36 ], 
  [ 37, 38, 39, 40, 41, 42 ], [ 44, 217 ], [ 67, 68 ], 
  [ 69, 70, 71, 72, 73, 76, 78 ], [ 74, 75, 77 ], [ 84, 85 ], [ 91, 92 ], 
  [ 94, 95 ], [ 96, 97, 98 ], [ 100, 101 ], [ 103, 104 ], [ 107, 117 ], 
  [ 109,
  [ 129, 135 ], [ 130, 136 ], [ 133, 150, 154 ], [ 138, 139, 151, 153 ], 
  [ 141, 142, 147, 148, 156 ], [ 144, 145, 159 ], =p
  [ 165, 166 ], [ 169, 172, 182, 192 ], [ 171, 181, 191 ], 
  [ 173, The   is about squares  oforder46.
  [ 177, 178, 179, 187, 188, 189 ], [ 180, 190 ], [ 196, 198 ], 
  [ 197, 199, 201 ], [ 200, 202 ], [ 204, 205 ], [ 208, 219 ], [ 209, 220 ], 
  [ 211, 223 ], [ 213, 214, 215 ], [ 221, 222 ], [ 230, 231 ], [ 232, 233 ], 
  [ 234, 235 ], [ 236, 237 ], [ 243, 244 ], [ 248, 249, 285 ], 
  [ 250, 251, 252, 288, 303 ], [ 254, 255 ], [ 256, 257, 258 ], [ 263, 264 ], 
  [ 267, 271 ], [ 268, 272 ], [ 269, 273 ], [ 275, 292 ], [ 277, 278, 279 ], 
  [ 280, 281, 282 ], [ 286, 287 ], [ 289, 290, 302, 304, 306 ], 
  [294,295 296,,298,299 ], [300,309] [,305 ,[ , , 
  [ 317, 318 ], [ 320, 321 ], [ 323, 324 ], [ 326, 340 ], [ 327, 341 ], 
  [ 329, 330, 331 ], [ 332, 333, 334 ], [ 336, 337 ], [ 344, 345, 346 ], 
  [348, 349 ] [350 351,,354 ], ,355,356 ][358  ,
  [ 361, 370 ], [ 362, 363 ], [ 366, 367 ], [ 371, 372 ], [ 373, 378 ], 
  [ 374, 375, 379 ], [ 376, 380 ], [ 377, 381 ], [ 394, 396, 397 ], 
  [
  [ 413, 414 ], [ 415, 416, 417, 418, 419 ], [ 429, 431 ], [ 432, 436 ], 
  [ 433, 435, 437, 439 ]
  [ 443, 447 ], [ 456, 459, 462 ], [ 457, 460 ], [ 458, 461 ], [ 464, 465 ], 
  [ 466, 470, 474 ], [ 467, 471 ],pre
  [ 483, 486 ], [ 492, 496, 520, 523, 524 ], [ 493, 497, 521, 526 ], 
  [ 503, 504, 525, 527 ], [ 506, 509, 510, 534 ], [ 507, 511, 535 ], 
  [ 512, 538 ], [ 517, 518 ], [ 543, 546, 547 ], [ 544, 549 ], [ 545, 554 ], 
  [ 548, 550, 555 ], [ 556, 580 ], [ 557, 581 ], [ 558, 582 ], 
  [ 559, 583, 607 ], [ 560, 584 ], [ 561, 585 ], [ 562, 586 ], 
  [ 563, 587, 615, 639, 651 ], [ 564, 588 ], [ 565, 589 ], [ 566, 590 ], 
  [567, 591,611, 647, 659],[ 568, 92], [569, 593]java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
  [ 571, 595, 619, 623, 631 ], [ 572, 596 ], [ 573, 597 ], [ 574, 598 ], 
  [ 575, 599, 627 ], [ 576, 600 ], [  gap&62 23{pos46;
  [ 579, 603, 635, 643, 655 ], [ 605, 606 ], [ 609, 610, 625, 626 ], 
  [ 613, 614 ], [ ]
  [ 629, 630 ], [ 632, 640, 652 ], [ 633, 634, 641, 642, 653, 654 ], 
  [ 636, 648 ], [ 644, 656 ], [ 645, 646, 657, 658 ], [ 661, 662 ], 
  [ 664, 665, 666 ], [ 667, 670 ], [ 668, 669, 671, 672 ], [ 677, 679 ], 
  [ 682, 686 ], [ 684, 689, 693 ], [ 685, 690 ], java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 695, 702, 704, 705, 706 ], [ 696, 697, 700 ], [ 698, 699 ], 
  [ 715,, 720 722, 724 ] [ 716, 719 [ 717,718,723 ] [ 725,734],
  [ 726, 728 ], [ 727, 733 ], [ 729, 731, 736 ], [ 730, 732, 735, 738, 740 ], 
  [ 737, 739 ], [java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 774, 787 ], [ 776, 788 ], [ 778, 793 ], [ 781, 790 ], [ 782, 794 ], 
  [ 795, 798 ], [ 796, 799 ], [ 804, 815, 817 ], [ 805, 810 ], 
  [ 806, 809, 812, 816 ], [ 823, 828 ], [ 824, 826 ], [ 829, 839 ], 
  [Wehave thetwo  of order23 as  of those
  [ 834, 837, 840, 844, 848 ], [ 835, 849, 853 ], [ 841, 855 ], 
  [ 846, 852, 854 ], [ 851, 856 ], [ 869, 870 ], [ 875, 877 ], 
  [ 878, 1131, 1132 ], [ 880, 881, 2838 ], 
  [ 882, 883, 884, 885, 888, 895, 902, 906, 912, 916, 921, 932, 935 ], 
   ], 
  [ 889, 1146, 1147, 1148, 1149, 2969, 2974, 2995, 3014, 3059, 3064, 3070 ], 
  [ 890, 891, 897he power mapvalues.
  [ 893, 899, 908, 915 ], [ 896, 901, 924, 926 ], [ 900, 913, 923, 928 ], 
  [ 903, 919 ]java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 947, 948, 1025 ], [ 949, 952, 959 ], [ 955, 956, 957 ], 
  [ 958, 960, 998, 1026, 1031, 1032 ], [ 963, 964 ], [ 966, 969 ], 
  [ 972, 973, 974, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      1013, 1014, 1020, 1022 ], 
  [ 981, 982, 992, 1002, 1010, 1011, 1019, 1023, 1028, 1029 ], [ 984, 986 ], 
  [ 990, 1016 ], [ 991, 1000, 1018, 1021 ], [ 994, 1003, 1009, 1027 ], 
  [ 996, 1004 ], [ 999, 1007, 1008 ], [ 1006, 1024 ], [ 1035, 1036 ], 
  [ 1043, 1044, 1108, 1113, 1121 ], [ 1045, 1048, 1055 ], 
  [ 1051, 1052, 1053, 1090, 1099, 1105, 1123 ], 
  [ 1054, 1056, 1086, 1094, 1112, 1122, 1127, 1128 ], [ 1057, 1058 ], 
  [ 1059, 1060 ], [ 1062, 1065 ], [ 1066, 1067 ], 
  [ 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1079, 1081, 1083, 1089, 1091, 
      1097, 1101, 1109, 1110, 1116, 1118 ], [ 1075, 1076 ], 
  [ 1077, 1078, 1088, 1098, 1106, 1107, 1115, 1119, 1124, 1125 ], 
  [ 1080, 1082 ], [ 1084, 1093 ], 
  [ 1085, 1087, 1095, 1096, 1103, 1104, 1114<div">
  [ 1102, 1111, 1120 ], [ 1135, 1139 ], [ 1137, 1138, 2719, 2734 ], 
  [ 1140, 2890, 3040 ], [ 1142, 1143 ], 
  [ 1152, 1176 2837, 2852 2862,2881 2882, 2885, 2895,2910,2925, 2927,
      2931, 2936, 2956, 2976, 2981, 2990, 2996, 3001, 3005, 3007, 3015, 3026, 
      3030, 3046, 3067, 3072, 3086 ], [ 1154, 1156 ], 
  [ 1155, 1157, 1158, 2850, 2856, 2861, 2865, 2937, 2940, 2955, 2962, 2970, 
      2979, 2987, 2997, 2999, 3000, 3016, 3017, 3029, 3039, 3041, 3060, 3071, 
      3079, 3091, 3094 ], [ 1159, 1160, 1177, 1178 ], 
  [ 1161, 1162, 1163java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 1167, 1168, 1169, 1170 ], 
  [ 1173, 1174, 2840, 2841, 2880, 2926, 3045, 3077, 3087 ], [ 1183, 1184 ], 
  [ 1186, 1188 ], [ 1190, 1191 ], [ 1192, 1230 ], 
  [ 1193, 1210, 1212, 1229, 1237, 1238, 1248, 1256 ], 
  [ 1194, 1202, 1219, 1228, 1246, 1255, 1265, 1266 ], 
  [ 1195, 1204, 1209, 1216, 1217, 1224, 1226, 1236, 1240, 1242, 1252, 1258, 
      1267, 1268, 1270, 1272 ], 
  [ 1196, 1200, 1206, 1208, 1214, 1215, 1222, 1227, 1231, 1235 18
      1250, 1253, 1260, 1263 ], 
  [ 1197, 1205, 1207, 1223, 1225, 1234, 1254, 1259 ], 
  [ 1198, 1233,    gap#62;[]
  [ 1199, 1218, 1232, 1241, 1249, 1261, 1269, 1271 ], [ 1201, 1220 ], 
  [   3888
  [ 1288, 1294, 1310 ], [ 1289, 1307 ], [ 1293, 1305 ], 
  [ 1297, 1298, 1299, 1303 ], [ 1300, 1301, 1302 ], [ 1314, 1319 ],
  [ 1321, 1322, 1323, 1324, 1325, 1326 ], 
  [ 1327</pre
      1363, 1372, 1377, 1379, 1391 ], [ 1335, 1339 ], [ 1336, 1340 ], 
  [ 1337, 1338 ], 
  [ 1341, 1343, 1347, 1352, 1364, 1371, 1381, 1383, 1384, 1386, 1388, 1389 ], 
  [1344,1345 1358 ,1367,1375 ,[1348, 1349  ,
  [ 1351, 1353, 1359, 1374, 1382, 1385, 1387 ], [ 1356, 1365 ], 
  [ 1362, 1392 ], [ 1368, 1376 ], [ 1373, 1390 ], [ 1378, 1380 ], 
  [1396,1407 ], [ 1398 1409 ] [1399 1402,2108, 2134,2539 2540, 2549 ]
    , [ 1403, 2116, 2133 ], [ 1405, 2125 ], 
  [ 1410, 1412, 1416, 1421, 2130, 2152, 2543, 2544, 2553, 2562, 2579, 2589 ], 
  [ 1411, 1413, 1417 ], [ 1415, 1418, 2129, 2142, 2147, 2156 ], 
  [, 2111,2151  ]  ,2148,2561 2580,2583,2593] 
  [ 1423, 1471, 2170 ], 
  [ 1424, 1426, 1430, 1432, 2110, 2119, 2136, 2541, 2542, 2567, thesquarejava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  [ 1425, 1427, 1429, 1431, 2109, 2118, 2137, 2551, 2569 ], [ 1428, 2135 ], 
  [ 1433, 1472, 2175 ], 
  [ 1434,1436, 1437,1439 1443 ,1446, 1447,2115 2122,,2132, 
      2145, 2149, 2154, 2155, 2545, 2556, 2564, 2581, 2586, 2590, 2595 ], 
  [ 1435, 1438, 1440, 1442, 1445, 1448, 1449, 1450, 2113, 2114, 2123, 2124, 
      2146, 2150, 2153, 2158, 2162, 2164, 2546, 2554, 2563, 2576, 2577, 2582, 
      2585 2587,2591 2594  ] 
  [ 1441, 1451, 2144, 2159, 2163, 2547, 2555, 2578 ], [ 1452, 2168 ], 
  [ 1453, 1466, 2105, 2173, 2559, 2604, 2607 ], [ 1454, 2127 ], 
  [ 1455, 1467, 2166,     #;               #;java.lang.StringIndexOutOfBoundsException: Range [64, 63) out of bounds for length 75
  [ 1456, 1462, 2171, 2172, 2176&62;headjava.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 63
  [ 1457, 1459, 1460, 1465, 1468, 2174, 2179, 2603, 2610, 2611 ], 
  [ 1458, 2598, 2601 ], [ 1476, 1487 ], [ 1478, 1489 ], 
  [ 1479, 1482, 2189, 2215, 2221, 2620,gap#2 java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 40
  [ 1483, 1555, 1604, 1609, 1823, 2197, 2214 ], [ 1485, 2206 ], 
  [ 1486, 1580, 1584, 1585, 1605, 1608, 1821, 1825, 1826 ], 
  [ 1490, 1492, 1496, 1501, 1505, 1507, 1509, 1511, 2190, 2199, 2211, 2218, 
      2233, 2369, 2387, 2624, 2625, 2632, 2634, 2643, 2650, 2660, 2670 ], 
  [ 1491, 1493, 1497, 1504, 1506, 1510, 1512, 2191, 2200, 2217, 2622, 2623, 
      648,2649 , [1495,1498, 1792, 2210,2223, 228 2237 ], 
  [ 1499, 1556, 1560, 1581, 1582, 1606, 1607, 1807, 1822, 2192, 2232, 2241 ], 
  [ 1500, 1508, 2216, 2229, 2642, 2661, 2664, 2674 ], [ 1502, 1579, 1820 ], 
  [ 1503, 1551, 2251 ], [ 1513, 1552, 1648, 1705, 1860, 1894, 2256 ], 
  [1514,1516 1517,1519,1523, 1524,1526,1527,2196 2203,2212,2213, 
      2226, 2230, 2235, 2236, 2626, 2637, 2645, 2662, 2667, 2671, 2676 ], 
  [ 1515, 1518, 1520, 1522, 1525, 1528, 1529,( "^(12):S2[1, 19] )
      2227, 2231, 2234, 2239, 2243, 2245, 2627, 2635, 2644, 2657, 2658, 2663, 
      2666, 2668, 2672, 2675, 2677 ], 
  [ 1521, 1531, 2225, 2240, 2244, 2628, 2636, 2659 ], [ 1532, 2249, 3249 ], 
  [ 1533, 1546, 2186, 2254, 2336, 2366, 2640, 2685, 2688, 3158, 3290 ], 
  [ 1534, 2208, 2381, 3128, 3239, 3310 ], 
  [ 1535, 1547,2187,2207,2247 2250,2617 2639,2681, 3138 ], 
  [ 1536, 1542, 2252, 2253, 2257, 2258, 2686, 2687 ], 
  [ 1537 ,1540,1545 1548,2255,2260,2684,2691, 2692 ] 
  [ 1538, 2185, 2209, 2324, 2679, 2682, 3180, 3262, 3270 ], [ 1541, 1769 ], 
  [ 1543, 2456, 2516, 2519, 2530, 3143, 3206, 3242, 3312, 3317, 3328,     &#62;                     SizesCentralizers s[]=3888);
      3421, 3441, 3467, 3474, 3521 ], [ 1554, 1803     [67,83]
  [ 1561, 1616, 1624, 1828, 1841, 2380, 2394 ], 
   1562,1569, 1816,3411 3433, 3498, 3504,3548 3560 3579,3583] 
  [ 1563, 1576 ], [ 1564, 3476 ], [ 1565, 3409, 3458, 3507 ], 
  [ 1566, 1571, 1588, 1591, 1596, 1599, 1809, 1818, 3368, 3432, 3502, 3547 ], 
  [ 1567, 1626,  gap&62;s facts2];
  [ 1572, 1603, 1810 ], 
  [ 1574, 1817, 2411, 2493, 2515, 3385, 3424, 3429, 3514, 3575 ], 
  [ 1575, 1577, 1595, 1598, 1623, 1827, 2358 ], 
  [1586,1589,1613,1617,1627, 1834, 1839 ,3343,3347, 3352,,java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
      ,3442,,3494,3522 ,3539 ,3557 3563  ],
  [ 1587, 1590, 1597, 1600, 1610, 1618, 1621, 1622, 1829, 1831, 1838, 1840, 
      3188 ], [ 1592, 2307, 2349, 3117 ], 
  [ 1593 2041,2049, 2445, 459, 2474,2477,2487,2510 ,3349,3350,
      3351, 3371, 3395, 3398, 3417, 3449, 3466, 3472, 3485, 3492, 3533, 3536 ]
    , [ 1594, 1602,1611, 1615, 1836,1843 3142, 3170 ],
  [ 1612, 1619, 1832, 1837, 2417, 2426, 2432, 3404, 3413, 3423, 3427, 3512, 
      3555, 3566 ], [ 1614, 1842, 2356 ], 
  [ 1620, 1625, 1830, 1835, 2311, 3109, 3174, 3278 ], [ 1628, 1845 ], 
  [ 1630, 1691, 1701, 1763, 1783, 1893, 1934, 2527 ], 
  [ 1631, 1646, 1668, 1669, 1682, 1684, 1695, 1697, 1708, 1714, 1717, 1723, 
      1760, 1765, 1788, 1858, 1890, 1892, 1902, 1903, 1904, 1905, 1927, 1931, 
      1936, 2454, 3581 ], 
  [ 1632, 1756, 
  [ 1633, 1690, 1703, 1731, 1741, 1755, 1775, 1797, 1854, 1868, 1873, 1883, 
      1918 ], [ 1634, 1784, 1801, 2481 ], 
  [ 1635, 1643, 1694, 1767, 1776, 1782, 1793, 1794, 1799, 1852, 1926, 1933, 
      1938, 2461, 3112, 3135, 3141, 3147, 3163, 3165, 3177, 3218, 3243, 3248, 
      3276, 3283, 3285, 3309, 3324, 3326 ], 
  [ 1636, 1726, 1737, 1861, 1871, 2451, 2497, 3538 ], 
  [ 1637, 1761, 1859, 2316, 2323, 2362, 2389, 2395, 3115, 3132, 3140, 3157, 
      3211, 3217, 3234, 3244, 3245, 3272, 3289, 3299, 3303, 3322, 3327 ], 
  [ 1638, 1641, 1688, 1692, 1753, 1754, 1781, 1850, 1856, 1924 ], 
  [ 1639, 1925 ], 
  [ 1640, 1670, 1680, 1700, 1704, 1709, 1719, 1746, 1749, 1774, 1853, 1895, 
      1912, 1917, 1920, 1932, 3111, 3113, 3137, 3144, 3149, 3151, 3164, 3169, 
      3172, 3176, 3202, 3205, 3222, 3225, 3226, 3246, 3250, 3253, 3258, 3281by applying criteriajava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
      3297, 3301, 3307, 3308, 3325, 3329, 3337, 3338 ], 
  [ 1644, 1674, 1675, 1676<iv =""<!----></div>
      1734, 1736, 1762, 1768, 1790, 1791, 1795, 1796, 1800, 1849, 1863, 1864, 
      1872, 1877, 1884, 1886, 1899, 1900, 1907, 1908, 1939
  [ 1645, 1702, 1851 ], 
  [ 1647, 1748, 1764, 1773, 1935, 2320, 2325, 2329, 2331, 2340, 2341, 2350, 
      2368, 2370, 2373, 2382, 2386, 2392, 3127, 3129, 3136, 3146, 3153, 3160, 
      3162, 3173, 3201,     gap#62;[]78: []79;
      3292, 3294, 3302, 3311, 3321, 3333 ], 
  [ 1649, 1650, 1654, 1657, 1659, 1660, 1661, 1664, 1667, 1683, 1711, 1720, 
      1725, 1732, 1738 1740,1862 1867, 1870 1874,1901, 1906,2452 2458,
      2463, 2464, 2473, 2478, 2508, 2518, 2520, 3383, 3407, 3460, 3493, 3501, 
      3578 ], [ 1651, 1658, 1891 ], 
  [1652 1653,1655, 1656, 1662,1663, 1665,1666, 1687,1727, 1733 1866,
      1878, 1888, 2412, 2415, 2419, 2427, 2479, 3471 ], 
  [ 1671,1672,1679,1681, 1706,1712 1716 ,1728,1730,1735,1739,
      1865, 1869, 1875, 1876, 1896, 1897, 1910, 1911, 2457, 2484, 2496, 2500, 
      2505, 2528, 3399, 3400, 3402, 3468, 3532, 3534, 3580 ], 
  [ 1673, 1677, 1710, 1718, 1898, 1909, 3491, 3540, 3570 ], 
  [ 1686, 1847, 1880, 1881 ], 
  [ 1689, 1766, 1772, 1937, 2284, 2292, 2302, 3145, 3192, 3257, 3274, 3306, 
      3331 ] [ 1693, 2405 ,[1699,,1885, 2498], 
  [ 1742, 1922, 2522 ], [ 1743, 1757, 1787, 1914 ], 
  [ 1745, 1789, 1916, 2283, 2289, 2295, 2299, 3167( r.ubtable []));
  [ 1747, 1887 ], [ 1750, 1758, 1780, 1929, 3155, 3166, 3323 ], 
  [ 1751, 1759, 1771 ], [ 1770, 1915 ], 
  [ 1777, 1798, 2317, 2318, 2322, 2337, 2344, 2374, 2377, 2388, 3156, 3214, 
      3252, 3288, 3316, 3335 ], [ 1779, 1923, 2443, 3150 ], 
  [ 1786, 1930, 2494, 2504, 2507, 3377, 3490 ], [ 1812, 3231, 3305 ], 
  [ 1815, 2449 ], [ 1848, 2275, 3200 ], 
  [ 1919, 2277, 2278, 2281, 2293, 3208, 3241, 3298 ], 
  [ g ComputedPowerMapsr2.ubtable), r2.fus,
  [ 1947, 2069, 2072 ], [ 1948, 1953, 1955, 1956 ], 
  [ 1949, 1952, 1958, 1962, 1964, 1966, 1968 ], [ 1950, 1951 ], 
  [ 1957, 1961,     &#2;                         powermaps );
  [ 1977, 1982, 1984, 1985 ], [ 1978, 1981, 1987, 1991, 1993, 1995, 1997 ], 
  [ 1979, 1980 ], [ 1986, 1990, 1992 ], [ 2000, 2003, 2013, 2014 ], 
  [ 2001, 2004, 2006, 2008, 2015, 2017, 2018 ], [ 2002, 2011, 2033 ], 
  [ 2010, 2035 ], 
  [ 2019, 2021, 2022, 2023, 2029, 2030, 2037, 2043, 2046, 2048 ], 
  [ 2020, 2024, 2026, 2027, 2028, 2031, 2040, 2045, 2047, 2051 ], 
  [ 2025, 2032, 2039, 2050 ], [ 2038, 2042 ], [ 2053, 2056 ], [ 2057, 2062 ], 
  [ 2058, 2063, 2067 ], [ 2059, 2060, 2061, 2064, 2065 ], 
  [ 2077, 2082, 2087, 2091, 2094 ], 
  [ 2078, 2083, 2088, 2093, 2096, 2097, 2098 ], 
  [ 2079, 2080, 2081, 2084, 2086, 2089 ], [ 2102, 2532 ], [ 2104, 2128 ], 
  [ 2106, 2126, 2536, 2558 ], [ 2121, 2143, 2161, 2552, 2574, 2592 ], 
  [ 2140, 2573 ], [ 2182, 2276 ], [ 2183, 2279, 2613, 3102, 3178 ], 
  [ 2202, 2224, 2242, 2633, 2655, 2673 ], [ 2248, 2354, 2619 ], 
   2265 2615] ,2446  ,[ 2268  ], ,2375,2390 ,
  [ 2271, 2274, 2280, 2287, 2296, 2334, 3110, 3159, 3282 ], [ 2272, 3121 ], 
  [ 2273, 2332 ], [ 2285, 2435, 3361 ], [ 2291, 2294, 3320 ], 
  [ 2298
  [ 2310, 2647 ], [ 2315, 2367, 2378, 3154, 3237, 3295 ], 
  [ 2319, 2333, 2393 ], [ 2326, 2383 ], [<div""<!----></div>
  [ 2328, 2338, 2343, 2346, 2364, 2371, 2385, 3130, 3133, 3207, 3213, 3221, 
      3235, 3315, 3318, 3319 ], [ 2335, 2353 ], [ 2345, 2359, 3131, 3233 ], 
  [ 2355, 2641 ], 
  [ 2361, 2376, 2379, 3114, 3171, of<font size=+0"M/font>on classes of 2.font size="+0">B</font>, by Section <a href="#natural">2</a>.
  [ 2363, 2365, 2391, 3122, 3196, 3291 ], [ 2372, 3209 ], 
  [ 2399, 2404, 2425, 3428 ], [ 2400, 2414, 2488, 3391, 3455 ], 
  [ 2401, 3508 ], [ 2402, 2403, 2470, 3345, 3513 ], 
  [2406, 2413,,3435 3445,3447,3520,3525 , 
  [ 2407, 2437, 3355, 3363, 3365 ], [ 2408, 2418, 2468, 2512, 3375, 3439 ], 
  [ 2409, 3362, 3367 ], [ 2410, 2529, 3364, 3366, 3516 ], 
  [ 2416,2424 2431, 3372,3392 ,3415,3463 3465, 3495, 3496, 3517,
      3518, 3527, 3545, 3567 ], [ 2420, 3359, 3360 ], 
  [ 2421, 2428, 2436, 3515, 3559 ], [ 2422, 2423 ], 
  [ 2430, 2434, 2439, 2455,, 2469, 2475,2517,2521,3356,3380, 3475,3486, 
      3487, 3535, 3551, 3576 ], [ 2433, 2511, 3396 ], [ 2438, 2514, 3519 ], 
  [2440,3348, 3511 ], [ 2444 ,3152 3293 ], 
  [ 2450, 2453, 2460, 2467, 2472, 2482, 2502, 2506, 2513, 2523, 2524, 2526, 
      3353, 3370, 3378, 3388, 3394,     CharacterTable( ".B")
      3489, 3531, 3537, 3544, 3546, 3554, 3562, 3564, 3577, 3582 ], 
  [ 2462, 2501, 3125, 3161, 3212, 3236, 3247, 3314, 3401, 3530 ], 
3418,3436, 3446,3450 
      3461, 3469, 3470, 3473, 3497, 3524, 3550, 3574 ], [ 2485, 3224 ], 
  [ 2491, 2492, 3431, 3479, 3482, 3505, 3573 ], 
  [ 2495, 3379, 3488, 3529, 3565 ], [     gap&62; List( cand, );
  [ 2537, 2609 ], [ 2575, 2584 ], [ 2614, 2680 ], [ 2618, 2690, 3105, 3265 ], 
  [ 2631, 3287 ], [ 2656, 2665 ], [ 2683, 3103, 3185, 3186 ], [ 2694, 2743 ], 
   ,2784 ][2700,2702,,,2771 2820], 
  [ 2701, 2705, 2707, 2712, 2717, 2726, 2727, 2730, 2760, 2762, 2772, 2801, 
      2802, ] [2703,2723 2798 ] [2709 2729 ] [2710,2770,
  [ 2714, 2724, 2799, 2819 ], [ 2716, 2732, 2822 ], [ 2718, 2773 ], 
  [ 2720, 2721, 2735 ], [ 2725, 2800 ], [ 2739, 2788 ], [ 2742, 2786 ], 
  [ 2745, 2751, 2752, 2756, 2766, 2775, 2776,   196883
      2810, 2816, 2825, 2827 ], 
  [ 2746, 2747, 2757, 2765, 2780, 2790, 2791, 2807, 2811, 2817 ], 
  [ 2748, 2753 ], [ 2750, 2797 ], [ 2754, 2774 ], [ 2755, 2815 ], 
  [ 2759, 2769, 2809, 2824 ], [ 2764, 2779 ], [ 2767, 2781 ], [ 2777, 2826 ], 
  [ 2804, 2814 ], [ 2806, 2812 ], [ 2808, 2823 ], [ 2829, 3055 ], 
  , 2964, 2968,2973 2978, 3009, 3013 3018,3038,3054,  , 
  [ 2831, 2967, 2998, 3028, 3056 ], 
  [ 2832, 2876, 2877, 2922, 2988, 3043, 3073 ], [ 2834, 2845 ], 
  [ 2835, 2836,2844, 2846 2849 2854,, 2855,2859, 2864, 2866,2869,2870, 
      2886, 2887, 2889, 2892, 2894, 2899, 2901, 2904, 2906, 2909, 2914, 2917, 
      2930,2932 2934,2939,2942,2944,2945,2949,2952 ,2959,2960,
      2972, 2975, 2982, 2984, 2985, 2994, 3021, 3022, 3032, 3034, 3036, 3042, 
      3049, 3052, 3061, 3065, 3069, 3080, 3081,This yields 111 out of the 194 charactervalues.
  [ 2843,
  [ 2847, 2872, 2946, 2951, 2971, 2989, 3004, 3024, 3027, 3035, 3044, 3050, 
      3062, 3074, 3075, 3084, 3097 ], 
  [ 2848, 2853, 2863, 2868, 2893, 2898, 2908, 2913, 2938, 2953, 3078, 3093 ], 
  [ 2851, 2947, 2957, 3031 ], [ 2860, 2935, 2950, 2980 ], 
  [ 2867, 2941, 2961, 3047, 3082 ], [ 2874, 2923 ], [ 2884, 3019 ], 
  [ 2891, 2897, 2907, 2911, 2977, 3066 ], [ 2896, 2912, 3002, 3096 ], 
  [ 2900, 2915, 3020 ], [ 2902, 2916, 3037, 3051 ],     gap#62;chi= [;;
  [ 2920, 3010, 3023, 3083 ], [ 2943, 2958 ], [ 2963, 3008, 3053 ], 
  [ 2966 3057 ] [2983,3048, 3088],[2992,3076 3092 ], [2993, 3068 ] 
  [ 3011, 3012 ], [ 3099, 3259 ], [ 3100, 3108, 3280 ], [ 3101, 3229 ], 
  [ 3104, 3182 ], [ 3107, 3279 ], [ 3118, 3183, 3187, 3264 ], 
  [ 3120,3203,3275 ,[ 3124 3273  ] [3148,3266 ] [3179 3260 ], 
  [ 3181, 3189, 3219, 3300, 3340 ], [ 3190, 3223, 3269, 3296, 3304 ], 
  [ 3197, 3198, 3215, 3255, 3332 ], [ 3251, 3336 ], 
  [ 3344, 3346, 3386, 3393, 3506, 3510 ], 
  [ 3354, 3376, 3389, 3390, 3405, 3408, 3414, 3419, 3448, 3453, 3456, 3457, 
      3459, 3477, 3478, 3499, 3526, 3528, 3541, 3542, 3549    &#62;fi
      3572 ], 
  [ 3357, 3358, 3373, 3412, 3416, 3438, 3443, 3451, 3464, 3481, 3483, 3500, 
      3552, 3556, 3561 ], [ 3434, 3437 ], [ 3584
  [ 3586, 3592, 3597 ], [ 3587, 3588, 3593, 3594, 3598, 3599 ], 
  [ 3589, 3590, 3595, 3596, 3600, 3601 ], [ 3604, 3605, 3606 ], 
  [ 3607, 3608 ], [ 3609, 3610, 3611 ], 
  [ 3612, 3613, 3619, 3625, 3643, 3644, 3650 ], 
  [ 3614, 3620, 3626, 3645, 3651, 3656 ], 
  [ 3615, 3616, 3621, 3622java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 0
      3647, 3652, 3653, 3657, 3658, 3668, 3669, 3670 ], 
  [3617 3618,3623, 3624 ,3630,3648,3649, 3654 ,3659  ,
  [ 3631, 3632, 3661 ], [ 3633, 3662, 3663 ], 
  [ 3634, 3635, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 3671, 3673, 3685, 3704 ], [ 3672, 3674, 3694, 3705 ], 
  [ 3675, 3677, 3706, 3708 ], 
  [ 3676, 3678, 3697, 3699, 3701, 3703, 3707, 3709, 3710, 3728, 3730, 3731, 
      3733, 3735, 3736 ], 
   , 3681,3687 ,3711, 3713 ,3720 3721 ],
  [ 3680, 3682, 3686, 3688, 3691, 3693, 3700, 3702, 3712, 3714, 3715, 3717, 
      3719    #2 sr.
  [ 3690, 3692, 3722, 3724 ], [ 3696, 3698, 3727, 3729 ], 
   3737,3739, 3741, 3747,3749 , ,3740,3743,3745, ,
  [ 3742, 3744, 3746, 3748, 3751 ], 
  [ 3752, 3754, 3768,(Irr  ), x-#;x[]&t=196883 )java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
[ ,3756 , 3759,3781 , ,3797,3799 3830,3832,
      3860, 3862, 3863, 3865, 3866, 3875, 3878, 3880, 3881 ], 
  [ 3758, 3760, 3761, 3785, 3787, 3788, 3790, 3792, 3793, 3798, 3800, 3801, 
      3821, 3823, 3824, 3826, 3828, 3829, 3831, 3833, 3834, 3851, 3853, 3854, 
      3856, 3858, 3859, 3869, 3872, 3873, 3874, 3876, 3877, 3884, 3885, 3886 ]
    , [ 3762, 3764, 3767, 3769, 3772, 3774, 3775, 3782, 3783, 3802, 3804, 
      3807, 3810, 3812, 3813, 3819, 3835, 3837, 3841, 3843, 3844 ], 
  [ 3763, 3765, 3766, 3771, 3773, 3777, 3779, 3780, 3789, 3791, 3803, 3805, 
      3806, 3809, 3811, 3815, 3817, 3818, 3825, 3827, 3836, 3838, 3839, 3840, 
      3842, 3846, 3848, 3849, 3855, 3857, 3861, 3864, 3867, 3868, 3870, 3871, 
      3879,      &62           "")
  [ 3887, 3888, 3889, 3890, 3891, 3892 ], 
  [ 3893, 3894, 3895, 3896, 3897, 3898, 3899, 3900, 3901, 3921, 3922, 3923, 
      3924,&62;        []]=rest]
    , [ 3902, 3903 ], 
  [ 3904, 3905, 3906, 3907, 3908, 3909, 3910, 3911, 3912, 3913, 3914, 3915, 
      3916, 3917, 3918 ], [ 3919, 3920 ], [ 3936, 3937 ], 
  [ 3938, 3939, 3940 ], [ 3941,  &#62;   od;
  [ 3947, 3948, 3949, 3950, 3951, 3952 ], 
  [ 3953, 3954, 3955, 3956, 3957, 3958, 3959, 3960, 3961 ], 
  [ 3962, 3963, 3964, 3965, 3966, 3967, 3968, 3969, 3970, 3971, 3972, 3973, 
      3974, 3975, 3976, 3977, 3978, 3979, 4013, 4014, 140
      4019, 4020, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 
      4031, 4032, 4033, 4034, 4035, 4036, 4037, 4038, 4039 ], 
  [ 3980, 3981, 3982 ], 
  [ 3983, 3984, 3985, java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 0
      3995, 3996, 3997<pre
      4007, 4008, 4009 ], [ 4010, 4011, 4012 ], [ 4040, 4041, 4042 ], 
  [ 4043, 4044, 4045, 4052, 4053, 4054, 4061, 4062, 4063 ], 
  [ 4046, 4047, 4048, 4049, 4050, 4051, 4055, 4056, 4057, 4058, 4059, 4060, 
      4064, 4065, 4066, 4067, 4068, 4069 ], [ 4074, 4075, 4099, 4102 ], 
  [ 4076, 4084 ], [ 4077, 4085, 4091, 4092 ], [ 4082, 4086, 4088 ], 
  [4083 4087, , 4089 ] ], [ 4093, 4124 ] 
  [ 4094, 4095, 4096, 4125, 4126, 4128, 4129, 4130 ], [ 4100, 4103 ], 
  [ 4111, 4113 ], [ 4118, 4120 There are 13 possible irreducibleconstituentsof this restriction.
  [ 4136, 4138 ], [ 4140, 4142 ], [ 4148, 4149 ], [ 4152, 4161 ], 
  [ 4158, 4159 ], [ 4163, 4182, 4321, 4379 ], 
  [ 4164, 4183, 4184, 4322, 4354, 4380, 4381, 4414 ], [ 4177, 4178 ], 
  [ 4191 ] [4192 4193  ], [4195, 4196 ] [4197, 4199 ],java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  [ 4198, 4200 ], [ 4202, 4203 ], [ 4204, 4208, 4211, 4214, 4221, 4407, 4438 ]
    , [ 4206, 4209, 4212, 4215, 4216, 4222, 4408, 4409, 4439 ], 
  [ 4217, 4218, 4219 ], [ 4223, 4224 ], [ 4229, 4255 ], [ 4232, 4259 ], 
  [ 4233, 4235, 4262 ], [ 4234, 4236, 4263 ], [ 4243, 4244 ], [ 4245, 4311 ], 
  [ 4246, 4247, 4312 ], [ 4248, 4249 ], [ 4250, 4303, 4318 ], 
  [ 4251, 4276,and get 41   .
  [ 4266, 4268 ], [ 4272, 4279, 4296 ], [ 4274, 4293 ], [ 4277, 4292 ], 
  [ 4278, 4294 ], [ 4280, 4297 ], [ 4289, 4290 ], [ 4299, 4314 ], 
  [ 4300, 4315 ], [ 4304, 4305, 4319, 4320 ], [ 4326, 4329 ], [ 4327, 4330 ], 
  [ 4328, 4331 ], [ 4333, 4334 ], [ 4335, 4337 ], [ 4339, 4340 ], 
  [ 4343, 4346 ], [ 4344, 4347, 4348 ], [ 4349, 4351 ], [ 4350, 4352 ], 
  [ 4353, 4413 ], [ 4355, 4356 ], [ 4357, 4358 ], [ 4359, 4360 ], 
  [ 4365, 4366 ], [ 4369, 4371 ], [ 4372, 4377 ], [ 4373, 4374, 4375, 4376 ], 
  [ 4384, 4386 ], [ 4385, 4387 ], [ 4388, 4391 ], [ 4389, 4390, 4392, 4393 ], 
  [ 4394, 4396, 4399, 4400, 4401 ], [ 4403, 4404 ], [ 4410, 4411 ], 
   ,4421 ],[ 4420,4422]  ,4424]  4427 4428 ], 
  [ 4432, 4434 ], [ 4433, 4435 ], [ 4436, 4437 ], [ 4440, 4441, 4442 ], 
  [ 4445, 4448 ], [ 4458, 4461 ], [ 4463, 4466, 4468, 4469 ], [ 4470, 4473 ], 
  [,4476 ][4480,4481 ],[4490 4492 ]
  [ 4496, 4511, 4535, 4538, 4548, 4551 ], [ 4497, 4521, 4523 ], 
  [ 4498, 4499, 4522, 4524 ], [ 4500, 4502, 4505 ], [ 4501, 4504, 4527 ], 
  [ 4507, 4510 ], [ 4509, 4536, 4547 ], [ 4512, 4539, 4550 ],    gap&62;rest: List knownpos,i-#62;chi mapi ]);
  [ 4515, 4542 ], [ 4516, 4545, 4556 ], [ 4517, 4518, 4541, 4544, 4554, 4557 ]
     ,4532,4533, ,4530]  4529 4531] 
  [ 4534, 4537, 4546, 4549 ], [ 4543, 4552, 4555 ], [ 4560, 4561 ], 
[, 4570] [4576,4577] [4578,4579 ,[4581,4584 4587 ] 
  [ 4582, 4585, 4588 ], [ 4583, 4586java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  [ 4595, 4596, 4598 ], [ 4599, 4600 ], [ 4601, 4602 ], [ 4603, 4604 ], 
  [ 4605, 4616 ], [ 4606, 4611, 4615 ], [ 4607, 4608 ], [ 4610, 4613, 4619 ], 
  [ 4612, 4614, 4617, 4618, 4620, 4621 ], [ 4622, 4623, 4624 ], 
  [ 4625, 4626, 4630, 4631 ], [ 4634, 4635, 4636 ], [ 4639, 4640 ], 
  [ 4642, 4643, 4648    gap#62;fori in [ 1 . Length map) ]do
  [ 4656, 4657 ], [ 4661, 4662, 4663 ], [ 4670, 4671, 4672 ], 
  [ 4673, 4674, 4675 ], [ 4680, 4689 ], [ 4681, 4690 ], [ 4682, 4691, 4692 ], 
  [ 4685, 4701 ], [ 4686, 4687, 4702, 4710 ], [ 4694, 4695 ], [ 4696, 4697 ], 
  [ 4700, 4711, 4712 ], [ 4716, 4717 ], [ 4719, 4723 ], [ 4721, 4724 ], 
  [ 4725, 4729, 4731, 4735 ], [ 4726, 4732 ], [ 4727, 4730, 4733, 4736 ], 
  [    &#2;    od;
  [ 4757, 4758 ], [ 4765, 4775 ], [ 4766, 4778, 4779 ], [ 4767, 4768 ], 
  [ 4770, 4771 ], [ 4772, 4782, 4783 ], [ 4773, 4774, 4786, 4787, 4788, 4790 ]
    , [ 4785, 4789 ], [ 4791, 4792 ], [ 4798, 4799 ], 
  [ 4800, 4801, 4802, 4803, 4941, 4942 ], [ 4805, 4806 ], [ 4812, 4870 ], 
  [ 4813, 4830, 4855, 4858, 4868 ], 
  [ 4814, 4815, 4826, 4828, 4867, 4869, 4871 ], [ 4816, 4872 ], 
  [ 4817, 4873 ], [ 4818, 4878, 4880 ], 
  [ 4819, 4838, 4841, 4861, 4865, 4866, 4876 ], 
  [ 4820, 4821, 4822, 4823, 4833, 4834, 4836, 4840, 4874, 4875, 4877, 4879, 
      4881, 4882 ], [ 4824, 4825, 4883, 4884 ], [ 4827, 4856 ], 
  [ 4835, 4862, 4863 ], [ 4837, 4839 ], [ 4842, 4843 ], [ 4859, 4860 ], 
  [ 4885, 4895, java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 31
  [ 4889, 4893, 4897, 4899, 4900, 4901 ], [ 4898, 4902 ], 
  [ 4903, 4913, 4914, 4921, 4931, 4932 ], [ 4904, 4905, 4922, 4923 
  [ 4906, 4908, 4909, 4910, 4924, 4926, 4927, 4928 ], 
  [ 4907, 4911, 4915, 4917, 4918, 4919, 4925, 4929, 4933, 4935, 4936, 4937 ], 
  [ 4912, 4930 ], [ 4916, 4920, 4934, 4938 ], [ 4943, 4944 ], [ 4946, 4947 ], 
  [,4952 ] [ 4950,  ,[4954,  ,
  [ 4958, 4959, 4962, 4963, 4964, 4965 ], 
  [ 4960, 4961,    [151,152 153,160,,170 186, 187,188,189 190, 192, 193 ]
  [ 4975, 4976 ], [ 4977, 4992, 5007 ], [ 4978, 4993, 5008 ], 
  [, 4994, 4995,4997,4999 5009, 5010,5012  ,
  [ 4981, 4983, 4996, 4998, 5011, 5013 ], 
  [ 4985, 4989, 4990  57,93, 93 ,95,95,41,59 ,71,71,119 119 ]
  [ 4986, 4987, 4988, 4991, 5001, 5002, 5003, 5006, 5016, 5017, 5018, 5021     gap#2 .SizesCentralizersmissing};
  [5033,5038,5039 5040,5053, 5054 ],  5034,5035 ] [5036,  , 
  [ 5041, 5042 ], [ 5049, 5051 ], [ 5050, 5052 ], [ 5056, 5067 ], 
  [ 5057, 5091, 5092 ], [ 5058, 5069, 5070, 5090 ], [ 5060, 5061 ], 
  [ 5062, 5072, 5073 ], [ 5063, 5064, 5097, 5098, 5099 ], 
  [ 5065, 5075, 5076, 5077, 5096 ], [ 5082, 5083 ], [ 5085, 5127, 5128 ], 
  [ 5094, 5095, 5100 <div=""><!----></div>
  [ 5108, 5109, 5113, 5115, 5116, 5120 ], [ 5110, 5117 ], 
  [ g  &8712 font size"+0"M/>we &967( &#an style='color: green'>8801 #(p>  java.lang.StringIndexOutOfBoundsException: Range [95, 94) out of bounds for length 96
  5130 , 5137,5140 5141,5142,5143 ,[5132 5133 ] 
  [ 5134, 5135, 5138, 5139 ], [ 5144, 5159, 5174 ], 
  [ 5145, 5146, 5148, 5160, 5161, 5163, 5175, 5176, 5178 ], 
java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 42
  [ 5150, 5151, 5155, 5158, 5165, 5166, 5170, 5173fdetermining charactervalueuniquely.
  [ 5152, 5167, 5182 ], 
  [ 5153, 5154, 5156, 5157, 5168, 5169, 5171, 5172, 5183, 5184, 5186, 5187 ], 
  [ 5197, 5198, 5229, 5230 ], [ 5199, 5201, 5202, 5227 ], 
  [ 5200, 5203, 5204, 5205, 5214, 5215, 5216, 5217, 5228, 5237, 5238 ], 
  [ 5206, 5207, 5208 ], [ 5218, 5241, 5242 ], 
  [ 5219, 5231, 5232, 5233, 5234, 5235, 5236, 5239, 5240, 5243, 5244, 5245,    &#62;for inmissing
      5246 ], [ 5247, 5262, 5277 ], 
  [ 5248, 5249, 5251, 5252, 5253, 5260, 5261, 5263, 5264, 5266, 5267, 5268, 
5275 ,, 5279, 5281,5282 5283, 5290,5291] 
  [ 5250, 5257, 5258, 5259, 5265, 5272, 5273, 5274, 5280, 5287, 5288, 5289 ], 
   5254 5255 ,5269,5270,5271 5284, 5285, ,[5294,5295 ] 
  [ 5305, 5399 ], [ 5308, 5310 ], [ 5309, 5311 ], [ 5313, 5318 ], 
  [ 5320, 5322 ], [ 5321, 5323 ], [ 5324, 5325, 5329, 5338, 5347 ], 
  [ 5326, 5330 ],&#62        :ChineseRemdivs congr ;
  [ 5340, 5346 ], [ 5343, 5372 ], [ 5348    &#;modulus=Lcm(divs)
  [ 5366, 5376 ], [ 5367, 5378 ], [ 5369, 5380 ], [ 5383, 5384 ], 
  [ 5387, 5388, 5392, 5436 ], [ 5393, 5394, 5437, 5438 ], [ 5396, 5397 ], 
  [ 5405, 5414 ], [ 5407, 5415 ], [ 5417, 5418 ], 
  [ 5419, 5420, 5423, 5429, 5432 ], [ 5421, 5424 ], 
  [ 5422, 5425, 5430, 5433 ], [ 5426, 5427, 5434 ], [ 5428, 5431 ], 
  [, 5442 , ,5446,5450,5453,5454 ], ,5452 ] 
  [ 5449, 5455 ], [ 5458, 5459 ], [ 5462, 5463 ], [ 5465, 5467 ], 
[5470, 5473, 5476  ,[5472 5475 ,[ 5478, 5480] [5479  ,
  [ 5482, 5484, 5539, 5547 ], [ 5485, 5486 ], [ 5489, 5490 ], [ 5500, 5502 ], 
   ,5508]  5509, 5510 ] [5515 5516 ] [5518 5520 ],
  [ 5522, 5524 ], [ 5530, 5532 ], [ 5538, 5554 ], [ 5542, 5544, 5552 ], 
  [ 5548, 5550 ], [ 5556, 5557 ], [ 5561, 5562 ], [ 5564, 5565 ], 
  [ 5567, 5568, 5570, 5572, 5575 ], [ 5580, 5581 ], [ 5582, 5583, 5600 ], 
  [ 5584, 5585, 5586, 5587, 5588 ], [ 5589, 5590, 5602, 5603 ], 
  [     &#62;fi
  [ 5609, 5610 ], [ 5612, 5613 ], [ 5614, 5615 ], [ 5617, 5618 ], 
  [ 5620, 5621 ], [ 5622, 5623 ], [ 5624, 5625 ], [ 5626, 5629 ], 
  [ 5630, 5633, 5636, 5639 ], [ 5632, 5635, 5638 ],&#62 fi;
  [ 5640, 5643, 5644, 5647, 5648, 5651, 5653, 5658, 5660 ], 
  [ 5641, 5645, 5649 ], [ 5642, 5646, 5650, 5655, 5657, 5659 ], 
  ,5654 5656 ] [ 5661, 5663 ] [ 5662, 5664 ],
  [ 5665, 5667, 5669, 5671 ], [ 5666, 5668, 5670, 5672 ], 
  [ 5673, 5675, 5685, 5687  #g|  93, CMg|= 93:92 modulo93
  [ 5674, 5676, 5686, 5688, 5698, 5699, 5701, 5713, 5716, 5728, 5731 ], 
  [ 5677, 5679, 5693, 5695, 5717, 5719, 5737, 5740 ], 
  [ 5678, 5680, 5682_()  243: value 3
      5718, 5720, 5721, 5723, 5725, 5734, 5736, 5738, 5739, 5741 ], 
  [ 5681, 5683, 5689, 5691, 5702, 5704, 5705, 5707, 5708, 5710, 5722, 5724, 
      5726, 5732, 5733, 5735 ], [ 5697, 5700 ], [ 5750, 5751 ], 
  [ 5752, 5753 ], [ 5754, 5755 ], 
  [ 5756, 5757, 5758, 5759, 5760, 5761, 5821, 5822, 5823 ], [ 5762,  #  || = 59, |C_Mg|=59:value modulo
  [ 5764, 5765 ], [ 5766, 5767, 5768, 5769, 5840 ], [ 5771, 5772, 5773 ], 
  [ 5775, 5776, 5777 ], [ 5778, 5781 ], [ 5782, 5786, 5791, 5792, 5796, 5797 ]
    , [ 5784, 5785, 5790, 5800 ], [ 5787, 5801 ], [ 5788, 5798 ], 
  [ 5789, 5799 ], [ 5802, 5803, 5806, 5807 ], [ 5808, 5809 ], 
  [ 5810, 5811, 5812 ], [ 5813, 5814 ], [ 5815, 5816, 5817 ], 
  [ 5818, 5819, 5820 ], [ 5824, 5825 ], [ 5826, 5827 ], [ 5828, 5829 ], 
   ,5831 5832] [5833,5834 ] [ 5835,5836] [5837 5838 ],
  [ 5846, 5847 ], [ 5850, 5860 ], [ 5851, 5852, 5858 ], [ 5853, 5861 ], 
  [ 5862, 5864 ], [ 5863, 5865 ], [ 5868, 5869 ], [ 5871, 5873 ]java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [ 5875, 5877<!---><div
  [ 5886, 5887, 5888, 5889, 5890, 5891, 5892 ], [ 5894, 5910 ], 
  [ 5895, 5897, 5904, 5907 ], [ 5896, 5898, 5906, 5909, 5911, 5912 ], 
  [5899,5900,5901,5902,,5905,5908]  5918,5923  ,
  [ 5921, 5935 ], [ 5922, 5924, 5926, 5929, 5938, 5942 ], [ 5925, 5936 ]
  [ 5927, 5930, 5940 ], [ 5928, 5941 ], [ 5931, 5933, 5944, 5945, 5946 ], 
  [ 5932,5947,5948 ] [5949, 5950, ,5952,5954 5955, ,5958 ] 
  [ 5953, 5956 ], [ 5960, 5988 ], [ 5962, 5982 ], 
  [ 5964, 5965, 5983, 5984, 5989 ], [ 5966, 5968 ], 
  [ 5967, 5969, 5970, 5971, 5972, 5973 ], 
  [ 5975, 5976, 5977, 5978, 5992, 5993 ], [ 5986, 5987, 5991 ], 
  [,5998,6000 ],
  [ 5997, 5999, 6001, 6002, 6003, 6004, 6005, 6006, 6007, 6008, 6009 ], 
  [ 6011, 6012 ], [ 6013, 6014, 6015, 6016, 6017, 6018, 6019 ], 
  [,6021 ,6023,6024,6025]  ,6028, 6030] 
  [ 6029, 6031, 6032, 6033, 6034, 6035, 6036 ], 
  [ 6038, 6042, 6049, 6050,  2
  [ 6041, 6082, 6094 ], [ 6048, 6059, 6131 ], [ 6053, 6139 ], 
  [ 6055, 6065, 6069, 6106, 6121, 6127, 6135, 6145 ], 
  [ 6056, 6066, 6070, 6073, 6087, 6091, 6099, 6103, 6118, 6129 ], 
  [ 6057, 6058, 6067, 6068, 6071, 6072, 6074, 6075, 6109, 6111, 6119, 6120, 
      6124, 6126, 6130, 6137, 6138, 6142, 6144, 6148, 6150 ]<iv=""><!----></div>
  [ 6060, 6063, 6083, 6095, 6133, 6134, 6140 ], [ 6062, 6136, 6146 ], 
  [ 6064, 6107, 6122, 6128 ], 
  [ 6076, 6078, 6079, 6080, 6088, 6089, 6092, 6093, 6100, 6101, 6104, 6105, 
      6112, 6114, 6115, 6116, 6152, 6154, 6155, 6156 ], 
  [6077 6081,6113, 6117,6151,6153,6157 ] [6084, 6096 ] 
  [ 6085, 6097, 6149 ], [ 6086, 6090, 6098, 6102 ], 
  [ 6108, 6110, 6123, nto .
  [ 6158, 6165, 6166, 6167, 6254, 6442 ], [ 6159, 6160, 6248, 6251 ], 
  [ 6161, 6260, 6266 ], 
  [ 6162,6163 6168,6169 6261,6262,6267, 6268, 6440,6441] 
  [ 6171, 6443, 6444 ], 
  [ 6172, 6184, 6190, 6192, 6230, 6233, 6236, 6239, 6296, 6299, 6302, 6305, 
      6308, 6311 ], 
  [ 6173, 6174, 6185, 6186, 6191, 6193, 6231, 6232, 6234, 6235, 6237, 6238, 
      6240, 6241, 6297, 6298, 6300, 6301, 6303, 6304, 6306, 6307, 6309, 6310, 
      6312, 6313, 6314, 6317, 6320, 6324, 6325, 6327, 6328, 6330, 6331, 6332, 
      6335, 6338, 6341, 6344, 6347, 6351, 6352, 6354, 6355, 6357, 6358, 6359, 
      361,6362 6363,6365 6369,6373,6376,6380 6383, 6387 6388, 6390, 
      6393, 6396, 6399 ], 
  [ 6175, 6178, 6181, 6187, 6194, 6198, 6202, 6203, 6204, 6205, 6209, 6212, 
      6213, 6214, 6221, 6222, 6223, 6269, 6270, 6271, 6278, 6279, 6280, 6287, 
      6288,6289,6402,6403 6407,6412,6413, 6414,6417, 6420,6423, 6432 
      6433, 6445 ], 
  [6176,6177, 6179,,6180,6182, 6183, 6188 6189, 6195,6197 6199,6200 
      6206, 6207, 6208, 6210, 6211, 6215, 6216, 6217, 6218, 6219, 6220, 6224, 
      6225, 6226, 6227, 6228, 6229, 6272, 6273, 6274, 6275, 6276, 6277, 6281, 
      6282,java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
      6316, 6318, 6319, 6321, 6322, 6333, 6334, 6336, 6337, 6339, 6340, 6342, 
      6343, 6345, 6346, 6348, 6349, 6366, 6367, 6368, 6370, 6371, 6372, 6374, 
      ,6377, 6378,6379, 6381,6382 6384,6385, 6391,6392,6394 6395,java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
      6397, 6398, 6404, 6405, 6406, 6408, 6409, 6410, 6415, 6416, 6418, 6419, 
      6421, 6422, 6424, 6434, 6435, 6436 ], [ 6196, 6201, 6401, 6411, 6431 ], 
  [ 6243, 6244 ], 
  [ 6245, 6246, 6247, 6249, 6250, 6252, 6253, 6258, 6263, 6265, 6437, 6438, 
      6439 ], [ 6255, 6256, 6426, 6427 ], 
  [ 6257, 6259, 6264, 6428, 6429, 6430 ], 
  [ 6323, 6326, 6329, 6350, 6353, 6356, 6360, 6364, 6386, 6389, 6400 ], 
  [ 6446, 6447, 6448, 6449, 6450, 6451, 6452, 6453, 6454, 6455, 6456, 6457 ], 
  [ 6458, 6460, 6462, 6464, 6466, 6468, 6470 ], 
  [ 6459, 6461, 6463, 6465, 6467, 6469, 6471 ], [ 6472, 6474 ], 
  [6473,6475,,6476 ],[ 6482, 6484, 6485],[ 6486,6489] 
  [ 6487, 6490, 6491 ], [ 6488, 6492 ], [ 6493, 6496, 6582, 6585 ], 
  [ 6494, 6495, 6497 ], [ 6498, 6500, 6503, 6505, 6507 ], 
  [ 6499, 6501, 6502, 6504, 6506, 6508 ], 
  [ 6511, 6513, 6515 ap&#62; r2:= First head2fusions,r-#2;IsIdenticalObj(r.subtable, facts[]));
  [ 6512, 6514, 6516, 6534, 6535, 6544, 6545, 6546, 6547, 6554, 6555 ], 
  [ 6517, 6518, 6519, 6520, 6521, 6522, 6523, 6524, 6525, 6526, 6527, 6548, 
      6549, 6550, 6551, 6552, 6553, 6556, 6557, 6567, 6568, 6569, 6570, 6571, 
       6573 6574, ,6856,6857, 6858,6859, java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
      6863, 6866, 6867, 6868, 6869, 6870,     gap#62;mat= List cand,x-#;x{knownpos });;
      6878, 6879, 6880, 6881, 6882, 6883, 6884, 6885, 6886, 6887, 6888, 6889, 
      6890, 6891, 6892, 6893, 6894, 6895, 6896, 6897, 6898, 6899, 6900, 6901, 
      6902, 6903, 6904, 6905, 6906, 6907, 6908, 6909, 6910, 6911, 6912, 6913, 
      6914,6915,6916,6917,6918, 6919,6920, ,6922,6923, ,6925, 
      6926, 6927, 6928, 6929, 6930, 6931, 6932, 6933, 6934, 6935, 6936, 6937, 
      6938, 6939, 6940, 6941, 6942, 6943, 6944, 6945, 6946, 6947, 6948, 6949, 
      6950, 6951, 6952, 6953, 6954, 6955, 6956, 6957, 6958, 6959, 6960, 6961, 
      6962, 6963, 6964, 6965, 6966, 6967, 6968, 6969, 6970, 6971, 6972, 6973, 
      6974      0,0, 0,0 ,0,0 ,0,,0 ,0 ,0 ,0 ,0 0, 0,0 
      6986, 6987, 6988, 6989, 6990, 6991, 6992, 6993, 6994, 6995, 6996, 6997, 
      6998, 6999, 7000, 7001, 7002, 7003, 7004, 7005, 7006, 7007, 7008, 7009, 
      7010, 7011, 7012, 7013, 7014, 7015, 7016, 7017, 7018, 7019, 7020, 7021, 
      7022,7023,7024, 7025,7026,7027 , 7031 ,7034,
      7035, 7036, 7037, 7039, 7040, 7041, 7042, 7043, 7044, 7045, 7046, 7047, 
      7048, 7049, 7050, 7051, 7052, 7053, 7054, 7055, 7056, 7057, 7058, 7059, 
      7060, 7062, 7063, 7064, 7067, 7068, 7069, 7070, 7072, 7073, 7074, 7075, 
      7076, 7077, 7078, 7079, 7080, 7081, 7082, 7083, 7084, 7085, 7086, 7087, 
      7088, 7089, 7090, 7091, 7092, 7093, 7094, 7095, 7096, 7097, 7098, 7099, 
      7100, 7101,7102, 7103 7104,7105,7106, 7107 7108,7109, 7110,7111 
      7112, 7113, 7114, 7115, 7116, 7117, 7118, 7119, 7120 ], [ 6530, 6531 ], 
  [ 6536, 6537, 6538, 6558, 6559, 6564 ], 
  [ 6539, 6540, 6541, 6560 6561, 6562 6563, 6565 6566 ,[6577, 6580 ],
  [ 6578, 6579 ], [ 6583, 6584, 6586 ], 
  [ 6588, 6589, 6596, 6597, 6598, 6661, 6663, 6666, 6670, 6679, 6688, 6730, 
      6732,6733] 
  [ 6590, 6591, 6592, 6593, 6594, 6595, 6599, 6600, 6601, 6602, 6603, 6604, 
      6605, 6606, 6664, 6665, 6667, 6686, 6687, 6689, 6690, 6691, 6731, 6734, 
      6735, 6736, 6764, 6765, 6766, 6786, 6787, 6788, 6808, 6845 ], 
  [ 6607, 6615, 6625, 6633, 6668, 6677, 6737 ], 
  [<re>
  [ 6609, 6610, 6611, 6612, 6613, 6614, 6616, 6617, 6618, 6619, 6620, 6621, 
      6622, 6623, 6624, 6627, 6628, 6629, 6630, 6631, 6632, 6634, 6635, 6636, 
      6637, 6638, 6639, 6640, 6641, 6642, 6645, 6646, 6647, 6649, 6650, 6651, 
      6653, 6654, 6655, 6671, 6672, 6673, 6674, 6675, 6676 &#2;       CharacterTable "N3B");&62;fail;
      6683, 6684, 6685, 6692, 6693, 6694, 6695, 6696, 6697, 6698, 6699, 6700, 
      6701, 6702, 6703, 6704, 6705, 6706, 6707, 6708, 6709
      6717, 6718, 6720, 6722, 6725, <pre
      6744, 6745, 6746, 6747, 6749, 6750, 6751, 6752, 6753, 6754, 6755, 6756, 
      6757, 6758, 6759, 6760, 6761, 6762, 6763, 6767, 6768, 6769, 6770, 6771, 
      6772, 6773, 6774, 6775, 6776, 6777, 6778, 6779, 6780, 6781, 6789, 6790, 
      6791, 6793, 6794, 6795, 6796, 6797, 6798, 6800, 6801, 6802, 6803, 6804, 
      6806, 6809, 6810, 6811, 6813, 6814, 6815, 6816, 6817, 6818, 6819, 6820, 
           , 6823, 6824, 6825, 6827, 6828,6829,6830, 6831,6832 6833,6835 
      6836, 6837, 6838, 6840, 6841, 6842, 6843, 6844, 6846, 6847, 6848, 6849, 
      6850, 6851, 6852, 6853 ], 
  [ 6643, 6648, 6652, 6656, 6658, 6659, 6715, 6719, 6723, 6726, 6784 ], 
   ,6657,6660,6713,,6724,6727,6782 6783, 6785,6792,6812 
      6821, 6826, 6834, 6839 ], [ 6854, 6864, 6865, 6875 ], 
  [7033 7038,7061 7065,7066 7071,7121,7122,7123,7124,7125 ],java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
  [ 7130, 7131, 7132 ], 
  [ 7133, 7134, 7135, 7139, 7141, 7148, 7149, 7150, 7151, 7152 ], 
  [ 7136,For,
      7160, 7161, 7162 ], [ 7144, 7145, 7146 ], 
  [ 7163, 7164, 7165, 7166, 7167, 7168 ], 
  [ 7169, 7170, 7171, 7172, 7173, 7174, 7175, 7176, 7177, 7178, 7179, 7180, 
      7181, 7182, 7183, 7184, 7185, 7186, 7187, 7188, 7189, 7190, 7191, 7192, 
      7193, 7194, 7195, 7196, 7197, 7198, 7199, 7200, 7201, 7202, 7203, 7204, 
      7205,7206,7207, 7211, 72127213 7214,,7216,7217,7218,7219,
      7220, 7221, 7222, 7223, 7224, 7225, 7226 ], [ 7208, 7209, 7210 ], 
  [ 7231, 7233 ], [ 7242, 7263, 7264 ], [ 7243, 7254 ], [ 7244, 7265 ], 
  [ 7248, 7251, 7268, 7270, 7271 ], [ 7249, 7275 ], [ 7255, 7274 ], 
  [ 7256, 7257, 7269 ], [ 7258, 7280 ], [ 7259, 7287 ], [ 7272, 7282 ], 
  [ 7273, 7289 ], [ 7276, 7281 ], [ 7277, 7288 ], [ 7284, 7291 ], 
  [ 7300, 7306 ], [ 7302, 7309, 7313, 7315 ], [ 7308, 7310, 7314 
  [ 7311, 7321 ], [ 7312, 7328 ], [ 7316, 7323 ], [ 7317, 7330 ], 
  [ 7324, 7331 ], [ 7341, 7347 ], [ 7343, 7350, 7355, 7357 ], 
  [ 7349, 7351, 7356 ], [ 7352, 7368 ], [ 7353, 7382 ], [ 7354, 7363, 7370 ], 
  [ 7358, 7365, 7371, 7373 ], [ 7359, 7384 ], [ 7361, 7367 ], [ 7362, 7372 ], 
  [ 7375, 7376, 7377, 7378, 7385, 7386, 7387 ], [ 7388, 7398 ], 
  [ 7389, 7390 ], [ 7391, 7392, 7405 ], [ 7393    &#62 chi,
  [ 7394, 7395, 7399, 7401, 7408 ], [    &#;CompositionMaps  ( m     ;
  [ 7404, 7411 ], [ 7406, 7412 ], [ 7407, 7413 ], 
  [ 7417, 7426, 7458, 7467, 7470 ], [ 7418, 7419, 7459, 7460, 7483, 7484 ], 
  [ 7420, 7434, 7439, 7461, 7477, 7478, 7485, 7486, 7493 ], 
  [ 7421, 7428, 7462, 7469, 7475, 7501 ], 
  [ 7422, 7427, 7429, 7438, 7440, 7463, 7468, 7471, 7482, 7487, 7492, 7494, 
      7495 ], [ 7423, 7464 ], [ 7424, 7511 ], 
  [ 7425, 7443, 7444, 7465, 7489, 7517, 7521 ], [ 7430, 7472 ], 
  [ 7431, 7506 ], [ 7432, 7473, 7516 ], [ 7433, 7449, 7476, 7500 ], 
   7435,7451,7479,7508 ],[7436, 7450,7502,7509] 
  [ 7437, 7452, 7453, 7480, 7503, 7518, 7519 ], [ 7441, 7442, 7488, 7507 ], 
  [ 7445, 7446, 7496, 7510 ], [ 7447, 7448, 7497, 7520 ], 
  [ 7454, 7455, 7456, 7457, 7512, 7513, 7514, 7515, 7522, 7523, 7530 ], 
  [ 7466,7491,7533] [ 7474,7531] [ 7481,7504, 7526,7527,7532 ] 
  [ 7490, 7525, 7529, 7536 ], [ 7498, 7499, 7528, 7534 ], [ 7505, 7535 ], 
  [ 7543, 7544 ], [ 7545, 7546, 7547, 7548, 7549, 7556 ], 
  [ 7551, 7554, 7557, 7559 ], [ 7552, 7558, 7560 ], [ 7555, 7613, 7619 ], 
  [ 7568, 7571 ], [ 7569, 7570, 7573 ], [ 7577, 7579 ], [ 7580, 7581 ], 
  [    
  [ 7587, 7593 ], [ 7588, 7596 ], 
  [ 7589, 7590, 7594, 7597, 7738, 7753, 7775, 7822 ], [ 7591, 7595, 7807 ], 
  [ 7601, 7602, 7603,7644, 7657,7662 7664,7686 7687  ] 
  [ 7604, 7606, 7610, 7758, 7823 ], 
  [ 7607, 7608, 7611, 7703, 7736, 7771, 7793, 7811, 7812, 7841, 7845 ], 
  [ 7614, 7624 ], [ 7615, 7622 ], [ 7616, 7702, 7732, 7769, 7788 ], 
  [7617, 7623,7625] [7621, 7696,7750 ] 
  [ 7627, 7634, 7705, 7711, 7724, 7725, 7727, 7731, 7741, 7742, 7759, 7760, 
      7777, 7778, 7796, 7797 ]
  [ 7628, 7646, 7649, 7667, 7673, 7710,
  [ 7629, 7632, 7635, 7637, 7708, 7709, 7713, 7726, 7728, 7729, 7730, 7746, 
      7749, 7764, 7765, 7766, 7781, 7782, 7783, 7785, 7798, 7799, 7801, 7803, 
      7813, 7817, 7818, 7819, 7834, 7835, 7838, 7839, 7852, 7853, 7855, 7857 ]
    , [ 7630, 7636, 7638, 7647, 7648, 7651, 7670, 7671, 7675, 7678, 7691, 
      7692, 7695, 7712, 7745, 7747, 7762, 7763, 7780, 7784, 7800, 7802, 7814, 
      7815, 7820, 7821, 7831, 7833, 7836, 7837, 7850, 7851, 7854, 7856 ], 
  [,7672,7676 7688 ,7694,7767,7816, 7832, ,
  [ 7633, 7668, 7674 ], [ 7639, 7652 ], [ 7642, 7659 ], [ 7653, 7658 ], 
  [ 7655, 7661, 7683, 7684 ], [ 7656, 7685 ], [ 7660, 7714 ], [ 7663, 7679 ], 
  [ 7665, 7680, 7681 ]tosuitableclassesof  head
  [ 7699, 7720, 7794, 7843 ], 
  [ 7700, 7737, 7755, 7773, 7790, 7808, 7809, 7829 ], [ 7701, 7786 ], 
  [ 7704, 7719, 7721, 7740, 7757, 7776,andcreate the"racle .
  [ 7707, 7744, 7748, 7761 ], [ java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 [,7718,7733 7768]  7717 7772,7804] [7723  ,java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
  , 7810, 7825 7846 ] 
  [ 7774, 7792, 7826, 7844, 7848 ], [ 7791, 7828 ], [ 7805, 7806, 7824 ], 
  [ 7859, 7874 ], [ 7862, 7878 ], [ 7864, 7869, 7880, 7886 ], [ 7865, 7871 ], 
  [ 7867, 7872, 7884, 7890 ], [ 7875, 7876 ], [ 7881, 7882 ], 
  [ 7883, 7887, 7888 ], [ 7893, 7926 ], [ 7894, 7954 ], <re
  [ 7898, 7914, 7931, 7947 ], 
  [ 7899, 7907, 7910, 7913, 7919, 7921, 7937, 7942, 7949 ], 
  [ 7900, 7911, 7917, 7923, 7933, 7938, 7944, 7950 ], [ 7906, 7918 ],   gap#;pi2=(invs_atlas)
  [ 7908, 7941 ], [ 7909, 7916, 7948 ], [ 7915, 7922, 7932, 7943 ], 
  [ 7920, 7936 ], [ 7925, 7952 ], [ 7927, 7955 ], [ 7930, 7935, 7940, 7946 ], 
  [ 7939, 7945 ], [ 7966, 8023 ], [ 7989, 7992 ], [ 7990, 7993 ], 
  [ 7991, 7994 ], [ 7995, 8052 ], [ 7998, 7999, 8001 ], 
  [ 8004, 8005, 8012, 8064 ], [ 8013, 8014, 8062, 8063 ], 
  [ 8016, 8017, 8068, 8069, 8088, 8089 ], [ 8018, 8075 ], 
  [8019, 8066,8110]  8020, 8071,8080,8102] [ 8021,8070,8090 ] 
  [ 8035, 8040 ], [ 8049, 8050 ], [ 8056, 8059 ], [ 8065, 8076 ], 
  [ 8074, 8103 ], [ 8077, 8099, 8109 ], [ 8078, 8107 ], [ 8079, 8098, 8105 ], 
  [ 8092, 8095 ], [ 8093, 8097 ], [ 8094, 8096 ], [ 8100, 8106, 8108 ], 
  [ 8112, 8115 ], [ 8118, 8121 ], [ 8123, 8130 ], [ 8124, 8134, 8153, 8183 ], 
  [ 8126, 8152 ], [ 8127, 8131, 8135, 8136, 8154 ], [ 8128, 8137 ], 
  [ 8129, 8138, 8139 ], [ 8145, 8146 ], [ 8161, 8162, 8163 ], [ 8177, 8179 ], 
  [ 8184, 8187 ], [ 8191, 8194 ], [ 8209, 8210 ], [ 8213, 8218 ], 
  [ 8214, 8215, 8219, 8220 ], [ 8216, 8221 ], [ 8217, 8222 ], 
  [ 8225, 8226, 8228 ], [ 8229, 8232 ], [ 8230, 8231, 8233, 8234 ], 
  [ 8240, 8241 ], [ 8242, 8243 ], [ 8247, 8248 ], [ 8253, 8255 ], 
 [8257 ,8259,8260] [8276,8277,8287 8316 ],[8278 8303 ] 
  [ 8279, 8306 ], [ 8281, 8305 ], [ 8288, 8291 ], [ 8289, 8292 ], 
  [8295, 8298 ] [,8299 ]  ,8308  ,[ 8311, 8322 ] 
  [ 8323, 8324, 8325, 8326 ], [ 8327, 8331 ], [ 8328, 8332 ], [ 8329, 8333 ], 
  [ 8339, 8342 ], [ 8344, 8345 ], [ 8352, 8353 ], [ 8360, 8376 ], 
  [ 8361, 8377, 8378 ], [ 8362, 8379 ], [ 8365, 8372 ], 
  [ 8366, 8370, 8371, 8374 ], [ 8367, 8373 ], [ 8382, 8383 ], 
  [ 8385, 8386, 8387, 8388 ], [ 8390, 8391 ], 
  [ 8396, 8397, 8401, 8414, 8415, 8419 ], [ 8398, 8416 ], 
  [ 8399, 8400, 8417, 8418 ], [ 8403, 8421 ], [ 8408, 8409 ], [ 8425, 8426 ], 
  [ 8427, 8428 ], [ 8431, 8432, 8437, 8438 ], [ 8435, 8436 ], [ 8439, 8440 ], 
  [ 8441, 8442 ], [ 8443, 8444 ], [ 8445, 8446, 8447, 8448 ], [ 8449, 8450 ], 
  [ 8451, 8452 ], [ 8453, 8454 ], [ 8455, 8456, 8473, 8474 ], 
  [ 8457, 8458, 8475, 8476 ], [ 8459, 8460, 8477, 8478 ], 
  [ 8461, 8462, 8463, 8464, 8479, 8480, 8481, 8482 ], 
  [ 8465, 8466, 8483, 8484 ], [ 8467, 8468, 8485, 8486 ], 
  [ 8469, 8470, 8487, 8488 ], [ 8471, 8472, 8489, 8490 ], [ 8492, 8493     #62; :=[];
  [ 8505, 8508 ], [ 8533,     gap#62;s subtable
  [ 2. )
  [ 8551, 8557 ], [ 8558, 8559 ], [ 8563,    gap#; =java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
, ,8574 8575, 8576]  8577  ,
  [ 8581, 8582, 8583, 8584 ], [ 8586, 8587, 8588, 8589 ], [ 8593, 8594 ], 
8595, , [8596,8598],[ 8599, 8636,8637 ,  ,8605,8616] 
  [ 8602, 8617 ], [ 8603, 8604, 8618, 8619 ], [ 8606, 8607 ], [ 8608, 8609 ], 
  [ 8612, 8613, 8614, 8653, 8654, 8655, 8656, 8665, 8668, 8683, 8686 ], 
  [ 8620, 8621, 8622, 8623 ], [ 8624, 8627 ], [ 8625, 8628 ], [ 8631, 8634 ], 
  [ 8632, 8635 ], [ 8638, 8641 ], [ 8639, 8642 ], [ 8640, 8643 ], 
45, 8648 8651 ] [8646,8649,8652] 
  [ 8657, 8660, 8675, 8678 ], [ 8658, 8661, 8676, 8679 ], 
   ,8662 8677,8680]  8663, 8666,8681 8684 ], 
  [ 8664, 8667, 8682, 8685 ], 
  [ 8669, 8670, 8672, 8673, 8687, 8688, 8690, 8691 ], 
  andclasses110 and111 correspond to non- elements
 8740] [ 8744,8747,8748]  8749 8750,,8752, 8753 ]
    , [ 8757, 8758, 8759 ], [ 8763, 8764, 8765 ], [ 8767, 8768 ], 
  [ 8769, 8770, 8771 ], [ 8772, 8774 ], [ 8775, 8776, 8777 ], 
  [ 8778, 8779, 8780, 8784, 8785, 8786 ], 
  [ 8781, 8782, 8783, 8787, 8788, 8789 ], [ 8795, 8797 ], [ 8807, 8809 ], 
  [ 8810, 8811, 8822, 8823, 8838, 8839 ], [ 8814, 8830 ], [ 8815, 8831 ], 
  [8816, 8832 ,[8817,8833 ]  ,8834 ,[8819,8821,8835  ,
  [ 8820, 8836 ], [ 8824,     44
  [,8829,8843 8845 ]  8848 8920 ], 
  [ 8849, 8921, 8925, 8927, 8928, 8929 ], 
  [ 8851, 8852, 8854, 8919, 8923, 8924 ], 
  [ 8856, 8857, 8858, 8930, 8931, 8932 ], [ 8861, 8944 ], 
  [ 8862, 8945, 8949 ], [ 8864, 8865, 8867, 8943, 8947, 8948 ], 
  [ 8868, 8869, 8870, 8871, 8872, 8882, 8883, 8900, 8901 ], [ 8873, 8891 ], 
  [ 8874, 8892 ], [ 8875, 8893 ], [ 8876, 8894 ], [ 8877, 8895 ], 
  [ 8878, 8879, 8881, 8896, 8897, 8899 ], [ 8880, 8898 ], 
  [ 8884, 8885, 8886, 8887, 8888, 8889, 8890, 8902, 8903, 8904, 8905, 8906, 
      8907, 8908, 8954, 8955, 8956, 8960, 8961, 8962 ], [ 8912, 8916 ], 
  [ 8913, 8917 ], [ 8914, 8915 ], [ 8922, 8926 ], [
  [ 8936, 8940, 8966, 8970, 9002, 9006 ], [ 8937, 8941 ], [ 8938, 8939 ], 
  [ 8942, 8972, 9008 ], [ 8946, 8950, 8976, 8980, 9012, 9016 ], 
  [ 8951, 8952, 8953, 8957, 8958, 8959, 8975, 8979, 9011, 9015 ], 
  [ 8963,8999] [8964, 9000 ,[8967 8971, 9003,  ,
  [ 8968, 8969, 9004, 9005 ], [ 8973, 8977, 8978, 9009, 9013, 9014 ], 
  [ 8974, 9010 ], 
  [ 8981, 8983, 8984, 8985, 8988, 8989, 9017, 9019, 9020, 9021, 9024, 9025 ], 
  [ 8982, 8986, 8987,
  [ 8990, 8991, 8994, 8995, 8996, 8998, 9026, 9027, 9030, 9031, 9032, 9034 ], 
  [ 8992, 8993, 8997, 9028, 9029, 9033 ], [    gap#62 217,18)  ( s
  [ 9054, 9068 ], [ 9055, 9070 ], [ 9059, 9060 ], [ 9075, 9077 ], 
  [ 9076, 9078 ], [ 9085, 9086 ], [ 9089, 9090 ], [ 9097, 9098 ], 
  [ 9113, 9114 ], [ 9132, 9133 ], [ 9147, 9148 ], [ 9150, 9151 ], 
  [ 9152, 9153, 9154, 9155, 9156 ], [ 9158, 9159 ], [ 9161, 9162 ], 
  [ 9165, 9167, 9168 ], [ 9171, 9173 ], [ 9172, 9174 ], [ 9177, 9178 ], 
  [ 9180, 9181 ], [ 9184, 9186 ], [ 9188, 9189, 9190 ], [ 9193, 9194, 9210 ], 
  [ 9197, 9202, 9209 ], [ 9198, 9201, 9208 ], [ 9204, 9206, 9211, 9213, 9216 ]
    , [ 9205, 9207, 9212 ], [ 9214, 9217 ], [ 9215, 9218 ], 
   in2.font size=0"B/font font =""M<font>. 
  [ 9227, 9228, 9229, 9230, 9231 ], [ 9232, 9241, 9242, 9259 ], 
  [ 9233, 9234, 9243, 9260 ], [ 9235, 9236 ], 
  [ 9238, 9239, 9240, 9245, 9246, 9264 ], [ 9244, 9263 ], 
  [ 9247, 9251, 9252, 9253, 9254, 9262, 9266, 9268 ], 
  [ 9248, 9256, 9258, 9270 ], [ 9249, 9250, 9255 ], [ 9257, 9269 ], 
  [ 9261, 9265, 9267 ], [ 9292, 9293 ] ];