-------
(14, 7168, 9) ALL distance distributions for EXTERNAL point
(9, 7168, 9) has 0 possible DDs: {}
(10, 7168, 9) has 1 possible DDs: {[0, 140, 0, 1680, 0, 3528, 0, 1680, 0, 140, 0]}
(11, 7168, 9) has 8 possible DDs: {[0, 70, 70, 840, 840, 1764, 1764, 840, 840, 70, 70, 0], [0, 71, 60, 885, 720, 1974, 1512, 1050, 720, 115, 60, 1], [0, 72, 50, 930, 600, 2184, 1260, 1260, 600, 160, 50, 2], [0, 73, 40, 975, 480, 2394, 1008, 1470, 480, 205, 40, 3], [0, 74, 30, 1020, 360, 2604, 756, 1680, 360, 250, 30, 4], [0, 75, 20, 1065, 240, 2814, 504, 1890, 240, 295, 20, 5], [0, 76, 10, 1110, 120, 3024, 252, 2100, 120, 340, 10, 6], [0, 77, 0, 1155, 0, 3234, 0, 2310, 0, 385, 0, 7]}
(12, 7168, 9) has 51 possible DDs: {[0, 29, 130, 185, 1560, 42, 3276, 42, 1560, 185, 130, 29, 0], [0, 30, 120, 230, 1440, 252, 3024, 252, 1440, 230, 120, 30, 0], [0, 30, 121, 220, 1485, 132, 3234, 0, 1650, 110, 165, 20, 1], [0, 31, 110, 275, 1320, 462, 2772, 462, 1320, 275, 110, 31, 0], [0, 31, 111, 265, 1365, 342, 2982, 210, 1530, 155, 155, 21, 1], [0, 32, 100, 320, 1200, 672, 2520, 672, 1200, 320, 100, 32, 0], [0, 32, 101, 310, 1245, 552, 2730, 420, 1410, 200, 145, 22, 1], [0, 32, 102, 300, 1290, 432, 2940, 168, 1620, 80, 190, 12, 2], [0, 33, 90, 365, 1080, 882, 2268, 882, 1080, 365, 90, 33, 0], [0, 33, 91, 355, 1125, 762, 2478, 630, 1290, 245, 135, 23, 1], [0, 33, 92, 345, 1170, 642, 2688, 378, 1500, 125, 180, 13, 2], [0, 33, 93, 335, 1215, 522, 2898, 126, 1710, 5, 225, 3, 3], [0, 34, 80, 410, 960, 1092, 2016, 1092, 960, 410, 80, 34, 0], [0, 34, 81, 400, 1005, 972, 2226, 840, 1170, 290, 125, 24, 1], [0, 34, 82, 390, 1050, 852, 2436, 588, 1380, 170, 170, 14, 2], [0, 34, 83, 380, 1095, 732, 2646, 336, 1590, 50, 215, 4, 3], [0, 35, 70, 455, 840, 1302, 1764, 1302, 840, 455, 70, 35, 0], [0, 35, 71, 445, 885, 1182, 1974, 1050, 1050, 335, 115, 25, 1], [0, 35, 72, 435, 930, 1062, 2184, 798, 1260, 215, 160, 15, 2], [0, 35, 73, 425, 975, 942, 2394, 546, 1470, 95, 205, 5, 3], [0, 36, 60, 500, 720, 1512, 1512, 1512, 720, 500, 60, 36, 0], [0, 36, 61, 490, 765, 1392, 1722, 1260, 930, 380, 105, 26, 1], [0, 36, 62, 480, 810, 1272, 1932, 1008, 1140, 260, 150, 16, 2], [0, 36, 63, 470, 855, 1152, 2142, 756, 1350, 140, 195, 6, 3], [0, 37, 50, 545, 600, 1722, 1260, 1722, 600, 545, 50, 37, 0], [0, 37, 51, 535, 645, 1602, 1470, 1470, 810, 425, 95, 27, 1], [0, 37, 52, 525, 690, 1482, 1680, 1218, 1020, 305, 140, 17, 2], [0, 37, 53, 515, 735, 1362, 1890, 966, 1230, 185, 185, 7, 3], [0, 38, 40, 590, 480, 1932, 1008, 1932, 480, 590, 40, 38, 0], [0, 38, 41, 580, 525, 1812, 1218, 1680, 690, 470, 85, 28, 1], [0, 38, 42, 570, 570, 1692, 1428, 1428, 900, 350, 130, 18, 2], [0, 38, 43, 560, 615, 1572, 1638, 1176, 1110, 230, 175, 8, 3], [0, 39, 30, 635, 360, 2142, 756, 2142, 360, 635, 30, 39, 0], [0, 39, 31, 625, 405, 2022, 966, 1890, 570, 515, 75, 29, 1], [0, 39, 32, 615, 450, 1902, 1176, 1638, 780, 395, 120, 19, 2], [0, 39, 33, 605, 495, 1782, 1386, 1386, 990, 275, 165, 9, 3], [0, 40, 20, 680, 240, 2352, 504, 2352, 240, 680, 20, 40, 0], [0, 40, 21, 670, 285, 2232, 714, 2100, 450, 560, 65, 30, 1], [0, 40, 22, 660, 330, 2112, 924, 1848, 660, 440, 110, 20, 2], [0, 40, 23, 650, 375, 1992, 1134, 1596, 870, 320, 155, 10, 3], [0, 40, 24, 640, 420, 1872, 1344, 1344, 1080, 200, 200, 0, 4], [0, 41, 10, 725, 120, 2562, 252, 2562, 120, 725, 10, 41, 0], [0, 41, 11, 715, 165, 2442, 462, 2310, 330, 605, 55, 31, 1], [0, 41, 12, 705, 210, 2322, 672, 2058, 540, 485, 100, 21, 2], [0, 41, 13, 695, 255, 2202, 882, 1806, 750, 365, 145, 11, 3], [0, 41, 14, 685, 300, 2082, 1092, 1554, 960, 245, 190, 1, 4], [0, 42, 0, 770, 0, 2772, 0, 2772, 0, 770, 0, 42, 0], [0, 42, 1, 760, 45, 2652, 210, 2520, 210, 650, 45, 32, 1], [0, 42, 2, 750, 90, 2532, 420, 2268, 420, 530, 90, 22, 2], [0, 42, 3, 740, 135, 2412, 630, 2016, 630, 410, 135, 12, 3], [0, 42, 4, 730, 180, 2292, 840, 1764, 840, 290, 180, 2, 4]}
(13, 7168, 9) has 279 possible DDs: {[0, 10, 120, 0, 1210, 396, 1848, 1848, 396, 1210, 0, 120, 10, 0], [0, 11, 111, 35, 1135, 486, 1806, 1806, 486, 1135, 35, 111, 11, 0], [0, 11, 112, 25, 1180, 366, 2016, 1554, 696, 1015, 80, 101, 12, 0], [0, 11, 113, 15, 1225, 246, 2226, 1302, 906, 895, 125, 91, 13, 0], [0, 11, 113, 16, 1215, 291, 2106, 1512, 654, 1105, 5, 136, 3, 1], [0, 11, 114, 5, 1270, 126, 2436, 1050, 1116, 775, 170, 81, 14, 0], [0, 11, 114, 6, 1260, 171, 2316, 1260, 864, 985, 50, 126, 4, 1], [0, 12, 101, 80, 1015, 696, 1554, 2016, 366, 1180, 25, 112, 11, 0], [0, 12, 102, 70, 1060, 576, 1764, 1764, 576, 1060, 70, 102, 12, 0], [0, 12, 103, 60, 1105, 456, 1974, 1512, 786, 940, 115, 92, 13, 0], [0, 12, 104, 50, 1150, 336, 2184, 1260, 996, 820, 160, 82, 14, 0], [0, 12, 104, 51, 1140, 381, 2064, 1470, 744, 1030, 40, 127, 4, 1], [0, 12, 105, 40, 1195, 216, 2394, 1008, 1206, 700, 205, 72, 15, 0], [0, 12, 105, 41, 1185, 261, 2274, 1218, 954, 910, 85, 117, 5, 1], [0, 12, 106, 30, 1240, 96, 2604, 756, 1416, 580, 250, 62, 16, 0], [0, 12, 106, 31, 1230, 141, 2484, 966, 1164, 790, 130, 107, 6, 1], [0, 12, 107, 21, 1275, 21, 2694, 714, 1374, 670, 175, 97, 7, 1], [0, 13, 91, 125, 895, 906, 1302, 2226, 246, 1225, 15, 113, 11, 0], [0, 13, 92, 115, 940, 786, 1512, 1974, 456, 1105, 60, 103, 12, 0], [0, 13, 93, 105, 985, 666, 1722, 1722, 666, 985, 105, 93, 13, 0], [0, 13, 94, 95, 1030, 546, 1932, 1470, 876, 865, 150, 83, 14, 0], [0, 13, 94, 96, 1020, 591, 1812, 1680, 624, 1075, 30, 128, 4, 1], [0, 13, 95, 85, 1075, 426, 2142, 1218, 1086, 745, 195, 73, 15, 0], [0, 13, 95, 86, 1065, 471, 2022, 1428, 834, 955, 75, 118, 5, 1], [0, 13, 96, 75, 1120, 306, 2352, 966, 1296, 625, 240, 63, 16, 0], [0, 13, 96, 76, 1110, 351, 2232, 1176, 1044, 835, 120, 108, 6, 1], [0, 13, 97, 65, 1165, 186, 2562, 714, 1506, 505, 285, 53, 17, 0], [0, 13, 97, 66, 1155, 231, 2442, 924, 1254, 715, 165, 98, 7, 1], [0, 13, 98, 55, 1210, 66, 2772, 462, 1716, 385, 330, 43, 18, 0], [0, 13, 98, 56, 1200, 111, 2652, 672, 1464, 595, 210, 88, 8, 1], [0, 14, 81, 170, 775, 1116, 1050, 2436, 126, 1270, 5, 114, 11, 0], [0, 14, 82, 160, 820, 996, 1260, 2184, 336, 1150, 50, 104, 12, 0], [0, 14, 83, 150, 865, 876, 1470, 1932, 546, 1030, 95, 94, 13, 0], [0, 14, 84, 140, 910, 756, 1680, 1680, 756, 910, 140, 84, 14, 0], [0, 14, 84, 141, 900, 801, 1560, 1890, 504, 1120, 20, 129, 4, 1], [0, 14, 85, 130, 955, 636, 1890, 1428, 966, 790, 185, 74, 15, 0], [0, 14, 85, 131, 945, 681, 1770, 1638, 714, 1000, 65, 119, 5, 1], [0, 14, 86, 120, 1000, 516, 2100, 1176, 1176, 670, 230, 64, 16, 0], [0, 14, 86, 121, 990, 561, 1980, 1386, 924, 880, 110, 109, 6, 1], [0, 14, 87, 110, 1045, 396, 2310, 924, 1386, 550, 275, 54, 17, 0], [0, 14, 87, 111, 1035, 441, 2190, 1134, 1134, 760, 155, 99, 7, 1], [0, 14, 88, 100, 1090, 276, 2520, 672, 1596, 430, 320, 44, 18, 0], [0, 14, 88, 101, 1080, 321, 2400, 882, 1344, 640, 200, 89, 8, 1], [0, 14, 89, 90, 1135, 156, 2730, 420, 1806, 310, 365, 34, 19, 0], [0, 14, 89, 91, 1125, 201, 2610, 630, 1554, 520, 245, 79, 9, 1], [0, 14, 90, 80, 1180, 36, 2940, 168, 2016, 190, 410, 24, 20, 0], [0, 14, 90, 81, 1170, 81, 2820, 378, 1764, 400, 290, 69, 10, 1], [0, 14, 90, 82, 1160, 126, 2700, 588, 1512, 610, 170, 114, 0, 2], [0, 14, 91, 72, 1205, 6, 2910, 336, 1722, 490, 215, 104, 1, 2], [0, 15, 72, 205, 700, 1206, 1008, 2394, 216, 1195, 40, 105, 12, 0], [0, 15, 73, 195, 745, 1086, 1218, 2142, 426, 1075, 85, 95, 13, 0], [0, 15, 74, 185, 790, 966, 1428, 1890, 636, 955, 130, 85, 14, 0], [0, 15, 74, 186, 780, 1011, 1308, 2100, 384, 1165, 10, 130, 4, 1], [0, 15, 75, 175, 835, 846, 1638, 1638, 846, 835, 175, 75, 15, 0], [0, 15, 75, 176, 825, 891, 1518, 1848, 594, 1045, 55, 120, 5, 1], [0, 15, 76, 165, 880, 726, 1848, 1386, 1056, 715, 220, 65, 16, 0], [0, 15, 76, 166, 870, 771, 1728, 1596, 804, 925, 100, 110, 6, 1], [0, 15, 77, 155, 925, 606, 2058, 1134, 1266, 595, 265, 55, 17, 0], [0, 15, 77, 156, 915, 651, 1938, 1344, 1014, 805, 145, 100, 7, 1], [0, 15, 78, 145, 970, 486, 2268, 882, 1476, 475, 310, 45, 18, 0], [0, 15, 78, 146, 960, 531, 2148, 1092, 1224, 685, 190, 90, 8, 1], [0, 15, 79, 135, 1015, 366, 2478, 630, 1686, 355, 355, 35, 19, 0], [0, 15, 79, 136, 1005, 411, 2358, 840, 1434, 565, 235, 80, 9, 1], [0, 15, 80, 125, 1060, 246, 2688, 378, 1896, 235, 400, 25, 20, 0], [0, 15, 80, 126, 1050, 291, 2568, 588, 1644, 445, 280, 70, 10, 1], [0, 15, 80, 127, 1040, 336, 2448, 798, 1392, 655, 160, 115, 0, 2], [0, 15, 81, 115, 1105, 126, 2898, 126, 2106, 115, 445, 15, 21, 0], [0, 15, 81, 116, 1095, 171, 2778, 336, 1854, 325, 325, 60, 11, 1], [0, 15, 81, 117, 1085, 216, 2658, 546, 1602, 535, 205, 105, 1, 2], [0, 15, 82, 106, 1140, 51, 2988, 84, 2064, 205, 370, 50, 12, 1], [0, 15, 82, 107, 1130, 96, 2868, 294, 1812, 415, 250, 95, 2, 2], [0, 16, 62, 250, 580, 1416, 756, 2604, 96, 1240, 30, 106, 12, 0], [0, 16, 63, 240, 625, 1296, 966, 2352, 306, 1120, 75, 96, 13, 0], [0, 16, 64, 230, 670, 1176, 1176, 2100, 516, 1000, 120, 86, 14, 0], [0, 16, 64, 231, 660, 1221, 1056, 2310, 264, 1210, 0, 131, 4, 1], [0, 16, 65, 220, 715, 1056, 1386, 1848, 726, 880, 165, 76, 15, 0], [0, 16, 65, 221, 705, 1101, 1266, 2058, 474, 1090, 45, 121, 5, 1], [0, 16, 66, 210, 760, 936, 1596, 1596, 936, 760, 210, 66, 16, 0], [0, 16, 66, 211, 750, 981, 1476, 1806, 684, 970, 90, 111, 6, 1], [0, 16, 67, 200, 805, 816, 1806, 1344, 1146, 640, 255, 56, 17, 0], [0, 16, 67, 201, 795, 861, 1686, 1554, 894, 850, 135, 101, 7, 1], [0, 16, 68, 190, 850, 696, 2016, 1092, 1356, 520, 300, 46, 18, 0], [0, 16, 68, 191, 840, 741, 1896, 1302, 1104, 730, 180, 91, 8, 1], [0, 16, 69, 180, 895, 576, 2226, 840, 1566, 400, 345, 36, 19, 0], [0, 16, 69, 181, 885, 621, 2106, 1050, 1314, 610, 225, 81, 9, 1], [0, 16, 70, 170, 940, 456, 2436, 588, 1776, 280, 390, 26, 20, 0], [0, 16, 70, 171, 930, 501, 2316, 798, 1524, 490, 270, 71, 10, 1], [0, 16, 70, 172, 920, 546, 2196, 1008, 1272, 700, 150, 116, 0, 2], [0, 16, 71, 160, 985, 336, 2646, 336, 1986, 160, 435, 16, 21, 0], [0, 16, 71, 161, 975, 381, 2526, 546, 1734, 370, 315, 61, 11, 1], [0, 16, 71, 162, 965, 426, 2406, 756, 1482, 580, 195, 106, 1, 2], [0, 16, 72, 150, 1030, 216, 2856, 84, 2196, 40, 480, 6, 22, 0], [0, 16, 72, 151, 1020, 261, 2736, 294, 1944, 250, 360, 51, 12, 1], [0, 16, 72, 152, 1010, 306, 2616, 504, 1692, 460, 240, 96, 2, 2], [0, 16, 73, 141, 1065, 141, 2946, 42, 2154, 130, 405, 41, 13, 1], [0, 16, 73, 142, 1055, 186, 2826, 252, 1902, 340, 285, 86, 3, 2], [0, 16, 74, 132, 1100, 66, 3036, 0, 2112, 220, 330, 76, 4, 2], [0, 17, 53, 285, 505, 1506, 714, 2562, 186, 1165, 65, 97, 13, 0], [0, 17, 54, 275, 550, 1386, 924, 2310, 396, 1045, 110, 87, 14, 0], [0, 17, 55, 265, 595, 1266, 1134, 2058, 606, 925, 155, 77, 15, 0], [0, 17, 55, 266, 585, 1311, 1014, 2268, 354, 1135, 35, 122, 5, 1], [0, 17, 56, 255, 640, 1146, 1344, 1806, 816, 805, 200, 67, 16, 0], [0, 17, 56, 256, 630, 1191, 1224, 2016, 564, 1015, 80, 112, 6, 1], [0, 17, 57, 245, 685, 1026, 1554, 1554, 1026, 685, 245, 57, 17, 0], [0, 17, 57, 246, 675, 1071, 1434, 1764, 774, 895, 125, 102, 7, 1], [0, 17, 58, 235, 730, 906, 1764, 1302, 1236, 565, 290, 47, 18, 0], [0, 17, 58, 236, 720, 951, 1644, 1512, 984, 775, 170, 92, 8, 1], [0, 17, 59, 225, 775, 786, 1974, 1050, 1446, 445, 335, 37, 19, 0], [0, 17, 59, 226, 765, 831, 1854, 1260, 1194, 655, 215, 82, 9, 1], [0, 17, 60, 215, 820, 666, 2184, 798, 1656, 325, 380, 27, 20, 0], [0, 17, 60, 216, 810, 711, 2064, 1008, 1404, 535, 260, 72, 10, 1], [0, 17, 60, 217, 800, 756, 1944, 1218, 1152, 745, 140, 117, 0, 2], [0, 17, 61, 205, 865, 546, 2394, 546, 1866, 205, 425, 17, 21, 0], [0, 17, 61, 206, 855, 591, 2274, 756, 1614, 415, 305, 62, 11, 1], [0, 17, 61, 207, 845, 636, 2154, 966, 1362, 625, 185, 107, 1, 2], [0, 17, 62, 195, 910, 426, 2604, 294, 2076, 85, 470, 7, 22, 0], [0, 17, 62, 196, 900, 471, 2484, 504, 1824, 295, 350, 52, 12, 1], [0, 17, 62, 197, 890, 516, 2364, 714, 1572, 505, 230, 97, 2, 2], [0, 17, 63, 186, 945, 351, 2694, 252, 2034, 175, 395, 42, 13, 1], [0, 17, 63, 187, 935, 396, 2574, 462, 1782, 385, 275, 87, 3, 2], [0, 17, 64, 176, 990, 231, 2904, 0, 2244, 55, 440, 32, 14, 1], [0, 17, 64, 177, 980, 276, 2784, 210, 1992, 265, 320, 77, 4, 2], [0, 18, 43, 330, 385, 1716, 462, 2772, 66, 1210, 55, 98, 13, 0], [0, 18, 44, 320, 430, 1596, 672, 2520, 276, 1090, 100, 88, 14, 0], [0, 18, 45, 310, 475, 1476, 882, 2268, 486, 970, 145, 78, 15, 0], [0, 18, 45, 311, 465, 1521, 762, 2478, 234, 1180, 25, 123, 5, 1], [0, 18, 46, 300, 520, 1356, 1092, 2016, 696, 850, 190, 68, 16, 0], [0, 18, 46, 301, 510, 1401, 972, 2226, 444, 1060, 70, 113, 6, 1], [0, 18, 47, 290, 565, 1236, 1302, 1764, 906, 730, 235, 58, 17, 0], [0, 18, 47, 291, 555, 1281, 1182, 1974, 654, 940, 115, 103, 7, 1], [0, 18, 48, 280, 610, 1116, 1512, 1512, 1116, 610, 280, 48, 18, 0], [0, 18, 48, 281, 600, 1161, 1392, 1722, 864, 820, 160, 93, 8, 1], [0, 18, 49, 270, 655, 996, 1722, 1260, 1326, 490, 325, 38, 19, 0], [0, 18, 49, 271, 645, 1041, 1602, 1470, 1074, 700, 205, 83, 9, 1], [0, 18, 50, 260, 700, 876, 1932, 1008, 1536, 370, 370, 28, 20, 0], [0, 18, 50, 261, 690, 921, 1812, 1218, 1284, 580, 250, 73, 10, 1], [0, 18, 50, 262, 680, 966, 1692, 1428, 1032, 790, 130, 118, 0, 2], [0, 18, 51, 250, 745, 756, 2142, 756, 1746, 250, 415, 18, 21, 0], [0, 18, 51, 251, 735, 801, 2022, 966, 1494, 460, 295, 63, 11, 1], [0, 18, 51, 252, 725, 846, 1902, 1176, 1242, 670, 175, 108, 1, 2], [0, 18, 52, 240, 790, 636, 2352, 504, 1956, 130, 460, 8, 22, 0], [0, 18, 52, 241, 780, 681, 2232, 714, 1704, 340, 340, 53, 12, 1], [0, 18, 52, 242, 770, 726, 2112, 924, 1452, 550, 220, 98, 2, 2], [0, 18, 53, 231, 825, 561, 2442, 462, 1914, 220, 385, 43, 13, 1], [0, 18, 53, 232, 815, 606, 2322, 672, 1662, 430, 265, 88, 3, 2], [0, 18, 54, 221, 870, 441, 2652, 210, 2124, 100, 430, 33, 14, 1], [0, 18, 54, 222, 860, 486, 2532, 420, 1872, 310, 310, 78, 4, 2], [0, 18, 55, 212, 905, 366, 2742, 168, 2082, 190, 355, 68, 5, 2], [0, 19, 34, 365, 310, 1806, 420, 2730, 156, 1135, 90, 89, 14, 0], [0, 19, 35, 355, 355, 1686, 630, 2478, 366, 1015, 135, 79, 15, 0], [0, 19, 35, 356, 345, 1731, 510, 2688, 114, 1225, 15, 124, 5, 1], [0, 19, 36, 345, 400, 1566, 840, 2226, 576, 895, 180, 69, 16, 0], [0, 19, 36, 346, 390, 1611, 720, 2436, 324, 1105, 60, 114, 6, 1], [0, 19, 37, 335, 445, 1446, 1050, 1974, 786, 775, 225, 59, 17, 0], [0, 19, 37, 336, 435, 1491, 930, 2184, 534, 985, 105, 104, 7, 1], [0, 19, 38, 325, 490, 1326, 1260, 1722, 996, 655, 270, 49, 18, 0], [0, 19, 38, 326, 480, 1371, 1140, 1932, 744, 865, 150, 94, 8, 1], [0, 19, 39, 315, 535, 1206, 1470, 1470, 1206, 535, 315, 39, 19, 0], [0, 19, 39, 316, 525, 1251, 1350, 1680, 954, 745, 195, 84, 9, 1], [0, 19, 40, 305, 580, 1086, 1680, 1218, 1416, 415, 360, 29, 20, 0], [0, 19, 40, 306, 570, 1131, 1560, 1428, 1164, 625, 240, 74, 10, 1], [0, 19, 40, 307, 560, 1176, 1440, 1638, 912, 835, 120, 119, 0, 2], [0, 19, 41, 295, 625, 966, 1890, 966, 1626, 295, 405, 19, 21, 0], [0, 19, 41, 296, 615, 1011, 1770, 1176, 1374, 505, 285, 64, 11, 1], [0, 19, 41, 297, 605, 1056, 1650, 1386, 1122, 715, 165, 109, 1, 2], [0, 19, 42, 285, 670, 846, 2100, 714, 1836, 175, 450, 9, 22, 0], [0, 19, 42, 286, 660, 891, 1980, 924, 1584, 385, 330, 54, 12, 1], [0, 19, 42, 287, 650, 936, 1860, 1134, 1332, 595, 210, 99, 2, 2], [0, 19, 43, 276, 705, 771, 2190, 672, 1794, 265, 375, 44, 13, 1], [0, 19, 43, 277, 695, 816, 2070, 882, 1542, 475, 255, 89, 3, 2], [0, 19, 44, 266, 750, 651, 2400, 420, 2004, 145, 420, 34, 14, 1], [0, 19, 44, 267, 740, 696, 2280, 630, 1752, 355, 300, 79, 4, 2], [0, 19, 45, 256, 795, 531, 2610, 168, 2214, 25, 465, 24, 15, 1], [0, 19, 45, 257, 785, 576, 2490, 378, 1962, 235, 345, 69, 5, 2], [0, 19, 46, 247, 830, 456, 2700, 126, 2172, 115, 390, 59, 6, 2], [0, 20, 24, 410, 190, 2016, 168, 2940, 36, 1180, 80, 90, 14, 0], [0, 20, 25, 400, 235, 1896, 378, 2688, 246, 1060, 125, 80, 15, 0], [0, 20, 26, 390, 280, 1776, 588, 2436, 456, 940, 170, 70, 16, 0], [0, 20, 26, 391, 270, 1821, 468, 2646, 204, 1150, 50, 115, 6, 1], [0, 20, 27, 380, 325, 1656, 798, 2184, 666, 820, 215, 60, 17, 0], [0, 20, 27, 381, 315, 1701, 678, 2394, 414, 1030, 95, 105, 7, 1], [0, 20, 28, 370, 370, 1536, 1008, 1932, 876, 700, 260, 50, 18, 0], [0, 20, 28, 371, 360, 1581, 888, 2142, 624, 910, 140, 95, 8, 1], [0, 20, 29, 360, 415, 1416, 1218, 1680, 1086, 580, 305, 40, 19, 0], [0, 20, 29, 361, 405, 1461, 1098, 1890, 834, 790, 185, 85, 9, 1], [0, 20, 30, 350, 460, 1296, 1428, 1428, 1296, 460, 350, 30, 20, 0], [0, 20, 30, 351, 450, 1341, 1308, 1638, 1044, 670, 230, 75, 10, 1], [0, 20, 30, 352, 440, 1386, 1188, 1848, 792, 880, 110, 120, 0, 2], [0, 20, 31, 340, 505, 1176, 1638, 1176, 1506, 340, 395, 20, 21, 0], [0, 20, 31, 341, 495, 1221, 1518, 1386, 1254, 550, 275, 65, 11, 1], [0, 20, 31, 342, 485, 1266, 1398, 1596, 1002, 760, 155, 110, 1, 2], [0, 20, 32, 330, 550, 1056, 1848, 924, 1716, 220, 440, 10, 22, 0], [0, 20, 32, 331, 540, 1101, 1728, 1134, 1464, 430, 320, 55, 12, 1], [0, 20, 32, 332, 530, 1146, 1608, 1344, 1212, 640, 200, 100, 2, 2], [0, 20, 33, 320, 595, 936, 2058, 672, 1926, 100, 485, 0, 23, 0], [0, 20, 33, 321, 585, 981, 1938, 882, 1674, 310, 365, 45, 13, 1], [0, 20, 33, 322, 575, 1026, 1818, 1092, 1422, 520, 245, 90, 3, 2], [0, 20, 34, 311, 630, 861, 2148, 630, 1884, 190, 410, 35, 14, 1], [0, 20, 34, 312, 620, 906, 2028, 840, 1632, 400, 290, 80, 4, 2], [0, 20, 35, 301, 675, 741, 2358, 378, 2094, 70, 455, 25, 15, 1], [0, 20, 35, 302, 665, 786, 2238, 588, 1842, 280, 335, 70, 5, 2], [0, 20, 36, 292, 710, 666, 2448, 336, 2052, 160, 380, 60, 6, 2], [0, 20, 37, 282, 755, 546, 2658, 84, 2262, 40, 425, 50, 7, 2], [0, 21, 15, 445, 115, 2106, 126, 2898, 126, 1105, 115, 81, 15, 0], [0, 21, 16, 435, 160, 1986, 336, 2646, 336, 985, 160, 71, 16, 0], [0, 21, 16, 436, 150, 2031, 216, 2856, 84, 1195, 40, 116, 6, 1], [0, 21, 17, 425, 205, 1866, 546, 2394, 546, 865, 205, 61, 17, 0], [0, 21, 17, 426, 195, 1911, 426, 2604, 294, 1075, 85, 106, 7, 1], [0, 21, 18, 415, 250, 1746, 756, 2142, 756, 745, 250, 51, 18, 0], [0, 21, 18, 416, 240, 1791, 636, 2352, 504, 955, 130, 96, 8, 1], [0, 21, 19, 405, 295, 1626, 966, 1890, 966, 625, 295, 41, 19, 0], [0, 21, 19, 406, 285, 1671, 846, 2100, 714, 835, 175, 86, 9, 1], [0, 21, 20, 395, 340, 1506, 1176, 1638, 1176, 505, 340, 31, 20, 0], [0, 21, 20, 396, 330, 1551, 1056, 1848, 924, 715, 220, 76, 10, 1], [0, 21, 20, 397, 320, 1596, 936, 2058, 672, 925, 100, 121, 0, 2], [0, 21, 21, 385, 385, 1386, 1386, 1386, 1386, 385, 385, 21, 21, 0], [0, 21, 21, 386, 375, 1431, 1266, 1596, 1134, 595, 265, 66, 11, 1], [0, 21, 21, 387, 365, 1476, 1146, 1806, 882, 805, 145, 111, 1, 2], [0, 21, 22, 375, 430, 1266, 1596, 1134, 1596, 265, 430, 11, 22, 0], [0, 21, 22, 376, 420, 1311, 1476, 1344, 1344, 475, 310, 56, 12, 1], [0, 21, 22, 377, 410, 1356, 1356, 1554, 1092, 685, 190, 101, 2, 2], [0, 21, 23, 365, 475, 1146, 1806, 882, 1806, 145, 475, 1, 23, 0], [0, 21, 23, 366, 465, 1191, 1686, 1092, 1554, 355, 355, 46, 13, 1], [0, 21, 23, 367, 455, 1236, 1566, 1302, 1302, 565, 235, 91, 3, 2], [0, 21, 24, 356, 510, 1071, 1896, 840, 1764, 235, 400, 36, 14, 1], [0, 21, 24, 357, 500, 1116, 1776, 1050, 1512, 445, 280, 81, 4, 2], [0, 21, 25, 346, 555, 951, 2106, 588, 1974, 115, 445, 26, 15, 1], [0, 21, 25, 347, 545, 996, 1986, 798, 1722, 325, 325, 71, 5, 2], [0, 21, 26, 337, 590, 876, 2196, 546, 1932, 205, 370, 61, 6, 2], [0, 21, 27, 327, 635, 756, 2406, 294, 2142, 85, 415, 51, 7, 2], [0, 22, 6, 480, 40, 2196, 84, 2856, 216, 1030, 150, 72, 16, 0], [0, 22, 7, 470, 85, 2076, 294, 2604, 426, 910, 195, 62, 17, 0], [0, 22, 7, 471, 75, 2121, 174, 2814, 174, 1120, 75, 107, 7, 1], [0, 22, 8, 460, 130, 1956, 504, 2352, 636, 790, 240, 52, 18, 0], [0, 22, 8, 461, 120, 2001, 384, 2562, 384, 1000, 120, 97, 8, 1], [0, 22, 9, 450, 175, 1836, 714, 2100, 846, 670, 285, 42, 19, 0], [0, 22, 9, 451, 165, 1881, 594, 2310, 594, 880, 165, 87, 9, 1], [0, 22, 10, 440, 220, 1716, 924, 1848, 1056, 550, 330, 32, 20, 0], [0, 22, 10, 441, 210, 1761, 804, 2058, 804, 760, 210, 77, 10, 1], [0, 22, 10, 442, 200, 1806, 684, 2268, 552, 970, 90, 122, 0, 2], [0, 22, 11, 430, 265, 1596, 1134, 1596, 1266, 430, 375, 22, 21, 0], [0, 22, 11, 431, 255, 1641, 1014, 1806, 1014, 640, 255, 67, 11, 1], [0, 22, 11, 432, 245, 1686, 894, 2016, 762, 850, 135, 112, 1, 2], [0, 22, 12, 420, 310, 1476, 1344, 1344, 1476, 310, 420, 12, 22, 0], [0, 22, 12, 421, 300, 1521, 1224, 1554, 1224, 520, 300, 57, 12, 1], [0, 22, 12, 422, 290, 1566, 1104, 1764, 972, 730, 180, 102, 2, 2], [0, 22, 13, 410, 355, 1356, 1554, 1092, 1686, 190, 465, 2, 23, 0], [0, 22, 13, 411, 345, 1401, 1434, 1302, 1434, 400, 345, 47, 13, 1], [0, 22, 13, 412, 335, 1446, 1314, 1512, 1182, 610, 225, 92, 3, 2], [0, 22, 14, 401, 390, 1281, 1644, 1050, 1644, 280, 390, 37, 14, 1], [0, 22, 14, 402, 380, 1326, 1524, 1260, 1392, 490, 270, 82, 4, 2], [0, 22, 15, 391, 435, 1161, 1854, 798, 1854, 160, 435, 27, 15, 1], [0, 22, 15, 392, 425, 1206, 1734, 1008, 1602, 370, 315, 72, 5, 2], [0, 22, 16, 381, 480, 1041, 2064, 546, 2064, 40, 480, 17, 16, 1], [0, 22, 16, 382, 470, 1086, 1944, 756, 1812, 250, 360, 62, 6, 2], [0, 22, 17, 372, 515, 966, 2154, 504, 2022, 130, 405, 52, 7, 2], [0, 22, 18, 362, 560, 846, 2364, 252, 2232, 10, 450, 42, 8, 2], [0, 23, 0, 485, 100, 1926, 672, 2058, 936, 595, 320, 33, 20, 0], [0, 23, 0, 486, 90, 1971, 552, 2268, 684, 805, 200, 78, 10, 1], [0, 23, 0, 487, 80, 2016, 432, 2478, 432, 1015, 80, 123, 0, 2], [0, 23, 1, 475, 145, 1806, 882, 1806, 1146, 475, 365, 23, 21, 0], [0, 23, 1, 476, 135, 1851, 762, 2016, 894, 685, 245, 68, 11, 1], [0, 23, 1, 477, 125, 1896, 642, 2226, 642, 895, 125, 113, 1, 2], [0, 23, 2, 465, 190, 1686, 1092, 1554, 1356, 355, 410, 13, 22, 0], [0, 23, 2, 466, 180, 1731, 972, 1764, 1104, 565, 290, 58, 12, 1], [0, 23, 2, 467, 170, 1776, 852, 1974, 852, 775, 170, 103, 2, 2], [0, 23, 3, 455, 235, 1566, 1302, 1302, 1566, 235, 455, 3, 23, 0], [0, 23, 3, 456, 225, 1611, 1182, 1512, 1314, 445, 335, 48, 13, 1], [0, 23, 3, 457, 215, 1656, 1062, 1722, 1062, 655, 215, 93, 3, 2], [0, 23, 4, 446, 270, 1491, 1392, 1260, 1524, 325, 380, 38, 14, 1], [0, 23, 4, 447, 260, 1536, 1272, 1470, 1272, 535, 260, 83, 4, 2], [0, 23, 5, 436, 315, 1371, 1602, 1008, 1734, 205, 425, 28, 15, 1], [0, 23, 5, 437, 305, 1416, 1482, 1218, 1482, 415, 305, 73, 5, 2], [0, 23, 6, 426, 360, 1251, 1812, 756, 1944, 85, 470, 18, 16, 1], [0, 23, 6, 427, 350, 1296, 1692, 966, 1692, 295, 350, 63, 6, 2], [0, 23, 7, 417, 395, 1176, 1902, 714, 1902, 175, 395, 53, 7, 2], [0, 23, 8, 407, 440, 1056, 2112, 462, 2112, 55, 440, 43, 8, 2], [0, 23, 10, 388, 520, 861, 2412, 168, 2280, 25, 410, 68, 0, 3], [0, 24, 0, 433, 400, 1071, 2160, 378, 2160, 70, 400, 69, 0, 3]}
(14, 7168, 9) has 1383 possible DDs: {[0, 2, 85, 22, 545, 1238, 138, 3108, 138, 1238, 545, 22, 85, 2, 0], [0, 2, 86, 12, 590, 1118, 348, 2856, 348, 1118, 590, 12, 86, 2, 0], [0, 2, 86, 13, 580, 1163, 228, 3066, 96, 1328, 470, 57, 76, 3, 0], [0, 2, 87, 2, 635, 998, 558, 2604, 558, 998, 635, 2, 87, 2, 0], [0, 2, 87, 3, 625, 1043, 438, 2814, 306, 1208, 515, 47, 77, 3, 0], [0, 2, 87, 4, 615, 1088, 318, 3024, 54, 1418, 395, 92, 67, 4, 0], [0, 3, 76, 57, 470, 1328, 96, 3066, 228, 1163, 580, 13, 86, 2, 0], [0, 3, 77, 47, 515, 1208, 306, 2814, 438, 1043, 625, 3, 87, 2, 0], [0, 3, 77, 48, 505, 1253, 186, 3024, 186, 1253, 505, 48, 77, 3, 0], [0, 3, 78, 38, 550, 1133, 396, 2772, 396, 1133, 550, 38, 78, 3, 0], [0, 3, 78, 39, 540, 1178, 276, 2982, 144, 1343, 430, 83, 68, 4, 0], [0, 3, 79, 28, 595, 1013, 606, 2520, 606, 1013, 595, 28, 79, 3, 0], [0, 3, 79, 29, 585, 1058, 486, 2730, 354, 1223, 475, 73, 69, 4, 0], [0, 3, 79, 30, 575, 1103, 366, 2940, 102, 1433, 355, 118, 59, 5, 0], [0, 3, 80, 18, 640, 893, 816, 2268, 816, 893, 640, 18, 80, 3, 0], [0, 3, 80, 19, 630, 938, 696, 2478, 564, 1103, 520, 63, 70, 4, 0], [0, 3, 80, 20, 620, 983, 576, 2688, 312, 1313, 400, 108, 60, 5, 0], [0, 3, 80, 21, 610, 1028, 456, 2898, 60, 1523, 280, 153, 50, 6, 0], [0, 3, 81, 8, 685, 773, 1026, 2016, 1026, 773, 685, 8, 81, 3, 0], [0, 3, 81, 9, 675, 818, 906, 2226, 774, 983, 565, 53, 71, 4, 0], [0, 3, 81, 10, 665, 863, 786, 2436, 522, 1193, 445, 98, 61, 5, 0], [0, 3, 81, 11, 655, 908, 666, 2646, 270, 1403, 325, 143, 51, 6, 0], [0, 3, 81, 12, 645, 953, 546, 2856, 18, 1613, 205, 188, 41, 7, 0], [0, 3, 82, 0, 710, 743, 996, 2184, 732, 1073, 490, 88, 62, 5, 0], [0, 3, 82, 1, 700, 788, 876, 2394, 480, 1283, 370, 133, 52, 6, 0], [0, 3, 82, 2, 690, 833, 756, 2604, 228, 1493, 250, 178, 42, 7, 0], [0, 4, 67, 92, 395, 1418, 54, 3024, 318, 1088, 615, 4, 87, 2, 0], [0, 4, 68, 83, 430, 1343, 144, 2982, 276, 1178, 540, 39, 78, 3, 0], [0, 4, 68, 84, 420, 1388, 24, 3192, 24, 1388, 420, 84, 68, 4, 0], [0, 4, 69, 73, 475, 1223, 354, 2730, 486, 1058, 585, 29, 79, 3, 0], [0, 4, 69, 74, 465, 1268, 234, 2940, 234, 1268, 465, 74, 69, 4, 0], [0, 4, 70, 63, 520, 1103, 564, 2478, 696, 938, 630, 19, 80, 3, 0], [0, 4, 70, 64, 510, 1148, 444, 2688, 444, 1148, 510, 64, 70, 4, 0], [0, 4, 70, 65, 500, 1193, 324, 2898, 192, 1358, 390, 109, 60, 5, 0], [0, 4, 71, 53, 565, 983, 774, 2226, 906, 818, 675, 9, 81, 3, 0], [0, 4, 71, 54, 555, 1028, 654, 2436, 654, 1028, 555, 54, 71, 4, 0], [0, 4, 71, 55, 545, 1073, 534, 2646, 402, 1238, 435, 99, 61, 5, 0], [0, 4, 71, 56, 535, 1118, 414, 2856, 150, 1448, 315, 144, 51, 6, 0], [0, 4, 72, 44, 600, 908, 864, 2184, 864, 908, 600, 44, 72, 4, 0], [0, 4, 72, 45, 590, 953, 744, 2394, 612, 1118, 480, 89, 62, 5, 0], [0, 4, 72, 46, 580, 998, 624, 2604, 360, 1328, 360, 134, 52, 6, 0], [0, 4, 72, 47, 570, 1043, 504, 2814, 108, 1538, 240, 179, 42, 7, 0], [0, 4, 73, 34, 645, 788, 1074, 1932, 1074, 788, 645, 34, 73, 4, 0], [0, 4, 73, 35, 635, 833, 954, 2142, 822, 998, 525, 79, 63, 5, 0], [0, 4, 73, 36, 625, 878, 834, 2352, 570, 1208, 405, 124, 53, 6, 0], [0, 4, 73, 37, 615, 923, 714, 2562, 318, 1418, 285, 169, 43, 7, 0], [0, 4, 73, 38, 605, 968, 594, 2772, 66, 1628, 165, 214, 33, 8, 0], [0, 4, 74, 24, 690, 668, 1284, 1680, 1284, 668, 690, 24, 74, 4, 0], [0, 4, 74, 25, 680, 713, 1164, 1890, 1032, 878, 570, 69, 64, 5, 0], [0, 4, 74, 26, 670, 758, 1044, 2100, 780, 1088, 450, 114, 54, 6, 0], [0, 4, 74, 27, 660, 803, 924, 2310, 528, 1298, 330, 159, 44, 7, 0], [0, 4, 74, 28, 650, 848, 804, 2520, 276, 1508, 210, 204, 34, 8, 0], [0, 4, 74, 29, 640, 893, 684, 2730, 24, 1718, 90, 249, 24, 9, 0], [0, 4, 75, 14, 735, 548, 1494, 1428, 1494, 548, 735, 14, 75, 4, 0], [0, 4, 75, 15, 725, 593, 1374, 1638, 1242, 758, 615, 59, 65, 5, 0], [0, 4, 75, 16, 715, 638, 1254, 1848, 990, 968, 495, 104, 55, 6, 0], [0, 4, 75, 17, 705, 683, 1134, 2058, 738, 1178, 375, 149, 45, 7, 0], [0, 4, 75, 18, 695, 728, 1014, 2268, 486, 1388, 255, 194, 35, 8, 0], [0, 4, 75, 19, 685, 773, 894, 2478, 234, 1598, 135, 239, 25, 9, 0], [0, 4, 75, 20, 676, 808, 819, 2568, 192, 1556, 225, 164, 60, 0, 1], [0, 4, 76, 4, 780, 428, 1704, 1176, 1704, 428, 780, 4, 76, 4, 0], [0, 4, 76, 5, 770, 473, 1584, 1386, 1452, 638, 660, 49, 66, 5, 0], [0, 4, 76, 6, 760, 518, 1464, 1596, 1200, 848, 540, 94, 56, 6, 0], [0, 4, 76, 7, 750, 563, 1344, 1806, 948, 1058, 420, 139, 46, 7, 0], [0, 4, 76, 8, 740, 608, 1224, 2016, 696, 1268, 300, 184, 36, 8, 0], [0, 4, 76, 9, 730, 653, 1104, 2226, 444, 1478, 180, 229, 26, 9, 0], [0, 4, 76, 10, 720, 698, 984, 2436, 192, 1688, 60, 274, 16, 10, 0], [0, 4, 76, 10, 721, 688, 1029, 2316, 402, 1436, 270, 154, 61, 0, 1], [0, 4, 76, 11, 711, 733, 909, 2526, 150, 1646, 150, 199, 51, 1, 1], [0, 4, 77, 0, 765, 578, 1194, 2184, 402, 1568, 105, 264, 17, 10, 0], [0, 4, 77, 0, 766, 568, 1239, 2064, 612, 1316, 315, 144, 62, 0, 1], [0, 4, 77, 1, 756, 613, 1119, 2274, 360, 1526, 195, 189, 52, 1, 1], [0, 4, 77, 2, 746, 658, 999, 2484, 108, 1736, 75, 234, 42, 2, 1], [0, 5, 59, 118, 355, 1433, 102, 2940, 366, 1103, 575, 30, 79, 3, 0], [0, 5, 60, 108, 400, 1313, 312, 2688, 576, 983, 620, 20, 80, 3, 0], [0, 5, 60, 109, 390, 1358, 192, 2898, 324, 1193, 500, 65, 70, 4, 0], [0, 5, 60, 110, 380, 1403, 72, 3108, 72, 1403, 380, 110, 60, 5, 0], [0, 5, 61, 98, 445, 1193, 522, 2436, 786, 863, 665, 10, 81, 3, 0], [0, 5, 61, 99, 435, 1238, 402, 2646, 534, 1073, 545, 55, 71, 4, 0], [0, 5, 61, 100, 425, 1283, 282, 2856, 282, 1283, 425, 100, 61, 5, 0], [0, 5, 61, 101, 415, 1328, 162, 3066, 30, 1493, 305, 145, 51, 6, 0], [0, 5, 62, 88, 490, 1073, 732, 2184, 996, 743, 710, 0, 82, 3, 0], [0, 5, 62, 89, 480, 1118, 612, 2394, 744, 953, 590, 45, 72, 4, 0], [0, 5, 62, 90, 470, 1163, 492, 2604, 492, 1163, 470, 90, 62, 5, 0], [0, 5, 62, 91, 460, 1208, 372, 2814, 240, 1373, 350, 135, 52, 6, 0], [0, 5, 63, 79, 525, 998, 822, 2142, 954, 833, 635, 35, 73, 4, 0], [0, 5, 63, 80, 515, 1043, 702, 2352, 702, 1043, 515, 80, 63, 5, 0], [0, 5, 63, 81, 505, 1088, 582, 2562, 450, 1253, 395, 125, 53, 6, 0], [0, 5, 63, 82, 495, 1133, 462, 2772, 198, 1463, 275, 170, 43, 7, 0], [0, 5, 64, 69, 570, 878, 1032, 1890, 1164, 713, 680, 25, 74, 4, 0], [0, 5, 64, 70, 560, 923, 912, 2100, 912, 923, 560, 70, 64, 5, 0], [0, 5, 64, 71, 550, 968, 792, 2310, 660, 1133, 440, 115, 54, 6, 0], [0, 5, 64, 72, 540, 1013, 672, 2520, 408, 1343, 320, 160, 44, 7, 0], [0, 5, 64, 73, 530, 1058, 552, 2730, 156, 1553, 200, 205, 34, 8, 0], [0, 5, 65, 59, 615, 758, 1242, 1638, 1374, 593, 725, 15, 75, 4, 0], [0, 5, 65, 60, 605, 803, 1122, 1848, 1122, 803, 605, 60, 65, 5, 0], [0, 5, 65, 61, 595, 848, 1002, 2058, 870, 1013, 485, 105, 55, 6, 0], [0, 5, 65, 62, 585, 893, 882, 2268, 618, 1223, 365, 150, 45, 7, 0], [0, 5, 65, 63, 575, 938, 762, 2478, 366, 1433, 245, 195, 35, 8, 0], [0, 5, 65, 64, 565, 983, 642, 2688, 114, 1643, 125, 240, 25, 9, 0], [0, 5, 65, 65, 556, 1018, 567, 2778, 72, 1601, 215, 165, 60, 0, 1], [0, 5, 66, 49, 660, 638, 1452, 1386, 1584, 473, 770, 5, 76, 4, 0], [0, 5, 66, 50, 650, 683, 1332, 1596, 1332, 683, 650, 50, 66, 5, 0], [0, 5, 66, 51, 640, 728, 1212, 1806, 1080, 893, 530, 95, 56, 6, 0], [0, 5, 66, 52, 630, 773, 1092, 2016, 828, 1103, 410, 140, 46, 7, 0], [0, 5, 66, 53, 620, 818, 972, 2226, 576, 1313, 290, 185, 36, 8, 0], [0, 5, 66, 54, 610, 863, 852, 2436, 324, 1523, 170, 230, 26, 9, 0], [0, 5, 66, 55, 600, 908, 732, 2646, 72, 1733, 50, 275, 16, 10, 0], [0, 5, 66, 55, 601, 898, 777, 2526, 282, 1481, 260, 155, 61, 0, 1], [0, 5, 66, 56, 591, 943, 657, 2736, 30, 1691, 140, 200, 51, 1, 1], [0, 5, 67, 40, 695, 563, 1542, 1344, 1542, 563, 695, 40, 67, 5, 0], [0, 5, 67, 41, 685, 608, 1422, 1554, 1290, 773, 575, 85, 57, 6, 0], [0, 5, 67, 42, 675, 653, 1302, 1764, 1038, 983, 455, 130, 47, 7, 0], [0, 5, 67, 43, 665, 698, 1182, 1974, 786, 1193, 335, 175, 37, 8, 0], [0, 5, 67, 44, 655, 743, 1062, 2184, 534, 1403, 215, 220, 27, 9, 0], [0, 5, 67, 45, 645, 788, 942, 2394, 282, 1613, 95, 265, 17, 10, 0], [0, 5, 67, 45, 646, 778, 987, 2274, 492, 1361, 305, 145, 62, 0, 1], [0, 5, 67, 46, 636, 823, 867, 2484, 240, 1571, 185, 190, 52, 1, 1], [0, 5, 68, 30, 740, 443, 1752, 1092, 1752, 443, 740, 30, 68, 5, 0], [0, 5, 68, 31, 730, 488, 1632, 1302, 1500, 653, 620, 75, 58, 6, 0], [0, 5, 68, 32, 720, 533, 1512, 1512, 1248, 863, 500, 120, 48, 7, 0], [0, 5, 68, 33, 710, 578, 1392, 1722, 996, 1073, 380, 165, 38, 8, 0], [0, 5, 68, 34, 700, 623, 1272, 1932, 744, 1283, 260, 210, 28, 9, 0], [0, 5, 68, 35, 690, 668, 1152, 2142, 492, 1493, 140, 255, 18, 10, 0], [0, 5, 68, 35, 691, 658, 1197, 2022, 702, 1241, 350, 135, 63, 0, 1], [0, 5, 68, 36, 680, 713, 1032, 2352, 240, 1703, 20, 300, 8, 11, 0], [0, 5, 68, 36, 681, 703, 1077, 2232, 450, 1451, 230, 180, 53, 1, 1], [0, 5, 68, 37, 671, 748, 957, 2442, 198, 1661, 110, 225, 43, 2, 1], [0, 5, 69, 20, 785, 323, 1962, 840, 1962, 323, 785, 20, 69, 5, 0], [0, 5, 69, 21, 775, 368, 1842, 1050, 1710, 533, 665, 65, 59, 6, 0], [0, 5, 69, 22, 765, 413, 1722, 1260, 1458, 743, 545, 110, 49, 7, 0], [0, 5, 69, 23, 755, 458, 1602, 1470, 1206, 953, 425, 155, 39, 8, 0], [0, 5, 69, 24, 745, 503, 1482, 1680, 954, 1163, 305, 200, 29, 9, 0], [0, 5, 69, 25, 735, 548, 1362, 1890, 702, 1373, 185, 245, 19, 10, 0], [0, 5, 69, 25, 736, 538, 1407, 1770, 912, 1121, 395, 125, 64, 0, 1], [0, 5, 69, 26, 725, 593, 1242, 2100, 450, 1583, 65, 290, 9, 11, 0], [0, 5, 69, 26, 726, 583, 1287, 1980, 660, 1331, 275, 170, 54, 1, 1], [0, 5, 69, 27, 716, 628, 1167, 2190, 408, 1541, 155, 215, 44, 2, 1], [0, 5, 69, 28, 706, 673, 1047, 2400, 156, 1751, 35, 260, 34, 3, 1], [0, 5, 70, 10, 830, 203, 2172, 588, 2172, 203, 830, 10, 70, 5, 0], [0, 5, 70, 11, 820, 248, 2052, 798, 1920, 413, 710, 55, 60, 6, 0], [0, 5, 70, 12, 810, 293, 1932, 1008, 1668, 623, 590, 100, 50, 7, 0], [0, 5, 70, 13, 800, 338, 1812, 1218, 1416, 833, 470, 145, 40, 8, 0], [0, 5, 70, 14, 790, 383, 1692, 1428, 1164, 1043, 350, 190, 30, 9, 0], [0, 5, 70, 15, 780, 428, 1572, 1638, 912, 1253, 230, 235, 20, 10, 0], [0, 5, 70, 15, 781, 418, 1617, 1518, 1122, 1001, 440, 115, 65, 0, 1], [0, 5, 70, 16, 770, 473, 1452, 1848, 660, 1463, 110, 280, 10, 11, 0], [0, 5, 70, 16, 771, 463, 1497, 1728, 870, 1211, 320, 160, 55, 1, 1], [0, 5, 70, 17, 761, 508, 1377, 1938, 618, 1421, 200, 205, 45, 2, 1], [0, 5, 70, 18, 751, 553, 1257, 2148, 366, 1631, 80, 250, 35, 3, 1], [0, 5, 71, 0, 875, 83, 2382, 336, 2382, 83, 875, 0, 71, 5, 0], [0, 5, 71, 1, 865, 128, 2262, 546, 2130, 293, 755, 45, 61, 6, 0], [0, 5, 71, 2, 855, 173, 2142, 756, 1878, 503, 635, 90, 51, 7, 0], [0, 5, 71, 3, 845, 218, 2022, 966, 1626, 713, 515, 135, 41, 8, 0], [0, 5, 71, 4, 835, 263, 1902, 1176, 1374, 923, 395, 180, 31, 9, 0], [0, 5, 71, 5, 825, 308, 1782, 1386, 1122, 1133, 275, 225, 21, 10, 0], [0, 5, 71, 5, 826, 298, 1827, 1266, 1332, 881, 485, 105, 66, 0, 1], [0, 5, 71, 6, 815, 353, 1662, 1596, 870, 1343, 155, 270, 11, 11, 0], [0, 5, 71, 6, 816, 343, 1707, 1476, 1080, 1091, 365, 150, 56, 1, 1], [0, 5, 71, 7, 805, 398, 1542, 1806, 618, 1553, 35, 315, 1, 12, 0], [0, 5, 71, 7, 806, 388, 1587, 1686, 828, 1301, 245, 195, 46, 2, 1], [0, 5, 71, 8, 796, 433, 1467, 1896, 576, 1511, 125, 240, 36, 3, 1], [0, 5, 71, 9, 786, 478, 1347, 2106, 324, 1721, 5, 285, 26, 4, 1], [0, 6, 50, 153, 280, 1523, 60, 2898, 456, 1028, 610, 21, 80, 3, 0], [0, 6, 51, 143, 325, 1403, 270, 2646, 666, 908, 655, 11, 81, 3, 0], [0, 6, 51, 144, 315, 1448, 150, 2856, 414, 1118, 535, 56, 71, 4, 0], [0, 6, 51, 145, 305, 1493, 30, 3066, 162, 1328, 415, 101, 61, 5, 0], [0, 6, 52, 133, 370, 1283, 480, 2394, 876, 788, 700, 1, 82, 3, 0], [0, 6, 52, 134, 360, 1328, 360, 2604, 624, 998, 580, 46, 72, 4, 0], [0, 6, 52, 135, 350, 1373, 240, 2814, 372, 1208, 460, 91, 62, 5, 0], [0, 6, 52, 136, 340, 1418, 120, 3024, 120, 1418, 340, 136, 52, 6, 0], [0, 6, 53, 124, 405, 1208, 570, 2352, 834, 878, 625, 36, 73, 4, 0], [0, 6, 53, 125, 395, 1253, 450, 2562, 582, 1088, 505, 81, 63, 5, 0], [0, 6, 53, 126, 385, 1298, 330, 2772, 330, 1298, 385, 126, 53, 6, 0], [0, 6, 53, 127, 375, 1343, 210, 2982, 78, 1508, 265, 171, 43, 7, 0], [0, 6, 54, 114, 450, 1088, 780, 2100, 1044, 758, 670, 26, 74, 4, 0], [0, 6, 54, 115, 440, 1133, 660, 2310, 792, 968, 550, 71, 64, 5, 0], [0, 6, 54, 116, 430, 1178, 540, 2520, 540, 1178, 430, 116, 54, 6, 0], [0, 6, 54, 117, 420, 1223, 420, 2730, 288, 1388, 310, 161, 44, 7, 0], [0, 6, 54, 118, 410, 1268, 300, 2940, 36, 1598, 190, 206, 34, 8, 0], [0, 6, 55, 104, 495, 968, 990, 1848, 1254, 638, 715, 16, 75, 4, 0], [0, 6, 55, 105, 485, 1013, 870, 2058, 1002, 848, 595, 61, 65, 5, 0], [0, 6, 55, 106, 475, 1058, 750, 2268, 750, 1058, 475, 106, 55, 6, 0], [0, 6, 55, 107, 465, 1103, 630, 2478, 498, 1268, 355, 151, 45, 7, 0], [0, 6, 55, 108, 455, 1148, 510, 2688, 246, 1478, 235, 196, 35, 8, 0], [0, 6, 56, 94, 540, 848, 1200, 1596, 1464, 518, 760, 6, 76, 4, 0], [0, 6, 56, 95, 530, 893, 1080, 1806, 1212, 728, 640, 51, 66, 5, 0], [0, 6, 56, 96, 520, 938, 960, 2016, 960, 938, 520, 96, 56, 6, 0], [0, 6, 56, 97, 510, 983, 840, 2226, 708, 1148, 400, 141, 46, 7, 0], [0, 6, 56, 98, 500, 1028, 720, 2436, 456, 1358, 280, 186, 36, 8, 0], [0, 6, 56, 99, 490, 1073, 600, 2646, 204, 1568, 160, 231, 26, 9, 0], [0, 6, 56, 100, 481, 1108, 525, 2736, 162, 1526, 250, 156, 61, 0, 1], [0, 6, 57, 85, 575, 773, 1290, 1554, 1422, 608, 685, 41, 67, 5, 0], [0, 6, 57, 86, 565, 818, 1170, 1764, 1170, 818, 565, 86, 57, 6, 0], [0, 6, 57, 87, 555, 863, 1050, 1974, 918, 1028, 445, 131, 47, 7, 0], [0, 6, 57, 88, 545, 908, 930, 2184, 666, 1238, 325, 176, 37, 8, 0], [0, 6, 57, 89, 535, 953, 810, 2394, 414, 1448, 205, 221, 27, 9, 0], [0, 6, 57, 90, 525, 998, 690, 2604, 162, 1658, 85, 266, 17, 10, 0], [0, 6, 57, 90, 526, 988, 735, 2484, 372, 1406, 295, 146, 62, 0, 1], [0, 6, 57, 91, 516, 1033, 615, 2694, 120, 1616, 175, 191, 52, 1, 1], [0, 6, 58, 75, 620, 653, 1500, 1302, 1632, 488, 730, 31, 68, 5, 0], [0, 6, 58, 76, 610, 698, 1380, 1512, 1380, 698, 610, 76, 58, 6, 0], [0, 6, 58, 77, 600, 743, 1260, 1722, 1128, 908, 490, 121, 48, 7, 0], [0, 6, 58, 78, 590, 788, 1140, 1932, 876, 1118, 370, 166, 38, 8, 0], [0, 6, 58, 79, 580, 833, 1020, 2142, 624, 1328, 250, 211, 28, 9, 0], [0, 6, 58, 80, 570, 878, 900, 2352, 372, 1538, 130, 256, 18, 10, 0], [0, 6, 58, 80, 571, 868, 945, 2232, 582, 1286, 340, 136, 63, 0, 1], [0, 6, 58, 81, 560, 923, 780, 2562, 120, 1748, 10, 301, 8, 11, 0], [0, 6, 58, 81, 561, 913, 825, 2442, 330, 1496, 220, 181, 53, 1, 1], [0, 6, 58, 82, 551, 958, 705, 2652, 78, 1706, 100, 226, 43, 2, 1], [0, 6, 59, 65, 665, 533, 1710, 1050, 1842, 368, 775, 21, 69, 5, 0], [0, 6, 59, 66, 655, 578, 1590, 1260, 1590, 578, 655, 66, 59, 6, 0], [0, 6, 59, 67, 645, 623, 1470, 1470, 1338, 788, 535, 111, 49, 7, 0], [0, 6, 59, 68, 635, 668, 1350, 1680, 1086, 998, 415, 156, 39, 8, 0], [0, 6, 59, 69, 625, 713, 1230, 1890, 834, 1208, 295, 201, 29, 9, 0], [0, 6, 59, 70, 615, 758, 1110, 2100, 582, 1418, 175, 246, 19, 10, 0], [0, 6, 59, 70, 616, 748, 1155, 1980, 792, 1166, 385, 126, 64, 0, 1], [0, 6, 59, 71, 605, 803, 990, 2310, 330, 1628, 55, 291, 9, 11, 0], [0, 6, 59, 71, 606, 793, 1035, 2190, 540, 1376, 265, 171, 54, 1, 1], [0, 6, 59, 72, 596, 838, 915, 2400, 288, 1586, 145, 216, 44, 2, 1], [0, 6, 59, 73, 586, 883, 795, 2610, 36, 1796, 25, 261, 34, 3, 1], [0, 6, 60, 55, 710, 413, 1920, 798, 2052, 248, 820, 11, 70, 5, 0], [0, 6, 60, 56, 700, 458, 1800, 1008, 1800, 458, 700, 56, 60, 6, 0], [0, 6, 60, 57, 690, 503, 1680, 1218, 1548, 668, 580, 101, 50, 7, 0], [0, 6, 60, 58, 680, 548, 1560, 1428, 1296, 878, 460, 146, 40, 8, 0], [0, 6, 60, 59, 670, 593, 1440, 1638, 1044, 1088, 340, 191, 30, 9, 0], [0, 6, 60, 60, 660, 638, 1320, 1848, 792, 1298, 220, 236, 20, 10, 0], [0, 6, 60, 60, 661, 628, 1365, 1728, 1002, 1046, 430, 116, 65, 0, 1], [0, 6, 60, 61, 650, 683, 1200, 2058, 540, 1508, 100, 281, 10, 11, 0], [0, 6, 60, 61, 651, 673, 1245, 1938, 750, 1256, 310, 161, 55, 1, 1], [0, 6, 60, 62, 641, 718, 1125, 2148, 498, 1466, 190, 206, 45, 2, 1], [0, 6, 60, 63, 631, 763, 1005, 2358, 246, 1676, 70, 251, 35, 3, 1], [0, 6, 61, 45, 755, 293, 2130, 546, 2262, 128, 865, 1, 71, 5, 0], [0, 6, 61, 46, 745, 338, 2010, 756, 2010, 338, 745, 46, 61, 6, 0], [0, 6, 61, 47, 735, 383, 1890, 966, 1758, 548, 625, 91, 51, 7, 0], [0, 6, 61, 48, 725, 428, 1770, 1176, 1506, 758, 505, 136, 41, 8, 0], [0, 6, 61, 49, 715, 473, 1650, 1386, 1254, 968, 385, 181, 31, 9, 0], [0, 6, 61, 50, 705, 518, 1530, 1596, 1002, 1178, 265, 226, 21, 10, 0], [0, 6, 61, 50, 706, 508, 1575, 1476, 1212, 926, 475, 106, 66, 0, 1], [0, 6, 61, 51, 695, 563, 1410, 1806, 750, 1388, 145, 271, 11, 11, 0], [0, 6, 61, 51, 696, 553, 1455, 1686, 960, 1136, 355, 151, 56, 1, 1], [0, 6, 61, 52, 685, 608, 1290, 2016, 498, 1598, 25, 316, 1, 12, 0], [0, 6, 61, 52, 686, 598, 1335, 1896, 708, 1346, 235, 196, 46, 2, 1], [0, 6, 61, 53, 676, 643, 1215, 2106, 456, 1556, 115, 241, 36, 3, 1], [0, 6, 62, 36, 790, 218, 2220, 504, 2220, 218, 790, 36, 62, 6, 0], [0, 6, 62, 37, 780, 263, 2100, 714, 1968, 428, 670, 81, 52, 7, 0], [0, 6, 62, 38, 770, 308, 1980, 924, 1716, 638, 550, 126, 42, 8, 0], [0, 6, 62, 39, 760, 353, 1860, 1134, 1464, 848, 430, 171, 32, 9, 0], [0, 6, 62, 40, 750, 398, 1740, 1344, 1212, 1058, 310, 216, 22, 10, 0], [0, 6, 62, 40, 751, 388, 1785, 1224, 1422, 806, 520, 96, 67, 0, 1], [0, 6, 62, 41, 740, 443, 1620, 1554, 960, 1268, 190, 261, 12, 11, 0], [0, 6, 62, 41, 741, 433, 1665, 1434, 1170, 1016, 400, 141, 57, 1, 1], [0, 6, 62, 42, 730, 488, 1500, 1764, 708, 1478, 70, 306, 2, 12, 0], [0, 6, 62, 42, 731, 478, 1545, 1644, 918, 1226, 280, 186, 47, 2, 1], [0, 6, 62, 43, 721, 523, 1425, 1854, 666, 1436, 160, 231, 37, 3, 1], [0, 6, 62, 44, 711, 568, 1305, 2064, 414, 1646, 40, 276, 27, 4, 1], [0, 6, 63, 26, 835, 98, 2430, 252, 2430, 98, 835, 26, 63, 6, 0], [0, 6, 63, 27, 825, 143, 2310, 462, 2178, 308, 715, 71, 53, 7, 0], [0, 6, 63, 28, 815, 188, 2190, 672, 1926, 518, 595, 116, 43, 8, 0], [0, 6, 63, 29, 805, 233, 2070, 882, 1674, 728, 475, 161, 33, 9, 0], [0, 6, 63, 30, 795, 278, 1950, 1092, 1422, 938, 355, 206, 23, 10, 0], [0, 6, 63, 30, 796, 268, 1995, 972, 1632, 686, 565, 86, 68, 0, 1], [0, 6, 63, 31, 785, 323, 1830, 1302, 1170, 1148, 235, 251, 13, 11, 0], [0, 6, 63, 31, 786, 313, 1875, 1182, 1380, 896, 445, 131, 58, 1, 1], [0, 6, 63, 32, 775, 368, 1710, 1512, 918, 1358, 115, 296, 3, 12, 0], [0, 6, 63, 32, 776, 358, 1755, 1392, 1128, 1106, 325, 176, 48, 2, 1], [0, 6, 63, 33, 766, 403, 1635, 1602, 876, 1316, 205, 221, 38, 3, 1], [0, 6, 63, 34, 756, 448, 1515, 1812, 624, 1526, 85, 266, 28, 4, 1], [0, 6, 64, 17, 870, 23, 2520, 210, 2388, 188, 760, 61, 54, 7, 0], [0, 6, 64, 18, 860, 68, 2400, 420, 2136, 398, 640, 106, 44, 8, 0], [0, 6, 64, 19, 850, 113, 2280, 630, 1884, 608, 520, 151, 34, 9, 0], [0, 6, 64, 20, 840, 158, 2160, 840, 1632, 818, 400, 196, 24, 10, 0], [0, 6, 64, 20, 841, 148, 2205, 720, 1842, 566, 610, 76, 69, 0, 1], [0, 6, 64, 21, 830, 203, 2040, 1050, 1380, 1028, 280, 241, 14, 11, 0], [0, 6, 64, 21, 831, 193, 2085, 930, 1590, 776, 490, 121, 59, 1, 1], [0, 6, 64, 22, 820, 248, 1920, 1260, 1128, 1238, 160, 286, 4, 12, 0], [0, 6, 64, 22, 821, 238, 1965, 1140, 1338, 986, 370, 166, 49, 2, 1], [0, 6, 64, 23, 811, 283, 1845, 1350, 1086, 1196, 250, 211, 39, 3, 1], [0, 6, 64, 24, 801, 328, 1725, 1560, 834, 1406, 130, 256, 29, 4, 1], [0, 6, 64, 25, 791, 373, 1605, 1770, 582, 1616, 10, 301, 19, 5, 1], [0, 6, 65, 10, 885, 38, 2370, 588, 1842, 698, 445, 186, 25, 10, 0], [0, 6, 65, 10, 886, 28, 2415, 468, 2052, 446, 655, 66, 70, 0, 1], [0, 6, 65, 11, 875, 83, 2250, 798, 1590, 908, 325, 231, 15, 11, 0], [0, 6, 65, 11, 876, 73, 2295, 678, 1800, 656, 535, 111, 60, 1, 1], [0, 6, 65, 12, 865, 128, 2130, 1008, 1338, 1118, 205, 276, 5, 12, 0], [0, 6, 65, 12, 866, 118, 2175, 888, 1548, 866, 415, 156, 50, 2, 1], [0, 6, 65, 13, 856, 163, 2055, 1098, 1296, 1076, 295, 201, 40, 3, 1], [0, 6, 65, 14, 846, 208, 1935, 1308, 1044, 1286, 175, 246, 30, 4, 1], [0, 6, 65, 15, 836, 253, 1815, 1518, 792, 1496, 55, 291, 20, 5, 1], [0, 6, 66, 2, 910, 8, 2340, 756, 1548, 998, 250, 266, 6, 12, 0], [0, 6, 66, 3, 901, 43, 2265, 846, 1506, 956, 340, 191, 41, 3, 1], [0, 6, 66, 4, 891, 88, 2145, 1056, 1254, 1166, 220, 236, 31, 4, 1], [0, 6, 66, 5, 881, 133, 2025, 1266, 1002, 1376, 100, 281, 21, 5, 1], [0, 7, 41, 188, 205, 1613, 18, 2856, 546, 953, 645, 12, 81, 3, 0], [0, 7, 42, 178, 250, 1493, 228, 2604, 756, 833, 690, 2, 82, 3, 0], [0, 7, 42, 179, 240, 1538, 108, 2814, 504, 1043, 570, 47, 72, 4, 0], [0, 7, 43, 169, 285, 1418, 318, 2562, 714, 923, 615, 37, 73, 4, 0], [0, 7, 43, 170, 275, 1463, 198, 2772, 462, 1133, 495, 82, 63, 5, 0], [0, 7, 43, 171, 265, 1508, 78, 2982, 210, 1343, 375, 127, 53, 6, 0], [0, 7, 44, 159, 330, 1298, 528, 2310, 924, 803, 660, 27, 74, 4, 0], [0, 7, 44, 160, 320, 1343, 408, 2520, 672, 1013, 540, 72, 64, 5, 0], [0, 7, 44, 161, 310, 1388, 288, 2730, 420, 1223, 420, 117, 54, 6, 0], [0, 7, 44, 162, 300, 1433, 168, 2940, 168, 1433, 300, 162, 44, 7, 0], [0, 7, 45, 149, 375, 1178, 738, 2058, 1134, 683, 705, 17, 75, 4, 0], [0, 7, 45, 150, 365, 1223, 618, 2268, 882, 893, 585, 62, 65, 5, 0], [0, 7, 45, 151, 355, 1268, 498, 2478, 630, 1103, 465, 107, 55, 6, 0], [0, 7, 45, 152, 345, 1313, 378, 2688, 378, 1313, 345, 152, 45, 7, 0], [0, 7, 45, 153, 335, 1358, 258, 2898, 126, 1523, 225, 197, 35, 8, 0], [0, 7, 46, 139, 420, 1058, 948, 1806, 1344, 563, 750, 7, 76, 4, 0], [0, 7, 46, 140, 410, 1103, 828, 2016, 1092, 773, 630, 52, 66, 5, 0], [0, 7, 46, 141, 400, 1148, 708, 2226, 840, 983, 510, 97, 56, 6, 0], [0, 7, 46, 142, 390, 1193, 588, 2436, 588, 1193, 390, 142, 46, 7, 0], [0, 7, 46, 143, 380, 1238, 468, 2646, 336, 1403, 270, 187, 36, 8, 0], [0, 7, 46, 144, 370, 1283, 348, 2856, 84, 1613, 150, 232, 26, 9, 0], [0, 7, 46, 145, 361, 1318, 273, 2946, 42, 1571, 240, 157, 61, 0, 1], [0, 7, 47, 130, 455, 983, 1038, 1764, 1302, 653, 675, 42, 67, 5, 0], [0, 7, 47, 131, 445, 1028, 918, 1974, 1050, 863, 555, 87, 57, 6, 0], [0, 7, 47, 132, 435, 1073, 798, 2184, 798, 1073, 435, 132, 47, 7, 0], [0, 7, 47, 133, 425, 1118, 678, 2394, 546, 1283, 315, 177, 37, 8, 0], [0, 7, 47, 134, 415, 1163, 558, 2604, 294, 1493, 195, 222, 27, 9, 0], [0, 7, 47, 135, 405, 1208, 438, 2814, 42, 1703, 75, 267, 17, 10, 0], [0, 7, 47, 135, 406, 1198, 483, 2694, 252, 1451, 285, 147, 62, 0, 1], [0, 7, 47, 136, 396, 1243, 363, 2904, 0, 1661, 165, 192, 52, 1, 1], [0, 7, 48, 120, 500, 863, 1248, 1512, 1512, 533, 720, 32, 68, 5, 0], [0, 7, 48, 121, 490, 908, 1128, 1722, 1260, 743, 600, 77, 58, 6, 0], [0, 7, 48, 122, 480, 953, 1008, 1932, 1008, 953, 480, 122, 48, 7, 0], [0, 7, 48, 123, 470, 998, 888, 2142, 756, 1163, 360, 167, 38, 8, 0], [0, 7, 48, 124, 460, 1043, 768, 2352, 504, 1373, 240, 212, 28, 9, 0], [0, 7, 48, 125, 450, 1088, 648, 2562, 252, 1583, 120, 257, 18, 10, 0], [0, 7, 48, 125, 451, 1078, 693, 2442, 462, 1331, 330, 137, 63, 0, 1], [0, 7, 48, 126, 440, 1133, 528, 2772, 0, 1793, 0, 302, 8, 11, 0], [0, 7, 48, 126, 441, 1123, 573, 2652, 210, 1541, 210, 182, 53, 1, 1], [0, 7, 49, 110, 545, 743, 1458, 1260, 1722, 413, 765, 22, 69, 5, 0], [0, 7, 49, 111, 535, 788, 1338, 1470, 1470, 623, 645, 67, 59, 6, 0], [0, 7, 49, 112, 525, 833, 1218, 1680, 1218, 833, 525, 112, 49, 7, 0], [0, 7, 49, 113, 515, 878, 1098, 1890, 966, 1043, 405, 157, 39, 8, 0], [0, 7, 49, 114, 505, 923, 978, 2100, 714, 1253, 285, 202, 29, 9, 0], [0, 7, 49, 115, 495, 968, 858, 2310, 462, 1463, 165, 247, 19, 10, 0], [0, 7, 49, 115, 496, 958, 903, 2190, 672, 1211, 375, 127, 64, 0, 1], [0, 7, 49, 116, 485, 1013, 738, 2520, 210, 1673, 45, 292, 9, 11, 0], [0, 7, 49, 116, 486, 1003, 783, 2400, 420, 1421, 255, 172, 54, 1, 1], [0, 7, 49, 117, 476, 1048, 663, 2610, 168, 1631, 135, 217, 44, 2, 1], [0, 7, 50, 100, 590, 623, 1668, 1008, 1932, 293, 810, 12, 70, 5, 0], [0, 7, 50, 101, 580, 668, 1548, 1218, 1680, 503, 690, 57, 60, 6, 0], [0, 7, 50, 102, 570, 713, 1428, 1428, 1428, 713, 570, 102, 50, 7, 0], [0, 7, 50, 103, 560, 758, 1308, 1638, 1176, 923, 450, 147, 40, 8, 0], [0, 7, 50, 104, 550, 803, 1188, 1848, 924, 1133, 330, 192, 30, 9, 0], [0, 7, 50, 105, 540, 848, 1068, 2058, 672, 1343, 210, 237, 20, 10, 0], [0, 7, 50, 105, 541, 838, 1113, 1938, 882, 1091, 420, 117, 65, 0, 1], [0, 7, 50, 106, 530, 893, 948, 2268, 420, 1553, 90, 282, 10, 11, 0], [0, 7, 50, 106, 531, 883, 993, 2148, 630, 1301, 300, 162, 55, 1, 1], [0, 7, 50, 107, 521, 928, 873, 2358, 378, 1511, 180, 207, 45, 2, 1], [0, 7, 50, 108, 511, 973, 753, 2568, 126, 1721, 60, 252, 35, 3, 1], [0, 7, 51, 90, 635, 503, 1878, 756, 2142, 173, 855, 2, 71, 5, 0], [0, 7, 51, 91, 625, 548, 1758, 966, 1890, 383, 735, 47, 61, 6, 0], [0, 7, 51, 92, 615, 593, 1638, 1176, 1638, 593, 615, 92, 51, 7, 0], [0, 7, 51, 93, 605, 638, 1518, 1386, 1386, 803, 495, 137, 41, 8, 0], [0, 7, 51, 94, 595, 683, 1398, 1596, 1134, 1013, 375, 182, 31, 9, 0], [0, 7, 51, 95, 585, 728, 1278, 1806, 882, 1223, 255, 227, 21, 10, 0], [0, 7, 51, 95, 586, 718, 1323, 1686, 1092, 971, 465, 107, 66, 0, 1], [0, 7, 51, 96, 575, 773, 1158, 2016, 630, 1433, 135, 272, 11, 11, 0], [0, 7, 51, 96, 576, 763, 1203, 1896, 840, 1181, 345, 152, 56, 1, 1], [0, 7, 51, 97, 565, 818, 1038, 2226, 378, 1643, 15, 317, 1, 12, 0], [0, 7, 51, 97, 566, 808, 1083, 2106, 588, 1391, 225, 197, 46, 2, 1], [0, 7, 51, 98, 556, 853, 963, 2316, 336, 1601, 105, 242, 36, 3, 1], [0, 7, 52, 81, 670, 428, 1968, 714, 2100, 263, 780, 37, 62, 6, 0], [0, 7, 52, 82, 660, 473, 1848, 924, 1848, 473, 660, 82, 52, 7, 0], [0, 7, 52, 83, 650, 518, 1728, 1134, 1596, 683, 540, 127, 42, 8, 0], [0, 7, 52, 84, 640, 563, 1608, 1344, 1344, 893, 420, 172, 32, 9, 0], [0, 7, 52, 85, 630, 608, 1488, 1554, 1092, 1103, 300, 217, 22, 10, 0], [0, 7, 52, 85, 631, 598, 1533, 1434, 1302, 851, 510, 97, 67, 0, 1], [0, 7, 52, 86, 620, 653, 1368, 1764, 840, 1313, 180, 262, 12, 11, 0], [0, 7, 52, 86, 621, 643, 1413, 1644, 1050, 1061, 390, 142, 57, 1, 1], [0, 7, 52, 87, 610, 698, 1248, 1974, 588, 1523, 60, 307, 2, 12, 0], [0, 7, 52, 87, 611, 688, 1293, 1854, 798, 1271, 270, 187, 47, 2, 1], [0, 7, 52, 88, 601, 733, 1173, 2064, 546, 1481, 150, 232, 37, 3, 1], [0, 7, 52, 89, 591, 778, 1053, 2274, 294, 1691, 30, 277, 27, 4, 1], [0, 7, 53, 71, 715, 308, 2178, 462, 2310, 143, 825, 27, 63, 6, 0], [0, 7, 53, 72, 705, 353, 2058, 672, 2058, 353, 705, 72, 53, 7, 0], [0, 7, 53, 73, 695, 398, 1938, 882, 1806, 563, 585, 117, 43, 8, 0], [0, 7, 53, 74, 685, 443, 1818, 1092, 1554, 773, 465, 162, 33, 9, 0], [0, 7, 53, 75, 675, 488, 1698, 1302, 1302, 983, 345, 207, 23, 10, 0], [0, 7, 53, 75, 676, 478, 1743, 1182, 1512, 731, 555, 87, 68, 0, 1], [0, 7, 53, 76, 665, 533, 1578, 1512, 1050, 1193, 225, 252, 13, 11, 0], [0, 7, 53, 76, 666, 523, 1623, 1392, 1260, 941, 435, 132, 58, 1, 1], [0, 7, 53, 77, 655, 578, 1458, 1722, 798, 1403, 105, 297, 3, 12, 0], [0, 7, 53, 77, 656, 568, 1503, 1602, 1008, 1151, 315, 177, 48, 2, 1], [0, 7, 53, 78, 646, 613, 1383, 1812, 756, 1361, 195, 222, 38, 3, 1], [0, 7, 53, 79, 636, 658, 1263, 2022, 504, 1571, 75, 267, 28, 4, 1], [0, 7, 54, 61, 760, 188, 2388, 210, 2520, 23, 870, 17, 64, 6, 0], [0, 7, 54, 62, 750, 233, 2268, 420, 2268, 233, 750, 62, 54, 7, 0], [0, 7, 54, 63, 740, 278, 2148, 630, 2016, 443, 630, 107, 44, 8, 0], [0, 7, 54, 64, 730, 323, 2028, 840, 1764, 653, 510, 152, 34, 9, 0], [0, 7, 54, 65, 720, 368, 1908, 1050, 1512, 863, 390, 197, 24, 10, 0], [0, 7, 54, 65, 721, 358, 1953, 930, 1722, 611, 600, 77, 69, 0, 1], [0, 7, 54, 66, 710, 413, 1788, 1260, 1260, 1073, 270, 242, 14, 11, 0], [0, 7, 54, 66, 711, 403, 1833, 1140, 1470, 821, 480, 122, 59, 1, 1], [0, 7, 54, 67, 700, 458, 1668, 1470, 1008, 1283, 150, 287, 4, 12, 0], [0, 7, 54, 67, 701, 448, 1713, 1350, 1218, 1031, 360, 167, 49, 2, 1], [0, 7, 54, 68, 691, 493, 1593, 1560, 966, 1241, 240, 212, 39, 3, 1], [0, 7, 54, 69, 681, 538, 1473, 1770, 714, 1451, 120, 257, 29, 4, 1], [0, 7, 54, 70, 671, 583, 1353, 1980, 462, 1661, 0, 302, 19, 5, 1], [0, 7, 55, 52, 795, 113, 2478, 168, 2478, 113, 795, 52, 55, 7, 0], [0, 7, 55, 53, 785, 158, 2358, 378, 2226, 323, 675, 97, 45, 8, 0], [0, 7, 55, 54, 775, 203, 2238, 588, 1974, 533, 555, 142, 35, 9, 0], [0, 7, 55, 55, 765, 248, 2118, 798, 1722, 743, 435, 187, 25, 10, 0], [0, 7, 55, 55, 766, 238, 2163, 678, 1932, 491, 645, 67, 70, 0, 1], [0, 7, 55, 56, 755, 293, 1998, 1008, 1470, 953, 315, 232, 15, 11, 0], [0, 7, 55, 56, 756, 283, 2043, 888, 1680, 701, 525, 112, 60, 1, 1], [0, 7, 55, 57, 745, 338, 1878, 1218, 1218, 1163, 195, 277, 5, 12, 0], [0, 7, 55, 57, 746, 328, 1923, 1098, 1428, 911, 405, 157, 50, 2, 1], [0, 7, 55, 58, 736, 373, 1803, 1308, 1176, 1121, 285, 202, 40, 3, 1], [0, 7, 55, 59, 726, 418, 1683, 1518, 924, 1331, 165, 247, 30, 4, 1], [0, 7, 55, 60, 716, 463, 1563, 1728, 672, 1541, 45, 292, 20, 5, 1], [0, 7, 56, 43, 830, 38, 2568, 126, 2436, 203, 720, 87, 46, 8, 0], [0, 7, 56, 44, 820, 83, 2448, 336, 2184, 413, 600, 132, 36, 9, 0], [0, 7, 56, 45, 810, 128, 2328, 546, 1932, 623, 480, 177, 26, 10, 0], [0, 7, 56, 45, 811, 118, 2373, 426, 2142, 371, 690, 57, 71, 0, 1], [0, 7, 56, 46, 800, 173, 2208, 756, 1680, 833, 360, 222, 16, 11, 0], [0, 7, 56, 46, 801, 163, 2253, 636, 1890, 581, 570, 102, 61, 1, 1], [0, 7, 56, 47, 790, 218, 2088, 966, 1428, 1043, 240, 267, 6, 12, 0], [0, 7, 56, 47, 791, 208, 2133, 846, 1638, 791, 450, 147, 51, 2, 1], [0, 7, 56, 48, 781, 253, 2013, 1056, 1386, 1001, 330, 192, 41, 3, 1], [0, 7, 56, 49, 771, 298, 1893, 1266, 1134, 1211, 210, 237, 31, 4, 1], [0, 7, 56, 50, 761, 343, 1773, 1476, 882, 1421, 90, 282, 21, 5, 1], [0, 7, 57, 35, 855, 8, 2538, 294, 2142, 503, 525, 167, 27, 10, 0], [0, 7, 57, 36, 845, 53, 2418, 504, 1890, 713, 405, 212, 17, 11, 0], [0, 7, 57, 36, 846, 43, 2463, 384, 2100, 461, 615, 92, 62, 1, 1], [0, 7, 57, 37, 835, 98, 2298, 714, 1638, 923, 285, 257, 7, 12, 0], [0, 7, 57, 37, 836, 88, 2343, 594, 1848, 671, 495, 137, 52, 2, 1], [0, 7, 57, 38, 826, 133, 2223, 804, 1596, 881, 375, 182, 42, 3, 1], [0, 7, 57, 39, 816, 178, 2103, 1014, 1344, 1091, 255, 227, 32, 4, 1], [0, 7, 57, 40, 806, 223, 1983, 1224, 1092, 1301, 135, 272, 22, 5, 1], [0, 7, 57, 41, 796, 268, 1863, 1434, 840, 1511, 15, 317, 12, 6, 1], [0, 7, 58, 28, 871, 13, 2433, 552, 1806, 761, 420, 172, 43, 3, 1], [0, 7, 58, 29, 861, 58, 2313, 762, 1554, 971, 300, 217, 33, 4, 1], [0, 7, 58, 30, 851, 103, 2193, 972, 1302, 1181, 180, 262, 23, 5, 1], [0, 7, 58, 31, 841, 148, 2073, 1182, 1050, 1391, 60, 307, 13, 6, 1], [0, 7, 59, 21, 886, 28, 2283, 930, 1260, 1271, 105, 297, 14, 6, 1], [0, 8, 33, 214, 165, 1628, 66, 2772, 594, 968, 605, 38, 73, 4, 0], [0, 8, 34, 204, 210, 1508, 276, 2520, 804, 848, 650, 28, 74, 4, 0], [0, 8, 34, 205, 200, 1553, 156, 2730, 552, 1058, 530, 73, 64, 5, 0], [0, 8, 34, 206, 190, 1598, 36, 2940, 300, 1268, 410, 118, 54, 6, 0], [0, 8, 35, 194, 255, 1388, 486, 2268, 1014, 728, 695, 18, 75, 4, 0], [0, 8, 35, 195, 245, 1433, 366, 2478, 762, 938, 575, 63, 65, 5, 0], [0, 8, 35, 196, 235, 1478, 246, 2688, 510, 1148, 455, 108, 55, 6, 0], [0, 8, 35, 197, 225, 1523, 126, 2898, 258, 1358, 335, 153, 45, 7, 0], [0, 8, 35, 198, 215, 1568, 6, 3108, 6, 1568, 215, 198, 35, 8, 0], [0, 8, 36, 184, 300, 1268, 696, 2016, 1224, 608, 740, 8, 76, 4, 0], [0, 8, 36, 185, 290, 1313, 576, 2226, 972, 818, 620, 53, 66, 5, 0], [0, 8, 36, 186, 280, 1358, 456, 2436, 720, 1028, 500, 98, 56, 6, 0], [0, 8, 36, 187, 270, 1403, 336, 2646, 468, 1238, 380, 143, 46, 7, 0], [0, 8, 36, 188, 260, 1448, 216, 2856, 216, 1448, 260, 188, 36, 8, 0], [0, 8, 37, 175, 335, 1193, 786, 1974, 1182, 698, 665, 43, 67, 5, 0], [0, 8, 37, 176, 325, 1238, 666, 2184, 930, 908, 545, 88, 57, 6, 0], [0, 8, 37, 177, 315, 1283, 546, 2394, 678, 1118, 425, 133, 47, 7, 0], [0, 8, 37, 178, 305, 1328, 426, 2604, 426, 1328, 305, 178, 37, 8, 0], [0, 8, 37, 179, 295, 1373, 306, 2814, 174, 1538, 185, 223, 27, 9, 0], [0, 8, 37, 180, 286, 1408, 231, 2904, 132, 1496, 275, 148, 62, 0, 1], [0, 8, 38, 165, 380, 1073, 996, 1722, 1392, 578, 710, 33, 68, 5, 0], [0, 8, 38, 166, 370, 1118, 876, 1932, 1140, 788, 590, 78, 58, 6, 0], [0, 8, 38, 167, 360, 1163, 756, 2142, 888, 998, 470, 123, 48, 7, 0], [0, 8, 38, 168, 350, 1208, 636, 2352, 636, 1208, 350, 168, 38, 8, 0], [0, 8, 38, 169, 340, 1253, 516, 2562, 384, 1418, 230, 213, 28, 9, 0], [0, 8, 38, 170, 330, 1298, 396, 2772, 132, 1628, 110, 258, 18, 10, 0], [0, 8, 38, 170, 331, 1288, 441, 2652, 342, 1376, 320, 138, 63, 0, 1], [0, 8, 38, 171, 321, 1333, 321, 2862, 90, 1586, 200, 183, 53, 1, 1], [0, 8, 39, 155, 425, 953, 1206, 1470, 1602, 458, 755, 23, 69, 5, 0], [0, 8, 39, 156, 415, 998, 1086, 1680, 1350, 668, 635, 68, 59, 6, 0], [0, 8, 39, 157, 405, 1043, 966, 1890, 1098, 878, 515, 113, 49, 7, 0], [0, 8, 39, 158, 395, 1088, 846, 2100, 846, 1088, 395, 158, 39, 8, 0], [0, 8, 39, 159, 385, 1133, 726, 2310, 594, 1298, 275, 203, 29, 9, 0], [0, 8, 39, 160, 375, 1178, 606, 2520, 342, 1508, 155, 248, 19, 10, 0], [0, 8, 39, 160, 376, 1168, 651, 2400, 552, 1256, 365, 128, 64, 0, 1], [0, 8, 39, 161, 365, 1223, 486, 2730, 90, 1718, 35, 293, 9, 11, 0], [0, 8, 39, 161, 366, 1213, 531, 2610, 300, 1466, 245, 173, 54, 1, 1], [0, 8, 39, 162, 356, 1258, 411, 2820, 48, 1676, 125, 218, 44, 2, 1], [0, 8, 40, 145, 470, 833, 1416, 1218, 1812, 338, 800, 13, 70, 5, 0], [0, 8, 40, 146, 460, 878, 1296, 1428, 1560, 548, 680, 58, 60, 6, 0], [0, 8, 40, 147, 450, 923, 1176, 1638, 1308, 758, 560, 103, 50, 7, 0], [0, 8, 40, 148, 440, 968, 1056, 1848, 1056, 968, 440, 148, 40, 8, 0], [0, 8, 40, 149, 430, 1013, 936, 2058, 804, 1178, 320, 193, 30, 9, 0], [0, 8, 40, 150, 420, 1058, 816, 2268, 552, 1388, 200, 238, 20, 10, 0], [0, 8, 40, 150, 421, 1048, 861, 2148, 762, 1136, 410, 118, 65, 0, 1], [0, 8, 40, 151, 410, 1103, 696, 2478, 300, 1598, 80, 283, 10, 11, 0], [0, 8, 40, 151, 411, 1093, 741, 2358, 510, 1346, 290, 163, 55, 1, 1], [0, 8, 40, 152, 401, 1138, 621, 2568, 258, 1556, 170, 208, 45, 2, 1], [0, 8, 40, 153, 391, 1183, 501, 2778, 6, 1766, 50, 253, 35, 3, 1], [0, 8, 41, 135, 515, 713, 1626, 966, 2022, 218, 845, 3, 71, 5, 0], [0, 8, 41, 136, 505, 758, 1506, 1176, 1770, 428, 725, 48, 61, 6, 0], [0, 8, 41, 137, 495, 803, 1386, 1386, 1518, 638, 605, 93, 51, 7, 0], [0, 8, 41, 138, 485, 848, 1266, 1596, 1266, 848, 485, 138, 41, 8, 0], [0, 8, 41, 139, 475, 893, 1146, 1806, 1014, 1058, 365, 183, 31, 9, 0], [0, 8, 41, 140, 465, 938, 1026, 2016, 762, 1268, 245, 228, 21, 10, 0], [0, 8, 41, 140, 466, 928, 1071, 1896, 972, 1016, 455, 108, 66, 0, 1], [0, 8, 41, 141, 455, 983, 906, 2226, 510, 1478, 125, 273, 11, 11, 0], [0, 8, 41, 141, 456, 973, 951, 2106, 720, 1226, 335, 153, 56, 1, 1], [0, 8, 41, 142, 445, 1028, 786, 2436, 258, 1688, 5, 318, 1, 12, 0], [0, 8, 41, 142, 446, 1018, 831, 2316, 468, 1436, 215, 198, 46, 2, 1], [0, 8, 41, 143, 436, 1063, 711, 2526, 216, 1646, 95, 243, 36, 3, 1], [0, 8, 42, 126, 550, 638, 1716, 924, 1980, 308, 770, 38, 62, 6, 0], [0, 8, 42, 127, 540, 683, 1596, 1134, 1728, 518, 650, 83, 52, 7, 0], [0, 8, 42, 128, 530, 728, 1476, 1344, 1476, 728, 530, 128, 42, 8, 0], [0, 8, 42, 129, 520, 773, 1356, 1554, 1224, 938, 410, 173, 32, 9, 0], [0, 8, 42, 130, 510, 818, 1236, 1764, 972, 1148, 290, 218, 22, 10, 0], [0, 8, 42, 130, 511, 808, 1281, 1644, 1182, 896, 500, 98, 67, 0, 1], [0, 8, 42, 131, 500, 863, 1116, 1974, 720, 1358, 170, 263, 12, 11, 0], [0, 8, 42, 131, 501, 853, 1161, 1854, 930, 1106, 380, 143, 57, 1, 1], [0, 8, 42, 132, 490, 908, 996, 2184, 468, 1568, 50, 308, 2, 12, 0], [0, 8, 42, 132, 491, 898, 1041, 2064, 678, 1316, 260, 188, 47, 2, 1], [0, 8, 42, 133, 481, 943, 921, 2274, 426, 1526, 140, 233, 37, 3, 1], [0, 8, 42, 134, 471, 988, 801, 2484, 174, 1736, 20, 278, 27, 4, 1], [0, 8, 43, 116, 595, 518, 1926, 672, 2190, 188, 815, 28, 63, 6, 0], [0, 8, 43, 117, 585, 563, 1806, 882, 1938, 398, 695, 73, 53, 7, 0], [0, 8, 43, 118, 575, 608, 1686, 1092, 1686, 608, 575, 118, 43, 8, 0], [0, 8, 43, 119, 565, 653, 1566, 1302, 1434, 818, 455, 163, 33, 9, 0], [0, 8, 43, 120, 555, 698, 1446, 1512, 1182, 1028, 335, 208, 23, 10, 0], [0, 8, 43, 120, 556, 688, 1491, 1392, 1392, 776, 545, 88, 68, 0, 1], [0, 8, 43, 121, 545, 743, 1326, 1722, 930, 1238, 215, 253, 13, 11, 0], [0, 8, 43, 121, 546, 733, 1371, 1602, 1140, 986, 425, 133, 58, 1, 1], [0, 8, 43, 122, 535, 788, 1206, 1932, 678, 1448, 95, 298, 3, 12, 0], [0, 8, 43, 122, 536, 778, 1251, 1812, 888, 1196, 305, 178, 48, 2, 1], [0, 8, 43, 123, 526, 823, 1131, 2022, 636, 1406, 185, 223, 38, 3, 1], [0, 8, 43, 124, 516, 868, 1011, 2232, 384, 1616, 65, 268, 28, 4, 1], [0, 8, 44, 106, 640, 398, 2136, 420, 2400, 68, 860, 18, 64, 6, 0], [0, 8, 44, 107, 630, 443, 2016, 630, 2148, 278, 740, 63, 54, 7, 0], [0, 8, 44, 108, 620, 488, 1896, 840, 1896, 488, 620, 108, 44, 8, 0], [0, 8, 44, 109, 610, 533, 1776, 1050, 1644, 698, 500, 153, 34, 9, 0], [0, 8, 44, 110, 600, 578, 1656, 1260, 1392, 908, 380, 198, 24, 10, 0], [0, 8, 44, 110, 601, 568, 1701, 1140, 1602, 656, 590, 78, 69, 0, 1], [0, 8, 44, 111, 590, 623, 1536, 1470, 1140, 1118, 260, 243, 14, 11, 0], [0, 8, 44, 111, 591, 613, 1581, 1350, 1350, 866, 470, 123, 59, 1, 1], [0, 8, 44, 112, 580, 668, 1416, 1680, 888, 1328, 140, 288, 4, 12, 0], [0, 8, 44, 112, 581, 658, 1461, 1560, 1098, 1076, 350, 168, 49, 2, 1], [0, 8, 44, 113, 571, 703, 1341, 1770, 846, 1286, 230, 213, 39, 3, 1], [0, 8, 44, 114, 561, 748, 1221, 1980, 594, 1496, 110, 258, 29, 4, 1], [0, 8, 45, 97, 675, 323, 2226, 378, 2358, 158, 785, 53, 55, 7, 0], [0, 8, 45, 98, 665, 368, 2106, 588, 2106, 368, 665, 98, 45, 8, 0], [0, 8, 45, 99, 655, 413, 1986, 798, 1854, 578, 545, 143, 35, 9, 0], [0, 8, 45, 100, 645, 458, 1866, 1008, 1602, 788, 425, 188, 25, 10, 0], [0, 8, 45, 100, 646, 448, 1911, 888, 1812, 536, 635, 68, 70, 0, 1], [0, 8, 45, 101, 635, 503, 1746, 1218, 1350, 998, 305, 233, 15, 11, 0], [0, 8, 45, 101, 636, 493, 1791, 1098, 1560, 746, 515, 113, 60, 1, 1], [0, 8, 45, 102, 625, 548, 1626, 1428, 1098, 1208, 185, 278, 5, 12, 0], [0, 8, 45, 102, 626, 538, 1671, 1308, 1308, 956, 395, 158, 50, 2, 1], [0, 8, 45, 103, 616, 583, 1551, 1518, 1056, 1166, 275, 203, 40, 3, 1], [0, 8, 45, 104, 606, 628, 1431, 1728, 804, 1376, 155, 248, 30, 4, 1], [0, 8, 45, 105, 596, 673, 1311, 1938, 552, 1586, 35, 293, 20, 5, 1], [0, 8, 46, 87, 720, 203, 2436, 126, 2568, 38, 830, 43, 56, 7, 0], [0, 8, 46, 88, 710, 248, 2316, 336, 2316, 248, 710, 88, 46, 8, 0], [0, 8, 46, 89, 700, 293, 2196, 546, 2064, 458, 590, 133, 36, 9, 0], [0, 8, 46, 90, 690, 338, 2076, 756, 1812, 668, 470, 178, 26, 10, 0], [0, 8, 46, 90, 691, 328, 2121, 636, 2022, 416, 680, 58, 71, 0, 1], [0, 8, 46, 91, 680, 383, 1956, 966, 1560, 878, 350, 223, 16, 11, 0], [0, 8, 46, 91, 681, 373, 2001, 846, 1770, 626, 560, 103, 61, 1, 1], [0, 8, 46, 92, 670, 428, 1836, 1176, 1308, 1088, 230, 268, 6, 12, 0], [0, 8, 46, 92, 671, 418, 1881, 1056, 1518, 836, 440, 148, 51, 2, 1], [0, 8, 46, 93, 661, 463, 1761, 1266, 1266, 1046, 320, 193, 41, 3, 1], [0, 8, 46, 94, 651, 508, 1641, 1476, 1014, 1256, 200, 238, 31, 4, 1], [0, 8, 46, 95, 641, 553, 1521, 1686, 762, 1466, 80, 283, 21, 5, 1], [0, 8, 47, 78, 755, 128, 2526, 84, 2526, 128, 755, 78, 47, 8, 0], [0, 8, 47, 79, 745, 173, 2406, 294, 2274, 338, 635, 123, 37, 9, 0], [0, 8, 47, 80, 735, 218, 2286, 504, 2022, 548, 515, 168, 27, 10, 0], [0, 8, 47, 80, 736, 208, 2331, 384, 2232, 296, 725, 48, 72, 0, 1], [0, 8, 47, 81, 725, 263, 2166, 714, 1770, 758, 395, 213, 17, 11, 0], [0, 8, 47, 81, 726, 253, 2211, 594, 1980, 506, 605, 93, 62, 1, 1], [0, 8, 47, 82, 715, 308, 2046, 924, 1518, 968, 275, 258, 7, 12, 0], [0, 8, 47, 82, 716, 298, 2091, 804, 1728, 716, 485, 138, 52, 2, 1], [0, 8, 47, 83, 706, 343, 1971, 1014, 1476, 926, 365, 183, 42, 3, 1], [0, 8, 47, 84, 696, 388, 1851, 1224, 1224, 1136, 245, 228, 32, 4, 1], [0, 8, 47, 85, 686, 433, 1731, 1434, 972, 1346, 125, 273, 22, 5, 1], [0, 8, 47, 86, 676, 478, 1611, 1644, 720, 1556, 5, 318, 12, 6, 1], [0, 8, 48, 69, 790, 53, 2616, 42, 2484, 218, 680, 113, 38, 9, 0], [0, 8, 48, 70, 780, 98, 2496, 252, 2232, 428, 560, 158, 28, 10, 0], [0, 8, 48, 70, 781, 88, 2541, 132, 2442, 176, 770, 38, 73, 0, 1], [0, 8, 48, 71, 770, 143, 2376, 462, 1980, 638, 440, 203, 18, 11, 0], [0, 8, 48, 71, 771, 133, 2421, 342, 2190, 386, 650, 83, 63, 1, 1], [0, 8, 48, 72, 760, 188, 2256, 672, 1728, 848, 320, 248, 8, 12, 0], [0, 8, 48, 72, 761, 178, 2301, 552, 1938, 596, 530, 128, 53, 2, 1], [0, 8, 48, 73, 751, 223, 2181, 762, 1686, 806, 410, 173, 43, 3, 1], [0, 8, 48, 74, 741, 268, 2061, 972, 1434, 1016, 290, 218, 33, 4, 1], [0, 8, 48, 75, 731, 313, 1941, 1182, 1182, 1226, 170, 263, 23, 5, 1], [0, 8, 48, 76, 721, 358, 1821, 1392, 930, 1436, 50, 308, 13, 6, 1], [0, 8, 49, 61, 815, 23, 2586, 210, 2190, 518, 485, 193, 19, 11, 0], [0, 8, 49, 61, 816, 13, 2631, 90, 2400, 266, 695, 73, 64, 1, 1], [0, 8, 49, 62, 805, 68, 2466, 420, 1938, 728, 365, 238, 9, 12, 0], [0, 8, 49, 62, 806, 58, 2511, 300, 2148, 476, 575, 118, 54, 2, 1], [0, 8, 49, 63, 796, 103, 2391, 510, 1896, 686, 455, 163, 44, 3, 1], [0, 8, 49, 64, 786, 148, 2271, 720, 1644, 896, 335, 208, 34, 4, 1], [0, 8, 49, 65, 776, 193, 2151, 930, 1392, 1106, 215, 253, 24, 5, 1], [0, 8, 49, 66, 766, 238, 2031, 1140, 1140, 1316, 95, 298, 14, 6, 1], [0, 8, 50, 54, 831, 28, 2481, 468, 1854, 776, 380, 198, 35, 4, 1], [0, 8, 50, 55, 821, 73, 2361, 678, 1602, 986, 260, 243, 25, 5, 1], [0, 8, 50, 56, 811, 118, 2241, 888, 1350, 1196, 140, 288, 15, 6, 1], [0, 8, 50, 57, 801, 163, 2121, 1098, 1098, 1406, 20, 333, 5, 7, 1], [0, 8, 51, 47, 846, 43, 2331, 846, 1308, 1286, 65, 323, 6, 7, 1], [0, 9, 24, 249, 90, 1718, 24, 2730, 684, 893, 640, 29, 74, 4, 0], [0, 9, 25, 239, 135, 1598, 234, 2478, 894, 773, 685, 19, 75, 4, 0], [0, 9, 25, 240, 125, 1643, 114, 2688, 642, 983, 565, 64, 65, 5, 0], [0, 9, 26, 229, 180, 1478, 444, 2226, 1104, 653, 730, 9, 76, 4, 0], [0, 9, 26, 230, 170, 1523, 324, 2436, 852, 863, 610, 54, 66, 5, 0], [0, 9, 26, 231, 160, 1568, 204, 2646, 600, 1073, 490, 99, 56, 6, 0], [0, 9, 26, 232, 150, 1613, 84, 2856, 348, 1283, 370, 144, 46, 7, 0], [0, 9, 27, 220, 215, 1403, 534, 2184, 1062, 743, 655, 44, 67, 5, 0], [0, 9, 27, 221, 205, 1448, 414, 2394, 810, 953, 535, 89, 57, 6, 0], [0, 9, 27, 222, 195, 1493, 294, 2604, 558, 1163, 415, 134, 47, 7, 0], [0, 9, 27, 223, 185, 1538, 174, 2814, 306, 1373, 295, 179, 37, 8, 0], [0, 9, 27, 224, 175, 1583, 54, 3024, 54, 1583, 175, 224, 27, 9, 0], [0, 9, 28, 210, 260, 1283, 744, 1932, 1272, 623, 700, 34, 68, 5, 0], [0, 9, 28, 211, 250, 1328, 624, 2142, 1020, 833, 580, 79, 58, 6, 0], [0, 9, 28, 212, 240, 1373, 504, 2352, 768, 1043, 460, 124, 48, 7, 0], [0, 9, 28, 213, 230, 1418, 384, 2562, 516, 1253, 340, 169, 38, 8, 0], [0, 9, 28, 214, 220, 1463, 264, 2772, 264, 1463, 220, 214, 28, 9, 0], [0, 9, 28, 215, 210, 1508, 144, 2982, 12, 1673, 100, 259, 18, 10, 0], [0, 9, 28, 215, 211, 1498, 189, 2862, 222, 1421, 310, 139, 63, 0, 1], [0, 9, 29, 200, 305, 1163, 954, 1680, 1482, 503, 745, 24, 69, 5, 0], [0, 9, 29, 201, 295, 1208, 834, 1890, 1230, 713, 625, 69, 59, 6, 0], [0, 9, 29, 202, 285, 1253, 714, 2100, 978, 923, 505, 114, 49, 7, 0], [0, 9, 29, 203, 275, 1298, 594, 2310, 726, 1133, 385, 159, 39, 8, 0], [0, 9, 29, 204, 265, 1343, 474, 2520, 474, 1343, 265, 204, 29, 9, 0], [0, 9, 29, 205, 255, 1388, 354, 2730, 222, 1553, 145, 249, 19, 10, 0], [0, 9, 29, 205, 256, 1378, 399, 2610, 432, 1301, 355, 129, 64, 0, 1], [0, 9, 29, 206, 246, 1423, 279, 2820, 180, 1511, 235, 174, 54, 1, 1], [0, 9, 30, 190, 350, 1043, 1164, 1428, 1692, 383, 790, 14, 70, 5, 0], [0, 9, 30, 191, 340, 1088, 1044, 1638, 1440, 593, 670, 59, 60, 6, 0], [0, 9, 30, 192, 330, 1133, 924, 1848, 1188, 803, 550, 104, 50, 7, 0], [0, 9, 30, 193, 320, 1178, 804, 2058, 936, 1013, 430, 149, 40, 8, 0], [0, 9, 30, 194, 310, 1223, 684, 2268, 684, 1223, 310, 194, 30, 9, 0], [0, 9, 30, 195, 300, 1268, 564, 2478, 432, 1433, 190, 239, 20, 10, 0], [0, 9, 30, 195, 301, 1258, 609, 2358, 642, 1181, 400, 119, 65, 0, 1], [0, 9, 30, 196, 290, 1313, 444, 2688, 180, 1643, 70, 284, 10, 11, 0], [0, 9, 30, 196, 291, 1303, 489, 2568, 390, 1391, 280, 164, 55, 1, 1], [0, 9, 30, 197, 281, 1348, 369, 2778, 138, 1601, 160, 209, 45, 2, 1], [0, 9, 31, 180, 395, 923, 1374, 1176, 1902, 263, 835, 4, 71, 5, 0], [0, 9, 31, 181, 385, 968, 1254, 1386, 1650, 473, 715, 49, 61, 6, 0], [0, 9, 31, 182, 375, 1013, 1134, 1596, 1398, 683, 595, 94, 51, 7, 0], [0, 9, 31, 183, 365, 1058, 1014, 1806, 1146, 893, 475, 139, 41, 8, 0], [0, 9, 31, 184, 355, 1103, 894, 2016, 894, 1103, 355, 184, 31, 9, 0], [0, 9, 31, 185, 345, 1148, 774, 2226, 642, 1313, 235, 229, 21, 10, 0], [0, 9, 31, 185, 346, 1138, 819, 2106, 852, 1061, 445, 109, 66, 0, 1], [0, 9, 31, 186, 335, 1193, 654, 2436, 390, 1523, 115, 274, 11, 11, 0], [0, 9, 31, 186, 336, 1183, 699, 2316, 600, 1271, 325, 154, 56, 1, 1], [0, 9, 31, 187, 326, 1228, 579, 2526, 348, 1481, 205, 199, 46, 2, 1], [0, 9, 31, 188, 316, 1273, 459, 2736, 96, 1691, 85, 244, 36, 3, 1], [0, 9, 32, 171, 430, 848, 1464, 1134, 1860, 353, 760, 39, 62, 6, 0], [0, 9, 32, 172, 420, 893, 1344, 1344, 1608, 563, 640, 84, 52, 7, 0], [0, 9, 32, 173, 410, 938, 1224, 1554, 1356, 773, 520, 129, 42, 8, 0], [0, 9, 32, 174, 400, 983, 1104, 1764, 1104, 983, 400, 174, 32, 9, 0], [0, 9, 32, 175, 390, 1028, 984, 1974, 852, 1193, 280, 219, 22, 10, 0], [0, 9, 32, 175, 391, 1018, 1029, 1854, 1062, 941, 490, 99, 67, 0, 1], [0, 9, 32, 176, 380, 1073, 864, 2184, 600, 1403, 160, 264, 12, 11, 0], [0, 9, 32, 176, 381, 1063, 909, 2064, 810, 1151, 370, 144, 57, 1, 1], [0, 9, 32, 177, 370, 1118, 744, 2394, 348, 1613, 40, 309, 2, 12, 0], [0, 9, 32, 177, 371, 1108, 789, 2274, 558, 1361, 250, 189, 47, 2, 1], [0, 9, 32, 178, 361, 1153, 669, 2484, 306, 1571, 130, 234, 37, 3, 1], [0, 9, 32, 179, 351, 1198, 549, 2694, 54, 1781, 10, 279, 27, 4, 1], [0, 9, 33, 161, 475, 728, 1674, 882, 2070, 233, 805, 29, 63, 6, 0], [0, 9, 33, 162, 465, 773, 1554, 1092, 1818, 443, 685, 74, 53, 7, 0], [0, 9, 33, 163, 455, 818, 1434, 1302, 1566, 653, 565, 119, 43, 8, 0], [0, 9, 33, 164, 445, 863, 1314, 1512, 1314, 863, 445, 164, 33, 9, 0], [0, 9, 33, 165, 435, 908, 1194, 1722, 1062, 1073, 325, 209, 23, 10, 0], [0, 9, 33, 165, 436, 898, 1239, 1602, 1272, 821, 535, 89, 68, 0, 1], [0, 9, 33, 166, 425, 953, 1074, 1932, 810, 1283, 205, 254, 13, 11, 0], [0, 9, 33, 166, 426, 943, 1119, 1812, 1020, 1031, 415, 134, 58, 1, 1], [0, 9, 33, 167, 415, 998, 954, 2142, 558, 1493, 85, 299, 3, 12, 0], [0, 9, 33, 167, 416, 988, 999, 2022, 768, 1241, 295, 179, 48, 2, 1], [0, 9, 33, 168, 406, 1033, 879, 2232, 516, 1451, 175, 224, 38, 3, 1], [0, 9, 33, 169, 396, 1078, 759, 2442, 264, 1661, 55, 269, 28, 4, 1], [0, 9, 34, 151, 520, 608, 1884, 630, 2280, 113, 850, 19, 64, 6, 0], [0, 9, 34, 152, 510, 653, 1764, 840, 2028, 323, 730, 64, 54, 7, 0], [0, 9, 34, 153, 500, 698, 1644, 1050, 1776, 533, 610, 109, 44, 8, 0], [0, 9, 34, 154, 490, 743, 1524, 1260, 1524, 743, 490, 154, 34, 9, 0], [0, 9, 34, 155, 480, 788, 1404, 1470, 1272, 953, 370, 199, 24, 10, 0], [0, 9, 34, 155, 481, 778, 1449, 1350, 1482, 701, 580, 79, 69, 0, 1], [0, 9, 34, 156, 470, 833, 1284, 1680, 1020, 1163, 250, 244, 14, 11, 0], [0, 9, 34, 156, 471, 823, 1329, 1560, 1230, 911, 460, 124, 59, 1, 1], [0, 9, 34, 157, 460, 878, 1164, 1890, 768, 1373, 130, 289, 4, 12, 0], [0, 9, 34, 157, 461, 868, 1209, 1770, 978, 1121, 340, 169, 49, 2, 1], [0, 9, 34, 158, 451, 913, 1089, 1980, 726, 1331, 220, 214, 39, 3, 1], [0, 9, 34, 159, 441, 958, 969, 2190, 474, 1541, 100, 259, 29, 4, 1], [0, 9, 35, 142, 555, 533, 1974, 588, 2238, 203, 775, 54, 55, 7, 0], [0, 9, 35, 143, 545, 578, 1854, 798, 1986, 413, 655, 99, 45, 8, 0], [0, 9, 35, 144, 535, 623, 1734, 1008, 1734, 623, 535, 144, 35, 9, 0], [0, 9, 35, 145, 525, 668, 1614, 1218, 1482, 833, 415, 189, 25, 10, 0], [0, 9, 35, 145, 526, 658, 1659, 1098, 1692, 581, 625, 69, 70, 0, 1], [0, 9, 35, 146, 515, 713, 1494, 1428, 1230, 1043, 295, 234, 15, 11, 0], [0, 9, 35, 146, 516, 703, 1539, 1308, 1440, 791, 505, 114, 60, 1, 1], [0, 9, 35, 147, 505, 758, 1374, 1638, 978, 1253, 175, 279, 5, 12, 0], [0, 9, 35, 147, 506, 748, 1419, 1518, 1188, 1001, 385, 159, 50, 2, 1], [0, 9, 35, 148, 496, 793, 1299, 1728, 936, 1211, 265, 204, 40, 3, 1], [0, 9, 35, 149, 486, 838, 1179, 1938, 684, 1421, 145, 249, 30, 4, 1], [0, 9, 35, 150, 476, 883, 1059, 2148, 432, 1631, 25, 294, 20, 5, 1], [0, 9, 36, 132, 600, 413, 2184, 336, 2448, 83, 820, 44, 56, 7, 0], [0, 9, 36, 133, 590, 458, 2064, 546, 2196, 293, 700, 89, 46, 8, 0], [0, 9, 36, 134, 580, 503, 1944, 756, 1944, 503, 580, 134, 36, 9, 0], [0, 9, 36, 135, 570, 548, 1824, 966, 1692, 713, 460, 179, 26, 10, 0], [0, 9, 36, 135, 571, 538, 1869, 846, 1902, 461, 670, 59, 71, 0, 1], [0, 9, 36, 136, 560, 593, 1704, 1176, 1440, 923, 340, 224, 16, 11, 0], [0, 9, 36, 136, 561, 583, 1749, 1056, 1650, 671, 550, 104, 61, 1, 1], [0, 9, 36, 137, 550, 638, 1584, 1386, 1188, 1133, 220, 269, 6, 12, 0], [0, 9, 36, 137, 551, 628, 1629, 1266, 1398, 881, 430, 149, 51, 2, 1], [0, 9, 36, 138, 541, 673, 1509, 1476, 1146, 1091, 310, 194, 41, 3, 1], [0, 9, 36, 139, 531, 718, 1389, 1686, 894, 1301, 190, 239, 31, 4, 1], [0, 9, 36, 140, 521, 763, 1269, 1896, 642, 1511, 70, 284, 21, 5, 1], [0, 9, 37, 123, 635, 338, 2274, 294, 2406, 173, 745, 79, 47, 8, 0], [0, 9, 37, 124, 625, 383, 2154, 504, 2154, 383, 625, 124, 37, 9, 0], [0, 9, 37, 125, 615, 428, 2034, 714, 1902, 593, 505, 169, 27, 10, 0], [0, 9, 37, 125, 616, 418, 2079, 594, 2112, 341, 715, 49, 72, 0, 1], [0, 9, 37, 126, 605, 473, 1914, 924, 1650, 803, 385, 214, 17, 11, 0], [0, 9, 37, 126, 606, 463, 1959, 804, 1860, 551, 595, 94, 62, 1, 1], [0, 9, 37, 127, 595, 518, 1794, 1134, 1398, 1013, 265, 259, 7, 12, 0], [0, 9, 37, 127, 596, 508, 1839, 1014, 1608, 761, 475, 139, 52, 2, 1], [0, 9, 37, 128, 586, 553, 1719, 1224, 1356, 971, 355, 184, 42, 3, 1], [0, 9, 37, 129, 576, 598, 1599, 1434, 1104, 1181, 235, 229, 32, 4, 1], [0, 9, 37, 130, 566, 643, 1479, 1644, 852, 1391, 115, 274, 22, 5, 1], [0, 9, 38, 113, 680, 218, 2484, 42, 2616, 53, 790, 69, 48, 8, 0], [0, 9, 38, 114, 670, 263, 2364, 252, 2364, 263, 670, 114, 38, 9, 0], [0, 9, 38, 115, 660, 308, 2244, 462, 2112, 473, 550, 159, 28, 10, 0], [0, 9, 38, 115, 661, 298, 2289, 342, 2322, 221, 760, 39, 73, 0, 1], [0, 9, 38, 116, 650, 353, 2124, 672, 1860, 683, 430, 204, 18, 11, 0], [0, 9, 38, 116, 651, 343, 2169, 552, 2070, 431, 640, 84, 63, 1, 1], [0, 9, 38, 117, 640, 398, 2004, 882, 1608, 893, 310, 249, 8, 12, 0], [0, 9, 38, 117, 641, 388, 2049, 762, 1818, 641, 520, 129, 53, 2, 1], [0, 9, 38, 118, 631, 433, 1929, 972, 1566, 851, 400, 174, 43, 3, 1], [0, 9, 38, 119, 621, 478, 1809, 1182, 1314, 1061, 280, 219, 33, 4, 1], [0, 9, 38, 120, 611, 523, 1689, 1392, 1062, 1271, 160, 264, 23, 5, 1], [0, 9, 38, 121, 601, 568, 1569, 1602, 810, 1481, 40, 309, 13, 6, 1], [0, 9, 39, 104, 715, 143, 2574, 0, 2574, 143, 715, 104, 39, 9, 0], [0, 9, 39, 105, 705, 188, 2454, 210, 2322, 353, 595, 149, 29, 10, 0], [0, 9, 39, 105, 706, 178, 2499, 90, 2532, 101, 805, 29, 74, 0, 1], [0, 9, 39, 106, 695, 233, 2334, 420, 2070, 563, 475, 194, 19, 11, 0], [0, 9, 39, 106, 696, 223, 2379, 300, 2280, 311, 685, 74, 64, 1, 1], [0, 9, 39, 107, 685, 278, 2214, 630, 1818, 773, 355, 239, 9, 12, 0], [0, 9, 39, 107, 686, 268, 2259, 510, 2028, 521, 565, 119, 54, 2, 1], [0, 9, 39, 108, 676, 313, 2139, 720, 1776, 731, 445, 164, 44, 3, 1], [0, 9, 39, 109, 666, 358, 2019, 930, 1524, 941, 325, 209, 34, 4, 1], [0, 9, 39, 110, 656, 403, 1899, 1140, 1272, 1151, 205, 254, 24, 5, 1], [0, 9, 39, 111, 646, 448, 1779, 1350, 1020, 1361, 85, 299, 14, 6, 1], [0, 9, 40, 96, 740, 113, 2544, 168, 2280, 443, 520, 184, 20, 11, 0], [0, 9, 40, 96, 741, 103, 2589, 48, 2490, 191, 730, 64, 65, 1, 1], [0, 9, 40, 97, 730, 158, 2424, 378, 2028, 653, 400, 229, 10, 12, 0], [0, 9, 40, 97, 731, 148, 2469, 258, 2238, 401, 610, 109, 55, 2, 1], [0, 9, 40, 98, 720, 203, 2304, 588, 1776, 863, 280, 274, 0, 13, 0], [0, 9, 40, 98, 721, 193, 2349, 468, 1986, 611, 490, 154, 45, 3, 1], [0, 9, 40, 99, 711, 238, 2229, 678, 1734, 821, 370, 199, 35, 4, 1], [0, 9, 40, 100, 701, 283, 2109, 888, 1482, 1031, 250, 244, 25, 5, 1], [0, 9, 40, 101, 691, 328, 1989, 1098, 1230, 1241, 130, 289, 15, 6, 1], [0, 9, 40, 102, 681, 373, 1869, 1308, 978, 1451, 10, 334, 5, 7, 1], [0, 9, 41, 87, 775, 38, 2634, 126, 2238, 533, 445, 219, 11, 12, 0], [0, 9, 41, 87, 776, 28, 2679, 6, 2448, 281, 655, 99, 56, 2, 1], [0, 9, 41, 88, 765, 83, 2514, 336, 1986, 743, 325, 264, 1, 13, 0], [0, 9, 41, 88, 766, 73, 2559, 216, 2196, 491, 535, 144, 46, 3, 1], [0, 9, 41, 89, 756, 118, 2439, 426, 1944, 701, 415, 189, 36, 4, 1], [0, 9, 41, 90, 746, 163, 2319, 636, 1692, 911, 295, 234, 26, 5, 1], [0, 9, 41, 91, 736, 208, 2199, 846, 1440, 1121, 175, 279, 16, 6, 1], [0, 9, 41, 92, 726, 253, 2079, 1056, 1188, 1331, 55, 324, 6, 7, 1], [0, 9, 42, 80, 791, 43, 2529, 384, 1902, 791, 340, 224, 27, 5, 1], [0, 9, 42, 81, 781, 88, 2409, 594, 1650, 1001, 220, 269, 17, 6, 1], [0, 9, 42, 82, 771, 133, 2289, 804, 1398, 1211, 100, 314, 7, 7, 1], [0, 9, 43, 72, 816, 13, 2499, 552, 1608, 1091, 145, 304, 8, 7, 1], [0, 9, 44, 65, 832, 18, 2394, 810, 1272, 1349, 40, 309, 24, 0, 2], [0, 10, 16, 274, 60, 1688, 192, 2436, 984, 698, 720, 10, 76, 4, 0], [0, 10, 16, 275, 50, 1733, 72, 2646, 732, 908, 600, 55, 66, 5, 0], [0, 10, 17, 264, 105, 1568, 402, 2184, 1194, 578, 765, 0, 77, 4, 0], [0, 10, 17, 265, 95, 1613, 282, 2394, 942, 788, 645, 45, 67, 5, 0], [0, 10, 17, 266, 85, 1658, 162, 2604, 690, 998, 525, 90, 57, 6, 0], [0, 10, 17, 267, 75, 1703, 42, 2814, 438, 1208, 405, 135, 47, 7, 0], [0, 10, 18, 255, 140, 1493, 492, 2142, 1152, 668, 690, 35, 68, 5, 0], [0, 10, 18, 256, 130, 1538, 372, 2352, 900, 878, 570, 80, 58, 6, 0], [0, 10, 18, 257, 120, 1583, 252, 2562, 648, 1088, 450, 125, 48, 7, 0], [0, 10, 18, 258, 110, 1628, 132, 2772, 396, 1298, 330, 170, 38, 8, 0], [0, 10, 18, 259, 100, 1673, 12, 2982, 144, 1508, 210, 215, 28, 9, 0], [0, 10, 19, 245, 185, 1373, 702, 1890, 1362, 548, 735, 25, 69, 5, 0], [0, 10, 19, 246, 175, 1418, 582, 2100, 1110, 758, 615, 70, 59, 6, 0], [0, 10, 19, 247, 165, 1463, 462, 2310, 858, 968, 495, 115, 49, 7, 0], [0, 10, 19, 248, 155, 1508, 342, 2520, 606, 1178, 375, 160, 39, 8, 0], [0, 10, 19, 249, 145, 1553, 222, 2730, 354, 1388, 255, 205, 29, 9, 0], [0, 10, 19, 250, 135, 1598, 102, 2940, 102, 1598, 135, 250, 19, 10, 0], [0, 10, 19, 250, 136, 1588, 147, 2820, 312, 1346, 345, 130, 64, 0, 1], [0, 10, 19, 251, 126, 1633, 27, 3030, 60, 1556, 225, 175, 54, 1, 1], [0, 10, 20, 235, 230, 1253, 912, 1638, 1572, 428, 780, 15, 70, 5, 0], [0, 10, 20, 236, 220, 1298, 792, 1848, 1320, 638, 660, 60, 60, 6, 0], [0, 10, 20, 237, 210, 1343, 672, 2058, 1068, 848, 540, 105, 50, 7, 0], [0, 10, 20, 238, 200, 1388, 552, 2268, 816, 1058, 420, 150, 40, 8, 0], [0, 10, 20, 239, 190, 1433, 432, 2478, 564, 1268, 300, 195, 30, 9, 0], [0, 10, 20, 240, 180, 1478, 312, 2688, 312, 1478, 180, 240, 20, 10, 0], [0, 10, 20, 240, 181, 1468, 357, 2568, 522, 1226, 390, 120, 65, 0, 1], [0, 10, 20, 241, 170, 1523, 192, 2898, 60, 1688, 60, 285, 10, 11, 0], [0, 10, 20, 241, 171, 1513, 237, 2778, 270, 1436, 270, 165, 55, 1, 1], [0, 10, 20, 242, 161, 1558, 117, 2988, 18, 1646, 150, 210, 45, 2, 1], [0, 10, 21, 225, 275, 1133, 1122, 1386, 1782, 308, 825, 5, 71, 5, 0], [0, 10, 21, 226, 265, 1178, 1002, 1596, 1530, 518, 705, 50, 61, 6, 0], [0, 10, 21, 227, 255, 1223, 882, 1806, 1278, 728, 585, 95, 51, 7, 0], [0, 10, 21, 228, 245, 1268, 762, 2016, 1026, 938, 465, 140, 41, 8, 0], [0, 10, 21, 229, 235, 1313, 642, 2226, 774, 1148, 345, 185, 31, 9, 0], [0, 10, 21, 230, 225, 1358, 522, 2436, 522, 1358, 225, 230, 21, 10, 0], [0, 10, 21, 230, 226, 1348, 567, 2316, 732, 1106, 435, 110, 66, 0, 1], [0, 10, 21, 231, 215, 1403, 402, 2646, 270, 1568, 105, 275, 11, 11, 0], [0, 10, 21, 231, 216, 1393, 447, 2526, 480, 1316, 315, 155, 56, 1, 1], [0, 10, 21, 232, 206, 1438, 327, 2736, 228, 1526, 195, 200, 46, 2, 1], [0, 10, 22, 216, 310, 1058, 1212, 1344, 1740, 398, 750, 40, 62, 6, 0], [0, 10, 22, 217, 300, 1103, 1092, 1554, 1488, 608, 630, 85, 52, 7, 0], [0, 10, 22, 218, 290, 1148, 972, 1764, 1236, 818, 510, 130, 42, 8, 0], [0, 10, 22, 219, 280, 1193, 852, 1974, 984, 1028, 390, 175, 32, 9, 0], [0, 10, 22, 220, 270, 1238, 732, 2184, 732, 1238, 270, 220, 22, 10, 0], [0, 10, 22, 220, 271, 1228, 777, 2064, 942, 986, 480, 100, 67, 0, 1], [0, 10, 22, 221, 260, 1283, 612, 2394, 480, 1448, 150, 265, 12, 11, 0], [0, 10, 22, 221, 261, 1273, 657, 2274, 690, 1196, 360, 145, 57, 1, 1], [0, 10, 22, 222, 250, 1328, 492, 2604, 228, 1658, 30, 310, 2, 12, 0], [0, 10, 22, 222, 251, 1318, 537, 2484, 438, 1406, 240, 190, 47, 2, 1], [0, 10, 22, 223, 241, 1363, 417, 2694, 186, 1616, 120, 235, 37, 3, 1], [0, 10, 23, 206, 355, 938, 1422, 1092, 1950, 278, 795, 30, 63, 6, 0], [0, 10, 23, 207, 345, 983, 1302, 1302, 1698, 488, 675, 75, 53, 7, 0], [0, 10, 23, 208, 335, 1028, 1182, 1512, 1446, 698, 555, 120, 43, 8, 0], [0, 10, 23, 209, 325, 1073, 1062, 1722, 1194, 908, 435, 165, 33, 9, 0], [0, 10, 23, 210, 315, 1118, 942, 1932, 942, 1118, 315, 210, 23, 10, 0], [0, 10, 23, 210, 316, 1108, 987, 1812, 1152, 866, 525, 90, 68, 0, 1], [0, 10, 23, 211, 305, 1163, 822, 2142, 690, 1328, 195, 255, 13, 11, 0], [0, 10, 23, 211, 306, 1153, 867, 2022, 900, 1076, 405, 135, 58, 1, 1], [0, 10, 23, 212, 295, 1208, 702, 2352, 438, 1538, 75, 300, 3, 12, 0], [0, 10, 23, 212, 296, 1198, 747, 2232, 648, 1286, 285, 180, 48, 2, 1], [0, 10, 23, 213, 286, 1243, 627, 2442, 396, 1496, 165, 225, 38, 3, 1], [0, 10, 23, 214, 276, 1288, 507, 2652, 144, 1706, 45, 270, 28, 4, 1], [0, 10, 24, 196, 400, 818, 1632, 840, 2160, 158, 840, 20, 64, 6, 0], [0, 10, 24, 197, 390, 863, 1512, 1050, 1908, 368, 720, 65, 54, 7, 0], [0, 10, 24, 198, 380, 908, 1392, 1260, 1656, 578, 600, 110, 44, 8, 0], [0, 10, 24, 199, 370, 953, 1272, 1470, 1404, 788, 480, 155, 34, 9, 0], [0, 10, 24, 200, 360, 998, 1152, 1680, 1152, 998, 360, 200, 24, 10, 0], [0, 10, 24, 200, 361, 988, 1197, 1560, 1362, 746, 570, 80, 69, 0, 1], [0, 10, 24, 201, 350, 1043, 1032, 1890, 900, 1208, 240, 245, 14, 11, 0], [0, 10, 24, 201, 351, 1033, 1077, 1770, 1110, 956, 450, 125, 59, 1, 1], [0, 10, 24, 202, 340, 1088, 912, 2100, 648, 1418, 120, 290, 4, 12, 0], [0, 10, 24, 202, 341, 1078, 957, 1980, 858, 1166, 330, 170, 49, 2, 1], [0, 10, 24, 203, 331, 1123, 837, 2190, 606, 1376, 210, 215, 39, 3, 1], [0, 10, 24, 204, 321, 1168, 717, 2400, 354, 1586, 90, 260, 29, 4, 1], [0, 10, 25, 186, 445, 698, 1842, 588, 2370, 38, 885, 10, 65, 6, 0], [0, 10, 25, 187, 435, 743, 1722, 798, 2118, 248, 765, 55, 55, 7, 0], [0, 10, 25, 188, 425, 788, 1602, 1008, 1866, 458, 645, 100, 45, 8, 0], [0, 10, 25, 189, 415, 833, 1482, 1218, 1614, 668, 525, 145, 35, 9, 0], [0, 10, 25, 190, 405, 878, 1362, 1428, 1362, 878, 405, 190, 25, 10, 0], [0, 10, 25, 190, 406, 868, 1407, 1308, 1572, 626, 615, 70, 70, 0, 1], [0, 10, 25, 191, 395, 923, 1242, 1638, 1110, 1088, 285, 235, 15, 11, 0], [0, 10, 25, 191, 396, 913, 1287, 1518, 1320, 836, 495, 115, 60, 1, 1], [0, 10, 25, 192, 385, 968, 1122, 1848, 858, 1298, 165, 280, 5, 12, 0], [0, 10, 25, 192, 386, 958, 1167, 1728, 1068, 1046, 375, 160, 50, 2, 1], [0, 10, 25, 193, 376, 1003, 1047, 1938, 816, 1256, 255, 205, 40, 3, 1], [0, 10, 25, 194, 366, 1048, 927, 2148, 564, 1466, 135, 250, 30, 4, 1], [0, 10, 25, 195, 356, 1093, 807, 2358, 312, 1676, 15, 295, 20, 5, 1], [0, 10, 26, 177, 480, 623, 1932, 546, 2328, 128, 810, 45, 56, 7, 0], [0, 10, 26, 178, 470, 668, 1812, 756, 2076, 338, 690, 90, 46, 8, 0], [0, 10, 26, 179, 460, 713, 1692, 966, 1824, 548, 570, 135, 36, 9, 0], [0, 10, 26, 180, 450, 758, 1572, 1176, 1572, 758, 450, 180, 26, 10, 0], [0, 10, 26, 180, 451, 748, 1617, 1056, 1782, 506, 660, 60, 71, 0, 1], [0, 10, 26, 181, 440, 803, 1452, 1386, 1320, 968, 330, 225, 16, 11, 0], [0, 10, 26, 181, 441, 793, 1497, 1266, 1530, 716, 540, 105, 61, 1, 1], [0, 10, 26, 182, 430, 848, 1332, 1596, 1068, 1178, 210, 270, 6, 12, 0], [0, 10, 26, 182, 431, 838, 1377, 1476, 1278, 926, 420, 150, 51, 2, 1], [0, 10, 26, 183, 421, 883, 1257, 1686, 1026, 1136, 300, 195, 41, 3, 1], [0, 10, 26, 184, 411, 928, 1137, 1896, 774, 1346, 180, 240, 31, 4, 1], [0, 10, 26, 185, 401, 973, 1017, 2106, 522, 1556, 60, 285, 21, 5, 1], [0, 10, 27, 167, 525, 503, 2142, 294, 2538, 8, 855, 35, 57, 7, 0], [0, 10, 27, 168, 515, 548, 2022, 504, 2286, 218, 735, 80, 47, 8, 0], [0, 10, 27, 169, 505, 593, 1902, 714, 2034, 428, 615, 125, 37, 9, 0], [0, 10, 27, 170, 495, 638, 1782, 924, 1782, 638, 495, 170, 27, 10, 0], [0, 10, 27, 170, 496, 628, 1827, 804, 1992, 386, 705, 50, 72, 0, 1], [0, 10, 27, 171, 485, 683, 1662, 1134, 1530, 848, 375, 215, 17, 11, 0], [0, 10, 27, 171, 486, 673, 1707, 1014, 1740, 596, 585, 95, 62, 1, 1], [0, 10, 27, 172, 475, 728, 1542, 1344, 1278, 1058, 255, 260, 7, 12, 0], [0, 10, 27, 172, 476, 718, 1587, 1224, 1488, 806, 465, 140, 52, 2, 1], [0, 10, 27, 173, 466, 763, 1467, 1434, 1236, 1016, 345, 185, 42, 3, 1], [0, 10, 27, 174, 456, 808, 1347, 1644, 984, 1226, 225, 230, 32, 4, 1], [0, 10, 27, 175, 446, 853, 1227, 1854, 732, 1436, 105, 275, 22, 5, 1], [0, 10, 28, 158, 560, 428, 2232, 252, 2496, 98, 780, 70, 48, 8, 0], [0, 10, 28, 159, 550, 473, 2112, 462, 2244, 308, 660, 115, 38, 9, 0], [0, 10, 28, 160, 540, 518, 1992, 672, 1992, 518, 540, 160, 28, 10, 0], [0, 10, 28, 160, 541, 508, 2037, 552, 2202, 266, 750, 40, 73, 0, 1], [0, 10, 28, 161, 530, 563, 1872, 882, 1740, 728, 420, 205, 18, 11, 0], [0, 10, 28, 161, 531, 553, 1917, 762, 1950, 476, 630, 85, 63, 1, 1], [0, 10, 28, 162, 520, 608, 1752, 1092, 1488, 938, 300, 250, 8, 12, 0], [0, 10, 28, 162, 521, 598, 1797, 972, 1698, 686, 510, 130, 53, 2, 1], [0, 10, 28, 163, 511, 643, 1677, 1182, 1446, 896, 390, 175, 43, 3, 1], [0, 10, 28, 164, 501, 688, 1557, 1392, 1194, 1106, 270, 220, 33, 4, 1], [0, 10, 28, 165, 491, 733, 1437, 1602, 942, 1316, 150, 265, 23, 5, 1], [0, 10, 28, 166, 481, 778, 1317, 1812, 690, 1526, 30, 310, 13, 6, 1], [0, 10, 29, 149, 595, 353, 2322, 210, 2454, 188, 705, 105, 39, 9, 0], [0, 10, 29, 150, 585, 398, 2202, 420, 2202, 398, 585, 150, 29, 10, 0], [0, 10, 29, 150, 586, 388, 2247, 300, 2412, 146, 795, 30, 74, 0, 1], [0, 10, 29, 151, 575, 443, 2082, 630, 1950, 608, 465, 195, 19, 11, 0], [0, 10, 29, 151, 576, 433, 2127, 510, 2160, 356, 675, 75, 64, 1, 1], [0, 10, 29, 152, 565, 488, 1962, 840, 1698, 818, 345, 240, 9, 12, 0], [0, 10, 29, 152, 566, 478, 2007, 720, 1908, 566, 555, 120, 54, 2, 1], [0, 10, 29, 153, 556, 523, 1887, 930, 1656, 776, 435, 165, 44, 3, 1], [0, 10, 29, 154, 546, 568, 1767, 1140, 1404, 986, 315, 210, 34, 4, 1], [0, 10, 29, 155, 536, 613, 1647, 1350, 1152, 1196, 195, 255, 24, 5, 1], [0, 10, 29, 156, 526, 658, 1527, 1560, 900, 1406, 75, 300, 14, 6, 1], [0, 10, 30, 140, 630, 278, 2412, 168, 2412, 278, 630, 140, 30, 10, 0], [0, 10, 30, 140, 631, 268, 2457, 48, 2622, 26, 840, 20, 75, 0, 1], [0, 10, 30, 141, 620, 323, 2292, 378, 2160, 488, 510, 185, 20, 11, 0], [0, 10, 30, 141, 621, 313, 2337, 258, 2370, 236, 720, 65, 65, 1, 1], [0, 10, 30, 142, 610, 368, 2172, 588, 1908, 698, 390, 230, 10, 12, 0], [0, 10, 30, 142, 611, 358, 2217, 468, 2118, 446, 600, 110, 55, 2, 1], [0, 10, 30, 143, 600, 413, 2052, 798, 1656, 908, 270, 275, 0, 13, 0], [0, 10, 30, 143, 601, 403, 2097, 678, 1866, 656, 480, 155, 45, 3, 1], [0, 10, 30, 144, 591, 448, 1977, 888, 1614, 866, 360, 200, 35, 4, 1], [0, 10, 30, 145, 581, 493, 1857, 1098, 1362, 1076, 240, 245, 25, 5, 1], [0, 10, 30, 146, 571, 538, 1737, 1308, 1110, 1286, 120, 290, 15, 6, 1], [0, 10, 30, 147, 561, 583, 1617, 1518, 858, 1496, 0, 335, 5, 7, 1], [0, 10, 31, 131, 665, 203, 2502, 126, 2370, 368, 555, 175, 21, 11, 0], [0, 10, 31, 131, 666, 193, 2547, 6, 2580, 116, 765, 55, 66, 1, 1], [0, 10, 31, 132, 655, 248, 2382, 336, 2118, 578, 435, 220, 11, 12, 0], [0, 10, 31, 132, 656, 238, 2427, 216, 2328, 326, 645, 100, 56, 2, 1], [0, 10, 31, 133, 645, 293, 2262, 546, 1866, 788, 315, 265, 1, 13, 0], [0, 10, 31, 133, 646, 283, 2307, 426, 2076, 536, 525, 145, 46, 3, 1], [0, 10, 31, 134, 636, 328, 2187, 636, 1824, 746, 405, 190, 36, 4, 1], [0, 10, 31, 135, 626, 373, 2067, 846, 1572, 956, 285, 235, 26, 5, 1], [0, 10, 31, 136, 616, 418, 1947, 1056, 1320, 1166, 165, 280, 16, 6, 1], [0, 10, 31, 137, 606, 463, 1827, 1266, 1068, 1376, 45, 325, 6, 7, 1], [0, 10, 32, 122, 700, 128, 2592, 84, 2328, 458, 480, 210, 12, 12, 0], [0, 10, 32, 123, 690, 173, 2472, 294, 2076, 668, 360, 255, 2, 13, 0], [0, 10, 32, 123, 691, 163, 2517, 174, 2286, 416, 570, 135, 47, 3, 1], [0, 10, 32, 124, 681, 208, 2397, 384, 2034, 626, 450, 180, 37, 4, 1], [0, 10, 32, 125, 671, 253, 2277, 594, 1782, 836, 330, 225, 27, 5, 1], [0, 10, 32, 126, 661, 298, 2157, 804, 1530, 1046, 210, 270, 17, 6, 1], [0, 10, 32, 127, 651, 343, 2037, 1014, 1278, 1256, 90, 315, 7, 7, 1], [0, 10, 33, 113, 735, 53, 2682, 42, 2286, 548, 405, 245, 3, 13, 0], [0, 10, 33, 114, 726, 88, 2607, 132, 2244, 506, 495, 170, 38, 4, 1], [0, 10, 33, 115, 716, 133, 2487, 342, 1992, 716, 375, 215, 28, 5, 1], [0, 10, 33, 116, 706, 178, 2367, 552, 1740, 926, 255, 260, 18, 6, 1], [0, 10, 33, 117, 696, 223, 2247, 762, 1488, 1136, 135, 305, 8, 7, 1], [0, 10, 34, 105, 761, 13, 2697, 90, 2202, 596, 420, 205, 29, 5, 1], [0, 10, 34, 106, 751, 58, 2577, 300, 1950, 806, 300, 250, 19, 6, 1], [0, 10, 34, 107, 741, 103, 2457, 510, 1698, 1016, 180, 295, 9, 7, 1], [0, 10, 34, 110, 712, 228, 2142, 1020, 1152, 1394, 30, 310, 24, 0, 2], [0, 10, 35, 98, 776, 28, 2547, 468, 1656, 1106, 105, 330, 0, 8, 1], [0, 10, 35, 100, 757, 108, 2352, 768, 1362, 1274, 75, 300, 25, 0, 2], [0, 10, 36, 91, 792, 33, 2442, 726, 1320, 1364, 0, 335, 16, 1, 2], [0, 11, 8, 300, 20, 1703, 240, 2352, 1032, 713, 680, 36, 68, 5, 0], [0, 11, 8, 301, 10, 1748, 120, 2562, 780, 923, 560, 81, 58, 6, 0], [0, 11, 8, 302, 0, 1793, 0, 2772, 528, 1133, 440, 126, 48, 7, 0], [0, 11, 9, 290, 65, 1583, 450, 2100, 1242, 593, 725, 26, 69, 5, 0], [0, 11, 9, 291, 55, 1628, 330, 2310, 990, 803, 605, 71, 59, 6, 0], [0, 11, 9, 292, 45, 1673, 210, 2520, 738, 1013, 485, 116, 49, 7, 0], [0, 11, 9, 293, 35, 1718, 90, 2730, 486, 1223, 365, 161, 39, 8, 0], [0, 11, 10, 280, 110, 1463, 660, 1848, 1452, 473, 770, 16, 70, 5, 0], [0, 11, 10, 281, 100, 1508, 540, 2058, 1200, 683, 650, 61, 60, 6, 0], [0, 11, 10, 282, 90, 1553, 420, 2268, 948, 893, 530, 106, 50, 7, 0], [0, 11, 10, 283, 80, 1598, 300, 2478, 696, 1103, 410, 151, 40, 8, 0], [0, 11, 10, 284, 70, 1643, 180, 2688, 444, 1313, 290, 196, 30, 9, 0], [0, 11, 10, 285, 60, 1688, 60, 2898, 192, 1523, 170, 241, 20, 10, 0], [0, 11, 10, 285, 61, 1678, 105, 2778, 402, 1271, 380, 121, 65, 0, 1], [0, 11, 11, 270, 155, 1343, 870, 1596, 1662, 353, 815, 6, 71, 5, 0], [0, 11, 11, 271, 145, 1388, 750, 1806, 1410, 563, 695, 51, 61, 6, 0], [0, 11, 11, 272, 135, 1433, 630, 2016, 1158, 773, 575, 96, 51, 7, 0], [0, 11, 11, 273, 125, 1478, 510, 2226, 906, 983, 455, 141, 41, 8, 0], [0, 11, 11, 274, 115, 1523, 390, 2436, 654, 1193, 335, 186, 31, 9, 0], [0, 11, 11, 275, 105, 1568, 270, 2646, 402, 1403, 215, 231, 21, 10, 0], [0, 11, 11, 275, 106, 1558, 315, 2526, 612, 1151, 425, 111, 66, 0, 1], [0, 11, 11, 276, 95, 1613, 150, 2856, 150, 1613, 95, 276, 11, 11, 0], [0, 11, 11, 276, 96, 1603, 195, 2736, 360, 1361, 305, 156, 56, 1, 1], [0, 11, 11, 277, 86, 1648, 75, 2946, 108, 1571, 185, 201, 46, 2, 1], [0, 11, 12, 261, 190, 1268, 960, 1554, 1620, 443, 740, 41, 62, 6, 0], [0, 11, 12, 262, 180, 1313, 840, 1764, 1368, 653, 620, 86, 52, 7, 0], [0, 11, 12, 263, 170, 1358, 720, 1974, 1116, 863, 500, 131, 42, 8, 0], [0, 11, 12, 264, 160, 1403, 600, 2184, 864, 1073, 380, 176, 32, 9, 0], [0, 11, 12, 265, 150, 1448, 480, 2394, 612, 1283, 260, 221, 22, 10, 0], [0, 11, 12, 265, 151, 1438, 525, 2274, 822, 1031, 470, 101, 67, 0, 1], [0, 11, 12, 266, 140, 1493, 360, 2604, 360, 1493, 140, 266, 12, 11, 0], [0, 11, 12, 266, 141, 1483, 405, 2484, 570, 1241, 350, 146, 57, 1, 1], [0, 11, 12, 267, 130, 1538, 240, 2814, 108, 1703, 20, 311, 2, 12, 0], [0, 11, 12, 267, 131, 1528, 285, 2694, 318, 1451, 230, 191, 47, 2, 1], [0, 11, 12, 268, 121, 1573, 165, 2904, 66, 1661, 110, 236, 37, 3, 1], [0, 11, 13, 251, 235, 1148, 1170, 1302, 1830, 323, 785, 31, 63, 6, 0], [0, 11, 13, 252, 225, 1193, 1050, 1512, 1578, 533, 665, 76, 53, 7, 0], [0, 11, 13, 253, 215, 1238, 930, 1722, 1326, 743, 545, 121, 43, 8, 0], [0, 11, 13, 254, 205, 1283, 810, 1932, 1074, 953, 425, 166, 33, 9, 0], [0, 11, 13, 255, 195, 1328, 690, 2142, 822, 1163, 305, 211, 23, 10, 0], [0, 11, 13, 255, 196, 1318, 735, 2022, 1032, 911, 515, 91, 68, 0, 1], [0, 11, 13, 256, 185, 1373, 570, 2352, 570, 1373, 185, 256, 13, 11, 0], [0, 11, 13, 256, 186, 1363, 615, 2232, 780, 1121, 395, 136, 58, 1, 1], [0, 11, 13, 257, 175, 1418, 450, 2562, 318, 1583, 65, 301, 3, 12, 0], [0, 11, 13, 257, 176, 1408, 495, 2442, 528, 1331, 275, 181, 48, 2, 1], [0, 11, 13, 258, 166, 1453, 375, 2652, 276, 1541, 155, 226, 38, 3, 1], [0, 11, 13, 259, 156, 1498, 255, 2862, 24, 1751, 35, 271, 28, 4, 1], [0, 11, 14, 241, 280, 1028, 1380, 1050, 2040, 203, 830, 21, 64, 6, 0], [0, 11, 14, 242, 270, 1073, 1260, 1260, 1788, 413, 710, 66, 54, 7, 0], [0, 11, 14, 243, 260, 1118, 1140, 1470, 1536, 623, 590, 111, 44, 8, 0], [0, 11, 14, 244, 250, 1163, 1020, 1680, 1284, 833, 470, 156, 34, 9, 0], [0, 11, 14, 245, 240, 1208, 900, 1890, 1032, 1043, 350, 201, 24, 10, 0], [0, 11, 14, 245, 241, 1198, 945, 1770, 1242, 791, 560, 81, 69, 0, 1], [0, 11, 14, 246, 230, 1253, 780, 2100, 780, 1253, 230, 246, 14, 11, 0], [0, 11, 14, 246, 231, 1243, 825, 1980, 990, 1001, 440, 126, 59, 1, 1], [0, 11, 14, 247, 220, 1298, 660, 2310, 528, 1463, 110, 291, 4, 12, 0], [0, 11, 14, 247, 221, 1288, 705, 2190, 738, 1211, 320, 171, 49, 2, 1], [0, 11, 14, 248, 211, 1333, 585, 2400, 486, 1421, 200, 216, 39, 3, 1], [0, 11, 14, 249, 201, 1378, 465, 2610, 234, 1631, 80, 261, 29, 4, 1], [0, 11, 15, 231, 325, 908, 1590, 798, 2250, 83, 875, 11, 65, 6, 0], [0, 11, 15, 232, 315, 953, 1470, 1008, 1998, 293, 755, 56, 55, 7, 0], [0, 11, 15, 233, 305, 998, 1350, 1218, 1746, 503, 635, 101, 45, 8, 0], [0, 11, 15, 234, 295, 1043, 1230, 1428, 1494, 713, 515, 146, 35, 9, 0], [0, 11, 15, 235, 285, 1088, 1110, 1638, 1242, 923, 395, 191, 25, 10, 0], [0, 11, 15, 235, 286, 1078, 1155, 1518, 1452, 671, 605, 71, 70, 0, 1], [0, 11, 15, 236, 275, 1133, 990, 1848, 990, 1133, 275, 236, 15, 11, 0], [0, 11, 15, 236, 276, 1123, 1035, 1728, 1200, 881, 485, 116, 60, 1, 1], [0, 11, 15, 237, 265, 1178, 870, 2058, 738, 1343, 155, 281, 5, 12, 0], [0, 11, 15, 237, 266, 1168, 915, 1938, 948, 1091, 365, 161, 50, 2, 1], [0, 11, 15, 238, 256, 1213, 795, 2148, 696, 1301, 245, 206, 40, 3, 1], [0, 11, 15, 239, 246, 1258, 675, 2358, 444, 1511, 125, 251, 30, 4, 1], [0, 11, 15, 240, 236, 1303, 555, 2568, 192, 1721, 5, 296, 20, 5, 1], [0, 11, 16, 222, 360, 833, 1680, 756, 2208, 173, 800, 46, 56, 7, 0], [0, 11, 16, 223, 350, 878, 1560, 966, 1956, 383, 680, 91, 46, 8, 0], [0, 11, 16, 224, 340, 923, 1440, 1176, 1704, 593, 560, 136, 36, 9, 0], [0, 11, 16, 225, 330, 968, 1320, 1386, 1452, 803, 440, 181, 26, 10, 0], [0, 11, 16, 225, 331, 958, 1365, 1266, 1662, 551, 650, 61, 71, 0, 1], [0, 11, 16, 226, 320, 1013, 1200, 1596, 1200, 1013, 320, 226, 16, 11, 0], [0, 11, 16, 226, 321, 1003, 1245, 1476, 1410, 761, 530, 106, 61, 1, 1], [0, 11, 16, 227, 310, 1058, 1080, 1806, 948, 1223, 200, 271, 6, 12, 0], [0, 11, 16, 227, 311, 1048, 1125, 1686, 1158, 971, 410, 151, 51, 2, 1], [0, 11, 16, 228, 301, 1093, 1005, 1896, 906, 1181, 290, 196, 41, 3, 1], [0, 11, 16, 229, 291, 1138, 885, 2106, 654, 1391, 170, 241, 31, 4, 1], [0, 11, 16, 230, 281, 1183, 765, 2316, 402, 1601, 50, 286, 21, 5, 1], [0, 11, 17, 212, 405, 713, 1890, 504, 2418, 53, 845, 36, 57, 7, 0], [0, 11, 17, 213, 395, 758, 1770, 714, 2166, 263, 725, 81, 47, 8, 0], [0, 11, 17, 214, 385, 803, 1650, 924, 1914, 473, 605, 126, 37, 9, 0], [0, 11, 17, 215, 375, 848, 1530, 1134, 1662, 683, 485, 171, 27, 10, 0], [0, 11, 17, 215, 376, 838, 1575, 1014, 1872, 431, 695, 51, 72, 0, 1], [0, 11, 17, 216, 365, 893, 1410, 1344, 1410, 893, 365, 216, 17, 11, 0], [0, 11, 17, 216, 366, 883, 1455, 1224, 1620, 641, 575, 96, 62, 1, 1], [0, 11, 17, 217, 355, 938, 1290, 1554, 1158, 1103, 245, 261, 7, 12, 0], [0, 11, 17, 217, 356, 928, 1335, 1434, 1368, 851, 455, 141, 52, 2, 1], [0, 11, 17, 218, 346, 973, 1215, 1644, 1116, 1061, 335, 186, 42, 3, 1], [0, 11, 17, 219, 336, 1018, 1095, 1854, 864, 1271, 215, 231, 32, 4, 1], [0, 11, 17, 220, 326, 1063, 975, 2064, 612, 1481, 95, 276, 22, 5, 1], [0, 11, 18, 203, 440, 638, 1980, 462, 2376, 143, 770, 71, 48, 8, 0], [0, 11, 18, 204, 430, 683, 1860, 672, 2124, 353, 650, 116, 38, 9, 0], [0, 11, 18, 205, 420, 728, 1740, 882, 1872, 563, 530, 161, 28, 10, 0], [0, 11, 18, 205, 421, 718, 1785, 762, 2082, 311, 740, 41, 73, 0, 1], [0, 11, 18, 206, 410, 773, 1620, 1092, 1620, 773, 410, 206, 18, 11, 0], [0, 11, 18, 206, 411, 763, 1665, 972, 1830, 521, 620, 86, 63, 1, 1], [0, 11, 18, 207, 400, 818, 1500, 1302, 1368, 983, 290, 251, 8, 12, 0], [0, 11, 18, 207, 401, 808, 1545, 1182, 1578, 731, 500, 131, 53, 2, 1], [0, 11, 18, 208, 391, 853, 1425, 1392, 1326, 941, 380, 176, 43, 3, 1], [0, 11, 18, 209, 381, 898, 1305, 1602, 1074, 1151, 260, 221, 33, 4, 1], [0, 11, 18, 210, 371, 943, 1185, 1812, 822, 1361, 140, 266, 23, 5, 1], [0, 11, 18, 211, 361, 988, 1065, 2022, 570, 1571, 20, 311, 13, 6, 1], [0, 11, 19, 193, 485, 518, 2190, 210, 2586, 23, 815, 61, 49, 8, 0], [0, 11, 19, 194, 475, 563, 2070, 420, 2334, 233, 695, 106, 39, 9, 0], [0, 11, 19, 195, 465, 608, 1950, 630, 2082, 443, 575, 151, 29, 10, 0], [0, 11, 19, 195, 466, 598, 1995, 510, 2292, 191, 785, 31, 74, 0, 1], [0, 11, 19, 196, 455, 653, 1830, 840, 1830, 653, 455, 196, 19, 11, 0], [0, 11, 19, 196, 456, 643, 1875, 720, 2040, 401, 665, 76, 64, 1, 1], [0, 11, 19, 197, 445, 698, 1710, 1050, 1578, 863, 335, 241, 9, 12, 0], [0, 11, 19, 197, 446, 688, 1755, 930, 1788, 611, 545, 121, 54, 2, 1], [0, 11, 19, 198, 436, 733, 1635, 1140, 1536, 821, 425, 166, 44, 3, 1], [0, 11, 19, 199, 426, 778, 1515, 1350, 1284, 1031, 305, 211, 34, 4, 1], [0, 11, 19, 200, 416, 823, 1395, 1560, 1032, 1241, 185, 256, 24, 5, 1], [0, 11, 19, 201, 406, 868, 1275, 1770, 780, 1451, 65, 301, 14, 6, 1], [0, 11, 20, 184, 520, 443, 2280, 168, 2544, 113, 740, 96, 40, 9, 0], [0, 11, 20, 185, 510, 488, 2160, 378, 2292, 323, 620, 141, 30, 10, 0], [0, 11, 20, 185, 511, 478, 2205, 258, 2502, 71, 830, 21, 75, 0, 1], [0, 11, 20, 186, 500, 533, 2040, 588, 2040, 533, 500, 186, 20, 11, 0], [0, 11, 20, 186, 501, 523, 2085, 468, 2250, 281, 710, 66, 65, 1, 1], [0, 11, 20, 187, 490, 578, 1920, 798, 1788, 743, 380, 231, 10, 12, 0], [0, 11, 20, 187, 491, 568, 1965, 678, 1998, 491, 590, 111, 55, 2, 1], [0, 11, 20, 188, 480, 623, 1800, 1008, 1536, 953, 260, 276, 0, 13, 0], [0, 11, 20, 188, 481, 613, 1845, 888, 1746, 701, 470, 156, 45, 3, 1], [0, 11, 20, 189, 471, 658, 1725, 1098, 1494, 911, 350, 201, 35, 4, 1], [0, 11, 20, 190, 461, 703, 1605, 1308, 1242, 1121, 230, 246, 25, 5, 1], [0, 11, 20, 191, 451, 748, 1485, 1518, 990, 1331, 110, 291, 15, 6, 1], [0, 11, 21, 175, 555, 368, 2370, 126, 2502, 203, 665, 131, 31, 10, 0], [0, 11, 21, 176, 545, 413, 2250, 336, 2250, 413, 545, 176, 21, 11, 0], [0, 11, 21, 176, 546, 403, 2295, 216, 2460, 161, 755, 56, 66, 1, 1], [0, 11, 21, 177, 535, 458, 2130, 546, 1998, 623, 425, 221, 11, 12, 0], [0, 11, 21, 177, 536, 448, 2175, 426, 2208, 371, 635, 101, 56, 2, 1], [0, 11, 21, 178, 525, 503, 2010, 756, 1746, 833, 305, 266, 1, 13, 0], [0, 11, 21, 178, 526, 493, 2055, 636, 1956, 581, 515, 146, 46, 3, 1], [0, 11, 21, 179, 516, 538, 1935, 846, 1704, 791, 395, 191, 36, 4, 1], [0, 11, 21, 180, 506, 583, 1815, 1056, 1452, 1001, 275, 236, 26, 5, 1], [0, 11, 21, 181, 496, 628, 1695, 1266, 1200, 1211, 155, 281, 16, 6, 1], [0, 11, 21, 182, 486, 673, 1575, 1476, 948, 1421, 35, 326, 6, 7, 1], [0, 11, 22, 166, 590, 293, 2460, 84, 2460, 293, 590, 166, 22, 11, 0], [0, 11, 22, 167, 580, 338, 2340, 294, 2208, 503, 470, 211, 12, 12, 0], [0, 11, 22, 167, 581, 328, 2385, 174, 2418, 251, 680, 91, 57, 2, 1], [0, 11, 22, 168, 570, 383, 2220, 504, 1956, 713, 350, 256, 2, 13, 0], [0, 11, 22, 168, 571, 373, 2265, 384, 2166, 461, 560, 136, 47, 3, 1], [0, 11, 22, 169, 561, 418, 2145, 594, 1914, 671, 440, 181, 37, 4, 1], [0, 11, 22, 170, 551, 463, 2025, 804, 1662, 881, 320, 226, 27, 5, 1], [0, 11, 22, 171, 541, 508, 1905, 1014, 1410, 1091, 200, 271, 17, 6, 1], [0, 11, 22, 172, 531, 553, 1785, 1224, 1158, 1301, 80, 316, 7, 7, 1], [0, 11, 23, 157, 625, 218, 2550, 42, 2418, 383, 515, 201, 13, 12, 0], [0, 11, 23, 158, 615, 263, 2430, 252, 2166, 593, 395, 246, 3, 13, 0], [0, 11, 23, 158, 616, 253, 2475, 132, 2376, 341, 605, 126, 48, 3, 1], [0, 11, 23, 159, 606, 298, 2355, 342, 2124, 551, 485, 171, 38, 4, 1], [0, 11, 23, 160, 596, 343, 2235, 552, 1872, 761, 365, 216, 28, 5, 1], [0, 11, 23, 161, 586, 388, 2115, 762, 1620, 971, 245, 261, 18, 6, 1], [0, 11, 23, 162, 576, 433, 1995, 972, 1368, 1181, 125, 306, 8, 7, 1], [0, 11, 24, 148, 660, 143, 2640, 0, 2376, 473, 440, 236, 4, 13, 0], [0, 11, 24, 149, 651, 178, 2565, 90, 2334, 431, 530, 161, 39, 4, 1], [0, 11, 24, 150, 641, 223, 2445, 300, 2082, 641, 410, 206, 29, 5, 1], [0, 11, 24, 151, 631, 268, 2325, 510, 1830, 851, 290, 251, 19, 6, 1], [0, 11, 24, 152, 621, 313, 2205, 720, 1578, 1061, 170, 296, 9, 7, 1], [0, 11, 24, 155, 592, 438, 1890, 1230, 1032, 1439, 20, 311, 24, 0, 2], [0, 11, 25, 140, 686, 103, 2655, 48, 2292, 521, 455, 196, 30, 5, 1], [0, 11, 25, 141, 676, 148, 2535, 258, 2040, 731, 335, 241, 20, 6, 1], [0, 11, 25, 142, 666, 193, 2415, 468, 1788, 941, 215, 286, 10, 7, 1], [0, 11, 25, 143, 656, 238, 2295, 678, 1536, 1151, 95, 331, 0, 8, 1], [0, 11, 25, 145, 637, 318, 2100, 978, 1242, 1319, 65, 301, 25, 0, 2], [0, 11, 26, 131, 721, 28, 2745, 6, 2250, 611, 380, 231, 21, 6, 1], [0, 11, 26, 132, 711, 73, 2625, 216, 1998, 821, 260, 276, 11, 7, 1], [0, 11, 26, 133, 701, 118, 2505, 426, 1746, 1031, 140, 321, 1, 8, 1], [0, 11, 26, 135, 682, 198, 2310, 726, 1452, 1199, 110, 291, 26, 0, 2], [0, 11, 27, 125, 727, 78, 2520, 474, 1662, 1079, 155, 281, 27, 0, 2], [0, 11, 27, 126, 717, 123, 2400, 684, 1410, 1289, 35, 326, 17, 1, 2], [0, 11, 28, 116, 762, 3, 2610, 432, 1620, 1169, 80, 316, 18, 1, 2], [0, 12, 1, 315, 35, 1553, 618, 1806, 1542, 398, 805, 7, 71, 5, 0], [0, 12, 1, 316, 25, 1598, 498, 2016, 1290, 608, 685, 52, 61, 6, 0], [0, 12, 1, 317, 15, 1643, 378, 2226, 1038, 818, 565, 97, 51, 7, 0], [0, 12, 1, 318, 5, 1688, 258, 2436, 786, 1028, 445, 142, 41, 8, 0], [0, 12, 2, 306, 70, 1478, 708, 1764, 1500, 488, 730, 42, 62, 6, 0], [0, 12, 2, 307, 60, 1523, 588, 1974, 1248, 698, 610, 87, 52, 7, 0], [0, 12, 2, 308, 50, 1568, 468, 2184, 996, 908, 490, 132, 42, 8, 0], [0, 12, 2, 309, 40, 1613, 348, 2394, 744, 1118, 370, 177, 32, 9, 0], [0, 12, 2, 310, 30, 1658, 228, 2604, 492, 1328, 250, 222, 22, 10, 0], [0, 12, 2, 310, 31, 1648, 273, 2484, 702, 1076, 460, 102, 67, 0, 1], [0, 12, 2, 311, 20, 1703, 108, 2814, 240, 1538, 130, 267, 12, 11, 0], [0, 12, 2, 311, 21, 1693, 153, 2694, 450, 1286, 340, 147, 57, 1, 1], [0, 12, 2, 312, 11, 1738, 33, 2904, 198, 1496, 220, 192, 47, 2, 1], [0, 12, 3, 296, 115, 1358, 918, 1512, 1710, 368, 775, 32, 63, 6, 0], [0, 12, 3, 297, 105, 1403, 798, 1722, 1458, 578, 655, 77, 53, 7, 0], [0, 12, 3, 298, 95, 1448, 678, 1932, 1206, 788, 535, 122, 43, 8, 0], [0, 12, 3, 299, 85, 1493, 558, 2142, 954, 998, 415, 167, 33, 9, 0], [0, 12, 3, 300, 75, 1538, 438, 2352, 702, 1208, 295, 212, 23, 10, 0], [0, 12, 3, 300, 76, 1528, 483, 2232, 912, 956, 505, 92, 68, 0, 1], [0, 12, 3, 301, 65, 1583, 318, 2562, 450, 1418, 175, 257, 13, 11, 0], [0, 12, 3, 301, 66, 1573, 363, 2442, 660, 1166, 385, 137, 58, 1, 1], [0, 12, 3, 302, 55, 1628, 198, 2772, 198, 1628, 55, 302, 3, 12, 0], [0, 12, 3, 302, 56, 1618, 243, 2652, 408, 1376, 265, 182, 48, 2, 1], [0, 12, 3, 303, 46, 1663, 123, 2862, 156, 1586, 145, 227, 38, 3, 1], [0, 12, 4, 286, 160, 1238, 1128, 1260, 1920, 248, 820, 22, 64, 6, 0], [0, 12, 4, 287, 150, 1283, 1008, 1470, 1668, 458, 700, 67, 54, 7, 0], [0, 12, 4, 288, 140, 1328, 888, 1680, 1416, 668, 580, 112, 44, 8, 0], [0, 12, 4, 289, 130, 1373, 768, 1890, 1164, 878, 460, 157, 34, 9, 0], [0, 12, 4, 290, 120, 1418, 648, 2100, 912, 1088, 340, 202, 24, 10, 0], [0, 12, 4, 290, 121, 1408, 693, 1980, 1122, 836, 550, 82, 69, 0, 1], [0, 12, 4, 291, 110, 1463, 528, 2310, 660, 1298, 220, 247, 14, 11, 0], [0, 12, 4, 291, 111, 1453, 573, 2190, 870, 1046, 430, 127, 59, 1, 1], [0, 12, 4, 292, 100, 1508, 408, 2520, 408, 1508, 100, 292, 4, 12, 0], [0, 12, 4, 292, 101, 1498, 453, 2400, 618, 1256, 310, 172, 49, 2, 1], [0, 12, 4, 293, 91, 1543, 333, 2610, 366, 1466, 190, 217, 39, 3, 1], [0, 12, 4, 294, 81, 1588, 213, 2820, 114, 1676, 70, 262, 29, 4, 1], [0, 12, 5, 276, 205, 1118, 1338, 1008, 2130, 128, 865, 12, 65, 6, 0], [0, 12, 5, 277, 195, 1163, 1218, 1218, 1878, 338, 745, 57, 55, 7, 0], [0, 12, 5, 278, 185, 1208, 1098, 1428, 1626, 548, 625, 102, 45, 8, 0], [0, 12, 5, 279, 175, 1253, 978, 1638, 1374, 758, 505, 147, 35, 9, 0], [0, 12, 5, 280, 165, 1298, 858, 1848, 1122, 968, 385, 192, 25, 10, 0], [0, 12, 5, 280, 166, 1288, 903, 1728, 1332, 716, 595, 72, 70, 0, 1], [0, 12, 5, 281, 155, 1343, 738, 2058, 870, 1178, 265, 237, 15, 11, 0], [0, 12, 5, 281, 156, 1333, 783, 1938, 1080, 926, 475, 117, 60, 1, 1], [0, 12, 5, 282, 145, 1388, 618, 2268, 618, 1388, 145, 282, 5, 12, 0], [0, 12, 5, 282, 146, 1378, 663, 2148, 828, 1136, 355, 162, 50, 2, 1], [0, 12, 5, 283, 136, 1423, 543, 2358, 576, 1346, 235, 207, 40, 3, 1], [0, 12, 5, 284, 126, 1468, 423, 2568, 324, 1556, 115, 252, 30, 4, 1], [0, 12, 6, 266, 250, 998, 1548, 756, 2340, 8, 910, 2, 66, 6, 0], [0, 12, 6, 267, 240, 1043, 1428, 966, 2088, 218, 790, 47, 56, 7, 0], [0, 12, 6, 268, 230, 1088, 1308, 1176, 1836, 428, 670, 92, 46, 8, 0], [0, 12, 6, 269, 220, 1133, 1188, 1386, 1584, 638, 550, 137, 36, 9, 0], [0, 12, 6, 270, 210, 1178, 1068, 1596, 1332, 848, 430, 182, 26, 10, 0], [0, 12, 6, 270, 211, 1168, 1113, 1476, 1542, 596, 640, 62, 71, 0, 1], [0, 12, 6, 271, 200, 1223, 948, 1806, 1080, 1058, 310, 227, 16, 11, 0], [0, 12, 6, 271, 201, 1213, 993, 1686, 1290, 806, 520, 107, 61, 1, 1], [0, 12, 6, 272, 190, 1268, 828, 2016, 828, 1268, 190, 272, 6, 12, 0], [0, 12, 6, 272, 191, 1258, 873, 1896, 1038, 1016, 400, 152, 51, 2, 1], [0, 12, 6, 273, 181, 1303, 753, 2106, 786, 1226, 280, 197, 41, 3, 1], [0, 12, 6, 274, 171, 1348, 633, 2316, 534, 1436, 160, 242, 31, 4, 1], [0, 12, 6, 275, 161, 1393, 513, 2526, 282, 1646, 40, 287, 21, 5, 1], [0, 12, 7, 257, 285, 923, 1638, 714, 2298, 98, 835, 37, 57, 7, 0], [0, 12, 7, 258, 275, 968, 1518, 924, 2046, 308, 715, 82, 47, 8, 0], [0, 12, 7, 259, 265, 1013, 1398, 1134, 1794, 518, 595, 127, 37, 9, 0], [0, 12, 7, 260, 255, 1058, 1278, 1344, 1542, 728, 475, 172, 27, 10, 0], [0, 12, 7, 260, 256, 1048, 1323, 1224, 1752, 476, 685, 52, 72, 0, 1], [0, 12, 7, 261, 245, 1103, 1158, 1554, 1290, 938, 355, 217, 17, 11, 0], [0, 12, 7, 261, 246, 1093, 1203, 1434, 1500, 686, 565, 97, 62, 1, 1], [0, 12, 7, 262, 235, 1148, 1038, 1764, 1038, 1148, 235, 262, 7, 12, 0], [0, 12, 7, 262, 236, 1138, 1083, 1644, 1248, 896, 445, 142, 52, 2, 1], [0, 12, 7, 263, 226, 1183, 963, 1854, 996, 1106, 325, 187, 42, 3, 1], [0, 12, 7, 264, 216, 1228, 843, 2064, 744, 1316, 205, 232, 32, 4, 1], [0, 12, 7, 265, 206, 1273, 723, 2274, 492, 1526, 85, 277, 22, 5, 1], [0, 12, 8, 248, 320, 848, 1728, 672, 2256, 188, 760, 72, 48, 8, 0], [0, 12, 8, 249, 310, 893, 1608, 882, 2004, 398, 640, 117, 38, 9, 0], [0, 12, 8, 250, 300, 938, 1488, 1092, 1752, 608, 520, 162, 28, 10, 0], [0, 12, 8, 250, 301, 928, 1533, 972, 1962, 356, 730, 42, 73, 0, 1], [0, 12, 8, 251, 290, 983, 1368, 1302, 1500, 818, 400, 207, 18, 11, 0], [0, 12, 8, 251, 291, 973, 1413, 1182, 1710, 566, 610, 87, 63, 1, 1], [0, 12, 8, 252, 280, 1028, 1248, 1512, 1248, 1028, 280, 252, 8, 12, 0], [0, 12, 8, 252, 281, 1018, 1293, 1392, 1458, 776, 490, 132, 53, 2, 1], [0, 12, 8, 253, 271, 1063, 1173, 1602, 1206, 986, 370, 177, 43, 3, 1], [0, 12, 8, 254, 261, 1108, 1053, 1812, 954, 1196, 250, 222, 33, 4, 1], [0, 12, 8, 255, 251, 1153, 933, 2022, 702, 1406, 130, 267, 23, 5, 1], [0, 12, 8, 256, 241, 1198, 813, 2232, 450, 1616, 10, 312, 13, 6, 1], [0, 12, 9, 238, 365, 728, 1938, 420, 2466, 68, 805, 62, 49, 8, 0], [0, 12, 9, 239, 355, 773, 1818, 630, 2214, 278, 685, 107, 39, 9, 0], [0, 12, 9, 240, 345, 818, 1698, 840, 1962, 488, 565, 152, 29, 10, 0], [0, 12, 9, 240, 346, 808, 1743, 720, 2172, 236, 775, 32, 74, 0, 1], [0, 12, 9, 241, 335, 863, 1578, 1050, 1710, 698, 445, 197, 19, 11, 0], [0, 12, 9, 241, 336, 853, 1623, 930, 1920, 446, 655, 77, 64, 1, 1], [0, 12, 9, 242, 325, 908, 1458, 1260, 1458, 908, 325, 242, 9, 12, 0], [0, 12, 9, 242, 326, 898, 1503, 1140, 1668, 656, 535, 122, 54, 2, 1], [0, 12, 9, 243, 316, 943, 1383, 1350, 1416, 866, 415, 167, 44, 3, 1], [0, 12, 9, 244, 306, 988, 1263, 1560, 1164, 1076, 295, 212, 34, 4, 1], [0, 12, 9, 245, 296, 1033, 1143, 1770, 912, 1286, 175, 257, 24, 5, 1], [0, 12, 9, 246, 286, 1078, 1023, 1980, 660, 1496, 55, 302, 14, 6, 1], [0, 12, 10, 229, 400, 653, 2028, 378, 2424, 158, 730, 97, 40, 9, 0], [0, 12, 10, 230, 390, 698, 1908, 588, 2172, 368, 610, 142, 30, 10, 0], [0, 12, 10, 230, 391, 688, 1953, 468, 2382, 116, 820, 22, 75, 0, 1], [0, 12, 10, 231, 380, 743, 1788, 798, 1920, 578, 490, 187, 20, 11, 0], [0, 12, 10, 231, 381, 733, 1833, 678, 2130, 326, 700, 67, 65, 1, 1], [0, 12, 10, 232, 370, 788, 1668, 1008, 1668, 788, 370, 232, 10, 12, 0], [0, 12, 10, 232, 371, 778, 1713, 888, 1878, 536, 580, 112, 55, 2, 1], [0, 12, 10, 233, 360, 833, 1548, 1218, 1416, 998, 250, 277, 0, 13, 0], [0, 12, 10, 233, 361, 823, 1593, 1098, 1626, 746, 460, 157, 45, 3, 1], [0, 12, 10, 234, 351, 868, 1473, 1308, 1374, 956, 340, 202, 35, 4, 1], [0, 12, 10, 235, 341, 913, 1353, 1518, 1122, 1166, 220, 247, 25, 5, 1], [0, 12, 10, 236, 331, 958, 1233, 1728, 870, 1376, 100, 292, 15, 6, 1], [0, 12, 11, 219, 445, 533, 2238, 126, 2634, 38, 775, 87, 41, 9, 0], [0, 12, 11, 220, 435, 578, 2118, 336, 2382, 248, 655, 132, 31, 10, 0], [0, 12, 11, 221, 425, 623, 1998, 546, 2130, 458, 535, 177, 21, 11, 0], [0, 12, 11, 221, 426, 613, 2043, 426, 2340, 206, 745, 57, 66, 1, 1], [0, 12, 11, 222, 415, 668, 1878, 756, 1878, 668, 415, 222, 11, 12, 0], [0, 12, 11, 222, 416, 658, 1923, 636, 2088, 416, 625, 102, 56, 2, 1], [0, 12, 11, 223, 405, 713, 1758, 966, 1626, 878, 295, 267, 1, 13, 0], [0, 12, 11, 223, 406, 703, 1803, 846, 1836, 626, 505, 147, 46, 3, 1], [0, 12, 11, 224, 396, 748, 1683, 1056, 1584, 836, 385, 192, 36, 4, 1], [0, 12, 11, 225, 386, 793, 1563, 1266, 1332, 1046, 265, 237, 26, 5, 1], [0, 12, 11, 226, 376, 838, 1443, 1476, 1080, 1256, 145, 282, 16, 6, 1], [0, 12, 11, 227, 366, 883, 1323, 1686, 828, 1466, 25, 327, 6, 7, 1], [0, 12, 12, 210, 480, 458, 2328, 84, 2592, 128, 700, 122, 32, 10, 0], [0, 12, 12, 211, 470, 503, 2208, 294, 2340, 338, 580, 167, 22, 11, 0], [0, 12, 12, 211, 471, 493, 2253, 174, 2550, 86, 790, 47, 67, 1, 1], [0, 12, 12, 212, 460, 548, 2088, 504, 2088, 548, 460, 212, 12, 12, 0], [0, 12, 12, 212, 461, 538, 2133, 384, 2298, 296, 670, 92, 57, 2, 1], [0, 12, 12, 213, 450, 593, 1968, 714, 1836, 758, 340, 257, 2, 13, 0], [0, 12, 12, 213, 451, 583, 2013, 594, 2046, 506, 550, 137, 47, 3, 1], [0, 12, 12, 214, 441, 628, 1893, 804, 1794, 716, 430, 182, 37, 4, 1], [0, 12, 12, 215, 431, 673, 1773, 1014, 1542, 926, 310, 227, 27, 5, 1], [0, 12, 12, 216, 421, 718, 1653, 1224, 1290, 1136, 190, 272, 17, 6, 1], [0, 12, 12, 217, 411, 763, 1533, 1434, 1038, 1346, 70, 317, 7, 7, 1], [0, 12, 13, 201, 515, 383, 2418, 42, 2550, 218, 625, 157, 23, 11, 0], [0, 12, 13, 202, 505, 428, 2298, 252, 2298, 428, 505, 202, 13, 12, 0], [0, 12, 13, 202, 506, 418, 2343, 132, 2508, 176, 715, 82, 58, 2, 1], [0, 12, 13, 203, 495, 473, 2178, 462, 2046, 638, 385, 247, 3, 13, 0], [0, 12, 13, 203, 496, 463, 2223, 342, 2256, 386, 595, 127, 48, 3, 1], [0, 12, 13, 204, 486, 508, 2103, 552, 2004, 596, 475, 172, 38, 4, 1], [0, 12, 13, 205, 476, 553, 1983, 762, 1752, 806, 355, 217, 28, 5, 1], [0, 12, 13, 206, 466, 598, 1863, 972, 1500, 1016, 235, 262, 18, 6, 1], [0, 12, 13, 207, 456, 643, 1743, 1182, 1248, 1226, 115, 307, 8, 7, 1], [0, 12, 14, 192, 550, 308, 2508, 0, 2508, 308, 550, 192, 14, 12, 0], [0, 12, 14, 193, 540, 353, 2388, 210, 2256, 518, 430, 237, 4, 13, 0], [0, 12, 14, 193, 541, 343, 2433, 90, 2466, 266, 640, 117, 49, 3, 1], [0, 12, 14, 194, 531, 388, 2313, 300, 2214, 476, 520, 162, 39, 4, 1], [0, 12, 14, 195, 521, 433, 2193, 510, 1962, 686, 400, 207, 29, 5, 1], [0, 12, 14, 196, 511, 478, 2073, 720, 1710, 896, 280, 252, 19, 6, 1], [0, 12, 14, 197, 501, 523, 1953, 930, 1458, 1106, 160, 297, 9, 7, 1], [0, 12, 14, 200, 472, 648, 1638, 1440, 912, 1484, 10, 312, 24, 0, 2], [0, 12, 15, 184, 576, 268, 2523, 48, 2424, 356, 565, 152, 40, 4, 1], [0, 12, 15, 185, 566, 313, 2403, 258, 2172, 566, 445, 197, 30, 5, 1], [0, 12, 15, 186, 556, 358, 2283, 468, 1920, 776, 325, 242, 20, 6, 1], [0, 12, 15, 187, 546, 403, 2163, 678, 1668, 986, 205, 287, 10, 7, 1], [0, 12, 15, 188, 536, 448, 2043, 888, 1416, 1196, 85, 332, 0, 8, 1], [0, 12, 15, 190, 517, 528, 1848, 1188, 1122, 1364, 55, 302, 25, 0, 2], [0, 12, 16, 175, 611, 193, 2613, 6, 2382, 446, 490, 187, 31, 5, 1], [0, 12, 16, 176, 601, 238, 2493, 216, 2130, 656, 370, 232, 21, 6, 1], [0, 12, 16, 177, 591, 283, 2373, 426, 1878, 866, 250, 277, 11, 7, 1], [0, 12, 16, 178, 581, 328, 2253, 636, 1626, 1076, 130, 322, 1, 8, 1], [0, 12, 16, 180, 562, 408, 2058, 936, 1332, 1244, 100, 292, 26, 0, 2], [0, 12, 17, 167, 636, 163, 2583, 174, 2088, 746, 295, 267, 12, 7, 1], [0, 12, 17, 168, 626, 208, 2463, 384, 1836, 956, 175, 312, 2, 8, 1], [0, 12, 17, 170, 607, 288, 2268, 684, 1542, 1124, 145, 282, 27, 0, 2], [0, 12, 17, 171, 597, 333, 2148, 894, 1290, 1334, 25, 327, 17, 1, 2], [0, 12, 18, 158, 671, 88, 2673, 132, 2046, 836, 220, 302, 3, 8, 1], [0, 12, 18, 160, 652, 168, 2478, 432, 1752, 1004, 190, 272, 28, 0, 2], [0, 12, 18, 161, 642, 213, 2358, 642, 1500, 1214, 70, 317, 18, 1, 2], [0, 12, 19, 150, 697, 48, 2688, 180, 1962, 884, 235, 262, 29, 0, 2], [0, 12, 19, 151, 687, 93, 2568, 390, 1710, 1094, 115, 307, 19, 1, 2], [0, 12, 20, 142, 722, 18, 2658, 348, 1668, 1184, 40, 342, 10, 2, 2], [0, 13, 0, 274, 280, 863, 1776, 588, 2304, 203, 720, 98, 40, 9, 0], [0, 13, 0, 275, 270, 908, 1656, 798, 2052, 413, 600, 143, 30, 10, 0], [0, 13, 0, 275, 271, 898, 1701, 678, 2262, 161, 810, 23, 75, 0, 1], [0, 13, 0, 276, 260, 953, 1536, 1008, 1800, 623, 480, 188, 20, 11, 0], [0, 13, 0, 276, 261, 943, 1581, 888, 2010, 371, 690, 68, 65, 1, 1], [0, 13, 0, 277, 250, 998, 1416, 1218, 1548, 833, 360, 233, 10, 12, 0], [0, 13, 0, 277, 251, 988, 1461, 1098, 1758, 581, 570, 113, 55, 2, 1], [0, 13, 0, 278, 240, 1043, 1296, 1428, 1296, 1043, 240, 278, 0, 13, 0], [0, 13, 0, 278, 241, 1033, 1341, 1308, 1506, 791, 450, 158, 45, 3, 1], [0, 13, 0, 279, 231, 1078, 1221, 1518, 1254, 1001, 330, 203, 35, 4, 1], [0, 13, 0, 280, 221, 1123, 1101, 1728, 1002, 1211, 210, 248, 25, 5, 1], [0, 13, 0, 281, 211, 1168, 981, 1938, 750, 1421, 90, 293, 15, 6, 1], [0, 13, 1, 264, 325, 743, 1986, 336, 2514, 83, 765, 88, 41, 9, 0], [0, 13, 1, 265, 315, 788, 1866, 546, 2262, 293, 645, 133, 31, 10, 0], [0, 13, 1, 265, 316, 778, 1911, 426, 2472, 41, 855, 13, 76, 0, 1], [0, 13, 1, 266, 305, 833, 1746, 756, 2010, 503, 525, 178, 21, 11, 0], [0, 13, 1, 266, 306, 823, 1791, 636, 2220, 251, 735, 58, 66, 1, 1], [0, 13, 1, 267, 295, 878, 1626, 966, 1758, 713, 405, 223, 11, 12, 0], [0, 13, 1, 267, 296, 868, 1671, 846, 1968, 461, 615, 103, 56, 2, 1], [0, 13, 1, 268, 285, 923, 1506, 1176, 1506, 923, 285, 268, 1, 13, 0], [0, 13, 1, 268, 286, 913, 1551, 1056, 1716, 671, 495, 148, 46, 3, 1], [0, 13, 1, 269, 276, 958, 1431, 1266, 1464, 881, 375, 193, 36, 4, 1], [0, 13, 1, 270, 266, 1003, 1311, 1476, 1212, 1091, 255, 238, 26, 5, 1], [0, 13, 1, 271, 256, 1048, 1191, 1686, 960, 1301, 135, 283, 16, 6, 1], [0, 13, 1, 272, 246, 1093, 1071, 1896, 708, 1511, 15, 328, 6, 7, 1], [0, 13, 2, 255, 360, 668, 2076, 294, 2472, 173, 690, 123, 32, 10, 0], [0, 13, 2, 256, 350, 713, 1956, 504, 2220, 383, 570, 168, 22, 11, 0], [0, 13, 2, 256, 351, 703, 2001, 384, 2430, 131, 780, 48, 67, 1, 1], [0, 13, 2, 257, 340, 758, 1836, 714, 1968, 593, 450, 213, 12, 12, 0], [0, 13, 2, 257, 341, 748, 1881, 594, 2178, 341, 660, 93, 57, 2, 1], [0, 13, 2, 258, 330, 803, 1716, 924, 1716, 803, 330, 258, 2, 13, 0], [0, 13, 2, 258, 331, 793, 1761, 804, 1926, 551, 540, 138, 47, 3, 1], [0, 13, 2, 259, 321, 838, 1641, 1014, 1674, 761, 420, 183, 37, 4, 1], [0, 13, 2, 260, 311, 883, 1521, 1224, 1422, 971, 300, 228, 27, 5, 1], [0, 13, 2, 261, 301, 928, 1401, 1434, 1170, 1181, 180, 273, 17, 6, 1], [0, 13, 2, 262, 291, 973, 1281, 1644, 918, 1391, 60, 318, 7, 7, 1], [0, 13, 3, 245, 405, 548, 2286, 42, 2682, 53, 735, 113, 33, 10, 0], [0, 13, 3, 246, 395, 593, 2166, 252, 2430, 263, 615, 158, 23, 11, 0], [0, 13, 3, 246, 396, 583, 2211, 132, 2640, 11, 825, 38, 68, 1, 1], [0, 13, 3, 247, 385, 638, 2046, 462, 2178, 473, 495, 203, 13, 12, 0], [0, 13, 3, 247, 386, 628, 2091, 342, 2388, 221, 705, 83, 58, 2, 1], [0, 13, 3, 248, 375, 683, 1926, 672, 1926, 683, 375, 248, 3, 13, 0], [0, 13, 3, 248, 376, 673, 1971, 552, 2136, 431, 585, 128, 48, 3, 1], [0, 13, 3, 249, 366, 718, 1851, 762, 1884, 641, 465, 173, 38, 4, 1], [0, 13, 3, 250, 356, 763, 1731, 972, 1632, 851, 345, 218, 28, 5, 1], [0, 13, 3, 251, 346, 808, 1611, 1182, 1380, 1061, 225, 263, 18, 6, 1], [0, 13, 3, 252, 336, 853, 1491, 1392, 1128, 1271, 105, 308, 8, 7, 1], [0, 13, 4, 236, 440, 473, 2376, 0, 2640, 143, 660, 148, 24, 11, 0], [0, 13, 4, 237, 430, 518, 2256, 210, 2388, 353, 540, 193, 14, 12, 0], [0, 13, 4, 237, 431, 508, 2301, 90, 2598, 101, 750, 73, 59, 2, 1], [0, 13, 4, 238, 420, 563, 2136, 420, 2136, 563, 420, 238, 4, 13, 0], [0, 13, 4, 238, 421, 553, 2181, 300, 2346, 311, 630, 118, 49, 3, 1], [0, 13, 4, 239, 411, 598, 2061, 510, 2094, 521, 510, 163, 39, 4, 1], [0, 13, 4, 240, 401, 643, 1941, 720, 1842, 731, 390, 208, 29, 5, 1], [0, 13, 4, 241, 391, 688, 1821, 930, 1590, 941, 270, 253, 19, 6, 1], [0, 13, 4, 242, 381, 733, 1701, 1140, 1338, 1151, 150, 298, 9, 7, 1], [0, 13, 4, 245, 352, 858, 1386, 1650, 792, 1529, 0, 313, 24, 0, 2], [0, 13, 5, 228, 465, 443, 2346, 168, 2346, 443, 465, 228, 5, 13, 0], [0, 13, 5, 228, 466, 433, 2391, 48, 2556, 191, 675, 108, 50, 3, 1], [0, 13, 5, 229, 456, 478, 2271, 258, 2304, 401, 555, 153, 40, 4, 1], [0, 13, 5, 230, 446, 523, 2151, 468, 2052, 611, 435, 198, 30, 5, 1], [0, 13, 5, 231, 436, 568, 2031, 678, 1800, 821, 315, 243, 20, 6, 1], [0, 13, 5, 232, 426, 613, 1911, 888, 1548, 1031, 195, 288, 10, 7, 1], [0, 13, 5, 233, 416, 658, 1791, 1098, 1296, 1241, 75, 333, 0, 8, 1], [0, 13, 5, 235, 397, 738, 1596, 1398, 1002, 1409, 45, 303, 25, 0, 2], [0, 13, 6, 219, 501, 358, 2481, 6, 2514, 281, 600, 143, 41, 4, 1], [0, 13, 6, 220, 491, 403, 2361, 216, 2262, 491, 480, 188, 31, 5, 1], [0, 13, 6, 221, 481, 448, 2241, 426, 2010, 701, 360, 233, 21, 6, 1], [0, 13, 6, 222, 471, 493, 2121, 636, 1758, 911, 240, 278, 11, 7, 1], [0, 13, 6, 223, 461, 538, 2001, 846, 1506, 1121, 120, 323, 1, 8, 1], [0, 13, 6, 225, 442, 618, 1806, 1146, 1212, 1289, 90, 293, 26, 0, 2], [0, 13, 7, 211, 526, 328, 2451, 174, 2220, 581, 405, 223, 22, 6, 1], [0, 13, 7, 212, 516, 373, 2331, 384, 1968, 791, 285, 268, 12, 7, 1], [0, 13, 7, 213, 506, 418, 2211, 594, 1716, 1001, 165, 313, 2, 8, 1], [0, 13, 7, 215, 487, 498, 2016, 894, 1422, 1169, 135, 283, 27, 0, 2], [0, 13, 7, 216, 477, 543, 1896, 1104, 1170, 1379, 15, 328, 17, 1, 2], [0, 13, 8, 202, 561, 253, 2541, 132, 2178, 671, 330, 258, 13, 7, 1], [0, 13, 8, 203, 551, 298, 2421, 342, 1926, 881, 210, 303, 3, 8, 1], [0, 13, 8, 205, 532, 378, 2226, 642, 1632, 1049, 180, 273, 28, 0, 2], [0, 13, 8, 206, 522, 423, 2106, 852, 1380, 1259, 60, 318, 18, 1, 2], [0, 13, 9, 193, 596, 178, 2631, 90, 2136, 761, 255, 293, 4, 8, 1], [0, 13, 9, 195, 577, 258, 2436, 390, 1842, 929, 225, 263, 29, 0, 2], [0, 13, 9, 196, 567, 303, 2316, 600, 1590, 1139, 105, 308, 19, 1, 2], [0, 13, 10, 185, 622, 138, 2646, 138, 2052, 809, 270, 253, 30, 0, 2], [0, 13, 10, 186, 612, 183, 2526, 348, 1800, 1019, 150, 298, 20, 1, 2], [0, 13, 10, 187, 602, 228, 2406, 558, 1548, 1229, 30, 343, 10, 2, 2], [0, 13, 11, 176, 657, 63, 2736, 96, 2010, 899, 195, 288, 21, 1, 2], [0, 13, 11, 177, 647, 108, 2616, 306, 1758, 1109, 75, 333, 11, 2, 2], [0, 13, 12, 168, 682, 33, 2706, 264, 1716, 1199, 0, 368, 2, 3, 2], [0, 14, 0, 228, 521, 268, 2589, 48, 2226, 686, 290, 284, 5, 8, 1], [0, 14, 0, 230, 502, 348, 2394, 348, 1932, 854, 260, 254, 30, 0, 2], [0, 14, 0, 231, 492, 393, 2274, 558, 1680, 1064, 140, 299, 20, 1, 2], [0, 14, 0, 232, 482, 438, 2154, 768, 1428, 1274, 20, 344, 10, 2, 2], [0, 14, 1, 220, 547, 228, 2604, 96, 2142, 734, 305, 244, 31, 0, 2], [0, 14, 1, 221, 537, 273, 2484, 306, 1890, 944, 185, 289, 21, 1, 2], [0, 14, 1, 222, 527, 318, 2364, 516, 1638, 1154, 65, 334, 11, 2, 2], [0, 14, 2, 211, 582, 153, 2694, 54, 2100, 824, 230, 279, 22, 1, 2], [0, 14, 2, 212, 572, 198, 2574, 264, 1848, 1034, 110, 324, 12, 2, 2], [0, 14, 3, 202, 617, 78, 2784, 12, 2058, 914, 155, 314, 13, 2, 2], [0, 14, 3, 203, 607, 123, 2664, 222, 1806, 1124, 35, 359, 3, 3, 2]}