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.aar GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 44 ] := rec( ops := [ 1, 33,,,,,,,, 4,,,,, 33, 1, 4,,,,, 33, 1, 4, 33, 1, 4, 33, 1, 4,,,,, 33, 1, 4,,,,, 33, 1, 4, 33, 1, 4, 33, 1,,, 4,, 117, 457, 1,,, 57,, 33,, 4,, 89, ,,,,,,,,,,,,,,,, 457,,, 117, 57,,, 1, 89,,,, 33,, 4,, 117, 457, 1,,, 57,, 33,, 4,, 89, 457,,, 117, 57,,, 1, 89,,,, 500, 4,, 1, 117, 57, 1,,,, 4, 1, 962, 500,,, 33, 57, 1,,,,,, 407, 1,, 57, 1,,,,,,, 407, 57, 1,,, 500, 4,, 1, 117,, 962, 500,,, 33, 57, 1,, 407, 1,, 57, 1,,,,,,, 407, 57, 1,,, 4, 962,,, 1, 4, 33, 1, 117,,,, 500, 4,, 1, 117, 57, 1,,,, 4, 1, 962, 500,,, 33, 57, 1,,, 500, 4,, 1, 117,, 962, 500,,, 33, 4, 962,,, 1, 4, 33, 1, 117,, ,, 5425, 674, 270, 1158, 688, 1468,,, 33, 598, 1, 230,,,,, 2113, 1561, 1117, 50, 1561, 1117, 106, 3572, 2149, 50,,, 3255, 1, 50,,,, 887,, 2113, 50, 1, 2113, 50, 1,,,,, 2175, 1281, 4373, 1606, 3280, 1539, 2599, 186, 2113, 707, 576, 50, 707, 576, 1, 2113, 811, 707, 50, 811, 707, 887, 89, 1,, , 130,,,, 2113, 811, 130, 89, 2113, 811, 130, 89, 1, 2175, 1281, 1606, 1539, 2599, 89, 1,, 707,,, 1, 930, 797, 598, 33, 1117, 60, 1, 1037, 576, 89, 7537, 1942, 2117, 3366, 213, 2566, 632, 887, 1,,,,,,,,, 2117, 632, 19, 722, 1584, 270, 688, 1855,,, 519, 33, 50, 3077, 816,, 50, 816, 373, 39, 4359, 50, 6874,, 1000, 8049, 1, 44, 50, 1,,,,,,,,,,, 917, 19, 270, 1295, 688, 3086,,, 1087, 33, 213, 67, 50, 3401, 856,, 50, 856, 1, 85, 50, 1308, 8050, 3571, 50, 10972, 1, 50,,,, 590,,,,,, 653,,,,,, 50,,,,, 1308, 590, 653, 1308, 50, 653, 590, 1, 50, 1308, 590, 653, 1308, 50, 653, 590, 1, 19, 722, 1584, 270, 688, 1855,,, 519, 33, 1, 590,,,,,,,,,, 917, 19, 270, 1295, 688, 3086,,, 1087, 33, 1, 653,,,,,,,,,,,,,, 213,,, 33, 1087,,,,,, 213, 67, 1, 856,, 165, 2896, 653,, 1, 39,, 33, 519,,,,,, 1, 816, 373, 39, 131, 295, 1, 917, 722,,, 39, 213, 189, 1993,,, 855, 4, 548,, 9, 1, 1087, 519,, 4, 855,, 1, 165,, 147,,, 165, 1, 917, 722,,, 39, 213, 189, 1993,,, 855, 4, 1087, 519,, 4, 855,, 1, 270, 626, 4, 855, 1365, 496,,, 1509, 1374,,, 39, 213, 33, 1360,, 1320, 979,, 44, 295, 1,,, 44,, 4, 855, 1365, 496,,, 1509, 1374,,, 39, 213, 33, 1360,, 1320, 979,, 1, 5425, 674, 270, 1158, 688, 1468, ,, 33, 598, 5034, 222, 1, 5034, 222, 1,,,,, 887,, 2175, 1281, 4373, 1606, 3280, 1539, 2599, 5034, 1626, 590, 89, 5034, 1626, 590, 89, 222, 1,, 887, 89, 1,,, 2175, 1281, 1606, 1539, 2599, 89, 2426,,, 1, 89,, 930, 797, 598, 33, 1, 1037, 7537, 1942, 2117, 3366, 213, 887, 1,,,,,,, 2117, 3366, 747, 39, 60, 261, 1396,,, 519, 598,,, 9, 1, 3891, 9,, 230, 132,, 4522, 4358, 3043, 3077, 1561, 3430, 1446, 10380, 4357, 3059, 2149, 1000, 2154, 9, 749, 3059, 9, 50, 222, 9, 1,,,,,,,,, 576, 1245, 5408, 1848, 1952, 1854, 1037,, 846, 4522, 5348, 3273, 3401, 707, 622, 10500, 2229, 6699, 1308,, 1, 576, 1245, 1848, 1854, 1037,, 1, 60, 852, 3771, 1087, 3048, 1812, 295, 653, 1, 3412, 1037, 4624, 89, 3412, 1037, 6740, 3580, 632, 3366, 83, 6738, 1528, 2118, 3366, 622, 632, 2118, 3366, 747, 39, 60, 261, 1396,,, 519, 598,,, 9, 1, 3891, 9,, 230, 132,, 4522, 4358, 3043, 3077, 1561, 3430, 1446, 3059, 9, 50, 222, 9, 1,,,,,,,,, 576, 1245, 5408, 1848, 1952, 1854, 1037,, 846, 4522, 5348, 3273, 3401, 707, 1, 576, 1245, 1848, 1854, 1037,, 1, 60, 852, 3771, 1087, 3048, 1812, 1, 3412, 1037, 4624, 3412, 1037, 6740, 3580, 632, 3366, 83, 6738, 1528, 2118, 632,, 9, 1, 261, 33, 9, 1,,, 3374, 49, 50,, 1, 7403, 3059, 1653, 11246, 50, 9, 165,, 1,, 5529,, 1,, 5561,, 1,,, 5479, 9, 1,,,,,, 5631,, 1, 944, 859, 373, 67, 1604, 261,, 33, 1360, 49, 1, 3374, 49, 50, 9, 769, 3059, 6703, 11205, 7774, 50, 9, 5529,, 1,,,,, 5561, 9, 1,, , 5479, 9, 1,, 5631,, 1,,,,,,,,,, 5529,, 1,, 5561, 1, 9,,, 5479,, 1,,,,,, 5631, 1, 944, 859, 373, 67, 1604, 261,, 33, 1360, 5529, 9, 1,,,,, 5561,, 9, 5479, 1, 5631,, 67, 373, 1356, 1702, 3415, 375,, 33, 1360, 1, 270, 83, 1, 330,,,, 83, 375, 33, 270, 83, 1, 95,,,, 67, 373, 1356, 1702, 3415, 375, , 33, 1360, 1, 9, 859, 1356, 83,, 2432, 366,, 4, 1320, 366, 2021, 923, 4,, 970, 9,, 83, 1509, 9, 1,,,,,,, 685, 375, 573, 626, 9, 1,,,, 859, 1356, 83, , 2432, 366,, 4, 1320, 366, 2021, 923, 4,, 970, 9,, 83, 1509, 9, 1,,,,,,, 685, 375, 573, 626, 685, 375, 573, 626, 685, 375, 573, 626, 67, 1,,,, 979, 4,,,, 788, 4,,,, 39, 1,,,,, 33, 4, 165, 330, 5558, 175, 96, 5610, 165, 622, , 330, 5558, 175, 96, 5610, 165, 622, 7580, 3043, 816, 1117, 3430, 2500, 1446, 930, 6697, 7385, 10843, 3255, 11020, 9, 749, 846, 715, 7580, 3273, 856, 576, 622, 4522, 10429, 3571, 8050, 7773, 3048, 6759, 1812, 7849, 295, 653, 4624, 2175, 89, 6738, 1528, 2118, 3366, 622, 2118, 10621, 7786, 7872, 837, 60, 1,, 15, 197,,,,,,, 1, 186,,, 1515, 15,,,,,,, 1,,,,, 60, 15, 197,, , 1, 15, 1816,,, 1, 15,,,,,,,,,,,,,,,,,,,, 186, 109, 5562, 5432, 15, 1163,, , 60, 197, 1, 109, 15, 304,,, 1, 15, 407, 1,, 15, 1,,,,,,, 407, 15, 1,,, 186, 109, 15, 1163, 5562, 5432, 15, 1163, 60, 197, 407, 1,, 15, 1,,,,,,, 407, 15, 1,,, 60, 837,, 197, 15,,,, 1, 186,,, 1515, 15,,,,,,, 1,,,,, 60, 15, 197,,, 1, 15, 1816,,, 1, 15,,,, 186, 15, 5562, 5432, 15, 1163, 60, 197, 1, 109, 15, 304,,, 1, 15,, 186, 15, 5562, 5432, 60, 197, 1, 4548, 632, 7594,, 60, 4, 1,,,,,, 329,,, 1, 60,,, 4, 1,,,,,, 68, 117,,,,,,, 4, 1,, ,,,, 818,,, 1, 4,,,,,, 4548, 632, 7594, 60, 4, 1,,,, 329,,, 1, 60,,, 4, 1,, ,, 68, 117,,,,,,, 4, 1,,,, 818,,, 1, 4,,,, 837,, 329, 632,,,, 975, 60,,,, 4, 397,,, 1, 109,,, 4, 1, 57,,, 4, 1, 818, 4,, 68, 117,,, 4, 1,,, 329, 632, ,,, 975, 60,,,, 4, 397,,, 1, 109,,, 4, 1, 57,,, 818, 4,, 68, 117,,, 4, 1,, , 837, 329, 632,,,, 975, 60,,,, 4, 1, 818, 4,, 68, 117,,, 329, 632,,,, 975, 60,,,, 818, 4,, 68, 117,,, 8111, 7595, 1, 186,, 4, 1105,,,,,,, 1, 4,,, , 60, 4, 329,,, 1, 89, 4, 1,,,,,,,,,,,,,,,,,,,,, 60, 2427, 669, 329,,, 1, 109, 4, 397,,, 1, 4,,, 57, 1,, 4, 1,,,,,,, 57, 4, 1, 60, 669, 329, 2427, 669, 329, 1, 4, 57, 1,, 4, 1,,,,,,, 57, 4, 1, 8111, 7595, 1, 1105, 4,,,, 1, 4,,,, 60, 4, 329,,, 1, 89, 4, 1,,,,, 60, 669, 2427,, 329, 1, 109, 4, 397,,, 1, 4,, 60, 669, 2427, 1, 837,, 1541, 4, 1,,,,, 60,,, 4, 329,,, 1, 4, ,,,,,,,, 651,,,,,,, 1, 4,,,,,, 89,,, 4, 1,,,,,,,,, 60,,, 4, 329,,, 1, 4,,,, , 651,,,,,,, 1, 4,,,, 89,,, 4, 1,,,, 4548, 632, 1, 109,,, 4, 397,,, 1, 57,, , 4, 89, 1,, 4, 651,,, 1, 4,,,,, 4548, 632, 1, 109,,, 4, 397,,, 1, 57,,, 4, 89, 1,, 4, 651,,, 1, 4,,, 4548, 632, 89, 1,, 4, 651,,, 1, 4, 4548, 89, 1,, 4, 651,,, 1, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 60,, 1118,,, 89, 1,,, 6877, 407, 1, 11146, 5078, 407, 1, 6844,, 407, ,,, 109, 89,,,, 1, 117,,,, 837,, 980,, 60,, 1118,,, 89, 1,,, 109, 89,,,, 1, 117,,,, 60,,, 89,,,, 1, 3416, 89, 2427,, 1, 117,,,, 60,,, 89,,,, 1, 3416, 2427, 1, 117,,,, 57, 109,,, 1,,,,, 57,,,, 837,, 89,, 117, 57, 109,,, 1,,,,, 57,,,, 837,, 89,, 117,, 89,, 117, 89, 1, 117,, 60, 57,,,, 1, 89, 117,,,, 837, 1168, 57, 1,,,,,,,,, 109,, 1118,,,, 89,,,, 837,, 980,, 60, 57, ,,, 1, 89, 117,,,, 1, 109,, 1118,,,, 89,,,,, 60,,, 1,,,,, 3416, 89, 2427,, 1, 117,,,, 89, 60,,, 1,,,,, 3416, 2427, 1, 117,,,, 109,,, 57,,,,, 1,,, 837, , 89, 117, 1,,, 109,,, 57,,,,, 1,,, 837, 89, 117, 1,, 89,, 1,,, 89, 117, 1, ,, 837,, 60, 980,, 1,,,,, 117,,,, 89,,,, 109, 837, 1, 109, 980,, 1, 4, 15,, , 2427, 329, 197, 4, 15,,,,,,,,,,,,,,,,,,,,, 2427, 329, 197, 4, 15,,,,,,,,, ,,,,,, 397, 5078, 304, 4, 15,,,,,, 500, 15, 4,, 990, 397, 5078, 304, 4, 15, ,,,,, 500, 15, 4,, 990, 4, 15,,,, 500, 15, 4,, 990, 4, 15,,,, 500, 15, 4,, 990, 4, 15,,, 2427, 329, 197, 4, 15,,,,,,,,, 2427, 197, 4, 15,,, 5078, 304, 4, 15, 5078, 4, 15, 1, 837,, 1541,, 89,,,, 837,, 980,, 3416, 2427, 89, 1, 837,, 57,,,,,,,, 3416, 2427, 1, 837,,,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 837,, 1168,, 117,,,,,,,, 3416, 2427, 1, 89,, 117,,,, 3416, 2427, 1, 117,,,, 6877, 407, 6844,, 1, 57,,,, 6877, 6844, 1, 57,,,, 837,, 57,,,, 837,, 57,,,, 837,, 1168,, 117,,,,,,,, 3416, 2427, 1, 89,, 2427, 3416, 1, 837, 1168, 1, 837,,,,,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541, 837, 1, 980,, 1168,, 1541,, 837,, 980,, 1541,, 1168,, 837,, 980,, 1541,, 1168,, 980,, 837,, 1168,, 1541,, 980,, 837,, 1168,, 1541,, 837,, 980,, 1541,, 1168,, 837,, 980,, 1541,, 1168,, 980,, 837,, 1168,, 1541,, 980,, 837,, 1168,, 1541,, 837,, 980,, 1541,, 1168,, 837,, 980,, 1541,, 1168,, 980,, 837,, 1168,, 1541,, 980,, 837,, 1168,, 1541,, 837,, 980,, 1541,, 1168,, 837,, 980,, 1541,, 1168,, 980,, 837,, 1168,, 1541,, 980, 837, 1, 1168, 1541, 1, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 837,, 980,, 837,, 980,, 837,, 980,, 837,, 980,, 1168,, 1541,, 837,, 980,, 1168,, 1541,, 837,, 980,, 837,, 980,, 837,, 980,, 837, 980, 318, 1307, 868, 1083,,, 1, 332, 1322, 3292, 2017, 15, 5130, 5128, 1322, 15, 1, 2017, 1755, 1307, 1001, 1755, 5130, 1307, 1, 2017, 1307, 1001, 1755, 5128, 1307, 1, 318, 1001, 15, 5133, 1, 318, 1307, 15,, 1, 1322, 3292, 2017, 15, 1, 2017, 1755, 1307, 1, 2017, 1307, 1, 318,, 90,, 520,, 3117, 151, 1, 760,, 90,, 520, 3117, 1, 760, 15, 868, 1385,,, 324, 1, 1001, 5745, 1816, 1001, 3744, 3443, 1, 1001, 5743, 1816, 1001, 3744, 3443, 1, 1001, 15, 1687, 10855, 1001, 15, 1,, 1816,, 1, 3443, 15, 1095, 5745, 5743, 11446, 10536, 15, 1, 1001, 3443, 3573, 3744, 5745, 1816, 1, 1001, 3443, 3573, 5743, 1816, 1, 178,, 520,, 1211, 1518, 1, 178,, 520,, 1518, 1211, 1, 318, 5133, 1816, 1, 3292, 3573, 1095, 5130, 5128, 15, 1, 1385, 324, 1, 3573, 3744, 1, 3573,, 318,, 90,, 520,, 3117, 151, 1, 90, 520, 3117, 1, 868, 1083, 1, 332, 5130, 5128, 1, 1307,,,, 3117, 151, 760, 1, 3117, 760, 1385, 868, 324, 1, 5745,, 5743,, 178,, 520, 1211, 1518, 1, 178, , 520, 1518, 1211, 1, 324,, 3117, 151,, 901, 4, 264,,, 901, 4, 1639,, 1321, 3659, 2801, 4, 1866, 6960, 2801, 4, 1321,, 5632, 3283, 5633, 3659, 4, 4642,, 1866,, 3659,, 6960, 1866, 4, 901,, 1639, 901, 5048, 4, 631, 901, 4, 1321, 3659, 2801, 4, 5632, 3659, 901, 4, 264, 1321, 5632, 5633, 3659, 4, 4642, 1866, 5632, 1865, 1939, 4, 663, 3746,,, 1, 332, 477, 901,, 4, 5375, 5377, 4, 477, 1, 901, 663, 4, 4364, 5005, 663, 1, 1939, 1983, 1373, 477, 663, 1983, 1939, 1,, 1373, 477, 663, 1939, 1, 1865, 1939, 4, 1373, 1, 477, 901,, 1, 901, 663, 1, 1939, 1983, 1, 1939,, 90,, 520, 230, 2183, 1, 130,, 90,, 520, 2183, 1, 130, 1373, 663, 3574,,, 324, 1, 4, 5005, 4364, 663, 4,, 1, 1373, 663, 1983, 7447, 477, 1983, 1, 1373, 663, 1983, 7447, 477, 1983, 1, 1373, 4,,, 1,, 477, 1813, 5377, 5375, 1639, 477, 1, 4, 663, 1639, 5005, 4364, 663, 1, 178,, 520,, 1518, 1211, 1, 178,, 520,, 1211, 1518, 1, 1865, 1939,, 4, 1, 901, 1813, 5375, 5377, 477, 1, 3574, 324, 1, 901,, 1939, 1983, 1, 1939,, 90,, 520, 230, 2183, 1, 90, 520, 2183, 1, 663, 3746, 1, 332, 5375, 5377, 1, 663,, 230, 2183, 130, 1, 2183, 130, 3574, 663, 324, 1, 5005, 4364, 1, 178,, 520,, 1518, 1211, 1, 178,, 520, 1211, 1518, 1, 324,, 230, 2183, 901, 4, 1639,, 901,, 264,,, 1321, 4, 901, 3283, 4,,, 1321, 901, 4, 1866,, 901, 2001, 4, 1866,, 901,, 1866,, 901,, 2801,, 901, 5048, 4, 2801, 1639, 631, 4, 1321, 901, 2001, 3283, 901, 264, 1321, 3283, 4, 1866, 901, 2801, 1, 50,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 84,,,,,,,,, ,,,,,,, 50,,,,,,,,,,,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,, 90,, 520,, 151,, 1211,, 90,, 520, 151, 1, 1211,, 520,, 90,, 760, 151, 520, 751, 1, 520, 90, 1, 151, 760, 751, 520, 1, 90,, 520,, 90,, 520,,,, 90,, 520, 90, 1, 2307, 230, 1,, 3444, 3442, 1, 3930, 230, 2307, 1, 230, 3442, 3444, 1, 3930,, 90, 520, 1, 2526, 151, 1211, 1518, 1, 90, 520, 1, 1211, 1518, 2526, 151, 1, 2307, 230, 3930,, 1, 3444, 3442, 2307, 3930, 1, 3442, 3444, 2307, 230, 1,, 2307, 1, 230,, 90, 520, 1, 90, 520, 1, 2307, 230,, 300, 1, 130,, 300,, 130,, 3927, 760, 3932, 520, 1, 3927, 3932, 1, 3927, 760, 3932, 520, 1, 3927, 3932, 1, 1211, 1518, 1, 2526, 520, 300, 130, 1, 2621, 130, 3926, 1865, 1, 130, 3925,, 1, 2621, 1865, 3926, 1, 130, 3925, 1, 3926, 1865, 2621, 130, 1, 3925, 130, 1, 1865, 3926, 2621, 1, 3925, 2526, 520, 1, 1211, 1518, 300, 130,,, 1,, 3925,,,,, 300, 130, 1, 151, 1211, 1, 151, 1211, 1, 760, 151, 520, 751, 1, 151, 760, 751, 520, 1, 3444, 3442, 3930, 230, 1, 3442, 3444, 3930, 1, 2526, 151, 1211, 1518, 1, 1211, 1518, 2526, 151, 3930, 230, 3444, 3442, 3930,, 3444, 1, 300,, 130,, 300, 130, 1, 3927, 760, 3932, 520, 1, 3927, 3932, 1, 3927, 760, 3932, 520, 1, 3927, 3932, 1, 1211, 1518, 2526, 520, 2621, 130, 3926, 1865, 2621,, 3926,, 2621, 130, 1865, 3926, 2621, 2526, 520, 1211, 1518, 901, 4, 1639,, 3446,, 901,, 1639,, 3446, 2001, 4, 901, 1321, 4, 1866,, 2001, 901, 4, 1866,, 901, 1321, 4, 1866,, 901,, 1866,, 901,, 3446,, 1639, 901, 4, 3446,, 1639,, 2001,, 901, 1321, 4, 2001, 901, 4,, 1321, 4, 901,, 2991, 1518, 1, 520,, 151,, 90, 1518, 1, 151, 2526, 1, 90, 1518, 1, 2526,, 151,, 2991, 1518, 1, 151, 2991, 1518, 1, 520,, 90,,,, 2991, 1518, 901, 4, 1639,, 3446, 901, 4, 1639,, 3446, 2001, 1321, 4, 1866,, 2001,, 1866,, 1321, , 1866,,,, 901, 3446, 4, 1639, 901, 3446, 4, 1639,, 2001, 1321, 4, 2001,, 1321,, 2991, 1, 520, 151, 1, 1518,, 151, 2526, 1, 1518,, 2526, 151, 1, 2991,, 151, 2991, 1, 520,, 2991, 4, 3922,, 2001,, 3922,, 2001, 2619, 4, 1639,, 1321,, 2619,, 1639,, 1321, 2619, 4, 1321,, 2619,, 1321,, 3922, 2001, 4, 3922,, 2001,, 3922,,, 2619, 4, 1639,, 2619,, 1639, 2619, 4,, 3922, 520, 130, 1, 2526,, 520,, 151,, 2621, 520, 1, 1211,, 2621, 520, 1211, 1, 520, 130,, 1, 2526,, 130,, 151,, 2621, 520,,, 130, 4, 2001,,, 2619, 1639, 4, 1321, 2619, 1639, 4, 1321, 2619,,,, 4, 2001,,, 2619, 1639,,, , 520, 1, 2526, 520, 151, 2621, 1, 1211, 2621,, 520, 2526, 151, 2621, 2991, 7909, 1, 332,,,,,,, 520, 751, 90, 1, 760, 151, 520, 1, 90,,,, 2991, 5749, 1, 2991,, 2307, 751, 1, 230, 151, 1, 520,, 2307,, 151, 230, 1, 520, 90, 1, 4416, 2183, 90, 1, 2183, 2526, 5749, 1, 324,,,,,, 151, 760, 1,, 151, 1, 5109, 5749, 1, 7943,, 178,, 4416, 1518, 1, 520,, 1211, 1518, 1, 178,, 1518, 4416, 520, 1, 1518, 1211, 1, 4625,, 151, 230,, 1, 751, 230, 1, 4625,, 230, 151, 1, 230, 751, 2991, 7909, 1, 147,,,, 2307, 751, 230, 151, 2307,, 230, 4416, 2183, 1545, 61, 2156,, 3923,, 3931,, 1545,, 2156,, 3923, , 3931, 1957, 61, 1545,, 2451, 3445, 61, 1957,, 1545,, 2451,, 3445,, 1545, , 531, 1407, 5104,, 1545, 2156, 3046, 61, 3445, 2451, 7908, 61, 1545,, 5484, 1565, 1545, 7684, 3931, 61, 3923,, 1072, 1545, 61,,, 4631, 1545, 61, 3046,, 1545,, 3046, 1545, 61,,, 2156,, 3931, 1545, 2156, 3923, 61, 3931, 1957, 1545, 61, 2451,, 1957, 1545, 2451, 3445, 61, 1545, 531, 5104, 1407, 1545, 5484, 1565, 1072, 4631, 1545, 61, 3046, 1545,,, 61,, 531, 1407, 5104, 2156, 3046, 2451, 7908, 5484, 1565, 7684, 3931, 61, 531, 5104, 5484, 90, 1, 332,,,,,,, 751, 520, 90, 1, 760, 151, 520, 1, 90,,,,, 1211, 1, 90, 520, 1, 230, 151, 1, 520,, 151, 230, 1, 520, 90, 1, 520, 151, 90, 1, 324,,, ,,, 151, 760, 1,, 151, 1, 178,, 520,, 1518, 1211, 1, 178,, 520,, 1211, 1518, 1, 4625,, 151, 230,, 1, 4625,, 230, 151, 1, 90,, 95,,, 90, 520, 230, 151,, 520, 151, 901, 4, 1639,, 2801,, 901,, 1639,, 2801,, 901,, 1321, 1866, 4, 2001,, 901,, 1866, 1321, 2001, 4, 901,, 2001, 1321, 1866, 4, 901, , 5048, 703, 4, 1639, 2801, 631,, 264, 4, 901,,,,,,,, 1321, 1866, 5048, 703, 2801, 90, 1, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 257, 1, 90,, 151,, 257,, 90,,,,,,,,,,,,,, 257,, 90, 257, 1, 90,, 95,,, 90, 1, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90, , 151, 90, 1, 151,, 90,,,,,,,,,,,,,,,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 257, 1, 90,, 151, 257, 1, 90,,,,,,,,, ,,,,, 257,, 90, 257, 1, 90,, 95,,,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 90, 1, 151, 90, 1,,,,,,,,,,,,,,, 151,,,,,,,,,,,,,,,, 257,,, , 151,,,,,,,,,,,,,,,, 257,,,, 95,,,,,,,, 151,,,, 257,,,, 151,,,,,,,,,,,,,,, , 257,, 151,,,,,,,, 257,,,, 151,,,,,,,, 257,,,, 95,,,,,,,, 151,,,, 257,,,, 151,,,,,,,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 257,, 90,, 151,, 257,, 90,,,,,,,,,,,,,, 257,, 90,, 257,, 90,, 151,, 90, 151, 1, 90,, 151,, 90,, 151,, 90,, 95, 90, 1,,,,, 151,, 90, , 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 257,, 90,, 151,, 257,, 90,,,,,,,,,,,,,, 257,, 90,, 257,, 90,, 151,, 90,,,, 151,, 90, 151, 1, 95, 90, 1,,,,, 151,,,,,,,,,,,,, 257, 1, 151,, 257,,,,,, 95,, 151,,, ,,,,,,,,,,,, 257, 1, 151, 257, 1,,,,, 95, 151, 1,,,,,,,,,,,,,,,,, 257,,,, 151,,,,,,,,,,,,,,,, 257,,,, 95,,,, 151,,,, 257,, 151,,,,,,,, 257,,,, 151,,, ,,,,, 257,,,, 95,,,, 151,,,,,,,,,,,,,,,,,, 257, 151, 1, 257,,,,, 151, 1,,,, ,,,,,, 257,,, 1,, 90, 1, 95,,, 90, 1, 151,, 90,, 151,, 90,, 151,, 90,, 151, , 90,, 151,, 90,, 151, 90, 1, 151,, 90,,,,,,,,,,,,,,,, 95,,,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 90, 1, 151, 90, 1,,,,,,,,,,,,,, , 95,,,, 151,,,, 257,,,, 151,,,,,,,,,,,,,,,, 257,, 95,,,, 151,,,, 257,,,, 151,,,,,,,, 90,, 151,, 90, 151, 1, 90,, 151,, 90,, 151,, 90,, 95, 90, 1,,,, , 151,, 90,,,, 151,, 90, 151, 1, 95, 90, 1,,,,, 95,, 151,, 95, 151, 1, 95, , 151,,, 257, 95, 1, 151, 15, 1307, 868, 1083,,, 1, 332, 15, 4643, 4633, 1322, 2170,, 15, 1, 1755, 1322, 1307, 7687, 1755, 1322, 1307, 1, 1755, 1322, 1307, 7687, 1755, 1322, 1307, 1, 1001, 15, 1095, 1001, 15, 1,, 1307, 1, 1322, 15, 8082, 4643, 4633, 1322, 1, 4363, 1755, 1307, 1,,, 1001, 2275, 15, 1095, 1, 38,, 1820,, 38,, 1820,, 2275, 1816, 1, 2275, 8082, 4643, 4633, 1322, 1, 324,, 868, 1083, 1, 332, 4643, 4633, 1, 4363, 1755, 1, 2275, 1095, 1, 38,, 1820,, 38,, 1820,, 324,, 4, 264,,, 2777, 4, 1561,, 2566, 2777, 4, 7912,, 3283, 2777, 4, 1222,, 7686,, 1222,, 707, 2777, 5486, 4, 264, 3283, 2777, 1222, 1, 137,,,,,, 50,,,,,,,, 1439, 50, 1,, 1439, 1, 50, 1439, 1,, 50, 1,,,,, 2064,,,,,,,, 84,,,,,,,, 361,,,,,,,, 50, 1164, 1,, 50, 1, 1164, 50, 1,, 1164, 1, 50,,,, 3110,,,,,, 4,,, 1223,, 1, 137, 361,, 4, 3633,,, 1, 4,,,,,,,,,, 3858, 4,, 1, 2064, 3110,, 4, 1,,, 1242, 4,, 1, 4, ,,,, 1223,, 1, 137, 361,, 4, 3633,,, 1, 4,,,, 3858, 4,, 1, 2064, 3110,, 1242, 4,, 1, 3288, 10667, 10737, 1, 332,,,,, 2064, 3288, 1, 7568, 2064, 1, , 2174, 1, 7430, 178, 1, 7430,, 3288, 178, 1, 755,,, 3288, 1, 7761, 11440, 3288, 7761, 3366, 1951, 85, 1, 147, 137, 5642, 61, 2156,, 3931,, 1957,, 5642,, 2620, 3573, 61, 3248, 1407, 5350, 61, 7408, 7399, 6747, 1072, 5357, 5537, 61,, 10695, 5357, 4631, 2017, 61, 5642, 2156, 61, 3931,, 1957, 5642, 2620, 3573, 3248, 5350, 1072, 4631, 2017, 61, 531, 1407, 5104, 3248, 10402, 5441, 5438, 10486, 10553, 1, 10664,, 332,,,, 2064, 3288, 1, 7568, 2064, 1,,, 2174,, 3288, 5136, 1, 3288, 257, 1, 755,,, 3288, 1, 11418, 7569, 3288,, 4522, 6711, 1938, 85, 1, 95, 361, 10476, 7686, 4, 6706,, 5643, 11404, 4, 3743, 10471, 7395, 2171, 10441, 10482, 897, 3633, 3283, 10415, 7386, 4, 2777, 7408, 7395, 6857, 10438, 10436, 10400, 1, 1868,,,, 233,,,, 1868,, 233,, 1623,, 1868, 233, 1, 137,,,,,, 1623,, 233,, 1868,, 233,, 1868,,,,,, 233,,,, 3575,, 887,, 1623,, 887,,,, 233,,, 887, 1, 1868,,, , 233,, 1868,, 233,, 1868,, 1267,,,,,,,,,,,,,, 233,, 1868,, 1267,, 233, 1868, 1, 1267,, 1868,, 1267,, 1868,, 1267,, 233,, 1267,, 233,, 1267,,,,,,, , 1623,, 1267,, 233, 1267, 1, 7458, 137, 1, 1267,,,,,,,,,,,,,,,, 233, 1868, 1267, 1, 1868,, 1267,,,, 1868,, 1267, 233, 1, 1267, 233, 1, 1267,,,,, ,, 1623, 1, 7458, 137, 1267, 1,, 5449, 44, 1,, 7460, 1, 44,, 233, 44, 5449, , 1,, 887, 1, 5449, 44, 1, 7460,, 44,,, 5449,, 1,, 887, 1, 72,,,,,,,, 230,, ,,,, 50,,,,,,,,, 673, 230, 72, 50, 673, 230, 72, 1, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50,,,, 72,,,,,,,, 230,,,, 50,,,,,,,, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50, 673, 230, 72, 50, 673, 230, 72, 1, 50,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 230,,,,,,,,,,,,, ,,,,,,, 50, 673, 230, 72, 50, 673, 230, 72, 1, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50,,,, 72,,,,,,,, 230,,,,,, 50,,,,,,,, 673, 50, 72, 230, 673, 50, 72, 230, 1, 50, 673, 230, 72, 50, 673, 230, 72, 1, 50,,,, 72,,,,,,,, 230,,,, 50,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 72,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,, 230,,,,,,,,,,,,,,,,,,,, 50,,,,, 1439, 1,, 50, 1,, 1439, 1,, 50, 1,, 1439, 1,, 50, 1,, 1439, 1,, 50, 1,,,,,,,,, 1439, 50, 1,, 1439, 1,, 50, 1,, 1439, 1,, 50, 1,, 1439, 1,, 50, 1,, 1439, 1, 50 ], nrs := [ 181, 16, 360, 16, 328, 16, 296, 16, 256, 16, 16, 16, 32, 8, 8, 168, 16, 16, 16, 32, 8, 8, 136, 8, 8, 168, 8, 8, 136, 16, 16, 16, 32, 8, 8, 40, 16, 16, 16, 32, 8, 8, 8, 8, 8, 40, 8, 8, 12, 8, 4, 8, 98, 4, 2, 2, 2, 2, 4, 360, 8, 4, 8, 65, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 13, 2, 2, 2, 2, 2, 2, 2, 2,, 2,, 2, 292, 8, 4, 8, 34, 4, 2, 2, 2, 2, 4, 296, 8, 4, 8, 4, 2, 2, 2, 2, 2, 2, 2, 2,, 2,, 2, 256, 2, 2, 2,, 2,,, 2,,, 8, 32, 2, 2, 2, 2, 4, 2, , 2, 5, 2, 2, 2, 2, 2, 2, 2, 2, 2, 36, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 2, , 2, 32, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 36, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 4, 2, 4, 8, 16, 8, 4, 2,, 2, 129, 2, 2, 2,, 2,,, 2,,, 8, 32, 2, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2,, 2, 32, 2, 2, 2, 2, 4, 2, 4, 2, 4, 8, 16, 8, 4, 2,, 2, 16385,, 2,, 2,, 2,, 2,, 2, 8, 2, 2, 4, 2, 2,, 2,,, 2,, 4,, ,, 2,,, 2, 4, 2, 4, 10,, 29,, 3, 5,, 3, 5, 4, 2, 4, 106, 2,,, 2,,, 2, 2,, 2,,, 2,,,,,,,,,, 2,, 2,, 4, 2, 4,,, 2,,,, 2,,, 28, 2,, 2,, 2, 4, 4,, 2,, 2, 24, 2, 2, 2,, 4, 2, 34, 4, 4, 2,,, 2,,,, 3,,,,,,,,,,, 2, 2,, 2, 2,,, 2, , 2, 2,,, 2,, 2,,, 2, 2, 2,,,,,,, 2, 4, 2, 4, 42, 4, 2, 4, 10, 4, 6, 4, 130, 2,,, 2,, 2,, 2, 2,, 2, 2,, 2,, 2,,,, 2,,,, 2,,, 8, 4, 2, 4, 11, 4,, 2, 2, 2, 9, 2,, 4,, 2, 9, 4, 2, 4, 6,, 2,,, 2,,,, 4,, 2,,, 2,,,, 116,, 2, 2,,, 2,, 2, 2,,, 4,, 2, 2, 2, 41, 4, 6, 4, 113, 2,,, 2,, 2,, 2, 2,, 25, 2, , 4,, 2, 22, 2,, 2, 5, 2,, 2, 100, 2, 2, 2,, 2,, 4,, 2,, 2, 2,, 4,, 2,, 2, , 109, 4,,, 2,, 4,, 2,,, 4, 2, 2, 2, 4, 245,,,,,,,, 2,, 2, 2,, 8, 4, 4, 2, 2, 4, 2,, 4,,, 2,, 2, 2, 2, 2, 152,,,,,,,, 2,, 2, 2,, 2, 4, 2,, 4,, 138, 4, 8, 5, 2, 2,, 2,,,,,,,,, 4,, 2, 4, 2, 2, 2, 2, 2,, 2, 25,, 2, 2,, 2,,,,,, ,,, 4,, 2, 4, 2, 8,, 2,, 2,, 2,, 2,, 2,, 3, 5,, 3, 5, 4, 4, 4, 8,, 77, 2,, , 2,,, 2,, 2,,,, 2,,, 4, 4, 4,, 2,, 2, 12, 2,, 2,, 2,, 2,, 2, 4, 4, 8, 2, 2, 2,, 16, 4,,, 2,,,,,,,,,,, 2,, 2,,,, 2,, 2,,,,, 4, 2, 2, 2, 2,, 2,,, 2,,, , 2,,,,,,,,,, 4, 2, 2, 2, 4, 2, 4, 4, 4, 4, 4, 4, 4, 4,,,, 2,,,,,,, 2,,,,,, ,,, 2, 8,,, 2,,,, 8,, 2, 4, 2, 2, 2,,, 8, 2,, 2,, 2,,,,,,,,,,,,,,, 2,,,, 2, , 2,,,,, 4, 2, 2, 2, 2,, 2,,, 2,,,, 2,, 4, 2, 2, 2, 4, 2, 4, 4, 4, 4, 4, 4, 4, 4,,,, 2,,,,,,, 2,,,, 8,,, 2,,,, 8,, 2, 4, 2, 2, 2, 8, 2,, 2, 2,,,,,,, ,,,,, 4, 2, 8, 4, 8, 4, 8, 4, 4, 2, 2, 4,, 2,,,, 2, 2, 2, 8, 4, 5,, 2, 4, 4,, 2, 4, 8, 4,, 7, 4, 6, 4, 6, 4, 4,, 2, 4, 2, 2,,, 2, 2, 2,, 2, 4,, 4, 2, 2, 2, 2,, 2,,, 2,,, 4, 4, 6, 4, 6, 4,, 4, 4, 4, 4,, 5, 4, 2,, 2, 4, 4, 4, 8, 4, 8, 4, 4, 4, 2,,, 4, 2,, 4, 4, 4,,, 2, 4, 2, 4, 2, 4, 2,, 4, 2, 2,, , 2, 2, 2,, 2,,, 4, 2, 4, 2, 4,, 8,,, 4,, 8,,, 2, 2, 2, 2, 2,, 2, 16, 4, 4, , 2,, 2, 30, 4, 8, 4, 4, 4,, 2,, 2, 20,,, 2, 2, 2, 2, 2,, 2, 32,, 2,,,, 2, 2, 2,, 2, 2, 4,,,,,,,, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2,, 2,,,, 2, 2, 2,, 2, 2, 4,,,,,,,, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2,,,,, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 4,,,,, 2, 32, 8, 8,, , 2,,, 2,,,,, 2,,, 2,,,, 4,,, 2, 2,,,,,,,,,,,,, 4,,,,,,,,, 2, 2, 2, 2,,, 2, 2,,,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 2,, 2,, 2,, 2,, 8, 16, 8, 16, 2, 4, 2, 4, 2, 4, 4, 2, 4, 2, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 256, 2,,,,, 4,, 2, 4, 8, 2, 4, 2, 4, 2, 4, 4, 8, 2, 2, 2, 8, 4, 8, 8, 16, 8, 16, 2, 4, 8, 4, 8, 128, 2,,, 2,,,, 2, 4, 8, 2, 2, 2, 8, 4, 8, 8, 16, 8, 16, 2, 4, 8, 4, 8, 128, 2,, 2, 2,, 4,, 2, , 2,, 2, 2,, 2,, 2,, 2,, 8, 16, 8, 16, 2, 4, 2, 4, 2, 4, 4, 2, 4, 2, 4, 8, 16, 8, 16, 256, 2,,,,, 2, 4, 8, 2, 4, 2, 4, 2, 4, 4, 8, 128, 2, 2,,, 4, 8, 128,, 4,,, 4, 16, 8, 16, 8, 16, 8, 2, 4, 2, 4,, 2,, 2, 16, 8, 16, 8, 16, 8, 8,,,,,,,,, 16, 8, 16, 8, 16, 8, 2, 4, 2, 4, 4, 16, 8, 16, 8, 16, 8,,,, 4, 16, 8, 16, 8, 2, 4, 2, 4,, 2,, 2, 16, 8, 16, 8, 8,,,,,,,,, 16, 8, 16, 8, 2, 4, 2, 4, 4, 16, 8, 16, 8,,,, 2, 2, 2,,,, 2,,, 2, 4, 2, 4,, 2,, 2, 8, , 2,, 2, 8, 4, 2, 2, 2,,,,, 8, 4, 8, 4,, 2, 2, 2,,,, 2,,, 2, 4, 2, 4,, 2,, 2, 8,, 2,, 2, 2, 2, 2,,,,, 8, 4, 8, 4,,, 2, 2, 2,,,, 2,,, 8, 4, 2, 2, 2,,,, ,, 2, 2, 2,,,, 2,,, 2, 2, 2,,,,,,,, 2,,, 2,, 2,, 2,, 2, 8, 16, 8, 16, 2, 4, 2, 4, 2, 4, 2, 4, 8, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 256, 3,, 2, 2, 2,, 2, 4, 2, 4, 2, 4, 4, 8, 4, 8, 2, 2, 2, 8, 8, 16, 8, 16, 4, 8, 2, 4, 8, 128, 3, 2,,, 2,, 4, 8, 2, 2, 2, 8, 8, 16, 8, 16, 4, 8, 2, 4, 8, 129,,,, 2,, 4,, 2, 8, 16, 8, 16, 2, 4, 2, 4, 2, 4, 2, 4, 8, 8, 16, 8, 16, 256, 2, 2,, 2,, 2, 4, 2, 4, 2, 4, 4, 8, 128, 2, 4,, 128,,,, 8, 8, 16, 8, 16,, 2,, 2, 2, 4, 2, 4, 8, 16, 8, 16, 8, 16, 8, 16, 4,, 2,, 2,, 2,, 2, 8, 16, 8, 16, 8, 16,, 2,, 2, 8, 8, 16, 8, 16, 8, 16, 8, 16,, 2,, 2, 2, 4, 2, 4, 8, 16, 8, 16, 4,, 2,, 2,, 2,, 2, 8, 16, 8, 16,, 2,, 2, 8, 8, 16, 8, 16,, 3,, 2,, 2, 2, 4, 2, 4,, 2,, 2, 8,,,,, 2,, 2, 4, 8, 4, 8, 4, 8,, 2,, 2,, 2, 2, 4, 2, 4,, 2,, 2, 8,,,,, 2,, 2, 4, 8, 4, 8, ,,,,,, 2,, 2, 4, 8,,,,,, 2,, 2, 448,, 33,, 234,, 31,, 658,, 29,, 228,, 27, , 646,, 25,, 222,, 23,, 652,, 21,, 216,, 19,, 416,, 120,, 325,, 117,, 330, , 105,, 331,, 104,, 324,, 108,, 321,, 105,, 322,, 97,, 323,, 96,, 162, 4,, 4,, 4, 2, 2, 2, 4,,, 2,,,, 2,, 90, 4, 2, 4, 218, 4, 2, 2, 2, 2, 5, 2,, 2, 4,, 3,, 372, 4,, 4,, 4, 2, 2, 2, 198, 4, 2, 2, 2, 2, 5, 2,, 2, 225, 2,, 2, 2, 2, 2, 2, 48,,,,, 55, 2,, 2, 81, 2,, 2, 2, 2, 2, 2, 32,,, 39, 2,, 2, 32, 2, 2, 2, 2,, 2,, 2, 4, 2,, 2,,, 17, 2, 2, 2, 2, 2, 2, 2,, 2,, 2, 4, 2,, 2,, , 8, 2, 2, 2, 8, 2, 2, 2, 2, 2, 2, 66, 4, 2, 2, 2, 2, 4,, 2, 2, 2,,,, 4,, 4, 88, 2, 2, 4, 2, 2, 202, 4,, 4,, 4, 4, 2,, 2, 5,, 3,, 356, 4, 2, 2, 2, 2, 4,, 2, 2, 2,, 194, 4,, 4,, 4, 4, 2,, 2, 225, 2, 2, 2, 2,, 2,, 2, 48,,,, , 55, 2,, 2, 64, 2, 2, 2, 2,, 2,, 2, 32,,, 39, 2,, 2, 33, 2,, 2, 2, 2, 2, 2, 2,, 2, 5,,, 2, 2,, 2, 9, 2,, 2, 2, 2, 2, 2, 2,, 2, 5,, 2, 2,, 2, 2, 2,, 2, 8, 2, 2,, 2, 64,,, 4,, 4, 2, 4, 2, 4, 146, 4, 2, 4, 18, 4, 2, 4, 448, 8, ,, 4,, 4, 432, 8, 8, 8, 8,, 3, 4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,, 2, 4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 2,, 3, 4, 4, 8, 8, 8, 8, 2, 4, 4, 4, 2, 4, 2,, 2, 4, 4, 8, 8, 8, 8, 2, 4, 4, 4, 2, 4, 8, 8, 8, 8, 2, 4, 4, 4, 2, 4, 8, 8, 8, 8, 2, 4, 4, 4, 2, 4, 8, 8, 8, 8,,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,, 2, 8, 8, 8, 8,,, 4, 4,, 4, 4, 64,, 3,, 148, 4, 2, 4, 468,, 3,, 450,,, 2, 131,, 39, 4, 2, 4, 42, 4, 2, 4, 36,,, 33,, 384,, 41,, 166,, 39,, 462,, 37,, 140,, 19,, 472,, 21,, 166,, 19,, 466,, 17,, 136,, 23,, 264,, 86,, 231,, 83,, 232,, 80,, 229, , 77,, 226,, 74,, 227,, 71,, 226,, 68,, 225,, 65,, 224,, 3,, 3, 2,, 2,, 2, , 2, 338,,, 2, 2, 5, 2,, 2, 132,,, 5, 2,, 2, 192,,,,, 6, 2, 2, 2, 64,,, 6, 2, 2, 2, 32,, 5, 2, 2, 2, 32,, 4, 2, 2, 2, 256,, 3,, 3, 2,, 2,, 2,, 2, 322, ,, 2, 2, 132,,, 224,,, 69,, 33,, 64,, 47,, 27,, 43,, 385,, 40,, 25,, 37,, 1154,, 35,, 15,, 31,, 261,, 28,, 13,, 25,, 770,, 22,, 10,, 20,, 130,, 16,, 7,, 13,, 386,, 10,, 4,, 8,,, 4,,,,,, 128,, 18,, 172,, 16,, 168,, 16,, 161, , 16,, 165,, 13,, 160,, 11,, 158,, 12,, 149,, 10,, 159,, 14,, 130,, 10,, 156,, 12,, 119,, 10,, 153,, 9,, 104,, 9,, 156,, 8,, 93,, 8,, 21,, 10,, 80, , 8,, 20,, 8,, 69,, 8,, 17,, 5,, 64,, 3,, 14,, 4,, 53,, 2,, 11,, 6,, 38,, 2,, 8,, 4,, 27,, 2,, 5,,,, 16,,,, 4,,, 5,,, 1025,, 51,, 16,, 39,, 12,, 44, , 15,, 33,, 22,, 13,, 31,, 12,, 32,, 11,, 25,, 10,, 10,, 24,, 5,, 22,, 3,, 18,, 3,, 15,, 6,, 4,, 8,, 2,, 6,, 2,, 2,,,, 2,, 2,, 2,, 2, 2,,, 2,,, 2,, 4, ,,,, 2,,, 2,,,, 2,,, 2,, 4,,, 4,, 2,, 2, 4, 2,,,, 4,,,, 2,,, 2,, 4,, 4,,,, , 3,,,,,,,,,,, 2,, 2, 2,,,,,, 2,, 2,,,,, 2,, 2, 2, 2,,, 2,, 4, 2, 4,, 4, 2, ,,,,,,, 4,,,,,,, 2,,,,,, 11,, 7,, 4,,, 10,, 6,, 4,,, 6,,, 2, 4,,,,,,, 4, 2, 2,,,, 2,, 2,, 4,,,,,,, 3,,,,,, 2,, 2,,, 4,, 2,, 9,,,, 2,,, 2,, 2,,, 2,, 7,, 3,,,, 2,, 2,,,, 2, 2,,,,,, 4, 2,, 2,, 6,, 8,,,, 3,,,, 2,,,,,,, 3,, 2,,, , 3,,, 2,, 3,,,, 3,,,,,,,,,,,, 2,,,,,,,,,,,,, 2,, 2,, 2, 2,, 2,,,,, 2, 4,, 2, 2,,, 2, 4,,,,,,,, 2,,,,,, 2,,, 2, 2, 4, 2,, 2, 4,, 2, 4,,, 2,, 2,, 5,,, , 3,,,,,,,,, 2,, 2,, 2, 2,,,,, 2, 2, 2, 4,,, 2,,, 2, 2,,, 2,,, 2, 2, 2,, 2, 2, 4,, 2,,,,, 2, 4,, 2,,,, 2, 13,, 6,, 5,,, 10,, 6,, 4,,, 6,, 2,,, 4,,,, , 2, 4, 2, 2,,, 4,,, 2,, 2,, 2,,,, 3,,,,,, 2,, 2,,, 4, 2, 11,,,, 2,,, 2,, 2,,,, 9,, 2,,,,, 2,, 2,,,, 2, 2,,, 2,, 8,, 6,, 3, 2,, 2,,,, 2,,,,,, 3,,,,, 4,,,, 4,, 2,, 2,,,,, 2,,,, 2,,,,, 2, 2,,,,,,, 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, 364, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 296, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 546, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8,, 6,,,, 4,, 17,, 4,,, 4,, 16,,,, 3,,,,, 18,,, 2,,,,, 18,, 6,, 16,, 4,, 16,,,, 17,,, 16,,, 2, 2,,, 2,,,, 2, 2,,, 2,, 2,,, 4,,,,, 2,,, 4,,,,, 2,,,,, 2,,,,, 2,,,,, 2, 2,, 2, 2, 2,,, 2,, , 2,,,,, 6,, 20,, 4,, 20,,,,, 20,,, 60,,,,, 16,,, 16,,, 4,,,,, 3,,,,,, 2,,, ,,,,, 2,,,,,,,,,,,,,,,,,, 4,,,,,,, 2, 2,, 3, 2,,,,, 5,,, 21,,, 16,,,,, 16,, ,,, 90,,,,, 2,,,, 2,,,,, 2,,,,,,,,,,,, 8,, 2,, 16,,, 16,,,,, 16,,, 48,,,,, 16,,, 16,,,,,,,,,,, 2,,,,,,,,,,,, 8,, 4,,,, 6,, 6,,,,,, 5,, 5,,, 4,, 5,,, 6,, 2,, 5,, 3,,,, 6,,,,, 4,, 12,,,,, 3,,, 2,,, 2,, 3,,, 5,,,, 8,,, 5,,, 3,, , 4,, 2,, 2,,, 6,,,, 5,,,, 2,, 2,,,, 5,, 4,,, 5,, 4,,,, 4,, 3,, 4,, 3,, 4, , 6,, 2,,, 4,,,, 4,, 8,,, 2,, 2,, 4,, 4,,, 6,, 4,,, 2,, 4,,, 2,, 4,,, 4,, 4,, 3,, 2,, 3,, 2,,,,, 3,,,,,, 3,,,,, 2,,,, 2,,, 3,,,, 2,,,,,,,,,,,,,, 2,, , 2,,,,,,,,, 2,,,,,, 2,,,,,,,,,,,,,,,, 3,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,, ,, 2,,, 2,,, 3, 2,, 2,, 2, 5, 2,,,, 3,,,, 18,, 11,, 10,,, 8,, 8,,, 6,,, 3,, ,, 5,,, 2,,, 4,,,,,,,,, 2,, 4, 5, 2, 2,,, 9,,, 8,,, 8,, 13,, 6,,,,, 2,,, 4, , 6,,,, 2,,, 2,, 5,,,, 3,,, 2,, 4,, 2, 2,,,,, 4, 2,, 2,,,,,,,,,, 2,, 5,, 2, , 4,,,, 3,,,, 5,,,,, 6,,, 3,,,, 3,, 2,, 2,,,, 2,, 2,,,, 3,,,, 2,,,, 3,,,, 4,, 2, 2,, 6,,, 2,,,,,,,,,, 2, 3,, 3,,,,, 2,,,, 3,, 2,,,,, 2,,,, 2,,, 2, 2, 2,,,,,,,,,, 2,,,,,,,,,, 2,,,,, 3, 2,, 2,, 2, 5, 2,,,, 3,,,, 18,, 11,, 10,,, 16,,, 6,,, 4,, 5,,, 2,,, 4,,,, 3, 2,, 4, 5, 2, 3,,, 8,,, 30,, 8,, 3,, , 4,, 6,, 2,,, 2,, 5,,,, 7,, 4,, 2, 2,, 5, 2,, 2,,,, 2,,,,, 7,, 2, 2, 2,, 3,, 2, 2,,, 5,,,,, 3,, 2,,,, 2,, 2,,,, 2,,,,, 2,,, 2,, 2, 2,, 2,,,,,,,,,,, 2,, 8,, 22,, 6,, 25,, 6,, 22,, 4,, 20,, 8,, 18,, 6,, 19,, 8,,, 15,, 6,,,, 15,, 22,, 23,, 21,, 17,, 18,, 17,,,, 15,,, 15,, 4, 2,, 2,, 6,, 9,, 6,, 6,, 4,, 5,, 8,, 2,, 6,, 3,, 8,,, 6,,,, 7,, 8,, 5,, 2,, 3,, 2,,, 2, 7,, 21,, 6, , 23,, 5,, 21,, 4,, 18,, 7,, 17,, 6,, 17,, 7,,, 14,, 6,,, 14,, 21,, 22,, 20,, 16,, 17,, 16,,,, 14,,, 14,, 3, 2,, 2, 2,, 5,, 6,, 4,, 4,, 7,, 2,, 6,, 2,, 7,,, 6,,, 7,, 8,, 5,, 2,, 3,, 2,,,, 58,,,, 26,,,, 23,,,, 26,,,, 42,, 27,, 65,,,, 26,,,, 23,,,, 25,,,, 33,, 25,, 40, 2,, 2, 3, 2,, 2, 18,, 28,, 30,, 27,, 82,,,, 25,,,, 23,,,, 25,,,, 22,, 55, 2, 22, 2, 21, 2, 22, 2, 37, , 23,, 56, 2, 22, 2, 21, 2, 21, 2, 28,, 21,, 11, 2,, 2, 2,,, 2, 18,, 24,, 25,, 24,, 74, 2, 21, 2, 22, 2, 22, 2, 2,, 4,, 14,, 2,, 17,, 4,, 14,, 2,, 12,, 4,, 12,, 2,, 13,, 6,, 5,, 4,, 4,, 6,, 4,, 12,, 13,, 13,, 9,, 10,, 9,, 6,, 4,, 5,, 4,, 2,, 2,,, 3,, 4,, 2,,,, 3,, 2, 2,,, 2,, 2, 3,, 13,, 2,, 15, , 3,, 13,, 2,, 10,, 3,, 11,, 2,, 11,, 5,, 4,, 4,, 4,, 4,, 4,, 11,, 12,, 12, , 8,, 9,, 8,, 5,, 4,, 4,, 4,,,, 2,, 2,, 2,, 2,,, 2, 2,,, 2,,, 5,, 14,, 14, , 12,, 15,, 12,, 12,,, 9,,,, 66,, 7,, 8, 2, 5, 2, 9,, 13,, 11,, 11,, 12,, 11,, 9,,, 8,,, 59,, 6,, 7, 2, 2, 28,,,, 10,,,, 7,,,, 10,,,, 16,, 11,, 23,,, , 10,,,, 7,,,, 9,,,, 11,, 9,, 28, 2,, 4, 17,, 18,, 16,, 16, 2, 6, 2, 5, 2, 6, 2, 11,, 7,, 14, 2, 6, 2, 5, 2, 5, 2, 6,, 5,, 7, 2,, 3, 17,, 16,,,, 2,, 4,, 2,, 3,, 2,, 4,,,,, 2,, 8,,,,,,,,,, 2,,,,,,,,, 2,, 4, 2,, 2,, 6,, 9,, 6, , 6,, 4,, 5,, 8,, 2,, 6,, 3,, 8,,, 6,,,, 7,, 8,, 5,, 2,, 3,, 2,,, 2, 3, 2, , 2, 2,, 5,, 6,, 4,, 4,, 7,, 2,, 6,, 2,, 7,,, 6,,, 7,, 8,, 5,, 2,, 3,, 2,,, , 15, 2,, 2, 2,, 12,, 14,, 11,, 34,,,, 9,,,, 7,,,, 9,,,, 6,, 7,,, 2, 2,, 8, , 9,, 8,, 26, 2, 5, 2, 6, 2, 6, 2, 2,, 2,, 2,,, 3,, 4,, 2,,,, 3,, 2, 2,,, 2,, 2,,, 2,, 2,, 2,, 2,,, 2, 2,,, 2,,,, 2, 5, 2, 6, 2, 2, 8, 2,,, 2,,,,, 2, , 2,, 2,, 2,, 2,,,, 2,, 4,, 4, 2,,,, 2,,, 2, 2,,,, 2,,, 2, 2,,, 4,, 4, 2, 6, 4, 2,,,,, 2, 4,,,, 2,, 2, 2,, 2,, 11,, 6,, 17,, 6,, 10, 2, 2, 4,,,,, 2, 4, 2, 9,, 2,, 2,,, 4,,, 4,,, 7,, 2,, 5,, 2,, 2, 2,, 4, 2,, 2,, 6,, 9,,,,, 2, 3,, 2,,,,,, 2,,,, 3, 2,,,, 4, 2, 2, 2, 5, 4, 9, 4, 2, 4, 6, 4, 6, 4, 38, 2,,,, 2, 5,, 2,, 2,, 9, 4, 2, 4, 162, 2, 6, 2, 4, 2, 2, 2, 6, 4, 6, 4, 10, 4, 2, 4, 132, 2, 2, 2, 4, 2, 2, 2, 4,, 2,, 2,, 5, 2,,,, 2, 9, 4, 2, 4, 130, 2, 6, 2, 5, 4, 129, 16, 8, 5, 4,, 2,, 2,, 4, 2, 2, 2, 4, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 2, 6, 2, 2,, 2,, 16, 8, 16, 8, 2, 6, 2, 4, 16, 8, 16, 8, 5, 4,, 2,, 2,, 4, 2, 2, 2, 4, 16, 8, 16, 8, 2, 6, 2, 2,, 2,, 2, 6, 2, 4,,,, 4,, 5, 2,, 2, 2,,,, 2, 6, 2,, 17,,, 8,, 8,,, 5,, 2,,,,,,,,, 2,, 2, ,,,,, 5,, 6,,,, 3,,,,, 2,,,,,,,, 2,, 2,,,,,,,, 3,, 2,,,,,,,,,,,, 2,,,,,,,, 5,, 4, 2,, 2,, 2,,,, 2, 6, 2, 9,, 8,,, 16,,, 3,, 4,,,,,,,,,, 2,, 2,,,,, 6, , 5,,, 2,,,,,,,,,,, 2,,,,,,,,, 25,, 31,, 29,, 29,, 329,,,, 25,, 3,,, 34, 2, 2, 2, 4, 4, 5,, 60,, 15,, 8,, 15,, 23,, 23,, 16,, 22,, 12,, 48,, 18,, 22,, 35,, 13,, 14,,, 11,, 12,, 2,, 3,, 3,, 2,, 26,, 19,, 22,, 16,, 13,, 15, , 12,, 9,,,,,, 9,,, 2,, 7,,,, 7,, 6,,,, 5,, 2,, 3,, 5,, 3,, 3,,,, 2,, 5,,, 3,, 2, 2, 2,, 2, 17,, 21,, 13,, 11,, 13,, 9,, 9,,,, 8,,,, 6,, 6,, 5,,, 4,, , 3,, 3,, 2,,,,,,, 2,,,,, 3, 6,,, 3, 4, 2,, 2,,, 7, 4,, 17,, 3, 6,, 3, 4, 2, 2,,, 7, 4,, 18, 2,, 2,, 2,, 2, 8, 2, 2, 4, 2, 2, 12, 4, 6, 4, 10, 4, 2, 4, 38,, 2,,,, 2,,, 4, 2,,,, 2,,,, 8, 4, 2, 4, 130, 2,, 2,, 2,, 2, 10, 4, 2, 4, 13, 4, 6, 4, 10, 4, 2, 4, 38, 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, 323, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 50, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 417, 2, 2, 4, 2, 2, 9, 4, 2, 4, 82, 4, 2, 4, 9, 2, 2, 4, 2, 2, 356,, 2,,,, 2,,, 4, 2,,,, 2,,,, 8, 4, 2, 4, 3, 2,, 2, , 2,, 2, 8, 2, 2, 4, 2, 2, 12, 4, 6, 4, 10, 4, 2, 4, 166, 2,,,, 2,,,, 4,, 2,,,, 2,,, 8, 4, 2, 4, 2, 2,, 2,, 2,, 2, 10, 4, 2, 4, 13, 4, 6, 4, 10, 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, 267, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 162, 2,, 2,, 2,, 2, 8, 2,, 2,, 2,, 2, 338, 4, 2, 4, 9, 2, 2, 4, 2, 2, 128, 2, 2, 4, 2, 2, 9, 4, 2, 4, 4425, 4, 2, 4, 10,, 2,, 2,, 5,, 2,, 2,, 37, , 2,, 2,, 5,, 2,, 2,, 5, 4, 2, 4, 170, 4, 2, 4, 10, 2,,,, 2, 5, 2,,,, 2, 37, 2,,,, 2, 5, 2,,,, 2, 5, 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, 1354, 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, 298, 4, 2, 4, 10, 4, 6, 4, 38, 4, 6, 4, 6, 4, 2, 4, 170, 4, 2, 4, 10, 4, 6, 4, 38, 4, 6, 4, 6, 4, 2, 4, 15535 ] );