Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W sml1536.aaq GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 43 ] := rec( ops := [ 1, 164,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 11311, 186, 6927,,, 1813, 4546,,, 90, 1, 4676,, 1373, 7, 6961, 1, 521, 7, 6936,, 892,,, 90, 1, 4676,, 7, 1373,, 6961, 521, 7, 892,,,,, 6936,, 6961, 7, 892,,,,, 6936,, 1, 4676,, 11310, 521, 1, 4676, 521, 1, 3111,, 8083,, 5118,,,,,, 11416,, 8114,, 494, 521, 1, 11419, 521, 6948, 708, 10543, 5769, 1, 5368, 4546, 5704, 1, 521,,, 7, 892,,,,,,, 56, 1, 7, 5704, 1, 521,,, 7, 892,,,,,,, 56, 1, 7, 5704, 1, 521,,, 7, 892,,,,,,, 5704, 1, 521,,, 7, 892,, ,,,,, 33, 1,, 2058,,,,, 1, 521,,, 1224, 33,,, 1, 7800, 33, 7799,, 2058,,,, , 1, 521,,, 33, 2058,,,,, 1, 521,,, 7800, 33, 7799,, 2058,,,,, 1, 521,,,, 3111,,,, 5705,,,,,, 3111,,,, 5705,, 521, 7, 3853,, 892,,,,, 494, 1, 7, 663, , 521,, 3853,, 892,,,,, 494, 7, 663,, 3853,, 892,,,,,, 3853,, 892,,,,, 494, 1, 521, 494,, 1, 3111,,,, 2877,,,, 521,,,,, 494, 1, 8034,, 521,,, 494, 1, 521, 494,, 1, 3111,, 2877,,,, 3111,, 521,,,,,, 708, 521, 1,,,,, 708,, 521, 248,,,,,,,, 1,, 248,,,,,,,, 1,,,, 708, 1,,,,, 521,,, 708, 1,,,, , 521,,,,,,,,,,,,, 663, 1, 3853, 521, 663, 1, 3853, 521,, 11304, 8024, 11331,, 697, 118,,, 5121, 9, 4676, 1, 11194, 41, 7, 6919, 9, 41, 4987,, 2153,,, 5121, 4676, 41, 11193,, 7, 9, 423, 1, 11303, 9, 423,, 3111, 1, 9, 8083, 1, 11305, 30, 7370,,, 3288, 10351, 30, 1, 8001,, 11345, 4658, 10678, 79, 8009, 9, 3429,, 41, 2153,,,,,,, 8013, 9, 1, 41, 7, 8009, 9, 3429,, 41, 2153,,,,,,, 8013, 9, 1, 41, 7, 261, 33, 9, 1, 261, 5554,,,, 9, 3429,,, 2855, 261, 6790,, 33, 9, 1, 210, 261, 10319,, 5554,,,, 9, 3429,,,, 3111, 1, 9,,, 3111, 1, 9,, 5770,, 30,, 5770,, 30,, 9, 175,, 1,, 175,, 1,, 175, 10362,, 9, 1,, 10363, 175, 9, 1, 41, 266,, 2153,,,,,, 4565,, 7,, 266,, 2153,,,,,, 4565,, 7, 9, 5770, 1, 9, 5770, 1, 1434, 30, 1, 1434, 30, 9, 3429,,,, 1,,,,,,,,,,,,,,,,, 59,, 3429, 9, 4565, 266,,, 3418, 1083, 1536,, 456, 1470, 19, 674, 3292, 2017, 2170, 15, 1322,, 1, 4363, 2776, 1001,, 1912, 106, 1001, 1755, 4362, 57, 6902, 1001, 15, 1, 11451, 1307, 1, 11247, 11199, 3292, 2017, 1,, 1755, 1, 2017,, 7971, 11365, 520, 1, 300,, 760,, 7971, 520, 300, 1, 760, 3584, 1489, 2438, 1312, 1149, 407, 1, 68,, 6937, 1470, 1536, 67, 930, 3292, 2017, 2170, 1, 4363, 2776, 106, 57, 4645, 1, 2307, 151, 520, 1, 2307, 520, 10636, 2025, 1942, 1576, 353, 4372, 2117, 10448, 934, 4536, 5020, 989, 6951, 7511, 3660, 3657, 2566, 2777, 4, 87, 2451,, 3657, 4, 3921, 6957, 1373, 5744, 1939, 477, 1369, 47, 2428, 477, 7600,, 2040, 1224, 87, 1813, 2025, 4372, 3921, 6957, 5744, 1939, 1369, 2428, 7600, 1660, 11140, 1855, 519, 33, 19, 722, 1584, 270, 3077, 50, 816, 373, 39, 4359, 50, 6874, 44, 1, 50,, 1787,, 4573, 10825, 1, 42, 1664, 914, 1, 50,, 1664, 914, 50, 1, 914,, 50,, 914, 50, 1, 1161, 519, 33, 19, 722, 1584, 270, 1243, 1, 10949, 10828, 1, 2437, 821, 1, 2437,, 7755, 1759,, 2516, 1660, 1605, 11062, 213, 1,, 67, 165, 1, 53, 1068, 1788, 52,, 5066, 5525, 3276, 1993, 455, 855, 4, 10817, 1811, 1941, 934, 87, 455, 4, 1863, 608, 1369, 47, 5735, 608, 7546, 2040, 1224, 3356, 1564, 663, 1565,, 4, 87, 1224, 2040, 87, 4, 226, 1062, 5047, 7660, 6808, 1666, 3276, 455, 1863, 1369, 5735, 1564, 1565, 5047, 7940, 2152, 1396, 1160, 2152, 1396, 9, 747, 39, 60, 5648, 10475, 7775, 9, 1, 4516, 4358, 3430, 1446, 5064, 57, 7949, 9, 1, 5649, 8038, 4650, 9, 5649, 4650, 2307, 5711, 7997, 755, 5408, 1203, 1318, 576, 1245, 6747, 1235, 1529, 2166, 5357, 2804, 1090, 2370, 7929, 11195, 2558, 5357, 3417, 2952, 1909, 1235, 3417, 2952, 5441, 2156, 1090, 1757,, 5650, 3886, 5438, 7896, 5359, 1464, 7940, 2152, 1160,, 9, 747, 39, 60, 5648, 7775, 9, 1, 4516, 3430, 1446, 7949, 9, 1, 5649, 8038, 4650, 5649, , 2307, 5711, 7997, 5408, 1203, 1318, 576, 1245, 7517, 697, 5063, 1235, 7889, 6740,, 10420, 6747, 1090, 2166, 3417, 2558,, 2553, 1663, 2152,,, 9, 1, 8040, 10485, 9, 1, 7676, 10449, 49, 1, 10440, 9, 474, 3109, 2792, 9, 5715, 5710, 441, 9, 3109, 2792, 9, 5710, 5715, 9, 441, 932, 9, 441, 932, 9, 441, 1445, 57, 1, 591, 98, 1, 1919, 1538, 1, 475, 355, 9,, 2290, 1388, 86, 1108, 944, 859, 373, 67, 427, 886, 7928, 10423, 1656, 4562, 10799, 427, 7928, 1656, 1238, 1957, 1235, 2131, 10424, 3264, 830, 667, 6933, 674, 1279,, 1, 60, 213, 1, 2627, 7622, 11487, 1, 5383, 7621, 373, 60, 1, 749, 7951, 7895, 1, 2627, 151, 98, 2382, 2627,, 98, 3652, 5711, 90, 1, 5711, 90, 5425, 715, 67, 60, 959, 8092, 2572, 6749, 1702, 8090, 301, 315, 1374, 11202, 4646, 315, 10756, 11473, 4640, 3748, 6746, 7516, 4640, 2572,, 3748, 6896, 1467, 1625, 7731, 1467, 1625, 7932, 1634, 1354, 10606,, 1634, 5765, 11265, 11131, 7622, 5655, 3748, 7632, 7970, 1467, 5655, 3748, 7556, 7389, 8122, 60, 67, 2627, 11116, 2296, 1834, 5383, 6776, 6910, 1470, 868, 1083,, , 270, 1158, 15, 1322,,,, 1, 1687, 2776, 1912, 1001, 2776, 1912, 106, 1687, 1755, 4362, 1001, 1755, 4362, 57, 1001, 15,,, 1, 1095, 1307, 15,, 1095,, 1, 1322, 15,, 1, 1687, 1755, 1322, 1307, 1755, 4643, 1307, 1, 1687, 1755, 1322, 1307, 1755, 4633, 1307, 1, 1001, 15,,, 1, 38,, 2382,, 38,, 2382,, 1489, 1660, 1385, 2044, 2175, 1281, 1001, 1687, 2955, 1163, 186, 1001, 1687, 3744, 2955, 1, 1095, 15, 407, 1, 15, 3443,, 1, 1001, 6885, 68, 1001, 11209, 1, 38,,,, 1489, 1660, 1385, 2175, 1281, 1095, 407, 1, 15, 1322,, 1, 4643, 68, 4633, 1, 38,,,, 6910, 1470, 373, 797, 1, 1687, 2776, 1912, 106, 1687, 1755, 4362, 57, 1, 38,, 2382,, 38,, 2382,, 2516, 1660, 576, 106, 1687, 186,, 1, 38,,,,,,, 353, 2117, 1576, 1942,, 989, 923, 5020, 4, 1373,,,, 1532, 47, 477, 7683, 47, 477, 703, 5486, 4, 5048, 5486, 4, 651, ,,, 1373, 1532, 47, 2428,, 7910, 1818, 47, 703, 5486, 4, 7912, 2801, 4, 2117, 1373, 1532, 477, 7683, 651, 1532, 2428, 7910, 1818, 33, 519, 1855, 688,,, 270, 1584, 722, 19, 373, 39, 50, 3077, 816,, 50, 816, 769, 1, 1000, 50, 8049,, 4359, 6874, 1, 50,,,,,,,,,,,, 33, 519, 1855, 688,,, 270, 1584, 722, 19, 1, 84,,,,,,,, 33, 1087,,,,,, 213, 1,, 67,, 3401, 50, 856,, 3401, 856, 165, 1, 50, 1308, 8054, 7416, 50, 10657, 1, 50,,,, 4, 855, 1993, 189,, , 213, 39, 722, 917,,, 4, 548, 1, 9, 47, 608,,, 213, 39,, 2564, 4,,, 1, 147, 165, 1,, 4, 1,,,,,,,, 47, 1, 4,,, 855, 1993, 189,,, 213, 39, 722, 917, ,, 47, 608,,, 213, 39,, 4, 1,,, 47,, 1660, 2783, 2044, 1468,, 270, 1158, 137, 72, 2784, 407, 72, 137,, 2784, 1, 72,, 407,,, 137, 1, 233,, 137,, 233, , 1539, 3280, 1606, 2175, 1281, 1312, 1149, 11357, 1, 11493,, 137,,,, 361,, ,, 1660, 1083, 373, 797, 1, 137,, 233,, 137,, 233,, 2044, 576, 106, 1, 137, ,,, 361, 353, 2117, 1576, 1942,, 989, 923, 5020, 47, 5593, 2428, 47, 7739, , 1818,, 11082, 1223, 4, 10928, 10927, 4, 651,,,, 2117, 5593, 2428, 7739, 1818, 651, 261, 1396,,, 598, 9, 747, 39, 60, 6839, 1774, 1318, 1773, 11120, 72, 5574, 89, 1, 38,, 137,, 38,, 137,, 38,, 361,, 2382,, 1013,, 1952, 1854, 1203, 1318, 576, 1245, 2775, 1784, 641, 10512, 85, 653,, 2961, , 1, 2961, 85, 1, 361, 38, 1, 1952, 1203, 1318, 576, 1245, 2961, 85, 1, 2961,, 38, 361, 2166, 1235, 1529, 2166, 2292, 651,, 1988, 1957,, 2370, 628, , 915, 640, 1574, 7394, 4394, 1654, 61, 1957, 10450, 6701, 61, 2166, 1235, , 651, 915, 640, 7394, 1654, 1911, 1235, 1757, 1957, 3256, 1103, 10859, 1957, 4996, 6701, 261, 1396,,, 598, 9, 747, 39, 60, 6839, 1774, 1318, 1773, 1, 38,, 137,, 38,, 137,, 38,, 361,, 2382,, 1013,, 1952, 1854, 1203, 1318, 576, 1245, 10666, 1784, 641, 2961, 85, 1, 2961, 85, 1, 38, 361, 1, 1952, 1203, 1318, 576, 1245, 85, 2961, 1,,, 361, 38, 5063, 3580,, 5580, 632,, 5405, 1235,, 1529, 513, 2020, 10435, 2111, 1466, 1529, 2292, 1235, 4368, 6701, 859, 1774, 1775, 1318, 1773, 2293, 674, 11119, 72, 5574, 89, 1, 944, 1784, 641, 899, 1633, 10668, 85, 653,, 1,,, 622,,,, 85,,,, 3066, 1984, 4368, 2592, 5415, 6818, 2369, 10454, 477, 3066, 1984, 2592, 5415, 2790, 563, 2379, 5022, 1527, 1407, 2369, 6702, 2978, 1, 60, 19, 674,,, 1, 60, 19, 674,,, 213, 1, 9, 970,,, 213,, 9,,, 1, 373, 60, 1, 930, 257,, 373, 60, 474, 1,, 749, 1, 7462, 10738, 2057, 474,, 1, 137,, 233,, 137,, 233,, 257,, 468,, 257,, 468,, 109, 856, 1633, 19,, 715, 1085, 917,, 60, 959, 747, 1145,, 60, 1145, 747, 1, 715, 213, 109,, 257, 715, 147, 1, 769, 257, 1, 233,,,, 468,,, 109, 856, 1633, 19,, 715, 1085, 917, 60, 959, 747, 1145, , 60, 1145, 1, 233,,,, 468, 83, 1812, 856, 60,, 213, 852, 1, 39, 1374, 83,, , 1,, 852, 1295, 1158, 5385, 1295, 852, 1, 383, 257, 175, 83, 1812, 856, 60,, 852, 83,, 1295, 1158, 5385, 852, 991, 83,, 109, 1,, 991, 1530, 60,, 1398, 852,, 1356, 991, 270, 1426, 5384, 1356, 44, 295, 383, 7405, 3617, 1530, 60,, 1398, 852,, 1356, 991, 270, 1426, 5384, 44, 295, 383, 7405, 213, 60, 288, 1625,,, 83, 9, 5385, 1295, 1158, 83, 852, 257, 147, 1, 60, 288, 1625,,, 5385, 1158, 83, 852, 109, 2878, 288,, 1398, 1145, 3357, 270, 5384, 1356, 991, 1, 10561, 6776, 1, 1398, 1145, 3357, 270, 5384, 991, 109, 2878, 288, 1398, 1145,,, 1, 60,, 257, 60, 10478, 5076, 10413, 1, 109, 257, 1, 72, 19, 1397,,, 1, 165, 19, 230, 1,,,,, 50, 673, 230, 72, 50, 673, 230, 72, 1, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50,,,,,,,,,,,, 72,, 1397, 19, ,, 165, 1, 19,, 230,,,, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50, 673, 230, 72, 50, 673, 230, 72, 1, 50,,,,,,,,,,,, 19,,,, 50,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,, 165, 19, 1, 72, 19, 1397,,, 1, 474, 9, 72, 1, 1652, 9,,, 1, 72, ,,,,,,,,,,,,,,, 19,,,, 230,,,,,,,,,,,,,,,,,, 50,,,,,,,, 72,,,,,,,, 230,,,,, , 50, 673, 230, 72, 50, 673, 230, 72, 1, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50,,,,,,,,,,,, 72,,,,,,,, 230,,,, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50, 673, 230, 72, 50, 673, 230, 72, 1, 50,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 230,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 131, 1578, 19,,, 1, 474, 19, 50, 1000, 132, 131, 1000, 50, 131, 132, 1, 50, 1000, 132, 131, 1000, 50, 131, 132, 1, 50,,,, 132,,,,, , 131,,,,,, 50,,,,, 1000, 132, 131, 1000, 50, 131, 132, 1, 50, 1000, 132, 131, 1000, 50, 131, 132, 1, 131,, 19, 1578,,, 474, 1, 19, 1000, 50, 131, 132, 50, 1000, 132, 131, 1, 1000, 50, 131, 132, 50, 1000, 132, 131, 1, 50,, ,, 132,,,,,, 131,,,,,,,, 50,,,, 1000, 50, 131, 132, 50, 1000, 132, 131, 1, 1000, 50, 131, 132, 50, 1000, 132, 131, 1, 19,,, 50, 1,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,, 474, 19, 1, 131, 1578, 19,,, 165, 1, 9,, 131, 1839, 9,,, 1, 131, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 132,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,, 50,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 72, 19, 1397,,, 1, 165, 19, 1, 132,,,,,,,,,,,,,,, ,,,,, 72,, 1397, 19,,, 165, 1, 19,, 132,,,,,,,,,,,,,,,, 19,,,, 165, 19, 1, 72, 19, 1397,,, 1, 474, 9, 72, 1, 1652, 9,,, 1, 19,,,, 132,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 131, 1578, 19,,, 1, 474, 19, 1, 131,, ,,,,,,,,,,,,,, 19, 1578,,, 474, 1, 19,, 131,,,,,,,,,,,,,,,, 19,,,, 474, 19, 1, 131, 1578, 19,,, 165, 1, 9,, 131, 1839, 9,,, 1, 131,,,,,,,,,,,,,,,,, ,,,,,,, 19,,,, 230,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19, ,,, 9,,,,, 1438,,, 131, 72,,, 9, 1,, 1839,, 1652, 1, 131, 72, 1, 1438, 9,, , 72, 131,,, 9, 1, 1839, 9, 1652,, 131, 1, 72,, 9,,,,,,,,, 1438,,, 131, 72, ,, 1, 9, 72, 131,,, 1438, 9,,, 1,, 1652, 19, 1397, 9, 1839, 1578, 19, 72, 1,,, 131,, 9,,,,,, 230,,,,,,,,,,,, 132,,,,,,,,,,,,,,,,,,,, 230,,,,,, 9,,,,, ,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9, 1438,,, 131, 72,,, 9, 1,, 1839,, 1652, 1, 1438, 9,,, 72, 131,,, 9, 1, 1839, 9, 1652,, 1,,,,,,,,,, 1438,,, 131, 72,,, 1, 9, 72, 131,,, 1438, 9,,, 1,, 1652, 19, 1397, 9, 1839, 1578, 19, 1, 9,,,,,, 230,,,,,,,, 132,,,,,,,,,,,,,,,, 230,,,,,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,, 165, 1, 474,, 9,,,,,, 165, 474, 1, 9,,,,,,,,, ,,,,,,,,,,,, 19,,, 1, 474, 165, 1,,, 474,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9, 1839, 1578, 19, 9, 1652, 19, 1397, 1, 131, 72, 1, 1839, 9, 19, 1578, 1652, 9, 1397, 19, 131, 1, 72,, 9, 19,,, 1, 9, 1652, 19, 1397, 9, 1839, 1578, 19, 72, 1,,, 131,, 1652, 9, 1397, 19, 1839, 9, 19, 1578, 1, 9, 19,,, 1, 9, 19,,, 1, 9, 19,,, 1, 9, 19,,, 1, 9, 19,,, 1, 9, 165, 1, 474,, 9,, 165, 474, 1, 9, 19,,, 1, 9, 19,,, 1, 474, 165, 1,,, 474,, 9,,,, 230,,,,,,,,,, 132,,,,,,,,,,,, 9, 19,,, 1, 9, 19,,, 1, 9, 19,,, 1, 9, 19,,, 1,,,,, 9,,,, 165,,,,,,,, 474,,,,,,,, 19,,,, 9,,,, 165,,,,,,,, 474,,,,,, 19,,,, 9,,,, 19, ,,, 9,,,, 19,,,, 9,,,, 165,,,,,,,, 474,,,,,,,, 19,,,, 9,,,, 165,,,,,,,, 474,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,, , 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,,, 474, 165,,, 9, 1653,,, 1, 9,,,,, 19,,, 1, 9, 165, 474,,, 1653, 9,,, 1,,,,,, 19,, , 1, 9,,,,,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9, 1653,,, 1, 9, 474, 165,,, 1, 9, ,,,, 19,,, 1, 1653, 9,,, 1,, 165, 474,,, 1, 9,,,,, 19,,, 1, 9,,,,,,,,, 19,, , 1, 9,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19, ,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9, 474, 165,,, 9, 1653,,, 1, 9, 19,,, 1, 9, 165, 474,,, 1653, 9,,, 1,, 19,,, 1, 9,,,,, 19,,, 1, 9, 19,,, 1, 9, 1653,,, 1, 9, 474, 165,,, 1, 9, 19,,, 1, 1653, 9,,, 1,, 165, 474,,, 9, 19,,,, 1,,,, 19,,, 1, 9, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,,, 1,,,, 19,,,,,,, 1, 9, 19,,, 1, 9, 19,,,,,,, 1, 60,,, 33, 598,,,,,,, 186, 1,,, 4, 989,,,,,, , 1, 457, 117,,, 1, 72,,,, 57,,,, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 407, 1444,,, 1037, 33,,, 117, 2568,,, 4, 329,,, 1, 1163,,,, 89, 68,,, 1,, 407, 1,,, 68,,,, 407,, 68,, 407, 1444,,, 1037, 33,,, 117, 2568,,, 4, 329,, , 1, 68, 407, 1,,, 68,,,, 407,, 68,, 60,,, 33, 598,,,,,,, 186, 1,,, 4, 989, ,,,,,, 1, 457, 117,,, 1, 72,,,, 57,,,, 72,,,, 407, 1444,,, 1037, 33,,, 117, 2568,,, 4, 329,,, 1, 1163,,,, 89, 68,,, 1, 407, 1444,,, 1037, 33,,, 117, 2568,,, 4, 329,,, 1, 4, 632,,,,,,, 186, 60,,,,,,, 1, 4,,, 33, 1, 57, 457, 1,,, 117,, 4, 632,,,,,,, 186, 60,,,,,,, 1, 4, 33, 1, 57, 457, 1,,, 117,, 4,, 186, 60,,,,,,, 4, 632,,,,,,,, 33, 1, 117,,,, 57,, 457,, 186, 60,, ,,,,, 4, 632,,,,,,,, 33, 1, 117,,,, 57,, 457,, 33,, 132,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,, 33, 590, 1,,,,,,,,,,, 33, 590, 1,,,,,,,,,,, 33,, 132,,,,,,,,,,,,,,,,,,,,,,,, 33,,,,,,,, 4,,,,, 33, 1, 4,,,,, 33, 1, 4, 33, 1, 4, 33, 1, 4,,,,, 33, 1, 4,,,,, 33, 1, 4, 33, 1, 4, 33, 407, 1912,,, 33, 1, 132,,,,,, 222, 5427, 4552, 132,, 5427, 1, 222, 4545, 2784, 132,, 4545, 1, 222, 4545, 132, 72, 407, 222, 4545, 132, 72, 1, 222,,,, 72,,,, 407,,,, 89,,, 33, 457, 1626, 222, 89, 590, 117, 222, 1626, 590, 89, 1, 222, ,,,,,,,,,,, 407, 1912,,, 33, 1, 72, 5428, 407, 72, 1,, 5428, 1, 72,,,, 407, ,,,, 1912,,, 33, 1, 4552,, 72,, 89,,, 33, 457, 89, 2426, 1, 89, 117, 57, 1, 2426, 89, 1, 407, 1912,,, 33, 1, 4,,,,, 33, 1, 89,, 117,, 57,, 457,, 4,, , 33, 1, 89,, 117,, 57,, 457, 929, 57,,, 33, 132, 1,,,,, 2154, 222, 929, 132, 2154, 1,, 222, 929, 132, 2154, 1,, 222, 929, 132, 2154, 1,, 222, 929, 132, 2154, 1, 222,,,, 929,,,,,, 89,,,, 33, 117, 222, 1626, 590, 89, 1, 1626, 222, 89, 590, 1, 222,,,,,,,,,,,, 929, 57,,, 33, 929, 1,,,,,,,,,,,,,, 57,,, 33, 1, 929,,,,,,,, 89,,,, 33, 117, 57, 1, 89, 2426, 1,,, 89,, 929, 57,,, 33, 1, 4,,,,, 33, 1, 117,, 57,, 4,,, 33, 1, 117,, 57,, 33,, 222,,,,,, ,,,,,,,,,, 117,, 457,, 33,, 222,,,,,,,, 2154, 222, 4608, 590, 2154, 117, 222, 1626, 590, 89, 1, 222,,,, 89,,,,,,,, 33,, 117,, 457,, 33,, 4608,,, 117, 57, 1, 2426, 89, 1, 4, 962, 68, 1,,, 587, 4,,,, 1, 4, 739, 253,,, 1, 68,,,, 72, 68, 1,,,,,,,,,, 72, 1,, 68, 1,, 4, 962, 68, 1,,, 4, 739, 253,,, 1, 72, 68, 1,,,,,,,,,, 72, 1,, 68, 1,, 4, 962, 68, 1,,, 587, 4,,,, 1, 4, 739, 253,,, 1, 68,,,, 4, 962, 68, 1,,, 4, 739, 253,,, 1, 33,, 222,,,,,,,,,, ,,,,,, 57,, 33,, 222,,,,,,, 117,, 1626, 590, 89, 1, 1626, 222, 2426, 590, 1626, 1, 222,,, 89, 1,,,,,,, 33,, 57,, 33, 117, 57, 1, 89, 2426, 1, 89,,,, 4,, 57,,, 4, 1,, 33, 1, 117,,,, 4,, 57,,, 4, 1,, 33, 1, 117,,,, 33,, 222,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 33,, 222,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 33 ], nrs := [ 6932,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 132,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 2052,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 132,,, 2, , 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 132,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,, , 4,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 3108,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,, 164,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,, 164,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,, 36,,, 2,, 2,,, 4,,,, 4,,, 2,, 2,,, 4,,,,,,,, 2,,,, 3,, 2,, 3,, 14,,, 2, 2,,,,, 5,,,,,,, 13,,, 2,,,,,,, 3,, 2,,,,, 2,, 2, 3,, 2,,, 3,, 2,,, 11,, 5,, 2,,, 3,,, 8,, 6,, 2, 2,, 2,,,,,,,,,,,, 2,,,,,,,, 5,, 7, 16,,,,, 2,,,,,,,, 5,, 7, 16,,,,, 2,,,,,,,, 5,,,,, 2,,,,,,,, 5, 14, 8, 2,,,, , 4,,,, 3,,,, 13, 8,,,,,,,,, 4,,,, 3, 2,,,,, 4,,,, 3,,,,,,,,, 4,,,, 3, 4,, 27,, 28,, 26,, 48,, 12,, 37,, 12,, 10, 2,,,,,,,, 5,,,,, 14, 2,,,,,,,, 5,,, , 15,,,,,,, 5,,,,,,,, 5,,, 2,, 2, 11,, 17,, 12,, 12,, 14, 4,,,, 5,,,, 11,, , 5,,, 2,, 2, 9,, 12,, 9,, 8,, 12,,,,, 6, 4, 4,,,,, 6, 4, 4, 6,,,,, 3,,,, 2, 6,,,,, 3,,,, 2,,,, 3,,,,, 2,,,, 3,,,,, 2,,,, 3, 9,,, 3, 64, 4, 4, 2, 2, 6,, 2,, 2,, 2,, 6, 2,,,,,,,,,, 2,,,, 6, 4,,, 2,,,,,,,,,, 5, 4, 2,,,,,,,, 3, 3,, 2,,,,,,,, 3, 2,,,,,,,,,,,,,,,,,,,, 3, 2, 8, 4,,,,,,,,,,,,,, 3, 2, 8, 4, 6, 4, 4, 2, 2,,,,,,,,,,,, 5, 4, 4, 2,,,,,,,,,,,,, 4,, 3, 8, 4, 4,, 3, 8, 6,, 2, 8, 6,, 2, 8, 4, 2, 2, 4, 2, 2, 2, 4, 2, 2,,, 2, 4, 2, 2,, 3, 4, 26,,,,,,,,,,, 6, 4,,,,,,,,,,, 6, 4, 6,, 3, 6,, 6,, 6, 3,, 6,,,,, 4, 2, 4, 2, 4, 10, 4, 2, 4, 2, 2,, 2, 9, 2,, 2,, 2, 2, 2, 2,,,,,, 2,, 2,, 2,, 2,, ,,, 4,, 4,,,, 2,, 2,,,, 2,, 4, 2, 4,, 2, 4,,,,, 4,,, 2,, 6,,,,,, 4,,,,,,,,, , 2, 2,, 2, 5, 2,,, 2,,, 2,,,, 4,,, 2, 2,, 4,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,, , 2,,, 2,,,,,,,,,,,,,,,,,,,,,,,,, 2, 2,,, 2, 2,, 2,,, 2, 2, 2,,, 2,, 4, 10, , 16,,, 16,,,, 2,, 3,,,,,, 2,, 3,,,,, 2,,, 2, 2,,, 16,,, 16,,, 8,, 8,,,,,,, , 2, 2, 4, 2, 2, 9,, 2,,,,,,,,,,,,,,,,,,,,,,,, 2,,, 2,,,,, 2,,,,, 2,,,,,,,, ,,,,,,,,,,,,,, 2,,,,,, 4, 2,,, 2,, 2,,, 4, 2,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,, 2,,,,, 4, 2,, 2,,, 4, 2,,,,,,,,,, 2,,,,,,,,,,,,,,,,,, ,,,,, 4, 2,,, 8, 4,,, 4,,, 2, 2,,, 2,,,,,,, 2,,,,,, 2,,, 2,,,, 2,,,,,, 2,,, ,, 2,,,, 2, 2,,,,,,,,,,,,,,,,,,,, 2,, 2,, 2,, 2, 2,,,,, 8,,, 2, 2,, 2,,, 8, ,,,,,,,,,,,,,, 2,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2, 2,,,,,, 2,,,,,,,,, 2,, 2,, 2,, 2,, 4, 2, 4,, 4,, 2,,, 2,, 2,,,,,,, 2, 4, 2, 4, 2, 4,, 2,, 2,, 4, 4, 2, 2, 2, 4,, 2,,, 2,,, 2,, 2,,, 2,,, 2, 2,, 2,, 5,, 14,, 14,, 13,, 12,,, 2,, 2,,,, 2,, 2,,,,,,,, 2,,, 4,, 4,,, 2,,, 6,, 10,, 6,,, 2, 2,,, 2,,, 4,, 4,, 2,, 5,, 9,, 4,, 2,, 2, 4,, 2,, 2,,,, 2, 5,, 6,, 6,, 5, , 4,,, 2,,, 2,, 2,, 2,, 2,,,,, 2,,,,, 2, 2, 17, 4, 2, 4,,,, 4,,, 2,,, 2,,, , 2,,, 8, 4,,,, 2,,,,,,,,,,, 4,, 2,,,,,,,, 2, 2,, 2,,, 2, 2,, 2, 2,, 2,, 2, ,, 2,,,,,, 2,, 8, 4, 2, 4, 38, 4, 2, 4, 6, 4, 6, 4, 130,, 2, 2,, 2,,, 2, 2, , 30, 4, 2, 4, 6, 4, 6, 4, 128,, 2,, 4,, 2,, 2, 2, 2, 2, 2, 2,,,, 2,, 2,,,, , 2,,, 8, 4, 2, 4, 258,, 2, 2,, 2,,,,,,,, 4, 8, 2, 4, 2, 6, 2, 2,, 2,, 2, 2, 2, 4,, 2,,,, 8, 4, 16, 8, 32, 4, 16, 8, 6, 16, 4, 16, 8,, 2, 2,, 2,,,,,, ,, 2, 6, 2, 2,, 2,, 8, 4, 10, 4, 16, 4,, 2,, 2,,, 2,,, 2, 2, 2,,, 2, 3, 4, , 2,, 2,, 16,, 13,, 13,, 12,,, 2, 2,, 2,,, 2,, 16,, 10,, 8,, 9,, 2,, 2,, 2, ,, 6,, 6,, 5,, 4,, 2,, 2,, 3,,, 2,, 2,,,,, 2, 2,,,,,,,,,,,,,, 2, 2,,, 4,,,, ,,,, 2,, 2, 2,, 2,,,, 2,, 2,,, 2,, 9,, 2,, 11,, 2,, 7,, 3,, 2,, 2,, 6, 2,, 2,,,,, 2,,,,,,, 2, 2,, 2, 2,,, 4,, 2,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,, 2,,,,,, ,,,,,,, 2,,, 2,,,,,,,,, 2,, 2, 2,, 2,,,, 2,, 2, 8,, 4,, 10,, 2,, 6,, 3,, 3, , 2,, 6, 2,, 2,,,,, 2,,, 3, 2,, 2, 2,,, 4,, 2,,,,,,,,,,,,,,,,,,,, 2,,,,, 2, , 2,,,,, 2, 2,, 2, 2,,,, 2,, 96,, 2,,, 2,,,, 4, 2, 4, 4, 2, 2, 2, 10, 2,, 2, 5,,,,, 2,,,,,,,, 2, 2,,,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2, 2,,, 2,, 2, 2, 2, , 2,, 32, 2, 2,, 4,, 4, 2, 2,,,, 2,,,, 3, 2,, 52,, 7,, 21,, 4,, 58,, 11,, 10,, 7,, 50,, 2, 2,, 2, 2,, 2,,, 2,, 2,,, 2,,, 4, 2, 2, 2,, 4, 2, 2, 4,, 6, , 6,, 54,, 5,,, 2, 2,, 2, 2,, 2,, 2,, 2,,, 2, 2,, 3,, 49, 2,, 4,,,,, 2,, 2, 2, 2, 2,,,, 2, 2, 2,,, 2, 2, 4,, 2,, 4,,,, 2,, 2, 2, 2,, 2, 2, 2, 2,,,, 4,,,,, 2,, 2, 2,, 2,,,,, 2,,,,,,, 2,, 2, 2,, 2,,,, 2,,,,, 2,, 2, 3, 4,,, 2, , 2,, 2, 2,,, 2,, 2,, 2,, 2,, 2, 2, 2,,,,,,, 2,,,,,,,,,, 2,, 2, 2,,,,,, 2,, , 2,,,,, 2, 2,, 2,, 2,, 2,, 2, 4, 2, 2, 4, 2, 2, 12,, 2,,,, 2,,, 4, 2,,,, 2,,,, 8, 4, 2, 4, 38, 4, 6, 4, 10, 4, 2, 4, 130, 2,, 2,, 2,, 2,, 4,, 4, 2, 4, 13, 2,,,, 2,,,, 4,, 2,,,, 2,,, 8, 4, 2, 4, 38, 4, 6, 4, 10, 4, 2, 4, 134, 8, 4, 8, 40, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 259, 2, 4,, 2,, 2,, 2,, 2, 4, 2,, 2,, 2,, 33, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 429, 8, 4, 8, 9, 4, 2, 4, 9, 2, 2, 4, 2, 4, 2, 4, 2, 2, 9, 4, 2, 4, 461, 4, 6, 4, 10, 4, 2, 4, 3, 2, , 2,, 2,, 2, 8, 2, 2, 4, 2, 2, 12,, 2,,,, 2,,, 4, 2,,,, 2,,,, 8, 4, 2, 4, 166, 4, 6, 4, 10, 4, 2, 4, 2, 2,, 2,, 2,, 2, 10, 4, 2, 4, 13, 2,,,, 2,,,, 4,, 2,,,, 2,,, 8, 4, 2, 4, 202, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 363, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 34, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 434, 4, 2, 4, 9, 2, 2, 4, 2, 4, 2, 4, 2, 2, 9, 4, 2, 4, 301, 8, 4, 8, 4, 8, 4, 8, 964, 8, 4, 8, 4, 8, 4, 8, 2945, 2, 2,, 2,,, 2, 4,, 2,,, 2,,,, 4,, 2,,, 2,,,, 4, 4, 2, 4, 11, 4,, 2, 2, 2, 9, 2,, 4,, 2, 9, 4, 2, 4, 10,, 2,,, 2,,,, 4,, 2,,, 2,,,, 132, 2,,, 2,, 2, 2,, 4, 2,,,,, 2,,, 4, 2,,,,, 2,,, 4, 4, 2, 4, 10, 2, 2, 2,, 4, 9, 2,, 2, 2, 2,, 2, 8, 4, 2, 4, 10, 2,,,,, 2,,, 4, 2,,,,, 2,, , 136, 8, 4, 8, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 267, 2, 4,, 2, 2,, 2,, 2,, 4,, 2, 2,, 2,, 9, 2,, 4,, 2, 10, 2,, 4,, 2, 74, 2,, 4,, 2, 10, 2,, 4,, 2, 42, 2,, 4,, 2, 10, 2,, 4,, 2, 261, 8, 4, 8, 8, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 41, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 73, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 289, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 282, 4, 6, 4, 6, 4, 2, 4, 42, 4, 2, 4, 10, 4, 6, 4, 150, 4, 6, 4, 6, 4, 2, 4, 42, 4, 2, 4, 10, 4, 6, 4, 1034, 8, 4, 8, 4, 8, 4, 8, 900, 8, 4, 8, 4, 8, 4, 8, 2753, 2,, 2,, 2,, 2, 4, 8, 2, 2, 2,, 4, 5, 2, 2, 2, 4, 2, 2, 2, 40, 2, 2, 2,, 4, 129, 2,, 2,, 2,, 2,, 4, 9, 4,, 2, 2, 2, 5, 4, 6, 4, 42, 4,, 2, 2, 2, 132, 8, 4, 8, 417, 2, 4,, 2,, 2,, 2,, 2, 4, 2,, 2,, 2,, 420, 8, 4, 8,, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 73, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 329, 2,, 2,, 2,, 2, 8, 2, , 2,, 2,, 2, 50, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 758, 2,, 2, 4, 2,, 2, 18, 2,, 2,, 2,, 2, 172, 2,, 2, 6, 2,, 2, 16, 2,, 2,, 2,, 2, 573, 8, 4, 8, 4, 8, 4, 8, 836, 8, 4, 8, 4, 8, 4, 8, 2561, 2, 2,, 2,,, 2, 4, 17, 2,, 2, 5, 2,, 2, 21, 2,, 4,, 2, 137, 2,,, 2,, 2, 2,, 4, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 2, 2,, 2, 140, 8, 4, 8, 385, 2, 4,, 2, 2,, 2,, 2,, 4,, 2, 2,, 2,, 41, 2,, 4,, 2, 10, 2,, 4,, 2, 42, 2,, 4,, 2, 10, 2,, 4,, 2, 261, 8, 4, 8, 457, 4, 2, 4, 9, 2, 2, 4, 2, 4, 2, 4, 2, 2, 9, 4, 2, 4, 1113, 2, 2, 2, 5, 4, 14, 4, 2, 4, 162, 4, 5, 2, 2, 2, 12, 2, 2, 4, 2, 2, 148, 8, 4, 8, 4, 8, 4, 8, 772, 8, 4, 8, 4, 8, 4, 8, 2368,, 2,, 2,,,,, 4, 10,, 2,, 2,, 2, 2, 73, 2,, 2,,,,,, 4, 10, 2,, 2,, 2, 2, 2, 72, 8, 4, 8, 20, 8, 152, 4, 2,, 2, , 2,,,,, 2, 4,,,,, 2,, 2,, 16,, 2,, 2,, 2, 2,, 2,, 2, 2, 4, 145, 8, 4, 8, 20, 8, 168, 2, 2, 4, 2, 2, 13, 4, 5, 2, 2, 2, 161, 4,, 2, 2, 2, 9, 4, 6, 4, 173, 2, 2, 2,, 4, 5, 2, 2, 2, 169, 4, 2, 4, 2, 4, 149, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 304, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 1056,, 2,, 2,,,,, 4, 10,, 2,, 2, 72, 2,, 2,,,,,, 4, 10, 2,, 2,, 72, 8, 4, 8, 20, 8, 144, 4, 2,, 2,, 2,,,,, 2, 4,,,,, 2,, 2,, 16,, 2,, 2,, 2, 2,, 144, 8, 4, 8, 20, 8, 161, 4, 2, 4, 13, 2, 2, 2, 160, 2, 2, 2,, 4, 9, 2, 2, 2, 173, 4,, 2, 2, 2, 168, 2, 2, 4, 2, 2, 144, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 288, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 1008, 8, 4, 8, 20, 8, 2, 2, 2, 128, 8, 4, 8, 20, 8,, 2, 2, 129, 8, 4, 8, 20, 8, 136, 8, 4, 8, 20, 8, 128, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4,, 2, 2,, 2,, 2, 257, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 1608, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 272, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 272, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 256, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 1600,, 2, 2,,, 2,, 2,, 2, 2, 145, 2,,, 2, 2,, 2,, 2, 2, 2, 144, 4, 4, 4, 4, 296,, 2,, 2,, 2, 2,, 2,, 2, 2, 4, 145, 2,, 2,, 2,,, 2, 144, 4, 4, 4, 4, 1512, 4, 4, 4, 4, 304, 4, 4, 4, 4, 304, 4, 4, 4, 4, 288, 4, 4, 4, 4, 1504, 8, 2, 2, 2, 128, 8,, 2, 2, 129, 4, 4, 4, 4, 264, 4, 4, 4, 4,, 2, 2,, 2,, 2, 257, 8, 136, 8, 128, 2, 2, 4, 2, 2, 9, 4, 2, 4, 273, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 769, 4, 4, 4, 4, 272, 4, 4, 4, 4, 272, 4, 4, 4, 4, 256, 4, 4, 4, 4, 1348, 8, 4, 8, 4, 8, 4, 8, 33, 2,, 2, 9, 2,, 2, 4, 2,, 2, 2, 2,, 2, 296, 8, 4, 8, 4, 8, 4, 8, 32, 2,, 2, 9, 2,, 2, 6, 2,, 4,, 2, 297, 8, 4, 8, 4, 8, 4, 8, 420, 8, 4, 8, 4, 8, 4, 8, 292, 8, 4, 8, 4, 8, 4, 8, 69, 2,, 2,, 2,, 2, 5, 2,, 2, 8, 2,, 2, 325, 8, 4, 8, 4, 8, 4, 8, 4, 2,, 2,, 2,, 2, 5, 2,, 2, 10, 2,, 2, 260, 8, 4, 8, 4, 8, 4, 8, 420, 8, 4, 8, 4, 8, 4, 8, 3364, 8, 4, 8, 4, 8, 4, 8, 452, 8, 4, 8, 4, 8, 4, 8, 452, 8, 4, 8, 4, 8, 4, 8, 388, 8, 4, 8, 4, 8, 4, 8, 388, 8, 4, 8, 4, 8, 4, 8, 324, 8, 4, 8, 4, 8, 4, 8, 324, 8, 4, 8, 4, 8, 4, 8, 260, 8, 4, 8, 4, 8, 4, 8, 3328, 4,,,,,, 2,, 2, 6, 8, 4, 8, 24, 4, 4, 4, 4, 40, 4,,,,, 2,, 2,, 6, 8, 4, 8, 24, 4, 4, 4, 4, 40, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 44, 8, 4, 8, 16, 4, 4, 4, 4, 40,, 2,, 2, 2, 4,,,,, 4, 8, 4, 8, 32, 4, 4, 4, 4, 48, 2,, 2,, 2, 4,,,,, 4, 8, 4, 8, 16, 4, 4, 4, 4, 32, 8, 4, 8, 8, 8, 4, 8, 24, 4, 4, 4, 4, 52, 8, 4, 8, 24, 4, 4, 4, 4, 800, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 48, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 48, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 32, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 36, 8, 4, 8, 16, 4, 4, 4, 4, 52, 8, 4, 8, 16, 4, 4, 4, 4, 52, 8, 4, 8, 16, 4, 4, 4, 4, 36, 8, 4, 8, 16, 4, 4, 4, 4, 800, 4,,,,,, 2,, 2, 10, 4, 4, 4, 4, 8, 4,,,,, 2,, 2,, 10, 4, 4, 4, 4, 8, 8, 4, 8, 20, 4, 4, 4, 4, 8, 4, 4, 4, 4, 8,, 2,, 2, 2, 4,,,,, 16, 4, 4, 4, 4, 16, 2,, 2,, 2, 4,,,, , 4, 4, 4, 4, 8, 4, 8, 12, 4, 4, 4, 4, 24, 4, 4, 4, 4, 256, 8, 4, 8, 20, 4, 4, 4, 4, 16, 8, 4, 8, 20, 4, 4, 4, 4, 16, 8, 4, 8, 20, 4, 4, 4, 4, 8, 4, 8, 20, 4, 4, 4, 4, 4, 4, 4, 4, 16, 4, 4, 4, 4, 16, 4, 4, 4, 4, 4, 4, 4, 4, 257, 2,, 2,, 2,, 2,, 2,, 2, 2,, 2,,, 2,, 2,, 2,, 2, 32, 2, 2, 2, 2,, 2, , 2,, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 288,, 2,, 2, 2,, 2,,, 2,, 2,, 2,, 2,, 4,, 4, 4, 2, 2, 2, 2, 6, 4, 2, 2, 2, 2, 4, 38, 4, 2, 4, 2, 4, 132,, 2,, 2, 2,, 2,,, 2,, 2, , 2,, 2, 2, 4, 2, 2, 2, 2, 4, 38, 4, 2, 4, 2, 4, 133, 2,, 2,, 2,, 2,, 2,, 2, 2,, 2,,, 2,, 2,, 2,, 2, 32, 2, 2, 2, 2,, 2,, 2,, 2,, 2,, 2,, 2, 288,, 2, , 2, 2,, 2,,, 2,, 2,, 2,, 2,, 4,, 4, 4, 2, 2, 2, 2, 132,, 2,, 2, 2,, 2,,, 2,, 2,, 2,, 2, 128,, 2,, 2,, 2,, 2,,,,,,,,, 8, 16, 32, 8, 8, 50, 4, 2, 2, 2, 54, 4, 48,, 2,, 2,, 2,, 2,,,,,,,,, 32, 8, 8, 34, 4, 2, 2, 2, 38, 4, 32, 16, 8,,,,,,,,,, 2,, 2,, 2,, 2, 8, 8, 36, 2, 2, 2, 2, 4, 2, 4, 16,,,,,,,,,, 2,, 2,, 2,, 2, 8, 8, 4, 2, 2, 2, 2, 4, 2, 4, 8, 16, 8, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 41, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 73, 2, 2, 2,, 4, 9, 2, 2, 2,, 4, 265, 16, 2, 2, 2,, 4, 10, 4,, 2, 2, 2, 432, 16, 2, 2, 2,, 4, 10, 4,, 2, 2, 2, 400, 16,, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 73, 4,, 2, 2, 2, 9, 4,, 2, 2, 2, 272, 16, 360, 16, 328, 16, 296, 16, 256, 16, 16, 16, 24, 8, 8, 176, 16, 16, 16, 8, 8, 8, 184, 8, 8, 152, 8, 8, 128, 16, 16, 16, 24, 8, 8, 48, 16, 16, 16, 8, 8, 8, 56, 8, 8, 24, 8, 8,, 2, , 2, 4,, 4,, 2, 2, 2, 8,, 2,,,, 2, 2,,,,,,, 2,, 2,,, 4,, 2,,, 2, 4, 4, 4, 9, 2,, 2,, 2,, 2, 65, 2,, 2, 8, 4, 2,,,, 4,, 2,,, 8, 4, 4, 4, 4, 4, 6, 4, 10, 4, 4, 4, 160,, 2,, 2, 4,,, 2, 2, 2,,, 2, 19, 2,, 2,, 2,, 2, 64,, 2,, 2, 4, 17, 4, 3, 2, 67, 2,, 2, 8, 2, 2, 2,,, 2, 2,, 2,, 144,, 2,, 2, 4, 64, 8, 12, 16, 24, 8, 8, 42, 4, 2, 4, 50, 4, 2, 4, 32, 8, 12, 8, 8, 10, 4, 2, 4, 18, 4, 2, 4, 2,, 2,, 4, 2, 2, 2,, 4, 9, 2,, 2,, 2, 2, 2,, 2,, 2, 2, 2,, 2,, 2, 2, 2,, 2,, 2, 2, 4, 4, 4, 8, 2,, 4,, 2, 68, 2,, 2,, 8, 4,, 2,,, 2, 2,,,, 8, 4, 4, 4, 4, 4, 6, 4, 10, 4, 4, 4, 160, 2,, 2,, 4, 2,, 2, 2, 2,, 2, 18, 2,, 4,, 2, 68, 2,, 2,, 4, 16, 2,, 2, 2, 2,, 2, 66, 2,, 2,, 8, 2, 2,, , 2, 2, 2,,, 144, 2,, 2,, 4, 64, 8, 12, 16, 24, 8, 8, 62, 4, 50, 4, 20, 8, 12, 8, 8, 14, 4, 18, 4, 8, 8, 16, 4, 6, 4, 6, 4, 4, 4, 8, 4, 6, 4, 6, 4, 4, 4, 10, 4, 2, 4, 148, 8, 4, 4, 6, 4, 10, 4, 4, 4, 2, 2,, 2,, 2, 4,, 2,,, 8, 4, 4, 4,, 2,, 2,, 2,, 2, 140, 8, 34, 4, 2, 4, 132, 8, 2, 2,, 2, 2, 2,, 2,, 128, 2, 4,,,, 4, 2, 2, 4, 2, 2, 24, 4, 2, 2, 2, 2, 4, 2,, 2, 3, 4, 2, 2, 2, 4, 2, 2, 2, 36, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4,,,, 8, 4, 2, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 2, 36, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4,,,, 4, 2, 2, 4, 2, 2, 24, 4, 2, 2, 2, 2, 4, 2,, 2,, 2, 4,,,, 8, 4, 2, 2, 2, 2, 4, 8, 16, 4, 6, 4, 6, 4, 4, 4, 8, 4, 6, 4, 6, 4, 4, 4, 10, 4, 152, 8, 4, 4, 6, 4, 10, 4, 4, 4, 4,, 2,,, 2,,, 2,,, 8, 4, 4, 4, 2,, 2,, 2,, 2, 141, 8, 34, 4, 136, 8, 2, 2,,, 2, 2,,,, 128, 8, 5, 2,, 2, 8, 24, 8, 8, 5, 2,, 2, 136, 8, 5, 2,, 2, 8, 24, 8, 8, 5, 2,, 2, 16, 16, 32, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 336, 16, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 8, 4, 4, 4, 328, 16, 424, 16, 211 ] );