-------
(15, 14336, 10) ALL distance distributions for EXTERNAL point
(10, 14336, 10) has 0 possible DDs: {}
(11, 14336, 10) has 1 possible DDs: {[0, 154, 0, 2310, 0, 6468, 0, 4620, 0, 770, 0, 14]}
(12, 14336, 10) has 8 possible DDs: {[0, 77, 77, 1155, 1155, 3234, 3234, 2310, 2310, 385, 385, 7, 7], [0, 78, 66, 1210, 990, 3564, 2772, 2772, 1980, 550, 330, 18, 6], [0, 79, 55, 1265, 825, 3894, 2310, 3234, 1650, 715, 275, 29, 5], [0, 80, 44, 1320, 660, 4224, 1848, 3696, 1320, 880, 220, 40, 4], [0, 81, 33, 1375, 495, 4554, 1386, 4158, 990, 1045, 165, 51, 3], [0, 82, 22, 1430, 330, 4884, 924, 4620, 660, 1210, 110, 62, 2], [0, 83, 11, 1485, 165, 5214, 462, 5082, 330, 1375, 55, 73, 1], [0, 84, 0, 1540, 0, 5544, 0, 5544, 0, 1540, 0, 84, 0]}
(13, 14336, 10) has 51 possible DDs: {[0, 32, 148, 264, 2200, 132, 6072, 0, 4224, 440, 660, 152, 8, 4], [0, 33, 137, 319, 2035, 462, 5610, 462, 3894, 605, 605, 163, 7, 4], [0, 33, 138, 308, 2090, 297, 5940, 0, 4356, 275, 770, 108, 18, 3], [0, 34, 126, 374, 1870, 792, 5148, 924, 3564, 770, 550, 174, 6, 4], [0, 34, 127, 363, 1925, 627, 5478, 462, 4026, 440, 715, 119, 17, 3], [0, 34, 128, 352, 1980, 462, 5808, 0, 4488, 110, 880, 64, 28, 2], [0, 35, 115, 429, 1705, 1122, 4686, 1386, 3234, 935, 495, 185, 5, 4], [0, 35, 116, 418, 1760, 957, 5016, 924, 3696, 605, 660, 130, 16, 3], [0, 35, 117, 407, 1815, 792, 5346, 462, 4158, 275, 825, 75, 27, 2], [0, 36, 104, 484, 1540, 1452, 4224, 1848, 2904, 1100, 440, 196, 4, 4], [0, 36, 105, 473, 1595, 1287, 4554, 1386, 3366, 770, 605, 141, 15, 3], [0, 36, 106, 462, 1650, 1122, 4884, 924, 3828, 440, 770, 86, 26, 2], [0, 36, 107, 451, 1705, 957, 5214, 462, 4290, 110, 935, 31, 37, 1], [0, 37, 93, 539, 1375, 1782, 3762, 2310, 2574, 1265, 385, 207, 3, 4], [0, 37, 94, 528, 1430, 1617, 4092, 1848, 3036, 935, 550, 152, 14, 3], [0, 37, 95, 517, 1485, 1452, 4422, 1386, 3498, 605, 715, 97, 25, 2], [0, 37, 96, 506, 1540, 1287, 4752, 924, 3960, 275, 880, 42, 36, 1], [0, 38, 82, 594, 1210, 2112, 3300, 2772, 2244, 1430, 330, 218, 2, 4], [0, 38, 83, 583, 1265, 1947, 3630, 2310, 2706, 1100, 495, 163, 13, 3], [0, 38, 84, 572, 1320, 1782, 3960, 1848, 3168, 770, 660, 108, 24, 2], [0, 38, 85, 561, 1375, 1617, 4290, 1386, 3630, 440, 825, 53, 35, 1], [0, 39, 71, 649, 1045, 2442, 2838, 3234, 1914, 1595, 275, 229, 1, 4], [0, 39, 72, 638, 1100, 2277, 3168, 2772, 2376, 1265, 440, 174, 12, 3], [0, 39, 73, 627, 1155, 2112, 3498, 2310, 2838, 935, 605, 119, 23, 2], [0, 39, 74, 616, 1210, 1947, 3828, 1848, 3300, 605, 770, 64, 34, 1], [0, 39, 75, 605, 1265, 1782, 4158, 1386, 3762, 275, 935, 9, 45, 0], [0, 40, 60, 704, 880, 2772, 2376, 3696, 1584, 1760, 220, 240, 0, 4], [0, 40, 61, 693, 935, 2607, 2706, 3234, 2046, 1430, 385, 185, 11, 3], [0, 40, 62, 682, 990, 2442, 3036, 2772, 2508, 1100, 550, 130, 22, 2], [0, 40, 63, 671, 1045, 2277, 3366, 2310, 2970, 770, 715, 75, 33, 1], [0, 40, 64, 660, 1100, 2112, 3696, 1848, 3432, 440, 880, 20, 44, 0], [0, 41, 50, 748, 770, 2937, 2244, 3696, 1716, 1595, 330, 196, 10, 3], [0, 41, 51, 737, 825, 2772, 2574, 3234, 2178, 1265, 495, 141, 21, 2], [0, 41, 52, 726, 880, 2607, 2904, 2772, 2640, 935, 660, 86, 32, 1], [0, 41, 53, 715, 935, 2442, 3234, 2310, 3102, 605, 825, 31, 43, 0], [0, 42, 39, 803, 605, 3267, 1782, 4158, 1386, 1760, 275, 207, 9, 3], [0, 42, 40, 792, 660, 3102, 2112, 3696, 1848, 1430, 440, 152, 20, 2], [0, 42, 41, 781, 715, 2937, 2442, 3234, 2310, 1100, 605, 97, 31, 1], [0, 42, 42, 770, 770, 2772, 2772, 2772, 2772, 770, 770, 42, 42, 0], [0, 43, 28, 858, 440, 3597, 1320, 4620, 1056, 1925, 220, 218, 8, 3], [0, 43, 29, 847, 495, 3432, 1650, 4158, 1518, 1595, 385, 163, 19, 2], [0, 43, 30, 836, 550, 3267, 1980, 3696, 1980, 1265, 550, 108, 30, 1], [0, 43, 31, 825, 605, 3102, 2310, 3234, 2442, 935, 715, 53, 41, 0], [0, 44, 17, 913, 275, 3927, 858, 5082, 726, 2090, 165, 229, 7, 3], [0, 44, 18, 902, 330, 3762, 1188, 4620, 1188, 1760, 330, 174, 18, 2], [0, 44, 19, 891, 385, 3597, 1518, 4158, 1650, 1430, 495, 119, 29, 1], [0, 44, 20, 880, 440, 3432, 1848, 3696, 2112, 1100, 660, 64, 40, 0], [0, 45, 6, 968, 110, 4257, 396, 5544, 396, 2255, 110, 240, 6, 3], [0, 45, 7, 957, 165, 4092, 726, 5082, 858, 1925, 275, 185, 17, 2], [0, 45, 8, 946, 220, 3927, 1056, 4620, 1320, 1595, 440, 130, 28, 1], [0, 45, 9, 935, 275, 3762, 1386, 4158, 1782, 1265, 605, 75, 39, 0]}
(14, 14336, 10) has 304 possible DDs: {[0, 11, 138, 7, 1683, 616, 3267, 3630, 990, 3355, 0, 571, 63, 2, 3], [0, 12, 128, 51, 1573, 781, 3135, 3630, 1122, 3190, 110, 527, 73, 1, 3], [0, 12, 129, 40, 1628, 616, 3465, 3168, 1584, 2860, 275, 472, 84, 0, 3], [0, 12, 130, 30, 1672, 506, 3630, 3036, 1584, 2992, 110, 582, 40, 10, 2], [0, 12, 131, 19, 1727, 341, 3960, 2574, 2046, 2662, 275, 527, 51, 9, 2], [0, 12, 132, 8, 1782, 176, 4290, 2112, 2508, 2332, 440, 472, 62, 8, 2], [0, 12, 132, 9, 1771, 231, 4125, 2442, 2046, 2794, 110, 637, 7, 19, 1], [0, 13, 117, 106, 1408, 1111, 2673, 4092, 792, 3355, 55, 538, 72, 1, 3], [0, 13, 118, 95, 1463, 946, 3003, 3630, 1254, 3025, 220, 483, 83, 0, 3], [0, 13, 119, 85, 1507, 836, 3168, 3498, 1254, 3157, 55, 593, 39, 10, 2], [0, 13, 120, 74, 1562, 671, 3498, 3036, 1716, 2827, 220, 538, 50, 9, 2], [0, 13, 121, 63, 1617, 506, 3828, 2574, 2178, 2497, 385, 483, 61, 8, 2], [0, 13, 121, 64, 1606, 561, 3663, 2904, 1716, 2959, 55, 648, 6, 19, 1], [0, 13, 122, 52, 1672, 341, 4158, 2112, 2640, 2167, 550, 428, 72, 7, 2], [0, 13, 122, 53, 1661, 396, 3993, 2442, 2178, 2629, 220, 593, 17, 18, 1], [0, 13, 123, 41, 1727, 176, 4488, 1650, 3102, 1837, 715, 373, 83, 6, 2], [0, 13, 123, 42, 1716, 231, 4323, 1980, 2640, 2299, 385, 538, 28, 17, 1], [0, 13, 124, 30, 1782, 11, 4818, 1188, 3564, 1507, 880, 318, 94, 5, 2], [0, 13, 124, 31, 1771, 66, 4653, 1518, 3102, 1969, 550, 483, 39, 16, 1], [0, 14, 106, 161, 1243, 1441, 2211, 4554, 462, 3520, 0, 549, 71, 1, 3], [0, 14, 107, 150, 1298, 1276, 2541, 4092, 924, 3190, 165, 494, 82, 0, 3], [0, 14, 108, 140, 1342, 1166, 2706, 3960, 924, 3322, 0, 604, 38, 10, 2], [0, 14, 109, 129, 1397, 1001, 3036, 3498, 1386, 2992, 165, 549, 49, 9, 2], [0, 14, 110, 118, 1452, 836, 3366, 3036, 1848, 2662, 330, 494, 60, 8, 2], [0, 14, 110, 119, 1441, 891, 3201, 3366, 1386, 3124, 0, 659, 5, 19, 1], [0, 14, 111, 107, 1507, 671, 3696, 2574, 2310, 2332, 495, 439, 71, 7, 2], [0, 14, 111, 108, 1496, 726, 3531, 2904, 1848, 2794, 165, 604, 16, 18, 1], [0, 14, 112, 96, 1562, 506, 4026, 2112, 2772, 2002, 660, 384, 82, 6, 2], [0, 14, 112, 97, 1551, 561, 3861, 2442, 2310, 2464, 330, 549, 27, 17, 1], [0, 14, 113, 85, 1617, 341, 4356, 1650, 3234, 1672, 825, 329, 93, 5, 2], [0, 14, 113, 86, 1606, 396, 4191, 1980, 2772, 2134, 495, 494, 38, 16, 1], [0, 14, 114, 74, 1672, 176, 4686, 1188, 3696, 1342, 990, 274, 104, 4, 2], [0, 14, 114, 75, 1661, 231, 4521, 1518, 3234, 1804, 660, 439, 49, 15, 1], [0, 14, 115, 63, 1727, 11, 5016, 726, 4158, 1012, 1155, 219, 115, 3, 2], [0, 14, 115, 64, 1716, 66, 4851, 1056, 3696, 1474, 825, 384, 60, 14, 1], [0, 14, 115, 65, 1705, 121, 4686, 1386, 3234, 1936, 495, 549, 5, 25, 0], [0, 15, 96, 205, 1133, 1606, 2079, 4554, 594, 3355, 110, 505, 81, 0, 3], [0, 15, 98, 184, 1232, 1331, 2574, 3960, 1056, 3157, 110, 560, 48, 9, 2], [0, 15, 99, 173, 1287, 1166, 2904, 3498, 1518, 2827, 275, 505, 59, 8, 2], [0, 15, 100, 162, 1342, 1001, 3234, 3036, 1980, 2497, 440, 450, 70, 7, 2], [0, 15, 100, 163, 1331, 1056, 3069, 3366, 1518, 2959, 110, 615, 15, 18, 1], [0, 15, 101, 151, 1397, 836, 3564, 2574, 2442, 2167, 605, 395, 81, 6, 2], [0, 15, 101, 152, 1386, 891, 3399, 2904, 1980, 2629, 275, 560, 26, 17, 1], [0, 15, 102, 140, 1452, 671, 3894, 2112, 2904, 1837, 770, 340, 92, 5, 2], [0, 15, 102, 141, 1441, 726, 3729, 2442, 2442, 2299, 440, 505, 37, 16, 1], [0, 15, 103, 129, 1507, 506, 4224, 1650, 3366, 1507, 935, 285, 103, 4, 2], [0, 15, 103, 130, 1496, 561, 4059, 1980, 2904, 1969, 605, 450, 48, 15, 1], [0, 15, 104, 118, 1562, 341, 4554, 1188, 3828, 1177, 1100, 230, 114, 3, 2], [0, 15, 104, 119, 1551, 396, 4389, 1518, 3366, 1639, 770, 395, 59, 14, 1], [0, 15, 104, 120, 1540, 451, 4224, 1848, 2904, 2101, 440, 560, 4, 25, 0], [0, 15, 105, 107, 1617, 176, 4884, 726, 4290, 847, 1265, 175, 125, 2, 2], [0, 15, 105, 108, 1606, 231, 4719, 1056, 3828, 1309, 935, 340, 70, 13, 1], [0, 15, 105, 109, 1595, 286, 4554, 1386, 3366, 1771, 605, 505, 15, 24, 0], [0, 15, 106, 96, 1672, 11, 5214, 264, 4752, 517, 1430, 120, 136, 1, 2], [0, 15, 106, 97, 1661, 66, 5049, 594, 4290, 979, 1100, 285, 81, 12, 1], [0, 15, 106, 98, 1650, 121, 4884, 924, 3828, 1441, 770, 450, 26, 23, 0], [0, 16, 85, 260, 968, 1936, 1617, 5016, 264, 3520, 55, 516, 80, 0, 3], [0, 16, 87, 239, 1067, 1661, 2112, 4422, 726, 3322, 55, 571, 47, 9, 2], [0, 16, 88, 228, 1122, 1496, 2442, 3960, 1188, 2992, 220, 516, 58, 8, 2], [0, 16, 89, 217, 1177, 1331, 2772, 3498, 1650, 2662, 385, 461, 69, 7, 2], [0, 16, 89, 218, 1166, 1386, 2607, 3828, 1188, 3124, 55, 626, 14, 18, 1], [0, 16, 90, 206, 1232, 1166, 3102, 3036, 2112, 2332, 550, 406, 80, 6, 2], [0, 16, 90, 207, 1221, 1221, 2937, 3366, 1650, 2794, 220, 571, 25, 17, 1], [0, 16, 91, 195, 1287, 1001, 3432, 2574, 2574, 2002, 715, 351, 91, 5, 2], [0, 16, 91, 196, 1276, 1056, 3267, 2904, 2112, 2464, 385, 516, 36, 16, 1], [0, 16, 92, 184, 1342, 836, 3762, 2112, 3036, 1672, 880, 296, 102, 4, 2], [0, 16, 92, 185, 1331, 891, 3597, 2442, 2574, 2134, 550, 461, 47, 15, 1], [0, 16, 93, 173, 1397, 671, 4092, 1650, 3498, 1342, 1045, 241, 113, 3, 2], [0, 16, 93, 174, 1386, 726, 3927, 1980, 3036, 1804, 715, 406, 58, 14, 1], [0, 16, 93, 175, 1375, 781, 3762, 2310, 2574, 2266, 385, 571, 3, 25, 0], [0, 16, 94, 162, 1452, 506, 4422, 1188, 3960, 1012, 1210, 186, 124, 2, 2], [0, 16, 94, 163, 1441, 561, 4257, 1518, 3498, 1474, 880, 351, 69, 13, 1], [0, 16, 94, 164, 1430, 616, 4092, 1848, 3036, 1936, 550, 516, 14, 24, 0], [0, 16, 95, 151, 1507, 341, 4752, 726, 4422, 682, 1375, 131, 135, 1, 2], [0, 16, 95, 152, 1496, 396, 4587, 1056, 3960, 1144, 1045, 296, 80, 12, 1], [0, 16, 95, 153, 1485, 451, 4422, 1386, 3498, 1606, 715, 461, 25, 23, 0], [0, 16, 96, 140, 1562, 176, 5082, 264, 4884, 352, 1540, 76, 146, 0, 2], [0, 16, 96, 141, 1551, 231, 4917, 594, 4422, 814, 1210, 241, 91, 11, 1], [0, 16, 96, 142, 1540, 286, 4752, 924, 3960, 1276, 880, 406, 36, 22, 0], [0, 16, 97, 130, 1606, 66, 5247, 132, 4884, 484, 1375, 186, 102, 10, 1], [0, 16, 97, 131, 1595, 121, 5082, 462, 4422, 946, 1045, 351, 47, 21, 0], [0, 17, 76, 294, 902, 1991, 1650, 4884, 396, 3487, 0, 582, 46, 9, 2], [0, 17, 77, 283, 957, 1826, 1980, 4422, 858, 3157, 165, 527, 57, 8, 2], [0, 17, 78, 272, 1012, 1661, 2310, 3960, 1320, 2827, 330, 472, 68, 7, 2], [0, 17, 78, 273, 1001, 1716, 2145, 4290, 858, 3289, 0, 637, 13, 18, 1], [0, 17, 79, 261, 1067, 1496, 2640, 3498, 1782, 2497, 495, 417, 79, 6, 2], [0, 17, 79, 262, 1056, 1551, 2475, 3828, 1320, 2959, 165, 582, 24, 17, 1], [0, 17, 80, 250, 1122, 1331, 2970, 3036, 2244, 2167, 660, 362, 90, 5, 2], [0, 17, 80, 251, 1111, 1386, 2805, 3366, 1782, 2629, 330, 527, 35, 16, 1], [0, 17, 81, 239, 1177, 1166, 3300, 2574, 2706, 1837, 825, 307, 101, 4, 2], [0, 17, 81, 240, 1166, 1221, 3135, 2904, 2244, 2299, 495, 472, 46, 15, 1], [0, 17, 82, 228, 1232, 1001, 3630, 2112, 3168, 1507, 990, 252, 112, 3, 2], [0, 17, 82, 229, 1221, 1056, 3465, 2442, 2706, 1969, 660, 417, 57, 14, 1], [0, 17, 82, 230, 1210, 1111, 3300, 2772, 2244, 2431, 330, 582, 2, 25, 0], [0, 17, 83, 217, 1287, 836, 3960, 1650, 3630, 1177, 1155, 197, 123, 2, 2], [0, 17, 83, 218, 1276, 891, 3795, 1980, 3168, 1639, 825, 362, 68, 13, 1], [0, 17, 83, 219, 1265, 946, 3630, 2310, 2706, 2101, 495, 527, 13, 24, 0], [0, 17, 84, 206, 1342, 671, 4290, 1188, 4092, 847, 1320, 142, 134, 1, 2], [0, 17, 84, 207, 1331, 726, 4125, 1518, 3630, 1309, 990, 307, 79, 12, 1], [0, 17, 84, 208, 1320, 781, 3960, 1848, 3168, 1771, 660, 472, 24, 23, 0], [0, 17, 85, 195, 1397, 506, 4620, 726, 4554, 517, 1485, 87, 145, 0, 2], [0, 17, 85, 196, 1386, 561, 4455, 1056, 4092, 979, 1155, 252, 90, 11, 1], [0, 17, 85, 197, 1375, 616, 4290, 1386, 3630, 1441, 825, 417, 35, 22, 0], [0, 17, 86, 185, 1441, 396, 4785, 594, 4554, 649, 1320, 197, 101, 10, 1], [0, 17, 86, 186, 1430, 451, 4620, 924, 4092, 1111, 990, 362, 46, 21, 0], [0, 17, 87, 174, 1496, 231, 5115, 132, 5016, 319, 1485, 142, 112, 9, 1], [0, 17, 87, 175, 1485, 286, 4950, 462, 4554, 781, 1155, 307, 57, 20, 0], [0, 17, 88, 164, 1540, 121, 5280, 0, 5016, 451, 1320, 252, 68, 19, 0], [0, 18, 66, 338, 792, 2156, 1518, 4884, 528, 3322, 110, 538, 56, 8, 2], [0, 18, 67, 327, 847, 1991, 1848, 4422, 990, 2992, 275, 483, 67, 7, 2], [0, 18, 68, 316, 902, 1826, 2178, 3960, 1452, 2662, 440, 428, 78, 6, 2], [0, 18, 68, 317, 891, 1881, 2013, 4290, 990, 3124, 110, 593, 23, 17, 1], [0, 18, 69, 305, 957, 1661, 2508, 3498, 1914, 2332, 605, 373, 89, 5, 2], [0, 18, 69, 306, 946, 1716, 2343, 3828, 1452, 2794, 275, 538, 34, 16, 1], [0, 18, 70, 294, 1012, 1496, 2838, 3036, 2376, 2002, 770, 318, 100, 4, 2], [0, 18, 70, 295, 1001, 1551, 2673, 3366, 1914, 2464, 440, 483, 45, 15, 1], [0, 18, 71, 283, 1067, 1331, 3168, 2574, 2838, 1672, 935, 263, 111, 3, 2], [0, 18, 71, 284, 1056, 1386, 3003, 2904, 2376, 2134, 605, 428, 56, 14, 1], [0, 18, 71, 285, 1045, 1441, 2838, 3234, 1914, 2596, 275, 593, 1, 25, 0], [0, 18, 72, 272, 1122, 1166, 3498, 2112, 3300, 1342, 1100, 208, 122, 2, 2], [0, 18, 72, 273, 1111, 1221, 3333, 2442, 2838, 1804, 770, 373, 67, 13, 1], [0, 18, 72, 274, 1100, 1276, 3168, 2772, 2376, 2266, 440, 538, 12, 24, 0], [0, 18, 73, 261, 1177, 1001, 3828, 1650, 3762, 1012, 1265, 153, 133, 1, 2], [0, 18, 73, 262, 1166, 1056, 3663, 1980, 3300, 1474, 935, 318, 78, 12, 1], [0, 18, 73, 263, 1155, 1111, 3498, 2310, 2838, 1936, 605, 483, 23, 23, 0], [0, 18, 74, 250, 1232, 836, 4158, 1188, 4224, 682, 1430, 98, 144, 0, 2], [0, 18, 74, 251, 1221, 891, 3993, 1518, 3762, 1144, 1100, 263, 89, 11, 1], [0, 18, 74, 252, 1210, 946, 3828, 1848, 3300, 1606, 770, 428, 34, 22, 0], [0, 18, 75, 240, 1276, 726, 4323, 1056, 4224, 814, 1265, 208, 100, 10, 1], [0, 18, 75, 241, 1265, 781, 4158, 1386, 3762, 1276, 935, 373, 45, 21, 0], [0, 18, 76, 229, 1331, 561, 4653, 594, 4686, 484, 1430, 153, 111, 9, 1], [0, 18, 76, 230, 1320, 616, 4488, 924, 4224, 946, 1100, 318, 56, 20, 0], [0, 18, 77, 218, 1386, 396, 4983, 132, 5148, 154, 1595, 98, 122, 8, 1], [0, 18, 77, 219, 1375, 451, 4818, 462, 4686, 616, 1265, 263, 67, 19, 0], [0, 18, 78, 208, 1430, 286, 5148, 0, 5148, 286, 1430, 208, 78, 18, 0], [0, 19, 55, 393, 627, 2486, 1056, 5346, 198, 3487, 55, 549, 55, 8, 2], [0, 19, 56, 382, 682, 2321, 1386, 4884, 660, 3157, 220, 494, 66, 7, 2], [0, 19, 57, 371, 737, 2156, 1716, 4422, 1122, 2827, 385, 439, 77, 6, 2], [0, 19, 57, 372, 726, 2211, 1551, 4752, 660, 3289, 55, 604, 22, 17, 1], [0, 19, 58, 360, 792, 1991, 2046, 3960, 1584, 2497, 550, 384, 88, 5, 2], [0, 19, 58, 361, 781, 2046, 1881, 4290, 1122, 2959, 220, 549, 33, 16, 1], [0, 19, 59, 349, 847, 1826, 2376, 3498, 2046, 2167, 715, 329, 99, 4, 2], [0, 19, 59, 350, 836, 1881, 2211, 3828, 1584, 2629, 385, 494, 44, 15, 1], [0, 19, 60, 338, 902, 1661, 2706, 3036, 2508, 1837, 880, 274, 110, 3, 2], [0, 19, 60, 339, 891, 1716, 2541, 3366, 2046, 2299, 550, 439, 55, 14, 1], [0, 19, 60, 340, 880, 1771, 2376, 3696, 1584, 2761, 220, 604, 0, 25, 0], [0, 19, 61, 327, 957, 1496, 3036, 2574, 2970, 1507, 1045, 219, 121, 2, 2], [0, 19, 61, 328, 946, 1551, 2871, 2904, 2508, 1969, 715, 384, 66, 13, 1], [0, 19, 61, 329, 935, 1606, 2706, 3234, 2046, 2431, 385, 549, 11, 24, 0], [0, 19, 62, 316, 1012, 1331, 3366, 2112, 3432, 1177, 1210, 164, 132, 1, 2], [0, 19, 62, 317, 1001, 1386, 3201, 2442, 2970, 1639, 880, 329, 77, 12, 1], [0, 19, 62, 318, 990, 1441, 3036, 2772, 2508, 2101, 550, 494, 22, 23, 0], [0, 19, 63, 305, 1067, 1166, 3696, 1650, 3894, 847, 1375, 109, 143, 0, 2], [0, 19, 63, 306, 1056, 1221, 3531, 1980, 3432, 1309, 1045, 274, 88, 11, 1], [0, 19, 63, 307, 1045, 1276, 3366, 2310, 2970, 1771, 715, 439, 33, 22, 0], [0, 19, 64, 295, 1111, 1056, 3861, 1518, 3894, 979, 1210, 219, 99, 10, 1], [0, 19, 64, 296, 1100, 1111, 3696, 1848, 3432, 1441, 880, 384, 44, 21, 0], [0, 19, 65, 284, 1166, 891, 4191, 1056, 4356, 649, 1375, 164, 110, 9, 1], [0, 19, 65, 285, 1155, 946, 4026, 1386, 3894, 1111, 1045, 329, 55, 20, 0], [0, 19, 66, 273, 1221, 726, 4521, 594, 4818, 319, 1540, 109, 121, 8, 1], [0, 19, 66, 274, 1210, 781, 4356, 924, 4356, 781, 1210, 274, 66, 19, 0], [0, 19, 67, 263, 1265, 616, 4686, 462, 4818, 451, 1375, 219, 77, 18, 0], [0, 19, 68, 252, 1320, 451, 5016, 0, 5280, 121, 1540, 164, 88, 17, 0], [0, 20, 45, 437, 517, 2651, 924, 5346, 330, 3322, 165, 505, 65, 7, 2], [0, 20, 46, 426, 572, 2486, 1254, 4884, 792, 2992, 330, 450, 76, 6, 2], [0, 20, 46, 427, 561, 2541, 1089, 5214, 330, 3454, 0, 615, 21, 17, 1], [0, 20, 47, 415, 627, 2321, 1584, 4422, 1254, 2662, 495, 395, 87, 5, 2], [0, 20, 47, 416, 616, 2376, 1419, 4752, 792, 3124, 165, 560, 32, 16, 1], [0, 20, 48, 404, 682, 2156, 1914, 3960, 1716, 2332, 660, 340, 98, 4, 2], [0, 20, 48, 405, 671, 2211, 1749, 4290, 1254, 2794, 330, 505, 43, 15, 1], [0, 20, 49, 393, 737, 1991, 2244, 3498, 2178, 2002, 825, 285, 109, 3, 2], [0, 20, 49, 394, 726, 2046, 2079, 3828, 1716, 2464, 495, 450, 54, 14, 1], [0, 20, 50, 382, 792, 1826, 2574, 3036, 2640, 1672, 990, 230, 120, 2, 2], [0, 20, 50, 383, 781, 1881, 2409, 3366, 2178, 2134, 660, 395, 65, 13, 1], [0, 20, 50, 384, 770, 1936, 2244, 3696, 1716, 2596, 330, 560, 10, 24, 0], [0, 20, 51, 371, 847, 1661, 2904, 2574, 3102, 1342, 1155, 175, 131, 1, 2], [0, 20, 51, 372, 836, 1716, 2739, 2904, 2640, 1804, 825, 340, 76, 12, 1], [0, 20, 51, 373, 825, 1771, 2574, 3234, 2178, 2266, 495, 505, 21, 23, 0], [0, 20, 52, 360, 902, 1496, 3234, 2112, 3564, 1012, 1320, 120, 142, 0, 2], [0, 20, 52, 361, 891, 1551, 3069, 2442, 3102, 1474, 990, 285, 87, 11, 1], [0, 20, 52, 362, 880, 1606, 2904, 2772, 2640, 1936, 660, 450, 32, 22, 0], [0, 20, 53, 350, 946, 1386, 3399, 1980, 3564, 1144, 1155, 230, 98, 10, 1], [0, 20, 53, 351, 935, 1441, 3234, 2310, 3102, 1606, 825, 395, 43, 21, 0], [0, 20, 54, 339, 1001, 1221, 3729, 1518, 4026, 814, 1320, 175, 109, 9, 1], [0, 20, 54, 340, 990, 1276, 3564, 1848, 3564, 1276, 990, 340, 54, 20, 0], [0, 20, 55, 328, 1056, 1056, 4059, 1056, 4488, 484, 1485, 120, 120, 8, 1], [0, 20, 55, 329, 1045, 1111, 3894, 1386, 4026, 946, 1155, 285, 65, 19, 0], [0, 20, 56, 317, 1111, 891, 4389, 594, 4950, 154, 1650, 65, 131, 7, 1], [0, 20, 56, 318, 1100, 946, 4224, 924, 4488, 616, 1320, 230, 76, 18, 0], [0, 20, 57, 307, 1155, 781, 4554, 462, 4950, 286, 1485, 175, 87, 17, 0], [0, 21, 34, 492, 352, 2981, 462, 5808, 0, 3487, 110, 516, 64, 7, 2], [0, 21, 35, 481, 407, 2816, 792, 5346, 462, 3157, 275, 461, 75, 6, 2], [0, 21, 36, 470, 462, 2651, 1122, 4884, 924, 2827, 440, 406, 86, 5, 2], [0, 21, 36, 471, 451, 2706, 957, 5214, 462, 3289, 110, 571, 31, 16, 1], [0, 21, 37, 459, 517, 2486, 1452, 4422, 1386, 2497, 605, 351, 97, 4, 2], [0, 21, 37, 460, 506, 2541, 1287, 4752, 924, 2959, 275, 516, 42, 15, 1], [0, 21, 38, 448, 572, 2321, 1782, 3960, 1848, 2167, 770, 296, 108, 3, 2], [0, 21, 38, 449, 561, 2376, 1617, 4290, 1386, 2629, 440, 461, 53, 14, 1], [0, 21, 39, 437, 627, 2156, 2112, 3498, 2310, 1837, 935, 241, 119, 2, 2], [0, 21, 39, 438, 616, 2211, 1947, 3828, 1848, 2299, 605, 406, 64, 13, 1], [0, 21, 39, 439, 605, 2266, 1782, 4158, 1386, 2761, 275, 571, 9, 24, 0], [0, 21, 40, 426, 682, 1991, 2442, 3036, 2772, 1507, 1100, 186, 130, 1, 2], [0, 21, 40, 427, 671, 2046, 2277, 3366, 2310, 1969, 770, 351, 75, 12, 1], [0, 21, 40, 428, 660, 2101, 2112, 3696, 1848, 2431, 440, 516, 20, 23, 0], [0, 21, 41, 415, 737, 1826, 2772, 2574, 3234, 1177, 1265, 131, 141, 0, 2], [0, 21, 41, 416, 726, 1881, 2607, 2904, 2772, 1639, 935, 296, 86, 11, 1], [0, 21, 41, 417, 715, 1936, 2442, 3234, 2310, 2101, 605, 461, 31, 22, 0], [0, 21, 42, 405, 781, 1716, 2937, 2442, 3234, 1309, 1100, 241, 97, 10, 1], [0, 21, 42, 406, 770, 1771, 2772, 2772, 2772, 1771, 770, 406, 42, 21, 0], [0, 21, 43, 394, 836, 1551, 3267, 1980, 3696, 979, 1265, 186, 108, 9, 1], [0, 21, 43, 395, 825, 1606, 3102, 2310, 3234, 1441, 935, 351, 53, 20, 0], [0, 21, 44, 383, 891, 1386, 3597, 1518, 4158, 649, 1430, 131, 119, 8, 1], [0, 21, 44, 384, 880, 1441, 3432, 1848, 3696, 1111, 1100, 296, 64, 19, 0], [0, 21, 45, 372, 946, 1221, 3927, 1056, 4620, 319, 1595, 76, 130, 7, 1], [0, 21, 45, 373, 935, 1276, 3762, 1386, 4158, 781, 1265, 241, 75, 18, 0], [0, 21, 46, 362, 990, 1111, 4092, 924, 4620, 451, 1430, 186, 86, 17, 0], [0, 21, 47, 351, 1045, 946, 4422, 462, 5082, 121, 1595, 131, 97, 16, 0], [0, 22, 24, 536, 242, 3146, 330, 5808, 132, 3322, 220, 472, 74, 6, 2], [0, 22, 25, 525, 297, 2981, 660, 5346, 594, 2992, 385, 417, 85, 5, 2], [0, 22, 25, 526, 286, 3036, 495, 5676, 132, 3454, 55, 582, 30, 16, 1], [0, 22, 26, 514, 352, 2816, 990, 4884, 1056, 2662, 550, 362, 96, 4, 2], [0, 22, 26, 515, 341, 2871, 825, 5214, 594, 3124, 220, 527, 41, 15, 1], [0, 22, 27, 503, 407, 2651, 1320, 4422, 1518, 2332, 715, 307, 107, 3, 2], [0, 22, 27, 504, 396, 2706, 1155, 4752, 1056, 2794, 385, 472, 52, 14, 1], [0, 22, 28, 492, 462, 2486, 1650, 3960, 1980, 2002, 880, 252, 118, 2, 2], [0, 22, 28, 493, 451, 2541, 1485, 4290, 1518, 2464, 550, 417, 63, 13, 1], [0, 22, 28, 494, 440, 2596, 1320, 4620, 1056, 2926, 220, 582, 8, 24, 0], [0, 22, 29, 481, 517, 2321, 1980, 3498, 2442, 1672, 1045, 197, 129, 1, 2], [0, 22, 29, 482, 506, 2376, 1815, 3828, 1980, 2134, 715, 362, 74, 12, 1], [0, 22, 29, 483, 495, 2431, 1650, 4158, 1518, 2596, 385, 527, 19, 23, 0], [0, 22, 30, 470, 572, 2156, 2310, 3036, 2904, 1342, 1210, 142, 140, 0, 2], [0, 22, 30, 471, 561, 2211, 2145, 3366, 2442, 1804, 880, 307, 85, 11, 1], [0, 22, 30, 472, 550, 2266, 1980, 3696, 1980, 2266, 550, 472, 30, 22, 0], [0, 22, 31, 460, 616, 2046, 2475, 2904, 2904, 1474, 1045, 252, 96, 10, 1], [0, 22, 31, 461, 605, 2101, 2310, 3234, 2442, 1936, 715, 417, 41, 21, 0], [0, 22, 32, 449, 671, 1881, 2805, 2442, 3366, 1144, 1210, 197, 107, 9, 1], [0, 22, 32, 450, 660, 1936, 2640, 2772, 2904, 1606, 880, 362, 52, 20, 0], [0, 22, 33, 438, 726, 1716, 3135, 1980, 3828, 814, 1375, 142, 118, 8, 1], [0, 22, 33, 439, 715, 1771, 2970, 2310, 3366, 1276, 1045, 307, 63, 19, 0], [0, 22, 34, 427, 781, 1551, 3465, 1518, 4290, 484, 1540, 87, 129, 7, 1], [0, 22, 34, 428, 770, 1606, 3300, 1848, 3828, 946, 1210, 252, 74, 18, 0], [0, 22, 35, 416, 836, 1386, 3795, 1056, 4752, 154, 1705, 32, 140, 6, 1], [0, 22, 35, 417, 825, 1441, 3630, 1386, 4290, 616, 1375, 197, 85, 17, 0], [0, 22, 36, 406, 880, 1276, 3960, 924, 4752, 286, 1540, 142, 96, 16, 0], [0, 23, 14, 580, 132, 3311, 198, 5808, 264, 3157, 330, 428, 84, 5, 2], [0, 23, 15, 569, 187, 3146, 528, 5346, 726, 2827, 495, 373, 95, 4, 2], [0, 23, 15, 570, 176, 3201, 363, 5676, 264, 3289, 165, 538, 40, 15, 1], [0, 23, 16, 558, 242, 2981, 858, 4884, 1188, 2497, 660, 318, 106, 3, 2], [0, 23, 16, 559, 231, 3036, 693, 5214, 726, 2959, 330, 483, 51, 14, 1], [0, 23, 17, 547, 297, 2816, 1188, 4422, 1650, 2167, 825, 263, 117, 2, 2], [0, 23, 17, 548, 286, 2871, 1023, 4752, 1188, 2629, 495, 428, 62, 13, 1], [0, 23, 17, 549, 275, 2926, 858, 5082, 726, 3091, 165, 593, 7, 24, 0], [0, 23, 18, 536, 352, 2651, 1518, 3960, 2112, 1837, 990, 208, 128, 1, 2], [0, 23, 18, 537, 341, 2706, 1353, 4290, 1650, 2299, 660, 373, 73, 12, 1], [0, 23, 18, 538, 330, 2761, 1188, 4620, 1188, 2761, 330, 538, 18, 23, 0], [0, 23, 19, 525, 407, 2486, 1848, 3498, 2574, 1507, 1155, 153, 139, 0, 2], [0, 23, 19, 526, 396, 2541, 1683, 3828, 2112, 1969, 825, 318, 84, 11, 1], [0, 23, 19, 527, 385, 2596, 1518, 4158, 1650, 2431, 495, 483, 29, 22, 0], [0, 23, 20, 515, 451, 2376, 2013, 3366, 2574, 1639, 990, 263, 95, 10, 1], [0, 23, 20, 516, 440, 2431, 1848, 3696, 2112, 2101, 660, 428, 40, 21, 0], [0, 23, 21, 504, 506, 2211, 2343, 2904, 3036, 1309, 1155, 208, 106, 9, 1], [0, 23, 21, 505, 495, 2266, 2178, 3234, 2574, 1771, 825, 373, 51, 20, 0], [0, 23, 22, 493, 561, 2046, 2673, 2442, 3498, 979, 1320, 153, 117, 8, 1], [0, 23, 22, 494, 550, 2101, 2508, 2772, 3036, 1441, 990, 318, 62, 19, 0], [0, 23, 23, 482, 616, 1881, 3003, 1980, 3960, 649, 1485, 98, 128, 7, 1], [0, 23, 23, 483, 605, 1936, 2838, 2310, 3498, 1111, 1155, 263, 73, 18, 0], [0, 23, 24, 471, 671, 1716, 3333, 1518, 4422, 319, 1650, 43, 139, 6, 1], [0, 23, 24, 472, 660, 1771, 3168, 1848, 3960, 781, 1320, 208, 84, 17, 0], [0, 23, 25, 461, 715, 1606, 3498, 1386, 4422, 451, 1485, 153, 95, 16, 0], [0, 23, 26, 450, 770, 1441, 3828, 924, 4884, 121, 1650, 98, 106, 15, 0], [0, 24, 4, 624, 22, 3476, 66, 5808, 396, 2992, 440, 384, 94, 4, 2], [0, 24, 5, 613, 77, 3311, 396, 5346, 858, 2662, 605, 329, 105, 3, 2], [0, 24, 5, 614, 66, 3366, 231, 5676, 396, 3124, 275, 494, 50, 14, 1], [0, 24, 6, 602, 132, 3146, 726, 4884, 1320, 2332, 770, 274, 116, 2, 2], [0, 24, 6, 603, 121, 3201, 561, 5214, 858, 2794, 440, 439, 61, 13, 1], [0, 24, 6, 604, 110, 3256, 396, 5544, 396, 3256, 110, 604, 6, 24, 0], [0, 24, 7, 591, 187, 2981, 1056, 4422, 1782, 2002, 935, 219, 127, 1, 2], [0, 24, 7, 592, 176, 3036, 891, 4752, 1320, 2464, 605, 384, 72, 12, 1], [0, 24, 7, 593, 165, 3091, 726, 5082, 858, 2926, 275, 549, 17, 23, 0], [0, 24, 8, 580, 242, 2816, 1386, 3960, 2244, 1672, 1100, 164, 138, 0, 2], [0, 24, 8, 581, 231, 2871, 1221, 4290, 1782, 2134, 770, 329, 83, 11, 1], [0, 24, 8, 582, 220, 2926, 1056, 4620, 1320, 2596, 440, 494, 28, 22, 0], [0, 24, 9, 570, 286, 2706, 1551, 3828, 2244, 1804, 935, 274, 94, 10, 1], [0, 24, 9, 571, 275, 2761, 1386, 4158, 1782, 2266, 605, 439, 39, 21, 0], [0, 24, 10, 559, 341, 2541, 1881, 3366, 2706, 1474, 1100, 219, 105, 9, 1], [0, 24, 10, 560, 330, 2596, 1716, 3696, 2244, 1936, 770, 384, 50, 20, 0], [0, 24, 11, 548, 396, 2376, 2211, 2904, 3168, 1144, 1265, 164, 116, 8, 1], [0, 24, 11, 549, 385, 2431, 2046, 3234, 2706, 1606, 935, 329, 61, 19, 0], [0, 24, 12, 537, 451, 2211, 2541, 2442, 3630, 814, 1430, 109, 127, 7, 1], [0, 24, 12, 538, 440, 2266, 2376, 2772, 3168, 1276, 1100, 274, 72, 18, 0], [0, 24, 13, 526, 506, 2046, 2871, 1980, 4092, 484, 1595, 54, 138, 6, 1], [0, 24, 13, 527, 495, 2101, 2706, 2310, 3630, 946, 1265, 219, 83, 17, 0], [0, 24, 14, 516, 550, 1936, 3036, 1848, 4092, 616, 1430, 164, 94, 16, 0], [0, 24, 15, 505, 605, 1771, 3366, 1386, 4554, 286, 1595, 109, 105, 15, 0], [0, 25, 0, 603, 231, 2706, 1749, 3366, 2838, 1309, 1210, 175, 115, 8, 1], [0, 25, 0, 604, 220, 2761, 1584, 3696, 2376, 1771, 880, 340, 60, 19, 0], [0, 25, 1, 592, 286, 2541, 2079, 2904, 3300, 979, 1375, 120, 126, 7, 1], [0, 25, 1, 593, 275, 2596, 1914, 3234, 2838, 1441, 1045, 285, 71, 18, 0], [0, 25, 2, 581, 341, 2376, 2409, 2442, 3762, 649, 1540, 65, 137, 6, 1], [0, 25, 2, 582, 330, 2431, 2244, 2772, 3300, 1111, 1210, 230, 82, 17, 0], [0, 25, 3, 570, 396, 2211, 2739, 1980, 4224, 319, 1705, 10, 148, 5, 1], [0, 25, 3, 571, 385, 2266, 2574, 2310, 3762, 781, 1375, 175, 93, 16, 0], [0, 25, 4, 560, 440, 2101, 2904, 1848, 4224, 451, 1540, 120, 104, 15, 0], [0, 25, 5, 549, 495, 1936, 3234, 1386, 4686, 121, 1705, 65, 115, 14, 0]}
(15, 14336, 10) has 1480 possible DDs: {[0, 2, 100, 17, 773, 1815, 231, 5940, 66, 3344, 1474, 137, 425, 7, 3, 2], [0, 2, 101, 6, 828, 1650, 561, 5478, 528, 3014, 1639, 82, 436, 6, 3, 2], [0, 2, 101, 7, 817, 1705, 396, 5808, 66, 3476, 1309, 247, 381, 17, 2, 2], [0, 3, 90, 61, 663, 1980, 99, 5940, 198, 3179, 1584, 93, 435, 6, 3, 2], [0, 3, 91, 50, 718, 1815, 429, 5478, 660, 2849, 1749, 38, 446, 5, 3, 2], [0, 3, 91, 51, 707, 1870, 264, 5808, 198, 3311, 1419, 203, 391, 16, 2, 2], [0, 3, 92, 40, 762, 1705, 594, 5346, 660, 2981, 1584, 148, 402, 15, 2, 2], [0, 3, 92, 41, 751, 1760, 429, 5676, 198, 3443, 1254, 313, 347, 26, 1, 2], [0, 3, 93, 29, 817, 1540, 924, 4884, 1122, 2651, 1749, 93, 413, 14, 2, 2], [0, 3, 93, 30, 806, 1595, 759, 5214, 660, 3113, 1419, 258, 358, 25, 1, 2], [0, 3, 93, 31, 795, 1650, 594, 5544, 198, 3575, 1089, 423, 303, 36, 0, 2], [0, 3, 94, 18, 872, 1375, 1254, 4422, 1584, 2321, 1914, 38, 424, 13, 2, 2], [0, 3, 94, 19, 861, 1430, 1089, 4752, 1122, 2783, 1584, 203, 369, 24, 1, 2], [0, 3, 94, 20, 850, 1485, 924, 5082, 660, 3245, 1254, 368, 314, 35, 0, 2], [0, 3, 94, 22, 829, 1584, 649, 5577, 66, 3707, 1056, 368, 369, 2, 9, 1], [0, 3, 95, 8, 916, 1265, 1419, 4290, 1584, 2453, 1749, 148, 380, 23, 1, 2], [0, 3, 95, 9, 905, 1320, 1254, 4620, 1122, 2915, 1419, 313, 325, 34, 0, 2], [0, 3, 95, 11, 884, 1419, 979, 5115, 528, 3377, 1221, 313, 380, 1, 9, 1], [0, 3, 95, 12, 873, 1474, 814, 5445, 66, 3839, 891, 478, 325, 12, 8, 1], [0, 3, 96, 0, 939, 1254, 1309, 4653, 990, 3047, 1386, 258, 391, 0, 9, 1], [0, 3, 96, 1, 928, 1309, 1144, 4983, 528, 3509, 1056, 423, 336, 11, 8, 1], [0, 3, 96, 2, 917, 1364, 979, 5313, 66, 3971, 726, 588, 281, 22, 7, 1], [0, 4, 81, 95, 597, 2035, 132, 5808, 330, 3146, 1529, 159, 401, 15, 2, 2], [0, 4, 82, 84, 652, 1870, 462, 5346, 792, 2816, 1694, 104, 412, 14, 2, 2], [0, 4, 82, 85, 641, 1925, 297, 5676, 330, 3278, 1364, 269, 357, 25, 1, 2], [0, 4, 83, 73, 707, 1705, 792, 4884, 1254, 2486, 1859, 49, 423, 13, 2, 2], [0, 4, 83, 74, 696, 1760, 627, 5214, 792, 2948, 1529, 214, 368, 24, 1, 2], [0, 4, 83, 75, 685, 1815, 462, 5544, 330, 3410, 1199, 379, 313, 35, 0, 2], [0, 4, 84, 63, 751, 1595, 957, 4752, 1254, 2618, 1694, 159, 379, 23, 1, 2], [0, 4, 84, 64, 740, 1650, 792, 5082, 792, 3080, 1364, 324, 324, 34, 0, 2], [0, 4, 84, 66, 719, 1749, 517, 5577, 198, 3542, 1166, 324, 379, 1, 9, 1], [0, 4, 85, 52, 806, 1430, 1287, 4290, 1716, 2288, 1859, 104, 390, 22, 1, 2], [0, 4, 85, 53, 795, 1485, 1122, 4620, 1254, 2750, 1529, 269, 335, 33, 0, 2], [0, 4, 85, 55, 774, 1584, 847, 5115, 660, 3212, 1331, 269, 390, 0, 9, 1], [0, 4, 85, 56, 763, 1639, 682, 5445, 198, 3674, 1001, 434, 335, 11, 8, 1], [0, 4, 86, 41, 861, 1265, 1617, 3828, 2178, 1958, 2024, 49, 401, 21, 1, 2], [0, 4, 86, 42, 850, 1320, 1452, 4158, 1716, 2420, 1694, 214, 346, 32, 0, 2], [0, 4, 86, 45, 818, 1474, 1012, 4983, 660, 3344, 1166, 379, 346, 10, 8, 1], [0, 4, 86, 46, 807, 1529, 847, 5313, 198, 3806, 836, 544, 291, 21, 7, 1], [0, 4, 87, 31, 905, 1155, 1782, 3696, 2178, 2090, 1859, 159, 357, 31, 0, 2], [0, 4, 87, 34, 873, 1309, 1342, 4521, 1122, 3014, 1331, 324, 357, 9, 8, 1], [0, 4, 87, 35, 862, 1364, 1177, 4851, 660, 3476, 1001, 489, 302, 20, 7, 1], [0, 4, 87, 36, 851, 1419, 1012, 5181, 198, 3938, 671, 654, 247, 31, 6, 1], [0, 4, 88, 20, 960, 990, 2112, 3234, 2640, 1760, 2024, 104, 368, 30, 0, 2], [0, 4, 88, 23, 928, 1144, 1672, 4059, 1584, 2684, 1496, 269, 368, 8, 8, 1], [0, 4, 88, 24, 917, 1199, 1507, 4389, 1122, 3146, 1166, 434, 313, 19, 7, 1], [0, 4, 88, 25, 906, 1254, 1342, 4719, 660, 3608, 836, 599, 258, 30, 6, 1], [0, 4, 88, 26, 895, 1309, 1177, 5049, 198, 4070, 506, 764, 203, 41, 5, 1], [0, 4, 89, 9, 1015, 825, 2442, 2772, 3102, 1430, 2189, 49, 379, 29, 0, 2], [0, 4, 89, 12, 983, 979, 2002, 3597, 2046, 2354, 1661, 214, 379, 7, 8, 1], [0, 4, 89, 13, 972, 1034, 1837, 3927, 1584, 2816, 1331, 379, 324, 18, 7, 1], [0, 4, 89, 14, 961, 1089, 1672, 4257, 1122, 3278, 1001, 544, 269, 29, 6, 1], [0, 4, 89, 15, 950, 1144, 1507, 4587, 660, 3740, 671, 709, 214, 40, 5, 1], [0, 4, 89, 16, 939, 1199, 1342, 4917, 198, 4202, 341, 874, 159, 51, 4, 1], [0, 4, 89, 17, 929, 1243, 1232, 5082, 66, 4202, 473, 709, 269, 7, 14, 0], [0, 4, 90, 1, 1038, 814, 2332, 3135, 2508, 2024, 1826, 159, 390, 6, 8, 1], [0, 4, 90, 2, 1027, 869, 2167, 3465, 2046, 2486, 1496, 324, 335, 17, 7, 1], [0, 4, 90, 3, 1016, 924, 2002, 3795, 1584, 2948, 1166, 489, 280, 28, 6, 1], [0, 4, 90, 4, 1005, 979, 1837, 4125, 1122, 3410, 836, 654, 225, 39, 5, 1], [0, 4, 90, 5, 994, 1034, 1672, 4455, 660, 3872, 506, 819, 170, 50, 4, 1], [0, 4, 90, 6, 983, 1089, 1507, 4785, 198, 4334, 176, 984, 115, 61, 3, 1], [0, 4, 90, 6, 984, 1078, 1562, 4620, 528, 3872, 638, 654, 280, 6, 14, 0], [0, 4, 90, 7, 973, 1133, 1397, 4950, 66, 4334, 308, 819, 225, 17, 13, 0], [0, 5, 71, 139, 487, 2200, 0, 5808, 462, 2981, 1639, 115, 411, 14, 2, 2], [0, 5, 72, 128, 542, 2035, 330, 5346, 924, 2651, 1804, 60, 422, 13, 2, 2], [0, 5, 72, 129, 531, 2090, 165, 5676, 462, 3113, 1474, 225, 367, 24, 1, 2], [0, 5, 72, 130, 520, 2145, 0, 6006, 0, 3575, 1144, 390, 312, 35, 0, 2], [0, 5, 73, 117, 597, 1870, 660, 4884, 1386, 2321, 1969, 5, 433, 12, 2, 2], [0, 5, 73, 118, 586, 1925, 495, 5214, 924, 2783, 1639, 170, 378, 23, 1, 2], [0, 5, 73, 119, 575, 1980, 330, 5544, 462, 3245, 1309, 335, 323, 34, 0, 2], [0, 5, 74, 107, 641, 1760, 825, 4752, 1386, 2453, 1804, 115, 389, 22, 1, 2], [0, 5, 74, 108, 630, 1815, 660, 5082, 924, 2915, 1474, 280, 334, 33, 0, 2], [0, 5, 74, 110, 609, 1914, 385, 5577, 330, 3377, 1276, 280, 389, 0, 9, 1], [0, 5, 75, 96, 696, 1595, 1155, 4290, 1848, 2123, 1969, 60, 400, 21, 1, 2], [0, 5, 75, 97, 685, 1650, 990, 4620, 1386, 2585, 1639, 225, 345, 32, 0, 2], [0, 5, 75, 100, 653, 1804, 550, 5445, 330, 3509, 1111, 390, 345, 10, 8, 1], [0, 5, 76, 85, 751, 1430, 1485, 3828, 2310, 1793, 2134, 5, 411, 20, 1, 2], [0, 5, 76, 86, 740, 1485, 1320, 4158, 1848, 2255, 1804, 170, 356, 31, 0, 2], [0, 5, 76, 89, 708, 1639, 880, 4983, 792, 3179, 1276, 335, 356, 9, 8, 1], [0, 5, 76, 90, 697, 1694, 715, 5313, 330, 3641, 946, 500, 301, 20, 7, 1], [0, 5, 77, 75, 795, 1320, 1650, 3696, 2310, 1925, 1969, 115, 367, 30, 0, 2], [0, 5, 77, 78, 763, 1474, 1210, 4521, 1254, 2849, 1441, 280, 367, 8, 8, 1], [0, 5, 77, 79, 752, 1529, 1045, 4851, 792, 3311, 1111, 445, 312, 19, 7, 1], [0, 5, 77, 80, 741, 1584, 880, 5181, 330, 3773, 781, 610, 257, 30, 6, 1], [0, 5, 78, 64, 850, 1155, 1980, 3234, 2772, 1595, 2134, 60, 378, 29, 0, 2], [0, 5, 78, 67, 818, 1309, 1540, 4059, 1716, 2519, 1606, 225, 378, 7, 8, 1], [0, 5, 78, 68, 807, 1364, 1375, 4389, 1254, 2981, 1276, 390, 323, 18, 7, 1], [0, 5, 78, 69, 796, 1419, 1210, 4719, 792, 3443, 946, 555, 268, 29, 6, 1], [0, 5, 78, 70, 785, 1474, 1045, 5049, 330, 3905, 616, 720, 213, 40, 5, 1], [0, 5, 79, 53, 905, 990, 2310, 2772, 3234, 1265, 2299, 5, 389, 28, 0, 2], [0, 5, 79, 56, 873, 1144, 1870, 3597, 2178, 2189, 1771, 170, 389, 6, 8, 1], [0, 5, 79, 57, 862, 1199, 1705, 3927, 1716, 2651, 1441, 335, 334, 17, 7, 1], [0, 5, 79, 58, 851, 1254, 1540, 4257, 1254, 3113, 1111, 500, 279, 28, 6, 1], [0, 5, 79, 59, 840, 1309, 1375, 4587, 792, 3575, 781, 665, 224, 39, 5, 1], [0, 5, 79, 60, 829, 1364, 1210, 4917, 330, 4037, 451, 830, 169, 50, 4, 1], [0, 5, 79, 61, 819, 1408, 1100, 5082, 198, 4037, 583, 665, 279, 6, 14, 0], [0, 5, 80, 45, 928, 979, 2200, 3135, 2640, 1859, 1936, 115, 400, 5, 8, 1], [0, 5, 80, 46, 917, 1034, 2035, 3465, 2178, 2321, 1606, 280, 345, 16, 7, 1], [0, 5, 80, 47, 906, 1089, 1870, 3795, 1716, 2783, 1276, 445, 290, 27, 6, 1], [0, 5, 80, 48, 895, 1144, 1705, 4125, 1254, 3245, 946, 610, 235, 38, 5, 1], [0, 5, 80, 49, 884, 1199, 1540, 4455, 792, 3707, 616, 775, 180, 49, 4, 1], [0, 5, 80, 50, 873, 1254, 1375, 4785, 330, 4169, 286, 940, 125, 60, 3, 1], [0, 5, 80, 50, 874, 1243, 1430, 4620, 660, 3707, 748, 610, 290, 5, 14, 0], [0, 5, 80, 51, 863, 1298, 1265, 4950, 198, 4169, 418, 775, 235, 16, 13, 0], [0, 5, 81, 34, 983, 814, 2530, 2673, 3102, 1529, 2101, 60, 411, 4, 8, 1], [0, 5, 81, 35, 972, 869, 2365, 3003, 2640, 1991, 1771, 225, 356, 15, 7, 1], [0, 5, 81, 36, 961, 924, 2200, 3333, 2178, 2453, 1441, 390, 301, 26, 6, 1], [0, 5, 81, 37, 950, 979, 2035, 3663, 1716, 2915, 1111, 555, 246, 37, 5, 1], [0, 5, 81, 38, 939, 1034, 1870, 3993, 1254, 3377, 781, 720, 191, 48, 4, 1], [0, 5, 81, 39, 928, 1089, 1705, 4323, 792, 3839, 451, 885, 136, 59, 3, 1], [0, 5, 81, 39, 929, 1078, 1760, 4158, 1122, 3377, 913, 555, 301, 4, 14, 0], [0, 5, 81, 40, 917, 1144, 1540, 4653, 330, 4301, 121, 1050, 81, 70, 2, 1], [0, 5, 81, 40, 918, 1133, 1595, 4488, 660, 3839, 583, 720, 246, 15, 13, 0], [0, 5, 81, 41, 907, 1188, 1430, 4818, 198, 4301, 253, 885, 191, 26, 12, 0], [0, 5, 82, 23, 1038, 649, 2860, 2211, 3564, 1199, 2266, 5, 422, 3, 8, 1], [0, 5, 82, 24, 1027, 704, 2695, 2541, 3102, 1661, 1936, 170, 367, 14, 7, 1], [0, 5, 82, 25, 1016, 759, 2530, 2871, 2640, 2123, 1606, 335, 312, 25, 6, 1], [0, 5, 82, 26, 1005, 814, 2365, 3201, 2178, 2585, 1276, 500, 257, 36, 5, 1], [0, 5, 82, 27, 994, 869, 2200, 3531, 1716, 3047, 946, 665, 202, 47, 4, 1], [0, 5, 82, 28, 983, 924, 2035, 3861, 1254, 3509, 616, 830, 147, 58, 3, 1], [0, 5, 82, 28, 984, 913, 2090, 3696, 1584, 3047, 1078, 500, 312, 3, 14, 0], [0, 5, 82, 29, 972, 979, 1870, 4191, 792, 3971, 286, 995, 92, 69, 2, 1], [0, 5, 82, 29, 973, 968, 1925, 4026, 1122, 3509, 748, 665, 257, 14, 13, 0], [0, 5, 82, 30, 962, 1023, 1760, 4356, 660, 3971, 418, 830, 202, 25, 12, 0], [0, 5, 82, 31, 951, 1078, 1595, 4686, 198, 4433, 88, 995, 147, 36, 11, 0], [0, 5, 83, 13, 1082, 539, 3025, 2079, 3564, 1331, 2101, 115, 378, 13, 7, 1], [0, 5, 83, 14, 1071, 594, 2860, 2409, 3102, 1793, 1771, 280, 323, 24, 6, 1], [0, 5, 83, 15, 1060, 649, 2695, 2739, 2640, 2255, 1441, 445, 268, 35, 5, 1], [0, 5, 83, 16, 1049, 704, 2530, 3069, 2178, 2717, 1111, 610, 213, 46, 4, 1], [0, 5, 83, 17, 1038, 759, 2365, 3399, 1716, 3179, 781, 775, 158, 57, 3, 1], [0, 5, 83, 17, 1039, 748, 2420, 3234, 2046, 2717, 1243, 445, 323, 2, 14, 0], [0, 5, 83, 18, 1027, 814, 2200, 3729, 1254, 3641, 451, 940, 103, 68, 2, 1], [0, 5, 83, 18, 1028, 803, 2255, 3564, 1584, 3179, 913, 610, 268, 13, 13, 0], [0, 5, 83, 19, 1016, 869, 2035, 4059, 792, 4103, 121, 1105, 48, 79, 1, 1], [0, 5, 83, 19, 1017, 858, 2090, 3894, 1122, 3641, 583, 775, 213, 24, 12, 0], [0, 5, 83, 20, 1006, 913, 1925, 4224, 660, 4103, 253, 940, 158, 35, 11, 0], [0, 5, 84, 2, 1137, 374, 3355, 1617, 4026, 1001, 2266, 60, 389, 12, 7, 1], [0, 5, 84, 3, 1126, 429, 3190, 1947, 3564, 1463, 1936, 225, 334, 23, 6, 1], [0, 5, 84, 4, 1115, 484, 3025, 2277, 3102, 1925, 1606, 390, 279, 34, 5, 1], [0, 5, 84, 5, 1104, 539, 2860, 2607, 2640, 2387, 1276, 555, 224, 45, 4, 1], [0, 5, 84, 6, 1093, 594, 2695, 2937, 2178, 2849, 946, 720, 169, 56, 3, 1], [0, 5, 84, 6, 1094, 583, 2750, 2772, 2508, 2387, 1408, 390, 334, 1, 14, 0], [0, 5, 84, 7, 1082, 649, 2530, 3267, 1716, 3311, 616, 885, 114, 67, 2, 1], [0, 5, 84, 7, 1083, 638, 2585, 3102, 2046, 2849, 1078, 555, 279, 12, 13, 0], [0, 5, 84, 8, 1071, 704, 2365, 3597, 1254, 3773, 286, 1050, 59, 78, 1, 1], [0, 5, 84, 8, 1072, 693, 2420, 3432, 1584, 3311, 748, 720, 224, 23, 12, 0], [0, 5, 84, 9, 1061, 748, 2255, 3762, 1122, 3773, 418, 885, 169, 34, 11, 0], [0, 5, 84, 10, 1050, 803, 2090, 4092, 660, 4235, 88, 1050, 114, 45, 10, 0], [0, 6, 62, 172, 432, 2200, 198, 5346, 1056, 2486, 1914, 16, 432, 12, 2, 2], [0, 6, 62, 173, 421, 2255, 33, 5676, 594, 2948, 1584, 181, 377, 23, 1, 2], [0, 6, 63, 162, 476, 2090, 363, 5214, 1056, 2618, 1749, 126, 388, 22, 1, 2], [0, 6, 63, 163, 465, 2145, 198, 5544, 594, 3080, 1419, 291, 333, 33, 0, 2], [0, 6, 64, 151, 531, 1925, 693, 4752, 1518, 2288, 1914, 71, 399, 21, 1, 2], [0, 6, 64, 152, 520, 1980, 528, 5082, 1056, 2750, 1584, 236, 344, 32, 0, 2], [0, 6, 64, 155, 488, 2134, 88, 5907, 0, 3674, 1056, 401, 344, 10, 8, 1], [0, 6, 65, 140, 586, 1760, 1023, 4290, 1980, 1958, 2079, 16, 410, 20, 1, 2], [0, 6, 65, 141, 575, 1815, 858, 4620, 1518, 2420, 1749, 181, 355, 31, 0, 2], [0, 6, 65, 144, 543, 1969, 418, 5445, 462, 3344, 1221, 346, 355, 9, 8, 1], [0, 6, 65, 145, 532, 2024, 253, 5775, 0, 3806, 891, 511, 300, 20, 7, 1], [0, 6, 66, 130, 630, 1650, 1188, 4158, 1980, 2090, 1914, 126, 366, 30, 0, 2], [0, 6, 66, 133, 598, 1804, 748, 4983, 924, 3014, 1386, 291, 366, 8, 8, 1], [0, 6, 66, 134, 587, 1859, 583, 5313, 462, 3476, 1056, 456, 311, 19, 7, 1], [0, 6, 66, 135, 576, 1914, 418, 5643, 0, 3938, 726, 621, 256, 30, 6, 1], [0, 6, 67, 119, 685, 1485, 1518, 3696, 2442, 1760, 2079, 71, 377, 29, 0, 2], [0, 6, 67, 122, 653, 1639, 1078, 4521, 1386, 2684, 1551, 236, 377, 7, 8, 1], [0, 6, 67, 123, 642, 1694, 913, 4851, 924, 3146, 1221, 401, 322, 18, 7, 1], [0, 6, 67, 124, 631, 1749, 748, 5181, 462, 3608, 891, 566, 267, 29, 6, 1], [0, 6, 67, 125, 620, 1804, 583, 5511, 0, 4070, 561, 731, 212, 40, 5, 1], [0, 6, 68, 108, 740, 1320, 1848, 3234, 2904, 1430, 2244, 16, 388, 28, 0, 2], [0, 6, 68, 111, 708, 1474, 1408, 4059, 1848, 2354, 1716, 181, 388, 6, 8, 1], [0, 6, 68, 112, 697, 1529, 1243, 4389, 1386, 2816, 1386, 346, 333, 17, 7, 1], [0, 6, 68, 113, 686, 1584, 1078, 4719, 924, 3278, 1056, 511, 278, 28, 6, 1], [0, 6, 68, 114, 675, 1639, 913, 5049, 462, 3740, 726, 676, 223, 39, 5, 1], [0, 6, 68, 115, 664, 1694, 748, 5379, 0, 4202, 396, 841, 168, 50, 4, 1], [0, 6, 69, 100, 763, 1309, 1738, 3597, 2310, 2024, 1881, 126, 399, 5, 8, 1], [0, 6, 69, 101, 752, 1364, 1573, 3927, 1848, 2486, 1551, 291, 344, 16, 7, 1], [0, 6, 69, 102, 741, 1419, 1408, 4257, 1386, 2948, 1221, 456, 289, 27, 6, 1], [0, 6, 69, 103, 730, 1474, 1243, 4587, 924, 3410, 891, 621, 234, 38, 5, 1], [0, 6, 69, 104, 719, 1529, 1078, 4917, 462, 3872, 561, 786, 179, 49, 4, 1], [0, 6, 69, 105, 708, 1584, 913, 5247, 0, 4334, 231, 951, 124, 60, 3, 1], [0, 6, 69, 105, 709, 1573, 968, 5082, 330, 3872, 693, 621, 289, 5, 14, 0], [0, 6, 70, 89, 818, 1144, 2068, 3135, 2772, 1694, 2046, 71, 410, 4, 8, 1], [0, 6, 70, 90, 807, 1199, 1903, 3465, 2310, 2156, 1716, 236, 355, 15, 7, 1], [0, 6, 70, 91, 796, 1254, 1738, 3795, 1848, 2618, 1386, 401, 300, 26, 6, 1], [0, 6, 70, 92, 785, 1309, 1573, 4125, 1386, 3080, 1056, 566, 245, 37, 5, 1], [0, 6, 70, 93, 774, 1364, 1408, 4455, 924, 3542, 726, 731, 190, 48, 4, 1], [0, 6, 70, 94, 763, 1419, 1243, 4785, 462, 4004, 396, 896, 135, 59, 3, 1], [0, 6, 70, 94, 764, 1408, 1298, 4620, 792, 3542, 858, 566, 300, 4, 14, 0], [0, 6, 70, 95, 752, 1474, 1078, 5115, 0, 4466, 66, 1061, 80, 70, 2, 1], [0, 6, 70, 95, 753, 1463, 1133, 4950, 330, 4004, 528, 731, 245, 15, 13, 0], [0, 6, 71, 78, 873, 979, 2398, 2673, 3234, 1364, 2211, 16, 421, 3, 8, 1], [0, 6, 71, 79, 862, 1034, 2233, 3003, 2772, 1826, 1881, 181, 366, 14, 7, 1], [0, 6, 71, 80, 851, 1089, 2068, 3333, 2310, 2288, 1551, 346, 311, 25, 6, 1], [0, 6, 71, 81, 840, 1144, 1903, 3663, 1848, 2750, 1221, 511, 256, 36, 5, 1], [0, 6, 71, 82, 829, 1199, 1738, 3993, 1386, 3212, 891, 676, 201, 47, 4, 1], [0, 6, 71, 83, 818, 1254, 1573, 4323, 924, 3674, 561, 841, 146, 58, 3, 1], [0, 6, 71, 83, 819, 1243, 1628, 4158, 1254, 3212, 1023, 511, 311, 3, 14, 0], [0, 6, 71, 84, 807, 1309, 1408, 4653, 462, 4136, 231, 1006, 91, 69, 2, 1], [0, 6, 71, 84, 808, 1298, 1463, 4488, 792, 3674, 693, 676, 256, 14, 13, 0], [0, 6, 71, 85, 797, 1353, 1298, 4818, 330, 4136, 363, 841, 201, 25, 12, 0], [0, 6, 72, 68, 917, 869, 2563, 2541, 3234, 1496, 2046, 126, 377, 13, 7, 1], [0, 6, 72, 69, 906, 924, 2398, 2871, 2772, 1958, 1716, 291, 322, 24, 6, 1], [0, 6, 72, 70, 895, 979, 2233, 3201, 2310, 2420, 1386, 456, 267, 35, 5, 1], [0, 6, 72, 71, 884, 1034, 2068, 3531, 1848, 2882, 1056, 621, 212, 46, 4, 1], [0, 6, 72, 72, 873, 1089, 1903, 3861, 1386, 3344, 726, 786, 157, 57, 3, 1], [0, 6, 72, 72, 874, 1078, 1958, 3696, 1716, 2882, 1188, 456, 322, 2, 14, 0], [0, 6, 72, 73, 862, 1144, 1738, 4191, 924, 3806, 396, 951, 102, 68, 2, 1], [0, 6, 72, 73, 863, 1133, 1793, 4026, 1254, 3344, 858, 621, 267, 13, 13, 0], [0, 6, 72, 74, 851, 1199, 1573, 4521, 462, 4268, 66, 1116, 47, 79, 1, 1], [0, 6, 72, 74, 852, 1188, 1628, 4356, 792, 3806, 528, 786, 212, 24, 12, 0], [0, 6, 72, 75, 841, 1243, 1463, 4686, 330, 4268, 198, 951, 157, 35, 11, 0], [0, 6, 73, 57, 972, 704, 2893, 2079, 3696, 1166, 2211, 71, 388, 12, 7, 1], [0, 6, 73, 58, 961, 759, 2728, 2409, 3234, 1628, 1881, 236, 333, 23, 6, 1], [0, 6, 73, 59, 950, 814, 2563, 2739, 2772, 2090, 1551, 401, 278, 34, 5, 1], [0, 6, 73, 60, 939, 869, 2398, 3069, 2310, 2552, 1221, 566, 223, 45, 4, 1], [0, 6, 73, 61, 928, 924, 2233, 3399, 1848, 3014, 891, 731, 168, 56, 3, 1], [0, 6, 73, 61, 929, 913, 2288, 3234, 2178, 2552, 1353, 401, 333, 1, 14, 0], [0, 6, 73, 62, 917, 979, 2068, 3729, 1386, 3476, 561, 896, 113, 67, 2, 1], [0, 6, 73, 62, 918, 968, 2123, 3564, 1716, 3014, 1023, 566, 278, 12, 13, 0], [0, 6, 73, 63, 906, 1034, 1903, 4059, 924, 3938, 231, 1061, 58, 78, 1, 1], [0, 6, 73, 63, 907, 1023, 1958, 3894, 1254, 3476, 693, 731, 223, 23, 12, 0], [0, 6, 73, 64, 896, 1078, 1793, 4224, 792, 3938, 363, 896, 168, 34, 11, 0], [0, 6, 73, 65, 885, 1133, 1628, 4554, 330, 4400, 33, 1061, 113, 45, 10, 0], [0, 6, 74, 46, 1027, 539, 3223, 1617, 4158, 836, 2376, 16, 399, 11, 7, 1], [0, 6, 74, 47, 1016, 594, 3058, 1947, 3696, 1298, 2046, 181, 344, 22, 6, 1], [0, 6, 74, 48, 1005, 649, 2893, 2277, 3234, 1760, 1716, 346, 289, 33, 5, 1], [0, 6, 74, 49, 994, 704, 2728, 2607, 2772, 2222, 1386, 511, 234, 44, 4, 1], [0, 6, 74, 50, 983, 759, 2563, 2937, 2310, 2684, 1056, 676, 179, 55, 3, 1], [0, 6, 74, 50, 984, 748, 2618, 2772, 2640, 2222, 1518, 346, 344, 0, 14, 0], [0, 6, 74, 51, 972, 814, 2398, 3267, 1848, 3146, 726, 841, 124, 66, 2, 1], [0, 6, 74, 51, 973, 803, 2453, 3102, 2178, 2684, 1188, 511, 289, 11, 13, 0], [0, 6, 74, 52, 961, 869, 2233, 3597, 1386, 3608, 396, 1006, 69, 77, 1, 1], [0, 6, 74, 52, 962, 858, 2288, 3432, 1716, 3146, 858, 676, 234, 22, 12, 0], [0, 6, 74, 53, 950, 924, 2068, 3927, 924, 4070, 66, 1171, 14, 88, 0, 1], [0, 6, 74, 53, 951, 913, 2123, 3762, 1254, 3608, 528, 841, 179, 33, 11, 0], [0, 6, 74, 54, 940, 968, 1958, 4092, 792, 4070, 198, 1006, 124, 44, 10, 0], [0, 6, 75, 36, 1071, 429, 3388, 1485, 4158, 968, 2211, 126, 355, 21, 6, 1], [0, 6, 75, 37, 1060, 484, 3223, 1815, 3696, 1430, 1881, 291, 300, 32, 5, 1], [0, 6, 75, 38, 1049, 539, 3058, 2145, 3234, 1892, 1551, 456, 245, 43, 4, 1], [0, 6, 75, 39, 1038, 594, 2893, 2475, 2772, 2354, 1221, 621, 190, 54, 3, 1], [0, 6, 75, 40, 1027, 649, 2728, 2805, 2310, 2816, 891, 786, 135, 65, 2, 1], [0, 6, 75, 40, 1028, 638, 2783, 2640, 2640, 2354, 1353, 456, 300, 10, 13, 0], [0, 6, 75, 41, 1016, 704, 2563, 3135, 1848, 3278, 561, 951, 80, 76, 1, 1], [0, 6, 75, 41, 1017, 693, 2618, 2970, 2178, 2816, 1023, 621, 245, 21, 12, 0], [0, 6, 75, 42, 1005, 759, 2398, 3465, 1386, 3740, 231, 1116, 25, 87, 0, 1], [0, 6, 75, 42, 1006, 748, 2453, 3300, 1716, 3278, 693, 786, 190, 32, 11, 0], [0, 6, 75, 43, 995, 803, 2288, 3630, 1254, 3740, 363, 951, 135, 43, 10, 0], [0, 6, 75, 44, 984, 858, 2123, 3960, 792, 4202, 33, 1116, 80, 54, 9, 0], [0, 6, 76, 25, 1126, 264, 3718, 1023, 4620, 638, 2376, 71, 366, 20, 6, 1], [0, 6, 76, 26, 1115, 319, 3553, 1353, 4158, 1100, 2046, 236, 311, 31, 5, 1], [0, 6, 76, 27, 1104, 374, 3388, 1683, 3696, 1562, 1716, 401, 256, 42, 4, 1], [0, 6, 76, 28, 1093, 429, 3223, 2013, 3234, 2024, 1386, 566, 201, 53, 3, 1], [0, 6, 76, 29, 1082, 484, 3058, 2343, 2772, 2486, 1056, 731, 146, 64, 2, 1], [0, 6, 76, 29, 1083, 473, 3113, 2178, 3102, 2024, 1518, 401, 311, 9, 13, 0], [0, 6, 76, 30, 1071, 539, 2893, 2673, 2310, 2948, 726, 896, 91, 75, 1, 1], [0, 6, 76, 30, 1072, 528, 2948, 2508, 2640, 2486, 1188, 566, 256, 20, 12, 0], [0, 6, 76, 31, 1060, 594, 2728, 3003, 1848, 3410, 396, 1061, 36, 86, 0, 1], [0, 6, 76, 31, 1061, 583, 2783, 2838, 2178, 2948, 858, 731, 201, 31, 11, 0], [0, 6, 76, 32, 1050, 638, 2618, 3168, 1716, 3410, 528, 896, 146, 42, 10, 0], [0, 6, 76, 33, 1039, 693, 2453, 3498, 1254, 3872, 198, 1061, 91, 53, 9, 0], [0, 6, 77, 14, 1181, 99, 4048, 561, 5082, 308, 2541, 16, 377, 19, 6, 1], [0, 6, 77, 15, 1170, 154, 3883, 891, 4620, 770, 2211, 181, 322, 30, 5, 1], [0, 6, 77, 16, 1159, 209, 3718, 1221, 4158, 1232, 1881, 346, 267, 41, 4, 1], [0, 6, 77, 17, 1148, 264, 3553, 1551, 3696, 1694, 1551, 511, 212, 52, 3, 1], [0, 6, 77, 18, 1137, 319, 3388, 1881, 3234, 2156, 1221, 676, 157, 63, 2, 1], [0, 6, 77, 18, 1138, 308, 3443, 1716, 3564, 1694, 1683, 346, 322, 8, 13, 0], [0, 6, 77, 19, 1126, 374, 3223, 2211, 2772, 2618, 891, 841, 102, 74, 1, 1], [0, 6, 77, 19, 1127, 363, 3278, 2046, 3102, 2156, 1353, 511, 267, 19, 12, 0], [0, 6, 77, 20, 1115, 429, 3058, 2541, 2310, 3080, 561, 1006, 47, 85, 0, 1], [0, 6, 77, 20, 1116, 418, 3113, 2376, 2640, 2618, 1023, 676, 212, 30, 11, 0], [0, 6, 77, 21, 1105, 473, 2948, 2706, 2178, 3080, 693, 841, 157, 41, 10, 0], [0, 6, 77, 22, 1094, 528, 2783, 3036, 1716, 3542, 363, 1006, 102, 52, 9, 0], [0, 6, 77, 23, 1083, 583, 2618, 3366, 1254, 4004, 33, 1171, 47, 63, 8, 0], [0, 6, 78, 5, 1214, 44, 4048, 759, 4620, 902, 2046, 291, 278, 40, 4, 1], [0, 6, 78, 6, 1203, 99, 3883, 1089, 4158, 1364, 1716, 456, 223, 51, 3, 1], [0, 6, 78, 7, 1192, 154, 3718, 1419, 3696, 1826, 1386, 621, 168, 62, 2, 1], [0, 6, 78, 7, 1193, 143, 3773, 1254, 4026, 1364, 1848, 291, 333, 7, 13, 0], [0, 6, 78, 8, 1181, 209, 3553, 1749, 3234, 2288, 1056, 786, 113, 73, 1, 1], [0, 6, 78, 8, 1182, 198, 3608, 1584, 3564, 1826, 1518, 456, 278, 18, 12, 0], [0, 6, 78, 9, 1170, 264, 3388, 2079, 2772, 2750, 726, 951, 58, 84, 0, 1], [0, 6, 78, 9, 1171, 253, 3443, 1914, 3102, 2288, 1188, 621, 223, 29, 11, 0], [0, 6, 78, 10, 1160, 308, 3278, 2244, 2640, 2750, 858, 786, 168, 40, 10, 0], [0, 6, 78, 11, 1149, 363, 3113, 2574, 2178, 3212, 528, 951, 113, 51, 9, 0], [0, 6, 78, 12, 1138, 418, 2948, 2904, 1716, 3674, 198, 1116, 58, 62, 8, 0], [0, 6, 79, 0, 1204, 198, 3443, 2112, 2640, 2882, 693, 896, 124, 50, 9, 0], [0, 6, 79, 1, 1193, 253, 3278, 2442, 2178, 3344, 363, 1061, 69, 61, 8, 0], [0, 6, 79, 2, 1182, 308, 3113, 2772, 1716, 3806, 33, 1226, 14, 72, 7, 0], [0, 7, 53, 206, 366, 2255, 231, 5214, 1188, 2453, 1859, 82, 398, 21, 1, 2], [0, 7, 53, 207, 355, 2310, 66, 5544, 726, 2915, 1529, 247, 343, 32, 0, 2], [0, 7, 54, 195, 421, 2090, 561, 4752, 1650, 2123, 2024, 27, 409, 20, 1, 2], [0, 7, 54, 196, 410, 2145, 396, 5082, 1188, 2585, 1694, 192, 354, 31, 0, 2], [0, 7, 55, 185, 465, 1980, 726, 4620, 1650, 2255, 1859, 137, 365, 30, 0, 2], [0, 7, 55, 188, 433, 2134, 286, 5445, 594, 3179, 1331, 302, 365, 8, 8, 1], [0, 7, 55, 189, 422, 2189, 121, 5775, 132, 3641, 1001, 467, 310, 19, 7, 1], [0, 7, 56, 174, 520, 1815, 1056, 4158, 2112, 1925, 2024, 82, 376, 29, 0, 2], [0, 7, 56, 177, 488, 1969, 616, 4983, 1056, 2849, 1496, 247, 376, 7, 8, 1], [0, 7, 56, 178, 477, 2024, 451, 5313, 594, 3311, 1166, 412, 321, 18, 7, 1], [0, 7, 56, 179, 466, 2079, 286, 5643, 132, 3773, 836, 577, 266, 29, 6, 1], [0, 7, 57, 163, 575, 1650, 1386, 3696, 2574, 1595, 2189, 27, 387, 28, 0, 2], [0, 7, 57, 166, 543, 1804, 946, 4521, 1518, 2519, 1661, 192, 387, 6, 8, 1], [0, 7, 57, 167, 532, 1859, 781, 4851, 1056, 2981, 1331, 357, 332, 17, 7, 1], [0, 7, 57, 168, 521, 1914, 616, 5181, 594, 3443, 1001, 522, 277, 28, 6, 1], [0, 7, 57, 169, 510, 1969, 451, 5511, 132, 3905, 671, 687, 222, 39, 5, 1], [0, 7, 58, 155, 598, 1639, 1276, 4059, 1980, 2189, 1826, 137, 398, 5, 8, 1], [0, 7, 58, 156, 587, 1694, 1111, 4389, 1518, 2651, 1496, 302, 343, 16, 7, 1], [0, 7, 58, 157, 576, 1749, 946, 4719, 1056, 3113, 1166, 467, 288, 27, 6, 1], [0, 7, 58, 158, 565, 1804, 781, 5049, 594, 3575, 836, 632, 233, 38, 5, 1], [0, 7, 58, 159, 554, 1859, 616, 5379, 132, 4037, 506, 797, 178, 49, 4, 1], [0, 7, 58, 160, 544, 1903, 506, 5544, 0, 4037, 638, 632, 288, 5, 14, 0], [0, 7, 59, 144, 653, 1474, 1606, 3597, 2442, 1859, 1991, 82, 409, 4, 8, 1], [0, 7, 59, 145, 642, 1529, 1441, 3927, 1980, 2321, 1661, 247, 354, 15, 7, 1], [0, 7, 59, 146, 631, 1584, 1276, 4257, 1518, 2783, 1331, 412, 299, 26, 6, 1], [0, 7, 59, 147, 620, 1639, 1111, 4587, 1056, 3245, 1001, 577, 244, 37, 5, 1], [0, 7, 59, 148, 609, 1694, 946, 4917, 594, 3707, 671, 742, 189, 48, 4, 1], [0, 7, 59, 149, 598, 1749, 781, 5247, 132, 4169, 341, 907, 134, 59, 3, 1], [0, 7, 59, 149, 599, 1738, 836, 5082, 462, 3707, 803, 577, 299, 4, 14, 0], [0, 7, 59, 150, 588, 1793, 671, 5412, 0, 4169, 473, 742, 244, 15, 13, 0], [0, 7, 60, 133, 708, 1309, 1936, 3135, 2904, 1529, 2156, 27, 420, 3, 8, 1], [0, 7, 60, 134, 697, 1364, 1771, 3465, 2442, 1991, 1826, 192, 365, 14, 7, 1], [0, 7, 60, 135, 686, 1419, 1606, 3795, 1980, 2453, 1496, 357, 310, 25, 6, 1], [0, 7, 60, 136, 675, 1474, 1441, 4125, 1518, 2915, 1166, 522, 255, 36, 5, 1], [0, 7, 60, 137, 664, 1529, 1276, 4455, 1056, 3377, 836, 687, 200, 47, 4, 1], [0, 7, 60, 138, 653, 1584, 1111, 4785, 594, 3839, 506, 852, 145, 58, 3, 1], [0, 7, 60, 138, 654, 1573, 1166, 4620, 924, 3377, 968, 522, 310, 3, 14, 0], [0, 7, 60, 139, 642, 1639, 946, 5115, 132, 4301, 176, 1017, 90, 69, 2, 1], [0, 7, 60, 139, 643, 1628, 1001, 4950, 462, 3839, 638, 687, 255, 14, 13, 0], [0, 7, 60, 140, 632, 1683, 836, 5280, 0, 4301, 308, 852, 200, 25, 12, 0], [0, 7, 61, 123, 752, 1199, 2101, 3003, 2904, 1661, 1991, 137, 376, 13, 7, 1], [0, 7, 61, 124, 741, 1254, 1936, 3333, 2442, 2123, 1661, 302, 321, 24, 6, 1], [0, 7, 61, 125, 730, 1309, 1771, 3663, 1980, 2585, 1331, 467, 266, 35, 5, 1], [0, 7, 61, 126, 719, 1364, 1606, 3993, 1518, 3047, 1001, 632, 211, 46, 4, 1], [0, 7, 61, 127, 708, 1419, 1441, 4323, 1056, 3509, 671, 797, 156, 57, 3, 1], [0, 7, 61, 127, 709, 1408, 1496, 4158, 1386, 3047, 1133, 467, 321, 2, 14, 0], [0, 7, 61, 128, 697, 1474, 1276, 4653, 594, 3971, 341, 962, 101, 68, 2, 1], [0, 7, 61, 128, 698, 1463, 1331, 4488, 924, 3509, 803, 632, 266, 13, 13, 0], [0, 7, 61, 129, 686, 1529, 1111, 4983, 132, 4433, 11, 1127, 46, 79, 1, 1], [0, 7, 61, 129, 687, 1518, 1166, 4818, 462, 3971, 473, 797, 211, 24, 12, 0], [0, 7, 61, 130, 676, 1573, 1001, 5148, 0, 4433, 143, 962, 156, 35, 11, 0], [0, 7, 62, 112, 807, 1034, 2431, 2541, 3366, 1331, 2156, 82, 387, 12, 7, 1], [0, 7, 62, 113, 796, 1089, 2266, 2871, 2904, 1793, 1826, 247, 332, 23, 6, 1], [0, 7, 62, 114, 785, 1144, 2101, 3201, 2442, 2255, 1496, 412, 277, 34, 5, 1], [0, 7, 62, 115, 774, 1199, 1936, 3531, 1980, 2717, 1166, 577, 222, 45, 4, 1], [0, 7, 62, 116, 763, 1254, 1771, 3861, 1518, 3179, 836, 742, 167, 56, 3, 1], [0, 7, 62, 116, 764, 1243, 1826, 3696, 1848, 2717, 1298, 412, 332, 1, 14, 0], [0, 7, 62, 117, 752, 1309, 1606, 4191, 1056, 3641, 506, 907, 112, 67, 2, 1], [0, 7, 62, 117, 753, 1298, 1661, 4026, 1386, 3179, 968, 577, 277, 12, 13, 0], [0, 7, 62, 118, 741, 1364, 1441, 4521, 594, 4103, 176, 1072, 57, 78, 1, 1], [0, 7, 62, 118, 742, 1353, 1496, 4356, 924, 3641, 638, 742, 222, 23, 12, 0], [0, 7, 62, 119, 731, 1408, 1331, 4686, 462, 4103, 308, 907, 167, 34, 11, 0], [0, 7, 63, 101, 862, 869, 2761, 2079, 3828, 1001, 2321, 27, 398, 11, 7, 1], [0, 7, 63, 102, 851, 924, 2596, 2409, 3366, 1463, 1991, 192, 343, 22, 6, 1], [0, 7, 63, 103, 840, 979, 2431, 2739, 2904, 1925, 1661, 357, 288, 33, 5, 1], [0, 7, 63, 104, 829, 1034, 2266, 3069, 2442, 2387, 1331, 522, 233, 44, 4, 1], [0, 7, 63, 105, 818, 1089, 2101, 3399, 1980, 2849, 1001, 687, 178, 55, 3, 1], [0, 7, 63, 105, 819, 1078, 2156, 3234, 2310, 2387, 1463, 357, 343, 0, 14, 0], [0, 7, 63, 106, 807, 1144, 1936, 3729, 1518, 3311, 671, 852, 123, 66, 2, 1], [0, 7, 63, 106, 808, 1133, 1991, 3564, 1848, 2849, 1133, 522, 288, 11, 13, 0], [0, 7, 63, 107, 796, 1199, 1771, 4059, 1056, 3773, 341, 1017, 68, 77, 1, 1], [0, 7, 63, 107, 797, 1188, 1826, 3894, 1386, 3311, 803, 687, 233, 22, 12, 0], [0, 7, 63, 108, 785, 1254, 1606, 4389, 594, 4235, 11, 1182, 13, 88, 0, 1], [0, 7, 63, 108, 786, 1243, 1661, 4224, 924, 3773, 473, 852, 178, 33, 11, 0], [0, 7, 63, 109, 775, 1298, 1496, 4554, 462, 4235, 143, 1017, 123, 44, 10, 0], [0, 7, 64, 91, 906, 759, 2926, 1947, 3828, 1133, 2156, 137, 354, 21, 6, 1], [0, 7, 64, 92, 895, 814, 2761, 2277, 3366, 1595, 1826, 302, 299, 32, 5, 1], [0, 7, 64, 93, 884, 869, 2596, 2607, 2904, 2057, 1496, 467, 244, 43, 4, 1], [0, 7, 64, 94, 873, 924, 2431, 2937, 2442, 2519, 1166, 632, 189, 54, 3, 1], [0, 7, 64, 95, 862, 979, 2266, 3267, 1980, 2981, 836, 797, 134, 65, 2, 1], [0, 7, 64, 95, 863, 968, 2321, 3102, 2310, 2519, 1298, 467, 299, 10, 13, 0], [0, 7, 64, 96, 851, 1034, 2101, 3597, 1518, 3443, 506, 962, 79, 76, 1, 1], [0, 7, 64, 96, 852, 1023, 2156, 3432, 1848, 2981, 968, 632, 244, 21, 12, 0], [0, 7, 64, 97, 840, 1089, 1936, 3927, 1056, 3905, 176, 1127, 24, 87, 0, 1], [0, 7, 64, 97, 841, 1078, 1991, 3762, 1386, 3443, 638, 797, 189, 32, 11, 0], [0, 7, 64, 98, 830, 1133, 1826, 4092, 924, 3905, 308, 962, 134, 43, 10, 0], [0, 7, 65, 80, 961, 594, 3256, 1485, 4290, 803, 2321, 82, 365, 20, 6, 1], [0, 7, 65, 81, 950, 649, 3091, 1815, 3828, 1265, 1991, 247, 310, 31, 5, 1], [0, 7, 65, 82, 939, 704, 2926, 2145, 3366, 1727, 1661, 412, 255, 42, 4, 1], [0, 7, 65, 83, 928, 759, 2761, 2475, 2904, 2189, 1331, 577, 200, 53, 3, 1], [0, 7, 65, 84, 917, 814, 2596, 2805, 2442, 2651, 1001, 742, 145, 64, 2, 1], [0, 7, 65, 84, 918, 803, 2651, 2640, 2772, 2189, 1463, 412, 310, 9, 13, 0], [0, 7, 65, 85, 906, 869, 2431, 3135, 1980, 3113, 671, 907, 90, 75, 1, 1], [0, 7, 65, 85, 907, 858, 2486, 2970, 2310, 2651, 1133, 577, 255, 20, 12, 0], [0, 7, 65, 86, 895, 924, 2266, 3465, 1518, 3575, 341, 1072, 35, 86, 0, 1], [0, 7, 65, 86, 896, 913, 2321, 3300, 1848, 3113, 803, 742, 200, 31, 11, 0], [0, 7, 65, 87, 885, 968, 2156, 3630, 1386, 3575, 473, 907, 145, 42, 10, 0], [0, 7, 65, 88, 874, 1023, 1991, 3960, 924, 4037, 143, 1072, 90, 53, 9, 0], [0, 7, 66, 69, 1016, 429, 3586, 1023, 4752, 473, 2486, 27, 376, 19, 6, 1], [0, 7, 66, 70, 1005, 484, 3421, 1353, 4290, 935, 2156, 192, 321, 30, 5, 1], [0, 7, 66, 71, 994, 539, 3256, 1683, 3828, 1397, 1826, 357, 266, 41, 4, 1], [0, 7, 66, 72, 983, 594, 3091, 2013, 3366, 1859, 1496, 522, 211, 52, 3, 1], [0, 7, 66, 73, 972, 649, 2926, 2343, 2904, 2321, 1166, 687, 156, 63, 2, 1], [0, 7, 66, 73, 973, 638, 2981, 2178, 3234, 1859, 1628, 357, 321, 8, 13, 0], [0, 7, 66, 74, 961, 704, 2761, 2673, 2442, 2783, 836, 852, 101, 74, 1, 1], [0, 7, 66, 74, 962, 693, 2816, 2508, 2772, 2321, 1298, 522, 266, 19, 12, 0], [0, 7, 66, 75, 950, 759, 2596, 3003, 1980, 3245, 506, 1017, 46, 85, 0, 1], [0, 7, 66, 75, 951, 748, 2651, 2838, 2310, 2783, 968, 687, 211, 30, 11, 0], [0, 7, 66, 76, 940, 803, 2486, 3168, 1848, 3245, 638, 852, 156, 41, 10, 0], [0, 7, 66, 77, 929, 858, 2321, 3498, 1386, 3707, 308, 1017, 101, 52, 9, 0], [0, 7, 67, 59, 1060, 319, 3751, 891, 4752, 605, 2321, 137, 332, 29, 5, 1], [0, 7, 67, 60, 1049, 374, 3586, 1221, 4290, 1067, 1991, 302, 277, 40, 4, 1], [0, 7, 67, 61, 1038, 429, 3421, 1551, 3828, 1529, 1661, 467, 222, 51, 3, 1], [0, 7, 67, 62, 1027, 484, 3256, 1881, 3366, 1991, 1331, 632, 167, 62, 2, 1], [0, 7, 67, 62, 1028, 473, 3311, 1716, 3696, 1529, 1793, 302, 332, 7, 13, 0], [0, 7, 67, 63, 1016, 539, 3091, 2211, 2904, 2453, 1001, 797, 112, 73, 1, 1], [0, 7, 67, 63, 1017, 528, 3146, 2046, 3234, 1991, 1463, 467, 277, 18, 12, 0], [0, 7, 67, 64, 1005, 594, 2926, 2541, 2442, 2915, 671, 962, 57, 84, 0, 1], [0, 7, 67, 64, 1006, 583, 2981, 2376, 2772, 2453, 1133, 632, 222, 29, 11, 0], [0, 7, 67, 65, 995, 638, 2816, 2706, 2310, 2915, 803, 797, 167, 40, 10, 0], [0, 7, 67, 66, 984, 693, 2651, 3036, 1848, 3377, 473, 962, 112, 51, 9, 0], [0, 7, 67, 67, 973, 748, 2486, 3366, 1386, 3839, 143, 1127, 57, 62, 8, 0], [0, 7, 68, 48, 1115, 154, 4081, 429, 5214, 275, 2486, 82, 343, 28, 5, 1], [0, 7, 68, 49, 1104, 209, 3916, 759, 4752, 737, 2156, 247, 288, 39, 4, 1], [0, 7, 68, 50, 1093, 264, 3751, 1089, 4290, 1199, 1826, 412, 233, 50, 3, 1], [0, 7, 68, 51, 1082, 319, 3586, 1419, 3828, 1661, 1496, 577, 178, 61, 2, 1], [0, 7, 68, 51, 1083, 308, 3641, 1254, 4158, 1199, 1958, 247, 343, 6, 13, 0], [0, 7, 68, 52, 1071, 374, 3421, 1749, 3366, 2123, 1166, 742, 123, 72, 1, 1], [0, 7, 68, 52, 1072, 363, 3476, 1584, 3696, 1661, 1628, 412, 288, 17, 12, 0], [0, 7, 68, 53, 1060, 429, 3256, 2079, 2904, 2585, 836, 907, 68, 83, 0, 1], [0, 7, 68, 53, 1061, 418, 3311, 1914, 3234, 2123, 1298, 577, 233, 28, 11, 0], [0, 7, 68, 54, 1050, 473, 3146, 2244, 2772, 2585, 968, 742, 178, 39, 10, 0], [0, 7, 68, 55, 1039, 528, 2981, 2574, 2310, 3047, 638, 907, 123, 50, 9, 0], [0, 7, 68, 56, 1028, 583, 2816, 2904, 1848, 3509, 308, 1072, 68, 61, 8, 0], [0, 7, 69, 38, 1159, 44, 4246, 297, 5214, 407, 2321, 192, 299, 38, 4, 1], [0, 7, 69, 39, 1148, 99, 4081, 627, 4752, 869, 1991, 357, 244, 49, 3, 1], [0, 7, 69, 40, 1137, 154, 3916, 957, 4290, 1331, 1661, 522, 189, 60, 2, 1], [0, 7, 69, 40, 1138, 143, 3971, 792, 4620, 869, 2123, 192, 354, 5, 13, 0], [0, 7, 69, 41, 1126, 209, 3751, 1287, 3828, 1793, 1331, 687, 134, 71, 1, 1], [0, 7, 69, 41, 1127, 198, 3806, 1122, 4158, 1331, 1793, 357, 299, 16, 12, 0], [0, 7, 69, 42, 1115, 264, 3586, 1617, 3366, 2255, 1001, 852, 79, 82, 0, 1], [0, 7, 69, 42, 1116, 253, 3641, 1452, 3696, 1793, 1463, 522, 244, 27, 11, 0], [0, 7, 69, 43, 1105, 308, 3476, 1782, 3234, 2255, 1133, 687, 189, 38, 10, 0], [0, 7, 69, 44, 1094, 363, 3311, 2112, 2772, 2717, 803, 852, 134, 49, 9, 0], [0, 7, 69, 45, 1083, 418, 3146, 2442, 2310, 3179, 473, 1017, 79, 60, 8, 0], [0, 7, 69, 46, 1072, 473, 2981, 2772, 1848, 3641, 143, 1182, 24, 71, 7, 0], [0, 7, 70, 30, 1181, 44, 4081, 825, 4290, 1463, 1496, 632, 145, 70, 1, 1], [0, 7, 70, 30, 1182, 33, 4136, 660, 4620, 1001, 1958, 302, 310, 15, 12, 0], [0, 7, 70, 31, 1170, 99, 3916, 1155, 3828, 1925, 1166, 797, 90, 81, 0, 1], [0, 7, 70, 31, 1171, 88, 3971, 990, 4158, 1463, 1628, 467, 255, 26, 11, 0], [0, 7, 70, 32, 1160, 143, 3806, 1320, 3696, 1925, 1298, 632, 200, 37, 10, 0], [0, 7, 70, 33, 1149, 198, 3641, 1650, 3234, 2387, 968, 797, 145, 48, 9, 0], [0, 7, 70, 34, 1138, 253, 3476, 1980, 2772, 2849, 638, 962, 90, 59, 8, 0], [0, 7, 70, 35, 1127, 308, 3311, 2310, 2310, 3311, 308, 1127, 35, 70, 7, 0], [0, 7, 71, 22, 1204, 33, 3971, 1188, 3696, 2057, 1133, 742, 156, 47, 9, 0], [0, 7, 71, 23, 1193, 88, 3806, 1518, 3234, 2519, 803, 907, 101, 58, 8, 0], [0, 7, 71, 24, 1182, 143, 3641, 1848, 2772, 2981, 473, 1072, 46, 69, 7, 0], [0, 7, 72, 14, 1226, 33, 3806, 1716, 2772, 3113, 308, 1182, 2, 79, 6, 0], [0, 8, 43, 250, 256, 2420, 99, 5214, 1320, 2288, 1969, 38, 408, 20, 1, 2], [0, 8, 44, 240, 300, 2310, 264, 5082, 1320, 2420, 1804, 148, 364, 30, 0, 2], [0, 8, 45, 229, 355, 2145, 594, 4620, 1782, 2090, 1969, 93, 375, 29, 0, 2], [0, 8, 45, 232, 323, 2299, 154, 5445, 726, 3014, 1441, 258, 375, 7, 8, 1], [0, 8, 46, 218, 410, 1980, 924, 4158, 2244, 1760, 2134, 38, 386, 28, 0, 2], [0, 8, 46, 221, 378, 2134, 484, 4983, 1188, 2684, 1606, 203, 386, 6, 8, 1], [0, 8, 46, 222, 367, 2189, 319, 5313, 726, 3146, 1276, 368, 331, 17, 7, 1], [0, 8, 46, 223, 356, 2244, 154, 5643, 264, 3608, 946, 533, 276, 28, 6, 1], [0, 8, 47, 210, 433, 1969, 814, 4521, 1650, 2354, 1771, 148, 397, 5, 8, 1], [0, 8, 47, 211, 422, 2024, 649, 4851, 1188, 2816, 1441, 313, 342, 16, 7, 1], [0, 8, 47, 212, 411, 2079, 484, 5181, 726, 3278, 1111, 478, 287, 27, 6, 1], [0, 8, 47, 213, 400, 2134, 319, 5511, 264, 3740, 781, 643, 232, 38, 5, 1], [0, 8, 48, 199, 488, 1804, 1144, 4059, 2112, 2024, 1936, 93, 408, 4, 8, 1], [0, 8, 48, 200, 477, 1859, 979, 4389, 1650, 2486, 1606, 258, 353, 15, 7, 1], [0, 8, 48, 201, 466, 1914, 814, 4719, 1188, 2948, 1276, 423, 298, 26, 6, 1], [0, 8, 48, 202, 455, 1969, 649, 5049, 726, 3410, 946, 588, 243, 37, 5, 1], [0, 8, 48, 203, 444, 2024, 484, 5379, 264, 3872, 616, 753, 188, 48, 4, 1], [0, 8, 48, 204, 434, 2068, 374, 5544, 132, 3872, 748, 588, 298, 4, 14, 0], [0, 8, 49, 188, 543, 1639, 1474, 3597, 2574, 1694, 2101, 38, 419, 3, 8, 1], [0, 8, 49, 189, 532, 1694, 1309, 3927, 2112, 2156, 1771, 203, 364, 14, 7, 1], [0, 8, 49, 190, 521, 1749, 1144, 4257, 1650, 2618, 1441, 368, 309, 25, 6, 1], [0, 8, 49, 191, 510, 1804, 979, 4587, 1188, 3080, 1111, 533, 254, 36, 5, 1], [0, 8, 49, 192, 499, 1859, 814, 4917, 726, 3542, 781, 698, 199, 47, 4, 1], [0, 8, 49, 193, 488, 1914, 649, 5247, 264, 4004, 451, 863, 144, 58, 3, 1], [0, 8, 49, 193, 489, 1903, 704, 5082, 594, 3542, 913, 533, 309, 3, 14, 0], [0, 8, 49, 194, 478, 1958, 539, 5412, 132, 4004, 583, 698, 254, 14, 13, 0], [0, 8, 50, 178, 587, 1529, 1639, 3465, 2574, 1826, 1936, 148, 375, 13, 7, 1], [0, 8, 50, 179, 576, 1584, 1474, 3795, 2112, 2288, 1606, 313, 320, 24, 6, 1], [0, 8, 50, 180, 565, 1639, 1309, 4125, 1650, 2750, 1276, 478, 265, 35, 5, 1], [0, 8, 50, 181, 554, 1694, 1144, 4455, 1188, 3212, 946, 643, 210, 46, 4, 1], [0, 8, 50, 182, 543, 1749, 979, 4785, 726, 3674, 616, 808, 155, 57, 3, 1], [0, 8, 50, 182, 544, 1738, 1034, 4620, 1056, 3212, 1078, 478, 320, 2, 14, 0], [0, 8, 50, 183, 532, 1804, 814, 5115, 264, 4136, 286, 973, 100, 68, 2, 1], [0, 8, 50, 183, 533, 1793, 869, 4950, 594, 3674, 748, 643, 265, 13, 13, 0], [0, 8, 50, 184, 522, 1848, 704, 5280, 132, 4136, 418, 808, 210, 24, 12, 0], [0, 8, 51, 167, 642, 1364, 1969, 3003, 3036, 1496, 2101, 93, 386, 12, 7, 1], [0, 8, 51, 168, 631, 1419, 1804, 3333, 2574, 1958, 1771, 258, 331, 23, 6, 1], [0, 8, 51, 169, 620, 1474, 1639, 3663, 2112, 2420, 1441, 423, 276, 34, 5, 1], [0, 8, 51, 170, 609, 1529, 1474, 3993, 1650, 2882, 1111, 588, 221, 45, 4, 1], [0, 8, 51, 171, 598, 1584, 1309, 4323, 1188, 3344, 781, 753, 166, 56, 3, 1], [0, 8, 51, 171, 599, 1573, 1364, 4158, 1518, 2882, 1243, 423, 331, 1, 14, 0], [0, 8, 51, 172, 587, 1639, 1144, 4653, 726, 3806, 451, 918, 111, 67, 2, 1], [0, 8, 51, 172, 588, 1628, 1199, 4488, 1056, 3344, 913, 588, 276, 12, 13, 0], [0, 8, 51, 173, 576, 1694, 979, 4983, 264, 4268, 121, 1083, 56, 78, 1, 1], [0, 8, 51, 173, 577, 1683, 1034, 4818, 594, 3806, 583, 753, 221, 23, 12, 0], [0, 8, 51, 174, 566, 1738, 869, 5148, 132, 4268, 253, 918, 166, 34, 11, 0], [0, 8, 52, 156, 697, 1199, 2299, 2541, 3498, 1166, 2266, 38, 397, 11, 7, 1], [0, 8, 52, 157, 686, 1254, 2134, 2871, 3036, 1628, 1936, 203, 342, 22, 6, 1], [0, 8, 52, 158, 675, 1309, 1969, 3201, 2574, 2090, 1606, 368, 287, 33, 5, 1], [0, 8, 52, 159, 664, 1364, 1804, 3531, 2112, 2552, 1276, 533, 232, 44, 4, 1], [0, 8, 52, 160, 653, 1419, 1639, 3861, 1650, 3014, 946, 698, 177, 55, 3, 1], [0, 8, 52, 160, 654, 1408, 1694, 3696, 1980, 2552, 1408, 368, 342, 0, 14, 0], [0, 8, 52, 161, 642, 1474, 1474, 4191, 1188, 3476, 616, 863, 122, 66, 2, 1], [0, 8, 52, 161, 643, 1463, 1529, 4026, 1518, 3014, 1078, 533, 287, 11, 13, 0], [0, 8, 52, 162, 631, 1529, 1309, 4521, 726, 3938, 286, 1028, 67, 77, 1, 1], [0, 8, 52, 162, 632, 1518, 1364, 4356, 1056, 3476, 748, 698, 232, 22, 12, 0], [0, 8, 52, 163, 621, 1573, 1199, 4686, 594, 3938, 418, 863, 177, 33, 11, 0], [0, 8, 52, 164, 610, 1628, 1034, 5016, 132, 4400, 88, 1028, 122, 44, 10, 0], [0, 8, 53, 146, 741, 1089, 2464, 2409, 3498, 1298, 2101, 148, 353, 21, 6, 1], [0, 8, 53, 147, 730, 1144, 2299, 2739, 3036, 1760, 1771, 313, 298, 32, 5, 1], [0, 8, 53, 148, 719, 1199, 2134, 3069, 2574, 2222, 1441, 478, 243, 43, 4, 1], [0, 8, 53, 149, 708, 1254, 1969, 3399, 2112, 2684, 1111, 643, 188, 54, 3, 1], [0, 8, 53, 150, 697, 1309, 1804, 3729, 1650, 3146, 781, 808, 133, 65, 2, 1], [0, 8, 53, 150, 698, 1298, 1859, 3564, 1980, 2684, 1243, 478, 298, 10, 13, 0], [0, 8, 53, 151, 686, 1364, 1639, 4059, 1188, 3608, 451, 973, 78, 76, 1, 1], [0, 8, 53, 151, 687, 1353, 1694, 3894, 1518, 3146, 913, 643, 243, 21, 12, 0], [0, 8, 53, 152, 675, 1419, 1474, 4389, 726, 4070, 121, 1138, 23, 87, 0, 1], [0, 8, 53, 152, 676, 1408, 1529, 4224, 1056, 3608, 583, 808, 188, 32, 11, 0], [0, 8, 53, 153, 665, 1463, 1364, 4554, 594, 4070, 253, 973, 133, 43, 10, 0], [0, 8, 54, 135, 796, 924, 2794, 1947, 3960, 968, 2266, 93, 364, 20, 6, 1], [0, 8, 54, 136, 785, 979, 2629, 2277, 3498, 1430, 1936, 258, 309, 31, 5, 1], [0, 8, 54, 137, 774, 1034, 2464, 2607, 3036, 1892, 1606, 423, 254, 42, 4, 1], [0, 8, 54, 138, 763, 1089, 2299, 2937, 2574, 2354, 1276, 588, 199, 53, 3, 1], [0, 8, 54, 139, 752, 1144, 2134, 3267, 2112, 2816, 946, 753, 144, 64, 2, 1], [0, 8, 54, 139, 753, 1133, 2189, 3102, 2442, 2354, 1408, 423, 309, 9, 13, 0], [0, 8, 54, 140, 741, 1199, 1969, 3597, 1650, 3278, 616, 918, 89, 75, 1, 1], [0, 8, 54, 140, 742, 1188, 2024, 3432, 1980, 2816, 1078, 588, 254, 20, 12, 0], [0, 8, 54, 141, 730, 1254, 1804, 3927, 1188, 3740, 286, 1083, 34, 86, 0, 1], [0, 8, 54, 141, 731, 1243, 1859, 3762, 1518, 3278, 748, 753, 199, 31, 11, 0], [0, 8, 54, 142, 720, 1298, 1694, 4092, 1056, 3740, 418, 918, 144, 42, 10, 0], [0, 8, 54, 143, 709, 1353, 1529, 4422, 594, 4202, 88, 1083, 89, 53, 9, 0], [0, 8, 55, 124, 851, 759, 3124, 1485, 4422, 638, 2431, 38, 375, 19, 6, 1], [0, 8, 55, 125, 840, 814, 2959, 1815, 3960, 1100, 2101, 203, 320, 30, 5, 1], [0, 8, 55, 126, 829, 869, 2794, 2145, 3498, 1562, 1771, 368, 265, 41, 4, 1], [0, 8, 55, 127, 818, 924, 2629, 2475, 3036, 2024, 1441, 533, 210, 52, 3, 1], [0, 8, 55, 128, 807, 979, 2464, 2805, 2574, 2486, 1111, 698, 155, 63, 2, 1], [0, 8, 55, 128, 808, 968, 2519, 2640, 2904, 2024, 1573, 368, 320, 8, 13, 0], [0, 8, 55, 129, 796, 1034, 2299, 3135, 2112, 2948, 781, 863, 100, 74, 1, 1], [0, 8, 55, 129, 797, 1023, 2354, 2970, 2442, 2486, 1243, 533, 265, 19, 12, 0], [0, 8, 55, 130, 785, 1089, 2134, 3465, 1650, 3410, 451, 1028, 45, 85, 0, 1], [0, 8, 55, 130, 786, 1078, 2189, 3300, 1980, 2948, 913, 698, 210, 30, 11, 0], [0, 8, 55, 131, 775, 1133, 2024, 3630, 1518, 3410, 583, 863, 155, 41, 10, 0], [0, 8, 55, 132, 764, 1188, 1859, 3960, 1056, 3872, 253, 1028, 100, 52, 9, 0], [0, 8, 56, 114, 895, 649, 3289, 1353, 4422, 770, 2266, 148, 331, 29, 5, 1], [0, 8, 56, 115, 884, 704, 3124, 1683, 3960, 1232, 1936, 313, 276, 40, 4, 1], [0, 8, 56, 116, 873, 759, 2959, 2013, 3498, 1694, 1606, 478, 221, 51, 3, 1], [0, 8, 56, 117, 862, 814, 2794, 2343, 3036, 2156, 1276, 643, 166, 62, 2, 1], [0, 8, 56, 117, 863, 803, 2849, 2178, 3366, 1694, 1738, 313, 331, 7, 13, 0], [0, 8, 56, 118, 851, 869, 2629, 2673, 2574, 2618, 946, 808, 111, 73, 1, 1], [0, 8, 56, 118, 852, 858, 2684, 2508, 2904, 2156, 1408, 478, 276, 18, 12, 0], [0, 8, 56, 119, 840, 924, 2464, 3003, 2112, 3080, 616, 973, 56, 84, 0, 1], [0, 8, 56, 119, 841, 913, 2519, 2838, 2442, 2618, 1078, 643, 221, 29, 11, 0], [0, 8, 56, 120, 830, 968, 2354, 3168, 1980, 3080, 748, 808, 166, 40, 10, 0], [0, 8, 56, 121, 819, 1023, 2189, 3498, 1518, 3542, 418, 973, 111, 51, 9, 0], [0, 8, 56, 122, 808, 1078, 2024, 3828, 1056, 4004, 88, 1138, 56, 62, 8, 0], [0, 8, 57, 103, 950, 484, 3619, 891, 4884, 440, 2431, 93, 342, 28, 5, 1], [0, 8, 57, 104, 939, 539, 3454, 1221, 4422, 902, 2101, 258, 287, 39, 4, 1], [0, 8, 57, 105, 928, 594, 3289, 1551, 3960, 1364, 1771, 423, 232, 50, 3, 1], [0, 8, 57, 106, 917, 649, 3124, 1881, 3498, 1826, 1441, 588, 177, 61, 2, 1], [0, 8, 57, 106, 918, 638, 3179, 1716, 3828, 1364, 1903, 258, 342, 6, 13, 0], [0, 8, 57, 107, 906, 704, 2959, 2211, 3036, 2288, 1111, 753, 122, 72, 1, 1], [0, 8, 57, 107, 907, 693, 3014, 2046, 3366, 1826, 1573, 423, 287, 17, 12, 0], [0, 8, 57, 108, 895, 759, 2794, 2541, 2574, 2750, 781, 918, 67, 83, 0, 1], [0, 8, 57, 108, 896, 748, 2849, 2376, 2904, 2288, 1243, 588, 232, 28, 11, 0], [0, 8, 57, 109, 885, 803, 2684, 2706, 2442, 2750, 913, 753, 177, 39, 10, 0], [0, 8, 57, 110, 874, 858, 2519, 3036, 1980, 3212, 583, 918, 122, 50, 9, 0], [0, 8, 57, 111, 863, 913, 2354, 3366, 1518, 3674, 253, 1083, 67, 61, 8, 0], [0, 8, 58, 92, 1005, 319, 3949, 429, 5346, 110, 2596, 38, 353, 27, 5, 1], [0, 8, 58, 93, 994, 374, 3784, 759, 4884, 572, 2266, 203, 298, 38, 4, 1], [0, 8, 58, 94, 983, 429, 3619, 1089, 4422, 1034, 1936, 368, 243, 49, 3, 1], [0, 8, 58, 95, 972, 484, 3454, 1419, 3960, 1496, 1606, 533, 188, 60, 2, 1], [0, 8, 58, 95, 973, 473, 3509, 1254, 4290, 1034, 2068, 203, 353, 5, 13, 0], [0, 8, 58, 96, 961, 539, 3289, 1749, 3498, 1958, 1276, 698, 133, 71, 1, 1], [0, 8, 58, 96, 962, 528, 3344, 1584, 3828, 1496, 1738, 368, 298, 16, 12, 0], [0, 8, 58, 97, 950, 594, 3124, 2079, 3036, 2420, 946, 863, 78, 82, 0, 1], [0, 8, 58, 97, 951, 583, 3179, 1914, 3366, 1958, 1408, 533, 243, 27, 11, 0], [0, 8, 58, 98, 940, 638, 3014, 2244, 2904, 2420, 1078, 698, 188, 38, 10, 0], [0, 8, 58, 99, 929, 693, 2849, 2574, 2442, 2882, 748, 863, 133, 49, 9, 0], [0, 8, 58, 100, 918, 748, 2684, 2904, 1980, 3344, 418, 1028, 78, 60, 8, 0], [0, 8, 58, 101, 907, 803, 2519, 3234, 1518, 3806, 88, 1193, 23, 71, 7, 0], [0, 8, 59, 82, 1049, 209, 4114, 297, 5346, 242, 2431, 148, 309, 37, 4, 1], [0, 8, 59, 83, 1038, 264, 3949, 627, 4884, 704, 2101, 313, 254, 48, 3, 1], [0, 8, 59, 84, 1027, 319, 3784, 957, 4422, 1166, 1771, 478, 199, 59, 2, 1], [0, 8, 59, 84, 1028, 308, 3839, 792, 4752, 704, 2233, 148, 364, 4, 13, 0], [0, 8, 59, 85, 1016, 374, 3619, 1287, 3960, 1628, 1441, 643, 144, 70, 1, 1], [0, 8, 59, 85, 1017, 363, 3674, 1122, 4290, 1166, 1903, 313, 309, 15, 12, 0], [0, 8, 59, 86, 1005, 429, 3454, 1617, 3498, 2090, 1111, 808, 89, 81, 0, 1], [0, 8, 59, 86, 1006, 418, 3509, 1452, 3828, 1628, 1573, 478, 254, 26, 11, 0], [0, 8, 59, 87, 995, 473, 3344, 1782, 3366, 2090, 1243, 643, 199, 37, 10, 0], [0, 8, 59, 88, 984, 528, 3179, 2112, 2904, 2552, 913, 808, 144, 48, 9, 0], [0, 8, 59, 89, 973, 583, 3014, 2442, 2442, 3014, 583, 973, 89, 59, 8, 0], [0, 8, 59, 90, 962, 638, 2849, 2772, 1980, 3476, 253, 1138, 34, 70, 7, 0], [0, 8, 60, 72, 1093, 99, 4279, 165, 5346, 374, 2266, 258, 265, 47, 3, 1], [0, 8, 60, 73, 1082, 154, 4114, 495, 4884, 836, 1936, 423, 210, 58, 2, 1], [0, 8, 60, 73, 1083, 143, 4169, 330, 5214, 374, 2398, 93, 375, 3, 13, 0], [0, 8, 60, 74, 1071, 209, 3949, 825, 4422, 1298, 1606, 588, 155, 69, 1, 1], [0, 8, 60, 74, 1072, 198, 4004, 660, 4752, 836, 2068, 258, 320, 14, 12, 0], [0, 8, 60, 75, 1060, 264, 3784, 1155, 3960, 1760, 1276, 753, 100, 80, 0, 1], [0, 8, 60, 75, 1061, 253, 3839, 990, 4290, 1298, 1738, 423, 265, 25, 11, 0], [0, 8, 60, 76, 1050, 308, 3674, 1320, 3828, 1760, 1408, 588, 210, 36, 10, 0], [0, 8, 60, 77, 1039, 363, 3509, 1650, 3366, 2222, 1078, 753, 155, 47, 9, 0], [0, 8, 60, 78, 1028, 418, 3344, 1980, 2904, 2684, 748, 918, 100, 58, 8, 0], [0, 8, 60, 79, 1017, 473, 3179, 2310, 2442, 3146, 418, 1083, 45, 69, 7, 0], [0, 8, 61, 63, 1126, 44, 4279, 363, 4884, 968, 1771, 533, 166, 68, 1, 1], [0, 8, 61, 63, 1127, 33, 4334, 198, 5214, 506, 2233, 203, 331, 13, 12, 0], [0, 8, 61, 64, 1115, 99, 4114, 693, 4422, 1430, 1441, 698, 111, 79, 0, 1], [0, 8, 61, 64, 1116, 88, 4169, 528, 4752, 968, 1903, 368, 276, 24, 11, 0], [0, 8, 61, 65, 1105, 143, 4004, 858, 4290, 1430, 1573, 533, 221, 35, 10, 0], [0, 8, 61, 66, 1094, 198, 3839, 1188, 3828, 1892, 1243, 698, 166, 46, 9, 0], [0, 8, 61, 67, 1083, 253, 3674, 1518, 3366, 2354, 913, 863, 111, 57, 8, 0], [0, 8, 61, 68, 1072, 308, 3509, 1848, 2904, 2816, 583, 1028, 56, 68, 7, 0], [0, 8, 61, 69, 1061, 363, 3344, 2178, 2442, 3278, 253, 1193, 1, 79, 6, 0], [0, 8, 62, 55, 1149, 33, 4169, 726, 4290, 1562, 1408, 643, 177, 45, 9, 0], [0, 8, 62, 56, 1138, 88, 4004, 1056, 3828, 2024, 1078, 808, 122, 56, 8, 0], [0, 8, 62, 57, 1127, 143, 3839, 1386, 3366, 2486, 748, 973, 67, 67, 7, 0], [0, 8, 62, 58, 1116, 198, 3674, 1716, 2904, 2948, 418, 1138, 12, 78, 6, 0], [0, 8, 63, 47, 1171, 33, 4004, 1254, 3366, 2618, 583, 1083, 23, 77, 6, 0], [0, 9, 34, 284, 190, 2475, 132, 5082, 1452, 2255, 1914, 104, 374, 29, 0, 2], [0, 9, 35, 273, 245, 2310, 462, 4620, 1914, 1925, 2079, 49, 385, 28, 0, 2], [0, 9, 35, 276, 213, 2464, 22, 5445, 858, 2849, 1551, 214, 385, 6, 8, 1], [0, 9, 36, 265, 268, 2299, 352, 4983, 1320, 2519, 1716, 159, 396, 5, 8, 1], [0, 9, 36, 266, 257, 2354, 187, 5313, 858, 2981, 1386, 324, 341, 16, 7, 1], [0, 9, 36, 267, 246, 2409, 22, 5643, 396, 3443, 1056, 489, 286, 27, 6, 1], [0, 9, 37, 254, 323, 2134, 682, 4521, 1782, 2189, 1881, 104, 407, 4, 8, 1], [0, 9, 37, 255, 312, 2189, 517, 4851, 1320, 2651, 1551, 269, 352, 15, 7, 1], [0, 9, 37, 256, 301, 2244, 352, 5181, 858, 3113, 1221, 434, 297, 26, 6, 1], [0, 9, 37, 257, 290, 2299, 187, 5511, 396, 3575, 891, 599, 242, 37, 5, 1], [0, 9, 38, 243, 378, 1969, 1012, 4059, 2244, 1859, 2046, 49, 418, 3, 8, 1], [0, 9, 38, 244, 367, 2024, 847, 4389, 1782, 2321, 1716, 214, 363, 14, 7, 1], [0, 9, 38, 245, 356, 2079, 682, 4719, 1320, 2783, 1386, 379, 308, 25, 6, 1], [0, 9, 38, 246, 345, 2134, 517, 5049, 858, 3245, 1056, 544, 253, 36, 5, 1], [0, 9, 38, 247, 334, 2189, 352, 5379, 396, 3707, 726, 709, 198, 47, 4, 1], [0, 9, 38, 248, 324, 2233, 242, 5544, 264, 3707, 858, 544, 308, 3, 14, 0], [0, 9, 39, 233, 422, 1859, 1177, 3927, 2244, 1991, 1881, 159, 374, 13, 7, 1], [0, 9, 39, 234, 411, 1914, 1012, 4257, 1782, 2453, 1551, 324, 319, 24, 6, 1], [0, 9, 39, 235, 400, 1969, 847, 4587, 1320, 2915, 1221, 489, 264, 35, 5, 1], [0, 9, 39, 236, 389, 2024, 682, 4917, 858, 3377, 891, 654, 209, 46, 4, 1], [0, 9, 39, 237, 378, 2079, 517, 5247, 396, 3839, 561, 819, 154, 57, 3, 1], [0, 9, 39, 237, 379, 2068, 572, 5082, 726, 3377, 1023, 489, 319, 2, 14, 0], [0, 9, 39, 238, 368, 2123, 407, 5412, 264, 3839, 693, 654, 264, 13, 13, 0], [0, 9, 40, 222, 477, 1694, 1507, 3465, 2706, 1661, 2046, 104, 385, 12, 7, 1], [0, 9, 40, 223, 466, 1749, 1342, 3795, 2244, 2123, 1716, 269, 330, 23, 6, 1], [0, 9, 40, 224, 455, 1804, 1177, 4125, 1782, 2585, 1386, 434, 275, 34, 5, 1], [0, 9, 40, 225, 444, 1859, 1012, 4455, 1320, 3047, 1056, 599, 220, 45, 4, 1], [0, 9, 40, 226, 433, 1914, 847, 4785, 858, 3509, 726, 764, 165, 56, 3, 1], [0, 9, 40, 226, 434, 1903, 902, 4620, 1188, 3047, 1188, 434, 330, 1, 14, 0], [0, 9, 40, 227, 422, 1969, 682, 5115, 396, 3971, 396, 929, 110, 67, 2, 1], [0, 9, 40, 227, 423, 1958, 737, 4950, 726, 3509, 858, 599, 275, 12, 13, 0], [0, 9, 40, 228, 412, 2013, 572, 5280, 264, 3971, 528, 764, 220, 23, 12, 0], [0, 9, 41, 211, 532, 1529, 1837, 3003, 3168, 1331, 2211, 49, 396, 11, 7, 1], [0, 9, 41, 212, 521, 1584, 1672, 3333, 2706, 1793, 1881, 214, 341, 22, 6, 1], [0, 9, 41, 213, 510, 1639, 1507, 3663, 2244, 2255, 1551, 379, 286, 33, 5, 1], [0, 9, 41, 214, 499, 1694, 1342, 3993, 1782, 2717, 1221, 544, 231, 44, 4, 1], [0, 9, 41, 215, 488, 1749, 1177, 4323, 1320, 3179, 891, 709, 176, 55, 3, 1], [0, 9, 41, 215, 489, 1738, 1232, 4158, 1650, 2717, 1353, 379, 341, 0, 14, 0], [0, 9, 41, 216, 477, 1804, 1012, 4653, 858, 3641, 561, 874, 121, 66, 2, 1], [0, 9, 41, 216, 478, 1793, 1067, 4488, 1188, 3179, 1023, 544, 286, 11, 13, 0], [0, 9, 41, 217, 466, 1859, 847, 4983, 396, 4103, 231, 1039, 66, 77, 1, 1], [0, 9, 41, 217, 467, 1848, 902, 4818, 726, 3641, 693, 709, 231, 22, 12, 0], [0, 9, 41, 218, 456, 1903, 737, 5148, 264, 4103, 363, 874, 176, 33, 11, 0], [0, 9, 42, 201, 576, 1419, 2002, 2871, 3168, 1463, 2046, 159, 352, 21, 6, 1], [0, 9, 42, 202, 565, 1474, 1837, 3201, 2706, 1925, 1716, 324, 297, 32, 5, 1], [0, 9, 42, 203, 554, 1529, 1672, 3531, 2244, 2387, 1386, 489, 242, 43, 4, 1], [0, 9, 42, 204, 543, 1584, 1507, 3861, 1782, 2849, 1056, 654, 187, 54, 3, 1], [0, 9, 42, 205, 532, 1639, 1342, 4191, 1320, 3311, 726, 819, 132, 65, 2, 1], [0, 9, 42, 205, 533, 1628, 1397, 4026, 1650, 2849, 1188, 489, 297, 10, 13, 0], [0, 9, 42, 206, 521, 1694, 1177, 4521, 858, 3773, 396, 984, 77, 76, 1, 1], [0, 9, 42, 206, 522, 1683, 1232, 4356, 1188, 3311, 858, 654, 242, 21, 12, 0], [0, 9, 42, 207, 510, 1749, 1012, 4851, 396, 4235, 66, 1149, 22, 87, 0, 1], [0, 9, 42, 207, 511, 1738, 1067, 4686, 726, 3773, 528, 819, 187, 32, 11, 0], [0, 9, 42, 208, 500, 1793, 902, 5016, 264, 4235, 198, 984, 132, 43, 10, 0], [0, 9, 43, 190, 631, 1254, 2332, 2409, 3630, 1133, 2211, 104, 363, 20, 6, 1], [0, 9, 43, 191, 620, 1309, 2167, 2739, 3168, 1595, 1881, 269, 308, 31, 5, 1], [0, 9, 43, 192, 609, 1364, 2002, 3069, 2706, 2057, 1551, 434, 253, 42, 4, 1], [0, 9, 43, 193, 598, 1419, 1837, 3399, 2244, 2519, 1221, 599, 198, 53, 3, 1], [0, 9, 43, 194, 587, 1474, 1672, 3729, 1782, 2981, 891, 764, 143, 64, 2, 1], [0, 9, 43, 194, 588, 1463, 1727, 3564, 2112, 2519, 1353, 434, 308, 9, 13, 0], [0, 9, 43, 195, 576, 1529, 1507, 4059, 1320, 3443, 561, 929, 88, 75, 1, 1], [0, 9, 43, 195, 577, 1518, 1562, 3894, 1650, 2981, 1023, 599, 253, 20, 12, 0], [0, 9, 43, 196, 565, 1584, 1342, 4389, 858, 3905, 231, 1094, 33, 86, 0, 1], [0, 9, 43, 196, 566, 1573, 1397, 4224, 1188, 3443, 693, 764, 198, 31, 11, 0], [0, 9, 43, 197, 555, 1628, 1232, 4554, 726, 3905, 363, 929, 143, 42, 10, 0], [0, 9, 43, 198, 544, 1683, 1067, 4884, 264, 4367, 33, 1094, 88, 53, 9, 0], [0, 9, 44, 179, 686, 1089, 2662, 1947, 4092, 803, 2376, 49, 374, 19, 6, 1], [0, 9, 44, 180, 675, 1144, 2497, 2277, 3630, 1265, 2046, 214, 319, 30, 5, 1], [0, 9, 44, 181, 664, 1199, 2332, 2607, 3168, 1727, 1716, 379, 264, 41, 4, 1], [0, 9, 44, 182, 653, 1254, 2167, 2937, 2706, 2189, 1386, 544, 209, 52, 3, 1], [0, 9, 44, 183, 642, 1309, 2002, 3267, 2244, 2651, 1056, 709, 154, 63, 2, 1], [0, 9, 44, 183, 643, 1298, 2057, 3102, 2574, 2189, 1518, 379, 319, 8, 13, 0], [0, 9, 44, 184, 631, 1364, 1837, 3597, 1782, 3113, 726, 874, 99, 74, 1, 1], [0, 9, 44, 184, 632, 1353, 1892, 3432, 2112, 2651, 1188, 544, 264, 19, 12, 0], [0, 9, 44, 185, 620, 1419, 1672, 3927, 1320, 3575, 396, 1039, 44, 85, 0, 1], [0, 9, 44, 185, 621, 1408, 1727, 3762, 1650, 3113, 858, 709, 209, 30, 11, 0], [0, 9, 44, 186, 610, 1463, 1562, 4092, 1188, 3575, 528, 874, 154, 41, 10, 0], [0, 9, 44, 187, 599, 1518, 1397, 4422, 726, 4037, 198, 1039, 99, 52, 9, 0], [0, 9, 45, 169, 730, 979, 2827, 1815, 4092, 935, 2211, 159, 330, 29, 5, 1], [0, 9, 45, 170, 719, 1034, 2662, 2145, 3630, 1397, 1881, 324, 275, 40, 4, 1], [0, 9, 45, 171, 708, 1089, 2497, 2475, 3168, 1859, 1551, 489, 220, 51, 3, 1], [0, 9, 45, 172, 697, 1144, 2332, 2805, 2706, 2321, 1221, 654, 165, 62, 2, 1], [0, 9, 45, 172, 698, 1133, 2387, 2640, 3036, 1859, 1683, 324, 330, 7, 13, 0], [0, 9, 45, 173, 686, 1199, 2167, 3135, 2244, 2783, 891, 819, 110, 73, 1, 1], [0, 9, 45, 173, 687, 1188, 2222, 2970, 2574, 2321, 1353, 489, 275, 18, 12, 0], [0, 9, 45, 174, 675, 1254, 2002, 3465, 1782, 3245, 561, 984, 55, 84, 0, 1], [0, 9, 45, 174, 676, 1243, 2057, 3300, 2112, 2783, 1023, 654, 220, 29, 11, 0], [0, 9, 45, 175, 665, 1298, 1892, 3630, 1650, 3245, 693, 819, 165, 40, 10, 0], [0, 9, 45, 176, 654, 1353, 1727, 3960, 1188, 3707, 363, 984, 110, 51, 9, 0], [0, 9, 45, 177, 643, 1408, 1562, 4290, 726, 4169, 33, 1149, 55, 62, 8, 0], [0, 9, 46, 158, 785, 814, 3157, 1353, 4554, 605, 2376, 104, 341, 28, 5, 1], [0, 9, 46, 159, 774, 869, 2992, 1683, 4092, 1067, 2046, 269, 286, 39, 4, 1], [0, 9, 46, 160, 763, 924, 2827, 2013, 3630, 1529, 1716, 434, 231, 50, 3, 1], [0, 9, 46, 161, 752, 979, 2662, 2343, 3168, 1991, 1386, 599, 176, 61, 2, 1], [0, 9, 46, 161, 753, 968, 2717, 2178, 3498, 1529, 1848, 269, 341, 6, 13, 0], [0, 9, 46, 162, 741, 1034, 2497, 2673, 2706, 2453, 1056, 764, 121, 72, 1, 1], [0, 9, 46, 162, 742, 1023, 2552, 2508, 3036, 1991, 1518, 434, 286, 17, 12, 0], [0, 9, 46, 163, 730, 1089, 2332, 3003, 2244, 2915, 726, 929, 66, 83, 0, 1], [0, 9, 46, 163, 731, 1078, 2387, 2838, 2574, 2453, 1188, 599, 231, 28, 11, 0], [0, 9, 46, 164, 720, 1133, 2222, 3168, 2112, 2915, 858, 764, 176, 39, 10, 0], [0, 9, 46, 165, 709, 1188, 2057, 3498, 1650, 3377, 528, 929, 121, 50, 9, 0], [0, 9, 46, 166, 698, 1243, 1892, 3828, 1188, 3839, 198, 1094, 66, 61, 8, 0], [0, 9, 47, 147, 840, 649, 3487, 891, 5016, 275, 2541, 49, 352, 27, 5, 1], [0, 9, 47, 148, 829, 704, 3322, 1221, 4554, 737, 2211, 214, 297, 38, 4, 1], [0, 9, 47, 149, 818, 759, 3157, 1551, 4092, 1199, 1881, 379, 242, 49, 3, 1], [0, 9, 47, 150, 807, 814, 2992, 1881, 3630, 1661, 1551, 544, 187, 60, 2, 1], [0, 9, 47, 150, 808, 803, 3047, 1716, 3960, 1199, 2013, 214, 352, 5, 13, 0], [0, 9, 47, 151, 796, 869, 2827, 2211, 3168, 2123, 1221, 709, 132, 71, 1, 1], [0, 9, 47, 151, 797, 858, 2882, 2046, 3498, 1661, 1683, 379, 297, 16, 12, 0], [0, 9, 47, 152, 785, 924, 2662, 2541, 2706, 2585, 891, 874, 77, 82, 0, 1], [0, 9, 47, 152, 786, 913, 2717, 2376, 3036, 2123, 1353, 544, 242, 27, 11, 0], [0, 9, 47, 153, 775, 968, 2552, 2706, 2574, 2585, 1023, 709, 187, 38, 10, 0], [0, 9, 47, 154, 764, 1023, 2387, 3036, 2112, 3047, 693, 874, 132, 49, 9, 0], [0, 9, 47, 155, 753, 1078, 2222, 3366, 1650, 3509, 363, 1039, 77, 60, 8, 0], [0, 9, 47, 156, 742, 1133, 2057, 3696, 1188, 3971, 33, 1204, 22, 71, 7, 0], [0, 9, 48, 137, 884, 539, 3652, 759, 5016, 407, 2376, 159, 308, 37, 4, 1], [0, 9, 48, 138, 873, 594, 3487, 1089, 4554, 869, 2046, 324, 253, 48, 3, 1], [0, 9, 48, 139, 862, 649, 3322, 1419, 4092, 1331, 1716, 489, 198, 59, 2, 1], [0, 9, 48, 139, 863, 638, 3377, 1254, 4422, 869, 2178, 159, 363, 4, 13, 0], [0, 9, 48, 140, 851, 704, 3157, 1749, 3630, 1793, 1386, 654, 143, 70, 1, 1], [0, 9, 48, 140, 852, 693, 3212, 1584, 3960, 1331, 1848, 324, 308, 15, 12, 0], [0, 9, 48, 141, 840, 759, 2992, 2079, 3168, 2255, 1056, 819, 88, 81, 0, 1], [0, 9, 48, 141, 841, 748, 3047, 1914, 3498, 1793, 1518, 489, 253, 26, 11, 0], [0, 9, 48, 142, 830, 803, 2882, 2244, 3036, 2255, 1188, 654, 198, 37, 10, 0], [0, 9, 48, 143, 819, 858, 2717, 2574, 2574, 2717, 858, 819, 143, 48, 9, 0], [0, 9, 48, 144, 808, 913, 2552, 2904, 2112, 3179, 528, 984, 88, 59, 8, 0], [0, 9, 48, 145, 797, 968, 2387, 3234, 1650, 3641, 198, 1149, 33, 70, 7, 0], [0, 9, 49, 126, 939, 374, 3982, 297, 5478, 77, 2541, 104, 319, 36, 4, 1], [0, 9, 49, 127, 928, 429, 3817, 627, 5016, 539, 2211, 269, 264, 47, 3, 1], [0, 9, 49, 128, 917, 484, 3652, 957, 4554, 1001, 1881, 434, 209, 58, 2, 1], [0, 9, 49, 128, 918, 473, 3707, 792, 4884, 539, 2343, 104, 374, 3, 13, 0], [0, 9, 49, 129, 906, 539, 3487, 1287, 4092, 1463, 1551, 599, 154, 69, 1, 1], [0, 9, 49, 129, 907, 528, 3542, 1122, 4422, 1001, 2013, 269, 319, 14, 12, 0], [0, 9, 49, 130, 895, 594, 3322, 1617, 3630, 1925, 1221, 764, 99, 80, 0, 1], [0, 9, 49, 130, 896, 583, 3377, 1452, 3960, 1463, 1683, 434, 264, 25, 11, 0], [0, 9, 49, 131, 885, 638, 3212, 1782, 3498, 1925, 1353, 599, 209, 36, 10, 0], [0, 9, 49, 132, 874, 693, 3047, 2112, 3036, 2387, 1023, 764, 154, 47, 9, 0], [0, 9, 49, 133, 863, 748, 2882, 2442, 2574, 2849, 693, 929, 99, 58, 8, 0], [0, 9, 49, 134, 852, 803, 2717, 2772, 2112, 3311, 363, 1094, 44, 69, 7, 0], [0, 9, 50, 116, 983, 264, 4147, 165, 5478, 209, 2376, 214, 275, 46, 3, 1], [0, 9, 50, 117, 972, 319, 3982, 495, 5016, 671, 2046, 379, 220, 57, 2, 1], [0, 9, 50, 117, 973, 308, 4037, 330, 5346, 209, 2508, 49, 385, 2, 13, 0], [0, 9, 50, 118, 961, 374, 3817, 825, 4554, 1133, 1716, 544, 165, 68, 1, 1], [0, 9, 50, 118, 962, 363, 3872, 660, 4884, 671, 2178, 214, 330, 13, 12, 0], [0, 9, 50, 119, 950, 429, 3652, 1155, 4092, 1595, 1386, 709, 110, 79, 0, 1], [0, 9, 50, 119, 951, 418, 3707, 990, 4422, 1133, 1848, 379, 275, 24, 11, 0], [0, 9, 50, 120, 940, 473, 3542, 1320, 3960, 1595, 1518, 544, 220, 35, 10, 0], [0, 9, 50, 121, 929, 528, 3377, 1650, 3498, 2057, 1188, 709, 165, 46, 9, 0], [0, 9, 50, 122, 918, 583, 3212, 1980, 3036, 2519, 858, 874, 110, 57, 8, 0], [0, 9, 50, 123, 907, 638, 3047, 2310, 2574, 2981, 528, 1039, 55, 68, 7, 0], [0, 9, 50, 124, 896, 693, 2882, 2640, 2112, 3443, 198, 1204, 0, 79, 6, 0], [0, 9, 51, 106, 1027, 154, 4312, 33, 5478, 341, 2211, 324, 231, 56, 2, 1], [0, 9, 51, 107, 1016, 209, 4147, 363, 5016, 803, 1881, 489, 176, 67, 1, 1], [0, 9, 51, 107, 1017, 198, 4202, 198, 5346, 341, 2343, 159, 341, 12, 12, 0], [0, 9, 51, 108, 1005, 264, 3982, 693, 4554, 1265, 1551, 654, 121, 78, 0, 1], [0, 9, 51, 108, 1006, 253, 4037, 528, 4884, 803, 2013, 324, 286, 23, 11, 0], [0, 9, 51, 109, 995, 308, 3872, 858, 4422, 1265, 1683, 489, 231, 34, 10, 0], [0, 9, 51, 110, 984, 363, 3707, 1188, 3960, 1727, 1353, 654, 176, 45, 9, 0], [0, 9, 51, 111, 973, 418, 3542, 1518, 3498, 2189, 1023, 819, 121, 56, 8, 0], [0, 9, 51, 112, 962, 473, 3377, 1848, 3036, 2651, 693, 984, 66, 67, 7, 0], [0, 9, 51, 113, 951, 528, 3212, 2178, 2574, 3113, 363, 1149, 11, 78, 6, 0], [0, 9, 52, 97, 1060, 99, 4312, 231, 5016, 935, 1716, 599, 132, 77, 0, 1], [0, 9, 52, 97, 1061, 88, 4367, 66, 5346, 473, 2178, 269, 297, 22, 11, 0], [0, 9, 52, 98, 1050, 143, 4202, 396, 4884, 935, 1848, 434, 242, 33, 10, 0], [0, 9, 52, 99, 1039, 198, 4037, 726, 4422, 1397, 1518, 599, 187, 44, 9, 0], [0, 9, 52, 100, 1028, 253, 3872, 1056, 3960, 1859, 1188, 764, 132, 55, 8, 0], [0, 9, 52, 101, 1017, 308, 3707, 1386, 3498, 2321, 858, 929, 77, 66, 7, 0], [0, 9, 52, 102, 1006, 363, 3542, 1716, 3036, 2783, 528, 1094, 22, 77, 6, 0], [0, 9, 53, 88, 1094, 33, 4367, 264, 4884, 1067, 1683, 544, 198, 43, 9, 0], [0, 9, 53, 89, 1083, 88, 4202, 594, 4422, 1529, 1353, 709, 143, 54, 8, 0], [0, 9, 53, 90, 1072, 143, 4037, 924, 3960, 1991, 1023, 874, 88, 65, 7, 0], [0, 9, 53, 91, 1061, 198, 3872, 1254, 3498, 2453, 693, 1039, 33, 76, 6, 0], [0, 9, 54, 80, 1116, 33, 4202, 792, 3960, 2123, 858, 984, 44, 75, 6, 0], [0, 10, 24, 328, 80, 2640, 0, 5082, 1584, 2090, 2024, 60, 384, 28, 0, 2], [0, 10, 25, 317, 135, 2475, 330, 4620, 2046, 1760, 2189, 5, 395, 27, 0, 2], [0, 10, 26, 309, 158, 2464, 220, 4983, 1452, 2354, 1826, 115, 406, 4, 8, 1], [0, 10, 26, 310, 147, 2519, 55, 5313, 990, 2816, 1496, 280, 351, 15, 7, 1], [0, 10, 27, 298, 213, 2299, 550, 4521, 1914, 2024, 1991, 60, 417, 3, 8, 1], [0, 10, 27, 299, 202, 2354, 385, 4851, 1452, 2486, 1661, 225, 362, 14, 7, 1], [0, 10, 27, 300, 191, 2409, 220, 5181, 990, 2948, 1331, 390, 307, 25, 6, 1], [0, 10, 27, 301, 180, 2464, 55, 5511, 528, 3410, 1001, 555, 252, 36, 5, 1], [0, 10, 28, 287, 268, 2134, 880, 4059, 2376, 1694, 2156, 5, 428, 2, 8, 1], [0, 10, 28, 288, 257, 2189, 715, 4389, 1914, 2156, 1826, 170, 373, 13, 7, 1], [0, 10, 28, 289, 246, 2244, 550, 4719, 1452, 2618, 1496, 335, 318, 24, 6, 1], [0, 10, 28, 290, 235, 2299, 385, 5049, 990, 3080, 1166, 500, 263, 35, 5, 1], [0, 10, 28, 291, 224, 2354, 220, 5379, 528, 3542, 836, 665, 208, 46, 4, 1], [0, 10, 28, 292, 213, 2409, 55, 5709, 66, 4004, 506, 830, 153, 57, 3, 1], [0, 10, 28, 292, 214, 2398, 110, 5544, 396, 3542, 968, 500, 318, 2, 14, 0], [0, 10, 29, 277, 312, 2024, 1045, 3927, 2376, 1826, 1991, 115, 384, 12, 7, 1], [0, 10, 29, 278, 301, 2079, 880, 4257, 1914, 2288, 1661, 280, 329, 23, 6, 1], [0, 10, 29, 279, 290, 2134, 715, 4587, 1452, 2750, 1331, 445, 274, 34, 5, 1], [0, 10, 29, 280, 279, 2189, 550, 4917, 990, 3212, 1001, 610, 219, 45, 4, 1], [0, 10, 29, 281, 268, 2244, 385, 5247, 528, 3674, 671, 775, 164, 56, 3, 1], [0, 10, 29, 281, 269, 2233, 440, 5082, 858, 3212, 1133, 445, 329, 1, 14, 0], [0, 10, 29, 282, 257, 2299, 220, 5577, 66, 4136, 341, 940, 109, 67, 2, 1], [0, 10, 29, 282, 258, 2288, 275, 5412, 396, 3674, 803, 610, 274, 12, 13, 0], [0, 10, 30, 266, 367, 1859, 1375, 3465, 2838, 1496, 2156, 60, 395, 11, 7, 1], [0, 10, 30, 267, 356, 1914, 1210, 3795, 2376, 1958, 1826, 225, 340, 22, 6, 1], [0, 10, 30, 268, 345, 1969, 1045, 4125, 1914, 2420, 1496, 390, 285, 33, 5, 1], [0, 10, 30, 269, 334, 2024, 880, 4455, 1452, 2882, 1166, 555, 230, 44, 4, 1], [0, 10, 30, 270, 323, 2079, 715, 4785, 990, 3344, 836, 720, 175, 55, 3, 1], [0, 10, 30, 270, 324, 2068, 770, 4620, 1320, 2882, 1298, 390, 340, 0, 14, 0], [0, 10, 30, 271, 312, 2134, 550, 5115, 528, 3806, 506, 885, 120, 66, 2, 1], [0, 10, 30, 271, 313, 2123, 605, 4950, 858, 3344, 968, 555, 285, 11, 13, 0], [0, 10, 30, 272, 301, 2189, 385, 5445, 66, 4268, 176, 1050, 65, 77, 1, 1], [0, 10, 30, 272, 302, 2178, 440, 5280, 396, 3806, 638, 720, 230, 22, 12, 0], [0, 10, 31, 255, 422, 1694, 1705, 3003, 3300, 1166, 2321, 5, 406, 10, 7, 1], [0, 10, 31, 256, 411, 1749, 1540, 3333, 2838, 1628, 1991, 170, 351, 21, 6, 1], [0, 10, 31, 257, 400, 1804, 1375, 3663, 2376, 2090, 1661, 335, 296, 32, 5, 1], [0, 10, 31, 258, 389, 1859, 1210, 3993, 1914, 2552, 1331, 500, 241, 43, 4, 1], [0, 10, 31, 259, 378, 1914, 1045, 4323, 1452, 3014, 1001, 665, 186, 54, 3, 1], [0, 10, 31, 260, 367, 1969, 880, 4653, 990, 3476, 671, 830, 131, 65, 2, 1], [0, 10, 31, 260, 368, 1958, 935, 4488, 1320, 3014, 1133, 500, 296, 10, 13, 0], [0, 10, 31, 261, 356, 2024, 715, 4983, 528, 3938, 341, 995, 76, 76, 1, 1], [0, 10, 31, 261, 357, 2013, 770, 4818, 858, 3476, 803, 665, 241, 21, 12, 0], [0, 10, 31, 262, 345, 2079, 550, 5313, 66, 4400, 11, 1160, 21, 87, 0, 1], [0, 10, 31, 262, 346, 2068, 605, 5148, 396, 3938, 473, 830, 186, 32, 11, 0], [0, 10, 32, 245, 466, 1584, 1870, 2871, 3300, 1298, 2156, 115, 362, 20, 6, 1], [0, 10, 32, 246, 455, 1639, 1705, 3201, 2838, 1760, 1826, 280, 307, 31, 5, 1], [0, 10, 32, 247, 444, 1694, 1540, 3531, 2376, 2222, 1496, 445, 252, 42, 4, 1], [0, 10, 32, 248, 433, 1749, 1375, 3861, 1914, 2684, 1166, 610, 197, 53, 3, 1], [0, 10, 32, 249, 422, 1804, 1210, 4191, 1452, 3146, 836, 775, 142, 64, 2, 1], [0, 10, 32, 249, 423, 1793, 1265, 4026, 1782, 2684, 1298, 445, 307, 9, 13, 0], [0, 10, 32, 250, 411, 1859, 1045, 4521, 990, 3608, 506, 940, 87, 75, 1, 1], [0, 10, 32, 250, 412, 1848, 1100, 4356, 1320, 3146, 968, 610, 252, 20, 12, 0], [0, 10, 32, 251, 400, 1914, 880, 4851, 528, 4070, 176, 1105, 32, 86, 0, 1], [0, 10, 32, 251, 401, 1903, 935, 4686, 858, 3608, 638, 775, 197, 31, 11, 0], [0, 10, 32, 252, 390, 1958, 770, 5016, 396, 4070, 308, 940, 142, 42, 10, 0], [0, 10, 33, 234, 521, 1419, 2200, 2409, 3762, 968, 2321, 60, 373, 19, 6, 1], [0, 10, 33, 235, 510, 1474, 2035, 2739, 3300, 1430, 1991, 225, 318, 30, 5, 1], [0, 10, 33, 236, 499, 1529, 1870, 3069, 2838, 1892, 1661, 390, 263, 41, 4, 1], [0, 10, 33, 237, 488, 1584, 1705, 3399, 2376, 2354, 1331, 555, 208, 52, 3, 1], [0, 10, 33, 238, 477, 1639, 1540, 3729, 1914, 2816, 1001, 720, 153, 63, 2, 1], [0, 10, 33, 238, 478, 1628, 1595, 3564, 2244, 2354, 1463, 390, 318, 8, 13, 0], [0, 10, 33, 239, 466, 1694, 1375, 4059, 1452, 3278, 671, 885, 98, 74, 1, 1], [0, 10, 33, 239, 467, 1683, 1430, 3894, 1782, 2816, 1133, 555, 263, 19, 12, 0], [0, 10, 33, 240, 455, 1749, 1210, 4389, 990, 3740, 341, 1050, 43, 85, 0, 1], [0, 10, 33, 240, 456, 1738, 1265, 4224, 1320, 3278, 803, 720, 208, 30, 11, 0], [0, 10, 33, 241, 445, 1793, 1100, 4554, 858, 3740, 473, 885, 153, 41, 10, 0], [0, 10, 33, 242, 434, 1848, 935, 4884, 396, 4202, 143, 1050, 98, 52, 9, 0], [0, 10, 34, 223, 576, 1254, 2530, 1947, 4224, 638, 2486, 5, 384, 18, 6, 1], [0, 10, 34, 224, 565, 1309, 2365, 2277, 3762, 1100, 2156, 170, 329, 29, 5, 1], [0, 10, 34, 225, 554, 1364, 2200, 2607, 3300, 1562, 1826, 335, 274, 40, 4, 1], [0, 10, 34, 226, 543, 1419, 2035, 2937, 2838, 2024, 1496, 500, 219, 51, 3, 1], [0, 10, 34, 227, 532, 1474, 1870, 3267, 2376, 2486, 1166, 665, 164, 62, 2, 1], [0, 10, 34, 227, 533, 1463, 1925, 3102, 2706, 2024, 1628, 335, 329, 7, 13, 0], [0, 10, 34, 228, 521, 1529, 1705, 3597, 1914, 2948, 836, 830, 109, 73, 1, 1], [0, 10, 34, 228, 522, 1518, 1760, 3432, 2244, 2486, 1298, 500, 274, 18, 12, 0], [0, 10, 34, 229, 510, 1584, 1540, 3927, 1452, 3410, 506, 995, 54, 84, 0, 1], [0, 10, 34, 229, 511, 1573, 1595, 3762, 1782, 2948, 968, 665, 219, 29, 11, 0], [0, 10, 34, 230, 500, 1628, 1430, 4092, 1320, 3410, 638, 830, 164, 40, 10, 0], [0, 10, 34, 231, 489, 1683, 1265, 4422, 858, 3872, 308, 995, 109, 51, 9, 0], [0, 10, 35, 213, 620, 1144, 2695, 1815, 4224, 770, 2321, 115, 340, 28, 5, 1], [0, 10, 35, 214, 609, 1199, 2530, 2145, 3762, 1232, 1991, 280, 285, 39, 4, 1], [0, 10, 35, 215, 598, 1254, 2365, 2475, 3300, 1694, 1661, 445, 230, 50, 3, 1], [0, 10, 35, 216, 587, 1309, 2200, 2805, 2838, 2156, 1331, 610, 175, 61, 2, 1], [0, 10, 35, 216, 588, 1298, 2255, 2640, 3168, 1694, 1793, 280, 340, 6, 13, 0], [0, 10, 35, 217, 576, 1364, 2035, 3135, 2376, 2618, 1001, 775, 120, 72, 1, 1], [0, 10, 35, 217, 577, 1353, 2090, 2970, 2706, 2156, 1463, 445, 285, 17, 12, 0], [0, 10, 35, 218, 565, 1419, 1870, 3465, 1914, 3080, 671, 940, 65, 83, 0, 1], [0, 10, 35, 218, 566, 1408, 1925, 3300, 2244, 2618, 1133, 610, 230, 28, 11, 0], [0, 10, 35, 219, 555, 1463, 1760, 3630, 1782, 3080, 803, 775, 175, 39, 10, 0], [0, 10, 35, 220, 544, 1518, 1595, 3960, 1320, 3542, 473, 940, 120, 50, 9, 0], [0, 10, 35, 221, 533, 1573, 1430, 4290, 858, 4004, 143, 1105, 65, 61, 8, 0], [0, 10, 36, 202, 675, 979, 3025, 1353, 4686, 440, 2486, 60, 351, 27, 5, 1], [0, 10, 36, 203, 664, 1034, 2860, 1683, 4224, 902, 2156, 225, 296, 38, 4, 1], [0, 10, 36, 204, 653, 1089, 2695, 2013, 3762, 1364, 1826, 390, 241, 49, 3, 1], [0, 10, 36, 205, 642, 1144, 2530, 2343, 3300, 1826, 1496, 555, 186, 60, 2, 1], [0, 10, 36, 205, 643, 1133, 2585, 2178, 3630, 1364, 1958, 225, 351, 5, 13, 0], [0, 10, 36, 206, 631, 1199, 2365, 2673, 2838, 2288, 1166, 720, 131, 71, 1, 1], [0, 10, 36, 206, 632, 1188, 2420, 2508, 3168, 1826, 1628, 390, 296, 16, 12, 0], [0, 10, 36, 207, 620, 1254, 2200, 3003, 2376, 2750, 836, 885, 76, 82, 0, 1], [0, 10, 36, 207, 621, 1243, 2255, 2838, 2706, 2288, 1298, 555, 241, 27, 11, 0], [0, 10, 36, 208, 610, 1298, 2090, 3168, 2244, 2750, 968, 720, 186, 38, 10, 0], [0, 10, 36, 209, 599, 1353, 1925, 3498, 1782, 3212, 638, 885, 131, 49, 9, 0], [0, 10, 36, 210, 588, 1408, 1760, 3828, 1320, 3674, 308, 1050, 76, 60, 8, 0], [0, 10, 37, 191, 730, 814, 3355, 891, 5148, 110, 2651, 5, 362, 26, 5, 1], [0, 10, 37, 192, 719, 869, 3190, 1221, 4686, 572, 2321, 170, 307, 37, 4, 1], [0, 10, 37, 193, 708, 924, 3025, 1551, 4224, 1034, 1991, 335, 252, 48, 3, 1], [0, 10, 37, 194, 697, 979, 2860, 1881, 3762, 1496, 1661, 500, 197, 59, 2, 1], [0, 10, 37, 194, 698, 968, 2915, 1716, 4092, 1034, 2123, 170, 362, 4, 13, 0], [0, 10, 37, 195, 686, 1034, 2695, 2211, 3300, 1958, 1331, 665, 142, 70, 1, 1], [0, 10, 37, 195, 687, 1023, 2750, 2046, 3630, 1496, 1793, 335, 307, 15, 12, 0], [0, 10, 37, 196, 675, 1089, 2530, 2541, 2838, 2420, 1001, 830, 87, 81, 0, 1], [0, 10, 37, 196, 676, 1078, 2585, 2376, 3168, 1958, 1463, 500, 252, 26, 11, 0], [0, 10, 37, 197, 665, 1133, 2420, 2706, 2706, 2420, 1133, 665, 197, 37, 10, 0], [0, 10, 37, 198, 654, 1188, 2255, 3036, 2244, 2882, 803, 830, 142, 48, 9, 0], [0, 10, 37, 199, 643, 1243, 2090, 3366, 1782, 3344, 473, 995, 87, 59, 8, 0], [0, 10, 37, 200, 632, 1298, 1925, 3696, 1320, 3806, 143, 1160, 32, 70, 7, 0], [0, 10, 38, 181, 774, 704, 3520, 759, 5148, 242, 2486, 115, 318, 36, 4, 1], [0, 10, 38, 182, 763, 759, 3355, 1089, 4686, 704, 2156, 280, 263, 47, 3, 1], [0, 10, 38, 183, 752, 814, 3190, 1419, 4224, 1166, 1826, 445, 208, 58, 2, 1], [0, 10, 38, 183, 753, 803, 3245, 1254, 4554, 704, 2288, 115, 373, 3, 13, 0], [0, 10, 38, 184, 741, 869, 3025, 1749, 3762, 1628, 1496, 610, 153, 69, 1, 1], [0, 10, 38, 184, 742, 858, 3080, 1584, 4092, 1166, 1958, 280, 318, 14, 12, 0], [0, 10, 38, 185, 730, 924, 2860, 2079, 3300, 2090, 1166, 775, 98, 80, 0, 1], [0, 10, 38, 185, 731, 913, 2915, 1914, 3630, 1628, 1628, 445, 263, 25, 11, 0], [0, 10, 38, 186, 720, 968, 2750, 2244, 3168, 2090, 1298, 610, 208, 36, 10, 0], [0, 10, 38, 187, 709, 1023, 2585, 2574, 2706, 2552, 968, 775, 153, 47, 9, 0], [0, 10, 38, 188, 698, 1078, 2420, 2904, 2244, 3014, 638, 940, 98, 58, 8, 0], [0, 10, 38, 189, 687, 1133, 2255, 3234, 1782, 3476, 308, 1105, 43, 69, 7, 0], [0, 10, 39, 171, 818, 594, 3685, 627, 5148, 374, 2321, 225, 274, 46, 3, 1], [0, 10, 39, 172, 807, 649, 3520, 957, 4686, 836, 1991, 390, 219, 57, 2, 1], [0, 10, 39, 172, 808, 638, 3575, 792, 5016, 374, 2453, 60, 384, 2, 13, 0], [0, 10, 39, 173, 796, 704, 3355, 1287, 4224, 1298, 1661, 555, 164, 68, 1, 1], [0, 10, 39, 173, 797, 693, 3410, 1122, 4554, 836, 2123, 225, 329, 13, 12, 0], [0, 10, 39, 174, 785, 759, 3190, 1617, 3762, 1760, 1331, 720, 109, 79, 0, 1], [0, 10, 39, 174, 786, 748, 3245, 1452, 4092, 1298, 1793, 390, 274, 24, 11, 0], [0, 10, 39, 175, 775, 803, 3080, 1782, 3630, 1760, 1463, 555, 219, 35, 10, 0], [0, 10, 39, 176, 764, 858, 2915, 2112, 3168, 2222, 1133, 720, 164, 46, 9, 0], [0, 10, 39, 177, 753, 913, 2750, 2442, 2706, 2684, 803, 885, 109, 57, 8, 0], [0, 10, 39, 178, 742, 968, 2585, 2772, 2244, 3146, 473, 1050, 54, 68, 7, 0], [0, 10, 40, 160, 873, 429, 4015, 165, 5610, 44, 2486, 170, 285, 45, 3, 1], [0, 10, 40, 161, 862, 484, 3850, 495, 5148, 506, 2156, 335, 230, 56, 2, 1], [0, 10, 40, 161, 863, 473, 3905, 330, 5478, 44, 2618, 5, 395, 1, 13, 0], [0, 10, 40, 162, 851, 539, 3685, 825, 4686, 968, 1826, 500, 175, 67, 1, 1], [0, 10, 40, 162, 852, 528, 3740, 660, 5016, 506, 2288, 170, 340, 12, 12, 0], [0, 10, 40, 163, 840, 594, 3520, 1155, 4224, 1430, 1496, 665, 120, 78, 0, 1], [0, 10, 40, 163, 841, 583, 3575, 990, 4554, 968, 1958, 335, 285, 23, 11, 0], [0, 10, 40, 164, 830, 638, 3410, 1320, 4092, 1430, 1628, 500, 230, 34, 10, 0], [0, 10, 40, 165, 819, 693, 3245, 1650, 3630, 1892, 1298, 665, 175, 45, 9, 0], [0, 10, 40, 166, 808, 748, 3080, 1980, 3168, 2354, 968, 830, 120, 56, 8, 0], [0, 10, 40, 167, 797, 803, 2915, 2310, 2706, 2816, 638, 995, 65, 67, 7, 0], [0, 10, 40, 168, 786, 858, 2750, 2640, 2244, 3278, 308, 1160, 10, 78, 6, 0], [0, 10, 41, 150, 917, 319, 4180, 33, 5610, 176, 2321, 280, 241, 55, 2, 1], [0, 10, 41, 151, 906, 374, 4015, 363, 5148, 638, 1991, 445, 186, 66, 1, 1], [0, 10, 41, 151, 907, 363, 4070, 198, 5478, 176, 2453, 115, 351, 11, 12, 0], [0, 10, 41, 152, 895, 429, 3850, 693, 4686, 1100, 1661, 610, 131, 77, 0, 1], [0, 10, 41, 152, 896, 418, 3905, 528, 5016, 638, 2123, 280, 296, 22, 11, 0], [0, 10, 41, 153, 885, 473, 3740, 858, 4554, 1100, 1793, 445, 241, 33, 10, 0], [0, 10, 41, 154, 874, 528, 3575, 1188, 4092, 1562, 1463, 610, 186, 44, 9, 0], [0, 10, 41, 155, 863, 583, 3410, 1518, 3630, 2024, 1133, 775, 131, 55, 8, 0], [0, 10, 41, 156, 852, 638, 3245, 1848, 3168, 2486, 803, 940, 76, 66, 7, 0], [0, 10, 41, 157, 841, 693, 3080, 2178, 2706, 2948, 473, 1105, 21, 77, 6, 0], [0, 10, 42, 141, 950, 264, 4180, 231, 5148, 770, 1826, 555, 142, 76, 0, 1], [0, 10, 42, 141, 951, 253, 4235, 66, 5478, 308, 2288, 225, 307, 21, 11, 0], [0, 10, 42, 142, 940, 308, 4070, 396, 5016, 770, 1958, 390, 252, 32, 10, 0], [0, 10, 42, 143, 929, 363, 3905, 726, 4554, 1232, 1628, 555, 197, 43, 9, 0], [0, 10, 42, 144, 918, 418, 3740, 1056, 4092, 1694, 1298, 720, 142, 54, 8, 0], [0, 10, 42, 145, 907, 473, 3575, 1386, 3630, 2156, 968, 885, 87, 65, 7, 0], [0, 10, 42, 146, 896, 528, 3410, 1716, 3168, 2618, 638, 1050, 32, 76, 6, 0], [0, 10, 43, 132, 984, 198, 4235, 264, 5016, 902, 1793, 500, 208, 42, 9, 0], [0, 10, 43, 133, 973, 253, 4070, 594, 4554, 1364, 1463, 665, 153, 53, 8, 0], [0, 10, 43, 134, 962, 308, 3905, 924, 4092, 1826, 1133, 830, 98, 64, 7, 0], [0, 10, 43, 135, 951, 363, 3740, 1254, 3630, 2288, 803, 995, 43, 75, 6, 0], [0, 10, 44, 122, 1028, 88, 4400, 132, 5016, 1034, 1628, 610, 164, 52, 8, 0], [0, 10, 44, 123, 1017, 143, 4235, 462, 4554, 1496, 1298, 775, 109, 63, 7, 0], [0, 10, 44, 124, 1006, 198, 4070, 792, 4092, 1958, 968, 940, 54, 74, 6, 0], [0, 10, 45, 113, 1061, 33, 4400, 330, 4554, 1628, 1133, 885, 65, 73, 6, 0], [0, 10, 45, 114, 1050, 88, 4235, 660, 4092, 2090, 803, 1050, 10, 84, 5, 0], [0, 11, 16, 353, 48, 2629, 88, 4983, 1584, 2189, 1936, 71, 416, 3, 8, 1], [0, 11, 17, 342, 103, 2464, 418, 4521, 2046, 1859, 2101, 16, 427, 2, 8, 1], [0, 11, 17, 343, 92, 2519, 253, 4851, 1584, 2321, 1771, 181, 372, 13, 7, 1], [0, 11, 17, 344, 81, 2574, 88, 5181, 1122, 2783, 1441, 346, 317, 24, 6, 1], [0, 11, 18, 332, 147, 2354, 583, 4389, 2046, 1991, 1936, 126, 383, 12, 7, 1], [0, 11, 18, 333, 136, 2409, 418, 4719, 1584, 2453, 1606, 291, 328, 23, 6, 1], [0, 11, 18, 334, 125, 2464, 253, 5049, 1122, 2915, 1276, 456, 273, 34, 5, 1], [0, 11, 18, 335, 114, 2519, 88, 5379, 660, 3377, 946, 621, 218, 45, 4, 1], [0, 11, 19, 321, 202, 2189, 913, 3927, 2508, 1661, 2101, 71, 394, 11, 7, 1], [0, 11, 19, 322, 191, 2244, 748, 4257, 2046, 2123, 1771, 236, 339, 22, 6, 1], [0, 11, 19, 323, 180, 2299, 583, 4587, 1584, 2585, 1441, 401, 284, 33, 5, 1], [0, 11, 19, 324, 169, 2354, 418, 4917, 1122, 3047, 1111, 566, 229, 44, 4, 1], [0, 11, 19, 325, 158, 2409, 253, 5247, 660, 3509, 781, 731, 174, 55, 3, 1], [0, 11, 19, 325, 159, 2398, 308, 5082, 990, 3047, 1243, 401, 339, 0, 14, 0], [0, 11, 19, 326, 147, 2464, 88, 5577, 198, 3971, 451, 896, 119, 66, 2, 1], [0, 11, 19, 326, 148, 2453, 143, 5412, 528, 3509, 913, 566, 284, 11, 13, 0], [0, 11, 20, 310, 257, 2024, 1243, 3465, 2970, 1331, 2266, 16, 405, 10, 7, 1], [0, 11, 20, 311, 246, 2079, 1078, 3795, 2508, 1793, 1936, 181, 350, 21, 6, 1], [0, 11, 20, 312, 235, 2134, 913, 4125, 2046, 2255, 1606, 346, 295, 32, 5, 1], [0, 11, 20, 313, 224, 2189, 748, 4455, 1584, 2717, 1276, 511, 240, 43, 4, 1], [0, 11, 20, 314, 213, 2244, 583, 4785, 1122, 3179, 946, 676, 185, 54, 3, 1], [0, 11, 20, 315, 202, 2299, 418, 5115, 660, 3641, 616, 841, 130, 65, 2, 1], [0, 11, 20, 315, 203, 2288, 473, 4950, 990, 3179, 1078, 511, 295, 10, 13, 0], [0, 11, 20, 316, 191, 2354, 253, 5445, 198, 4103, 286, 1006, 75, 76, 1, 1], [0, 11, 20, 316, 192, 2343, 308, 5280, 528, 3641, 748, 676, 240, 21, 12, 0], [0, 11, 20, 317, 181, 2398, 143, 5610, 66, 4103, 418, 841, 185, 32, 11, 0], [0, 11, 21, 300, 301, 1914, 1408, 3333, 2970, 1463, 2101, 126, 361, 20, 6, 1], [0, 11, 21, 301, 290, 1969, 1243, 3663, 2508, 1925, 1771, 291, 306, 31, 5, 1], [0, 11, 21, 302, 279, 2024, 1078, 3993, 2046, 2387, 1441, 456, 251, 42, 4, 1], [0, 11, 21, 303, 268, 2079, 913, 4323, 1584, 2849, 1111, 621, 196, 53, 3, 1], [0, 11, 21, 304, 257, 2134, 748, 4653, 1122, 3311, 781, 786, 141, 64, 2, 1], [0, 11, 21, 304, 258, 2123, 803, 4488, 1452, 2849, 1243, 456, 306, 9, 13, 0], [0, 11, 21, 305, 246, 2189, 583, 4983, 660, 3773, 451, 951, 86, 75, 1, 1], [0, 11, 21, 305, 247, 2178, 638, 4818, 990, 3311, 913, 621, 251, 20, 12, 0], [0, 11, 21, 306, 235, 2244, 418, 5313, 198, 4235, 121, 1116, 31, 86, 0, 1], [0, 11, 21, 306, 236, 2233, 473, 5148, 528, 3773, 583, 786, 196, 31, 11, 0], [0, 11, 21, 307, 225, 2288, 308, 5478, 66, 4235, 253, 951, 141, 42, 10, 0], [0, 11, 22, 289, 356, 1749, 1738, 2871, 3432, 1133, 2266, 71, 372, 19, 6, 1], [0, 11, 22, 290, 345, 1804, 1573, 3201, 2970, 1595, 1936, 236, 317, 30, 5, 1], [0, 11, 22, 291, 334, 1859, 1408, 3531, 2508, 2057, 1606, 401, 262, 41, 4, 1], [0, 11, 22, 292, 323, 1914, 1243, 3861, 2046, 2519, 1276, 566, 207, 52, 3, 1], [0, 11, 22, 293, 312, 1969, 1078, 4191, 1584, 2981, 946, 731, 152, 63, 2, 1], [0, 11, 22, 293, 313, 1958, 1133, 4026, 1914, 2519, 1408, 401, 317, 8, 13, 0], [0, 11, 22, 294, 301, 2024, 913, 4521, 1122, 3443, 616, 896, 97, 74, 1, 1], [0, 11, 22, 294, 302, 2013, 968, 4356, 1452, 2981, 1078, 566, 262, 19, 12, 0], [0, 11, 22, 295, 290, 2079, 748, 4851, 660, 3905, 286, 1061, 42, 85, 0, 1], [0, 11, 22, 295, 291, 2068, 803, 4686, 990, 3443, 748, 731, 207, 30, 11, 0], [0, 11, 22, 296, 280, 2123, 638, 5016, 528, 3905, 418, 896, 152, 41, 10, 0], [0, 11, 22, 297, 269, 2178, 473, 5346, 66, 4367, 88, 1061, 97, 52, 9, 0], [0, 11, 23, 278, 411, 1584, 2068, 2409, 3894, 803, 2431, 16, 383, 18, 6, 1], [0, 11, 23, 279, 400, 1639, 1903, 2739, 3432, 1265, 2101, 181, 328, 29, 5, 1], [0, 11, 23, 280, 389, 1694, 1738, 3069, 2970, 1727, 1771, 346, 273, 40, 4, 1], [0, 11, 23, 281, 378, 1749, 1573, 3399, 2508, 2189, 1441, 511, 218, 51, 3, 1], [0, 11, 23, 282, 367, 1804, 1408, 3729, 2046, 2651, 1111, 676, 163, 62, 2, 1], [0, 11, 23, 282, 368, 1793, 1463, 3564, 2376, 2189, 1573, 346, 328, 7, 13, 0], [0, 11, 23, 283, 356, 1859, 1243, 4059, 1584, 3113, 781, 841, 108, 73, 1, 1], [0, 11, 23, 283, 357, 1848, 1298, 3894, 1914, 2651, 1243, 511, 273, 18, 12, 0], [0, 11, 23, 284, 345, 1914, 1078, 4389, 1122, 3575, 451, 1006, 53, 84, 0, 1], [0, 11, 23, 284, 346, 1903, 1133, 4224, 1452, 3113, 913, 676, 218, 29, 11, 0], [0, 11, 23, 285, 335, 1958, 968, 4554, 990, 3575, 583, 841, 163, 40, 10, 0], [0, 11, 23, 286, 324, 2013, 803, 4884, 528, 4037, 253, 1006, 108, 51, 9, 0], [0, 11, 24, 268, 455, 1474, 2233, 2277, 3894, 935, 2266, 126, 339, 28, 5, 1], [0, 11, 24, 269, 444, 1529, 2068, 2607, 3432, 1397, 1936, 291, 284, 39, 4, 1], [0, 11, 24, 270, 433, 1584, 1903, 2937, 2970, 1859, 1606, 456, 229, 50, 3, 1], [0, 11, 24, 271, 422, 1639, 1738, 3267, 2508, 2321, 1276, 621, 174, 61, 2, 1], [0, 11, 24, 271, 423, 1628, 1793, 3102, 2838, 1859, 1738, 291, 339, 6, 13, 0], [0, 11, 24, 272, 411, 1694, 1573, 3597, 2046, 2783, 946, 786, 119, 72, 1, 1], [0, 11, 24, 272, 412, 1683, 1628, 3432, 2376, 2321, 1408, 456, 284, 17, 12, 0], [0, 11, 24, 273, 400, 1749, 1408, 3927, 1584, 3245, 616, 951, 64, 83, 0, 1], [0, 11, 24, 273, 401, 1738, 1463, 3762, 1914, 2783, 1078, 621, 229, 28, 11, 0], [0, 11, 24, 274, 390, 1793, 1298, 4092, 1452, 3245, 748, 786, 174, 39, 10, 0], [0, 11, 24, 275, 379, 1848, 1133, 4422, 990, 3707, 418, 951, 119, 50, 9, 0], [0, 11, 24, 276, 368, 1903, 968, 4752, 528, 4169, 88, 1116, 64, 61, 8, 0], [0, 11, 25, 257, 510, 1309, 2563, 1815, 4356, 605, 2431, 71, 350, 27, 5, 1], [0, 11, 25, 258, 499, 1364, 2398, 2145, 3894, 1067, 2101, 236, 295, 38, 4, 1], [0, 11, 25, 259, 488, 1419, 2233, 2475, 3432, 1529, 1771, 401, 240, 49, 3, 1], [0, 11, 25, 260, 477, 1474, 2068, 2805, 2970, 1991, 1441, 566, 185, 60, 2, 1], [0, 11, 25, 260, 478, 1463, 2123, 2640, 3300, 1529, 1903, 236, 350, 5, 13, 0], [0, 11, 25, 261, 466, 1529, 1903, 3135, 2508, 2453, 1111, 731, 130, 71, 1, 1], [0, 11, 25, 261, 467, 1518, 1958, 2970, 2838, 1991, 1573, 401, 295, 16, 12, 0], [0, 11, 25, 262, 455, 1584, 1738, 3465, 2046, 2915, 781, 896, 75, 82, 0, 1], [0, 11, 25, 262, 456, 1573, 1793, 3300, 2376, 2453, 1243, 566, 240, 27, 11, 0], [0, 11, 25, 263, 445, 1628, 1628, 3630, 1914, 2915, 913, 731, 185, 38, 10, 0], [0, 11, 25, 264, 434, 1683, 1463, 3960, 1452, 3377, 583, 896, 130, 49, 9, 0], [0, 11, 25, 265, 423, 1738, 1298, 4290, 990, 3839, 253, 1061, 75, 60, 8, 0], [0, 11, 26, 246, 565, 1144, 2893, 1353, 4818, 275, 2596, 16, 361, 26, 5, 1], [0, 11, 26, 247, 554, 1199, 2728, 1683, 4356, 737, 2266, 181, 306, 37, 4, 1], [0, 11, 26, 248, 543, 1254, 2563, 2013, 3894, 1199, 1936, 346, 251, 48, 3, 1], [0, 11, 26, 249, 532, 1309, 2398, 2343, 3432, 1661, 1606, 511, 196, 59, 2, 1], [0, 11, 26, 249, 533, 1298, 2453, 2178, 3762, 1199, 2068, 181, 361, 4, 13, 0], [0, 11, 26, 250, 521, 1364, 2233, 2673, 2970, 2123, 1276, 676, 141, 70, 1, 1], [0, 11, 26, 250, 522, 1353, 2288, 2508, 3300, 1661, 1738, 346, 306, 15, 12, 0], [0, 11, 26, 251, 510, 1419, 2068, 3003, 2508, 2585, 946, 841, 86, 81, 0, 1], [0, 11, 26, 251, 511, 1408, 2123, 2838, 2838, 2123, 1408, 511, 251, 26, 11, 0], [0, 11, 26, 252, 500, 1463, 1958, 3168, 2376, 2585, 1078, 676, 196, 37, 10, 0], [0, 11, 26, 253, 489, 1518, 1793, 3498, 1914, 3047, 748, 841, 141, 48, 9, 0], [0, 11, 26, 254, 478, 1573, 1628, 3828, 1452, 3509, 418, 1006, 86, 59, 8, 0], [0, 11, 26, 255, 467, 1628, 1463, 4158, 990, 3971, 88, 1171, 31, 70, 7, 0], [0, 11, 27, 236, 609, 1034, 3058, 1221, 4818, 407, 2431, 126, 317, 36, 4, 1], [0, 11, 27, 237, 598, 1089, 2893, 1551, 4356, 869, 2101, 291, 262, 47, 3, 1], [0, 11, 27, 238, 587, 1144, 2728, 1881, 3894, 1331, 1771, 456, 207, 58, 2, 1], [0, 11, 27, 238, 588, 1133, 2783, 1716, 4224, 869, 2233, 126, 372, 3, 13, 0], [0, 11, 27, 239, 576, 1199, 2563, 2211, 3432, 1793, 1441, 621, 152, 69, 1, 1], [0, 11, 27, 239, 577, 1188, 2618, 2046, 3762, 1331, 1903, 291, 317, 14, 12, 0], [0, 11, 27, 240, 565, 1254, 2398, 2541, 2970, 2255, 1111, 786, 97, 80, 0, 1], [0, 11, 27, 240, 566, 1243, 2453, 2376, 3300, 1793, 1573, 456, 262, 25, 11, 0], [0, 11, 27, 241, 555, 1298, 2288, 2706, 2838, 2255, 1243, 621, 207, 36, 10, 0], [0, 11, 27, 242, 544, 1353, 2123, 3036, 2376, 2717, 913, 786, 152, 47, 9, 0], [0, 11, 27, 243, 533, 1408, 1958, 3366, 1914, 3179, 583, 951, 97, 58, 8, 0], [0, 11, 27, 244, 522, 1463, 1793, 3696, 1452, 3641, 253, 1116, 42, 69, 7, 0], [0, 11, 28, 225, 664, 869, 3388, 759, 5280, 77, 2596, 71, 328, 35, 4, 1], [0, 11, 28, 226, 653, 924, 3223, 1089, 4818, 539, 2266, 236, 273, 46, 3, 1], [0, 11, 28, 227, 642, 979, 3058, 1419, 4356, 1001, 1936, 401, 218, 57, 2, 1], [0, 11, 28, 227, 643, 968, 3113, 1254, 4686, 539, 2398, 71, 383, 2, 13, 0], [0, 11, 28, 228, 631, 1034, 2893, 1749, 3894, 1463, 1606, 566, 163, 68, 1, 1], [0, 11, 28, 228, 632, 1023, 2948, 1584, 4224, 1001, 2068, 236, 328, 13, 12, 0], [0, 11, 28, 229, 620, 1089, 2728, 2079, 3432, 1925, 1276, 731, 108, 79, 0, 1], [0, 11, 28, 229, 621, 1078, 2783, 1914, 3762, 1463, 1738, 401, 273, 24, 11, 0], [0, 11, 28, 230, 610, 1133, 2618, 2244, 3300, 1925, 1408, 566, 218, 35, 10, 0], [0, 11, 28, 231, 599, 1188, 2453, 2574, 2838, 2387, 1078, 731, 163, 46, 9, 0], [0, 11, 28, 232, 588, 1243, 2288, 2904, 2376, 2849, 748, 896, 108, 57, 8, 0], [0, 11, 28, 233, 577, 1298, 2123, 3234, 1914, 3311, 418, 1061, 53, 68, 7, 0], [0, 11, 29, 215, 708, 759, 3553, 627, 5280, 209, 2431, 181, 284, 45, 3, 1], [0, 11, 29, 216, 697, 814, 3388, 957, 4818, 671, 2101, 346, 229, 56, 2, 1], [0, 11, 29, 216, 698, 803, 3443, 792, 5148, 209, 2563, 16, 394, 1, 13, 0], [0, 11, 29, 217, 686, 869, 3223, 1287, 4356, 1133, 1771, 511, 174, 67, 1, 1], [0, 11, 29, 217, 687, 858, 3278, 1122, 4686, 671, 2233, 181, 339, 12, 12, 0], [0, 11, 29, 218, 675, 924, 3058, 1617, 3894, 1595, 1441, 676, 119, 78, 0, 1], [0, 11, 29, 218, 676, 913, 3113, 1452, 4224, 1133, 1903, 346, 284, 23, 11, 0], [0, 11, 29, 219, 665, 968, 2948, 1782, 3762, 1595, 1573, 511, 229, 34, 10, 0], [0, 11, 29, 220, 654, 1023, 2783, 2112, 3300, 2057, 1243, 676, 174, 45, 9, 0], [0, 11, 29, 221, 643, 1078, 2618, 2442, 2838, 2519, 913, 841, 119, 56, 8, 0], [0, 11, 29, 222, 632, 1133, 2453, 2772, 2376, 2981, 583, 1006, 64, 67, 7, 0], [0, 11, 29, 223, 621, 1188, 2288, 3102, 1914, 3443, 253, 1171, 9, 78, 6, 0], [0, 11, 30, 205, 752, 649, 3718, 495, 5280, 341, 2266, 291, 240, 55, 2, 1], [0, 11, 30, 206, 741, 704, 3553, 825, 4818, 803, 1936, 456, 185, 66, 1, 1], [0, 11, 30, 206, 742, 693, 3608, 660, 5148, 341, 2398, 126, 350, 11, 12, 0], [0, 11, 30, 207, 730, 759, 3388, 1155, 4356, 1265, 1606, 621, 130, 77, 0, 1], [0, 11, 30, 207, 731, 748, 3443, 990, 4686, 803, 2068, 291, 295, 22, 11, 0], [0, 11, 30, 208, 720, 803, 3278, 1320, 4224, 1265, 1738, 456, 240, 33, 10, 0], [0, 11, 30, 209, 709, 858, 3113, 1650, 3762, 1727, 1408, 621, 185, 44, 9, 0], [0, 11, 30, 210, 698, 913, 2948, 1980, 3300, 2189, 1078, 786, 130, 55, 8, 0], [0, 11, 30, 211, 687, 968, 2783, 2310, 2838, 2651, 748, 951, 75, 66, 7, 0], [0, 11, 30, 212, 676, 1023, 2618, 2640, 2376, 3113, 418, 1116, 20, 77, 6, 0], [0, 11, 31, 194, 807, 484, 4048, 33, 5742, 11, 2431, 236, 251, 54, 2, 1], [0, 11, 31, 195, 796, 539, 3883, 363, 5280, 473, 2101, 401, 196, 65, 1, 1], [0, 11, 31, 195, 797, 528, 3938, 198, 5610, 11, 2563, 71, 361, 10, 12, 0], [0, 11, 31, 196, 785, 594, 3718, 693, 4818, 935, 1771, 566, 141, 76, 0, 1], [0, 11, 31, 196, 786, 583, 3773, 528, 5148, 473, 2233, 236, 306, 21, 11, 0], [0, 11, 31, 197, 775, 638, 3608, 858, 4686, 935, 1903, 401, 251, 32, 10, 0], [0, 11, 31, 198, 764, 693, 3443, 1188, 4224, 1397, 1573, 566, 196, 43, 9, 0], [0, 11, 31, 199, 753, 748, 3278, 1518, 3762, 1859, 1243, 731, 141, 54, 8, 0], [0, 11, 31, 200, 742, 803, 3113, 1848, 3300, 2321, 913, 896, 86, 65, 7, 0], [0, 11, 31, 201, 731, 858, 2948, 2178, 2838, 2783, 583, 1061, 31, 76, 6, 0], [0, 11, 32, 185, 840, 429, 4048, 231, 5280, 605, 1936, 511, 152, 75, 0, 1], [0, 11, 32, 185, 841, 418, 4103, 66, 5610, 143, 2398, 181, 317, 20, 11, 0], [0, 11, 32, 186, 830, 473, 3938, 396, 5148, 605, 2068, 346, 262, 31, 10, 0], [0, 11, 32, 187, 819, 528, 3773, 726, 4686, 1067, 1738, 511, 207, 42, 9, 0], [0, 11, 32, 188, 808, 583, 3608, 1056, 4224, 1529, 1408, 676, 152, 53, 8, 0], [0, 11, 32, 189, 797, 638, 3443, 1386, 3762, 1991, 1078, 841, 97, 64, 7, 0], [0, 11, 32, 190, 786, 693, 3278, 1716, 3300, 2453, 748, 1006, 42, 75, 6, 0], [0, 11, 33, 176, 874, 363, 4103, 264, 5148, 737, 1903, 456, 218, 41, 9, 0], [0, 11, 33, 177, 863, 418, 3938, 594, 4686, 1199, 1573, 621, 163, 52, 8, 0], [0, 11, 33, 178, 852, 473, 3773, 924, 4224, 1661, 1243, 786, 108, 63, 7, 0], [0, 11, 33, 179, 841, 528, 3608, 1254, 3762, 2123, 913, 951, 53, 74, 6, 0], [0, 11, 34, 166, 918, 253, 4268, 132, 5148, 869, 1738, 566, 174, 51, 8, 0], [0, 11, 34, 167, 907, 308, 4103, 462, 4686, 1331, 1408, 731, 119, 62, 7, 0], [0, 11, 34, 168, 896, 363, 3938, 792, 4224, 1793, 1078, 896, 64, 73, 6, 0], [0, 11, 34, 169, 885, 418, 3773, 1122, 3762, 2255, 748, 1061, 9, 84, 5, 0], [0, 11, 35, 156, 962, 143, 4433, 0, 5148, 1001, 1573, 676, 130, 61, 7, 0], [0, 11, 35, 157, 951, 198, 4268, 330, 4686, 1463, 1243, 841, 75, 72, 6, 0], [0, 11, 35, 158, 940, 253, 4103, 660, 4224, 1925, 913, 1006, 20, 83, 5, 0], [0, 11, 36, 147, 995, 88, 4433, 198, 4686, 1595, 1078, 951, 31, 82, 5, 0], [0, 12, 8, 376, 37, 2519, 451, 4389, 2178, 1826, 2046, 82, 393, 11, 7, 1], [0, 12, 8, 377, 26, 2574, 286, 4719, 1716, 2288, 1716, 247, 338, 22, 6, 1], [0, 12, 8, 378, 15, 2629, 121, 5049, 1254, 2750, 1386, 412, 283, 33, 5, 1], [0, 12, 9, 365, 92, 2354, 781, 3927, 2640, 1496, 2211, 27, 404, 10, 7, 1], [0, 12, 9, 366, 81, 2409, 616, 4257, 2178, 1958, 1881, 192, 349, 21, 6, 1], [0, 12, 9, 367, 70, 2464, 451, 4587, 1716, 2420, 1551, 357, 294, 32, 5, 1], [0, 12, 9, 368, 59, 2519, 286, 4917, 1254, 2882, 1221, 522, 239, 43, 4, 1], [0, 12, 9, 369, 48, 2574, 121, 5247, 792, 3344, 891, 687, 184, 54, 3, 1], [0, 12, 9, 370, 38, 2618, 11, 5412, 660, 3344, 1023, 522, 294, 10, 13, 0], [0, 12, 10, 355, 136, 2244, 946, 3795, 2640, 1628, 2046, 137, 360, 20, 6, 1], [0, 12, 10, 356, 125, 2299, 781, 4125, 2178, 2090, 1716, 302, 305, 31, 5, 1], [0, 12, 10, 357, 114, 2354, 616, 4455, 1716, 2552, 1386, 467, 250, 42, 4, 1], [0, 12, 10, 358, 103, 2409, 451, 4785, 1254, 3014, 1056, 632, 195, 53, 3, 1], [0, 12, 10, 359, 92, 2464, 286, 5115, 792, 3476, 726, 797, 140, 64, 2, 1], [0, 12, 10, 359, 93, 2453, 341, 4950, 1122, 3014, 1188, 467, 305, 9, 13, 0], [0, 12, 10, 360, 81, 2519, 121, 5445, 330, 3938, 396, 962, 85, 75, 1, 1], [0, 12, 10, 360, 82, 2508, 176, 5280, 660, 3476, 858, 632, 250, 20, 12, 0], [0, 12, 10, 361, 71, 2563, 11, 5610, 198, 3938, 528, 797, 195, 31, 11, 0], [0, 12, 11, 344, 191, 2079, 1276, 3333, 3102, 1298, 2211, 82, 371, 19, 6, 1], [0, 12, 11, 345, 180, 2134, 1111, 3663, 2640, 1760, 1881, 247, 316, 30, 5, 1], [0, 12, 11, 346, 169, 2189, 946, 3993, 2178, 2222, 1551, 412, 261, 41, 4, 1], [0, 12, 11, 347, 158, 2244, 781, 4323, 1716, 2684, 1221, 577, 206, 52, 3, 1], [0, 12, 11, 348, 147, 2299, 616, 4653, 1254, 3146, 891, 742, 151, 63, 2, 1], [0, 12, 11, 348, 148, 2288, 671, 4488, 1584, 2684, 1353, 412, 316, 8, 13, 0], [0, 12, 11, 349, 136, 2354, 451, 4983, 792, 3608, 561, 907, 96, 74, 1, 1], [0, 12, 11, 349, 137, 2343, 506, 4818, 1122, 3146, 1023, 577, 261, 19, 12, 0], [0, 12, 11, 350, 125, 2409, 286, 5313, 330, 4070, 231, 1072, 41, 85, 0, 1], [0, 12, 11, 350, 126, 2398, 341, 5148, 660, 3608, 693, 742, 206, 30, 11, 0], [0, 12, 11, 351, 115, 2453, 176, 5478, 198, 4070, 363, 907, 151, 41, 10, 0], [0, 12, 12, 333, 246, 1914, 1606, 2871, 3564, 968, 2376, 27, 382, 18, 6, 1], [0, 12, 12, 334, 235, 1969, 1441, 3201, 3102, 1430, 2046, 192, 327, 29, 5, 1], [0, 12, 12, 335, 224, 2024, 1276, 3531, 2640, 1892, 1716, 357, 272, 40, 4, 1], [0, 12, 12, 336, 213, 2079, 1111, 3861, 2178, 2354, 1386, 522, 217, 51, 3, 1], [0, 12, 12, 337, 202, 2134, 946, 4191, 1716, 2816, 1056, 687, 162, 62, 2, 1], [0, 12, 12, 337, 203, 2123, 1001, 4026, 2046, 2354, 1518, 357, 327, 7, 13, 0], [0, 12, 12, 338, 191, 2189, 781, 4521, 1254, 3278, 726, 852, 107, 73, 1, 1], [0, 12, 12, 338, 192, 2178, 836, 4356, 1584, 2816, 1188, 522, 272, 18, 12, 0], [0, 12, 12, 339, 180, 2244, 616, 4851, 792, 3740, 396, 1017, 52, 84, 0, 1], [0, 12, 12, 339, 181, 2233, 671, 4686, 1122, 3278, 858, 687, 217, 29, 11, 0], [0, 12, 12, 340, 170, 2288, 506, 5016, 660, 3740, 528, 852, 162, 40, 10, 0], [0, 12, 12, 341, 159, 2343, 341, 5346, 198, 4202, 198, 1017, 107, 51, 9, 0], [0, 12, 13, 323, 290, 1804, 1771, 2739, 3564, 1100, 2211, 137, 338, 28, 5, 1], [0, 12, 13, 324, 279, 1859, 1606, 3069, 3102, 1562, 1881, 302, 283, 39, 4, 1], [0, 12, 13, 325, 268, 1914, 1441, 3399, 2640, 2024, 1551, 467, 228, 50, 3, 1], [0, 12, 13, 326, 257, 1969, 1276, 3729, 2178, 2486, 1221, 632, 173, 61, 2, 1], [0, 12, 13, 326, 258, 1958, 1331, 3564, 2508, 2024, 1683, 302, 338, 6, 13, 0], [0, 12, 13, 327, 246, 2024, 1111, 4059, 1716, 2948, 891, 797, 118, 72, 1, 1], [0, 12, 13, 327, 247, 2013, 1166, 3894, 2046, 2486, 1353, 467, 283, 17, 12, 0], [0, 12, 13, 328, 235, 2079, 946, 4389, 1254, 3410, 561, 962, 63, 83, 0, 1], [0, 12, 13, 328, 236, 2068, 1001, 4224, 1584, 2948, 1023, 632, 228, 28, 11, 0], [0, 12, 13, 329, 225, 2123, 836, 4554, 1122, 3410, 693, 797, 173, 39, 10, 0], [0, 12, 13, 330, 214, 2178, 671, 4884, 660, 3872, 363, 962, 118, 50, 9, 0], [0, 12, 13, 331, 203, 2233, 506, 5214, 198, 4334, 33, 1127, 63, 61, 8, 0], [0, 12, 14, 312, 345, 1639, 2101, 2277, 4026, 770, 2376, 82, 349, 27, 5, 1], [0, 12, 14, 313, 334, 1694, 1936, 2607, 3564, 1232, 2046, 247, 294, 38, 4, 1], [0, 12, 14, 314, 323, 1749, 1771, 2937, 3102, 1694, 1716, 412, 239, 49, 3, 1], [0, 12, 14, 315, 312, 1804, 1606, 3267, 2640, 2156, 1386, 577, 184, 60, 2, 1], [0, 12, 14, 315, 313, 1793, 1661, 3102, 2970, 1694, 1848, 247, 349, 5, 13, 0], [0, 12, 14, 316, 301, 1859, 1441, 3597, 2178, 2618, 1056, 742, 129, 71, 1, 1], [0, 12, 14, 316, 302, 1848, 1496, 3432, 2508, 2156, 1518, 412, 294, 16, 12, 0], [0, 12, 14, 317, 290, 1914, 1276, 3927, 1716, 3080, 726, 907, 74, 82, 0, 1], [0, 12, 14, 317, 291, 1903, 1331, 3762, 2046, 2618, 1188, 577, 239, 27, 11, 0], [0, 12, 14, 318, 280, 1958, 1166, 4092, 1584, 3080, 858, 742, 184, 38, 10, 0], [0, 12, 14, 319, 269, 2013, 1001, 4422, 1122, 3542, 528, 907, 129, 49, 9, 0], [0, 12, 14, 320, 258, 2068, 836, 4752, 660, 4004, 198, 1072, 74, 60, 8, 0], [0, 12, 15, 301, 400, 1474, 2431, 1815, 4488, 440, 2541, 27, 360, 26, 5, 1], [0, 12, 15, 302, 389, 1529, 2266, 2145, 4026, 902, 2211, 192, 305, 37, 4, 1], [0, 12, 15, 303, 378, 1584, 2101, 2475, 3564, 1364, 1881, 357, 250, 48, 3, 1], [0, 12, 15, 304, 367, 1639, 1936, 2805, 3102, 1826, 1551, 522, 195, 59, 2, 1], [0, 12, 15, 304, 368, 1628, 1991, 2640, 3432, 1364, 2013, 192, 360, 4, 13, 0], [0, 12, 15, 305, 356, 1694, 1771, 3135, 2640, 2288, 1221, 687, 140, 70, 1, 1], [0, 12, 15, 305, 357, 1683, 1826, 2970, 2970, 1826, 1683, 357, 305, 15, 12, 0], [0, 12, 15, 306, 345, 1749, 1606, 3465, 2178, 2750, 891, 852, 85, 81, 0, 1], [0, 12, 15, 306, 346, 1738, 1661, 3300, 2508, 2288, 1353, 522, 250, 26, 11, 0], [0, 12, 15, 307, 335, 1793, 1496, 3630, 2046, 2750, 1023, 687, 195, 37, 10, 0], [0, 12, 15, 308, 324, 1848, 1331, 3960, 1584, 3212, 693, 852, 140, 48, 9, 0], [0, 12, 15, 309, 313, 1903, 1166, 4290, 1122, 3674, 363, 1017, 85, 59, 8, 0], [0, 12, 15, 310, 302, 1958, 1001, 4620, 660, 4136, 33, 1182, 30, 70, 7, 0], [0, 12, 16, 291, 444, 1364, 2596, 1683, 4488, 572, 2376, 137, 316, 36, 4, 1], [0, 12, 16, 292, 433, 1419, 2431, 2013, 4026, 1034, 2046, 302, 261, 47, 3, 1], [0, 12, 16, 293, 422, 1474, 2266, 2343, 3564, 1496, 1716, 467, 206, 58, 2, 1], [0, 12, 16, 293, 423, 1463, 2321, 2178, 3894, 1034, 2178, 137, 371, 3, 13, 0], [0, 12, 16, 294, 411, 1529, 2101, 2673, 3102, 1958, 1386, 632, 151, 69, 1, 1], [0, 12, 16, 294, 412, 1518, 2156, 2508, 3432, 1496, 1848, 302, 316, 14, 12, 0], [0, 12, 16, 295, 400, 1584, 1936, 3003, 2640, 2420, 1056, 797, 96, 80, 0, 1], [0, 12, 16, 295, 401, 1573, 1991, 2838, 2970, 1958, 1518, 467, 261, 25, 11, 0], [0, 12, 16, 296, 390, 1628, 1826, 3168, 2508, 2420, 1188, 632, 206, 36, 10, 0], [0, 12, 16, 297, 379, 1683, 1661, 3498, 2046, 2882, 858, 797, 151, 47, 9, 0], [0, 12, 16, 298, 368, 1738, 1496, 3828, 1584, 3344, 528, 962, 96, 58, 8, 0], [0, 12, 16, 299, 357, 1793, 1331, 4158, 1122, 3806, 198, 1127, 41, 69, 7, 0], [0, 12, 17, 280, 499, 1199, 2926, 1221, 4950, 242, 2541, 82, 327, 35, 4, 1], [0, 12, 17, 281, 488, 1254, 2761, 1551, 4488, 704, 2211, 247, 272, 46, 3, 1], [0, 12, 17, 282, 477, 1309, 2596, 1881, 4026, 1166, 1881, 412, 217, 57, 2, 1], [0, 12, 17, 282, 478, 1298, 2651, 1716, 4356, 704, 2343, 82, 382, 2, 13, 0], [0, 12, 17, 283, 466, 1364, 2431, 2211, 3564, 1628, 1551, 577, 162, 68, 1, 1], [0, 12, 17, 283, 467, 1353, 2486, 2046, 3894, 1166, 2013, 247, 327, 13, 12, 0], [0, 12, 17, 284, 455, 1419, 2266, 2541, 3102, 2090, 1221, 742, 107, 79, 0, 1], [0, 12, 17, 284, 456, 1408, 2321, 2376, 3432, 1628, 1683, 412, 272, 24, 11, 0], [0, 12, 17, 285, 445, 1463, 2156, 2706, 2970, 2090, 1353, 577, 217, 35, 10, 0], [0, 12, 17, 286, 434, 1518, 1991, 3036, 2508, 2552, 1023, 742, 162, 46, 9, 0], [0, 12, 17, 287, 423, 1573, 1826, 3366, 2046, 3014, 693, 907, 107, 57, 8, 0], [0, 12, 17, 288, 412, 1628, 1661, 3696, 1584, 3476, 363, 1072, 52, 68, 7, 0], [0, 12, 18, 270, 543, 1089, 3091, 1089, 4950, 374, 2376, 192, 283, 45, 3, 1], [0, 12, 18, 271, 532, 1144, 2926, 1419, 4488, 836, 2046, 357, 228, 56, 2, 1], [0, 12, 18, 271, 533, 1133, 2981, 1254, 4818, 374, 2508, 27, 393, 1, 13, 0], [0, 12, 18, 272, 521, 1199, 2761, 1749, 4026, 1298, 1716, 522, 173, 67, 1, 1], [0, 12, 18, 272, 522, 1188, 2816, 1584, 4356, 836, 2178, 192, 338, 12, 12, 0], [0, 12, 18, 273, 510, 1254, 2596, 2079, 3564, 1760, 1386, 687, 118, 78, 0, 1], [0, 12, 18, 273, 511, 1243, 2651, 1914, 3894, 1298, 1848, 357, 283, 23, 11, 0], [0, 12, 18, 274, 500, 1298, 2486, 2244, 3432, 1760, 1518, 522, 228, 34, 10, 0], [0, 12, 18, 275, 489, 1353, 2321, 2574, 2970, 2222, 1188, 687, 173, 45, 9, 0], [0, 12, 18, 276, 478, 1408, 2156, 2904, 2508, 2684, 858, 852, 118, 56, 8, 0], [0, 12, 18, 277, 467, 1463, 1991, 3234, 2046, 3146, 528, 1017, 63, 67, 7, 0], [0, 12, 18, 278, 456, 1518, 1826, 3564, 1584, 3608, 198, 1182, 8, 78, 6, 0], [0, 12, 19, 259, 598, 924, 3421, 627, 5412, 44, 2541, 137, 294, 44, 3, 1], [0, 12, 19, 260, 587, 979, 3256, 957, 4950, 506, 2211, 302, 239, 55, 2, 1], [0, 12, 19, 261, 576, 1034, 3091, 1287, 4488, 968, 1881, 467, 184, 66, 1, 1], [0, 12, 19, 261, 577, 1023, 3146, 1122, 4818, 506, 2343, 137, 349, 11, 12, 0], [0, 12, 19, 262, 565, 1089, 2926, 1617, 4026, 1430, 1551, 632, 129, 77, 0, 1], [0, 12, 19, 262, 566, 1078, 2981, 1452, 4356, 968, 2013, 302, 294, 22, 11, 0], [0, 12, 19, 263, 555, 1133, 2816, 1782, 3894, 1430, 1683, 467, 239, 33, 10, 0], [0, 12, 19, 264, 544, 1188, 2651, 2112, 3432, 1892, 1353, 632, 184, 44, 9, 0], [0, 12, 19, 265, 533, 1243, 2486, 2442, 2970, 2354, 1023, 797, 129, 55, 8, 0], [0, 12, 19, 266, 522, 1298, 2321, 2772, 2508, 2816, 693, 962, 74, 66, 7, 0], [0, 12, 19, 267, 511, 1353, 2156, 3102, 2046, 3278, 363, 1127, 19, 77, 6, 0], [0, 12, 20, 249, 642, 814, 3586, 495, 5412, 176, 2376, 247, 250, 54, 2, 1], [0, 12, 20, 250, 631, 869, 3421, 825, 4950, 638, 2046, 412, 195, 65, 1, 1], [0, 12, 20, 250, 632, 858, 3476, 660, 5280, 176, 2508, 82, 360, 10, 12, 0], [0, 12, 20, 251, 620, 924, 3256, 1155, 4488, 1100, 1716, 577, 140, 76, 0, 1], [0, 12, 20, 251, 621, 913, 3311, 990, 4818, 638, 2178, 247, 305, 21, 11, 0], [0, 12, 20, 252, 610, 968, 3146, 1320, 4356, 1100, 1848, 412, 250, 32, 10, 0], [0, 12, 20, 253, 599, 1023, 2981, 1650, 3894, 1562, 1518, 577, 195, 43, 9, 0], [0, 12, 20, 254, 588, 1078, 2816, 1980, 3432, 2024, 1188, 742, 140, 54, 8, 0], [0, 12, 20, 255, 577, 1133, 2651, 2310, 2970, 2486, 858, 907, 85, 65, 7, 0], [0, 12, 20, 256, 566, 1188, 2486, 2640, 2508, 2948, 528, 1072, 30, 76, 6, 0], [0, 12, 21, 239, 686, 704, 3751, 363, 5412, 308, 2211, 357, 206, 64, 1, 1], [0, 12, 21, 240, 675, 759, 3586, 693, 4950, 770, 1881, 522, 151, 75, 0, 1], [0, 12, 21, 240, 676, 748, 3641, 528, 5280, 308, 2343, 192, 316, 20, 11, 0], [0, 12, 21, 241, 665, 803, 3476, 858, 4818, 770, 2013, 357, 261, 31, 10, 0], [0, 12, 21, 242, 654, 858, 3311, 1188, 4356, 1232, 1683, 522, 206, 42, 9, 0], [0, 12, 21, 243, 643, 913, 3146, 1518, 3894, 1694, 1353, 687, 151, 53, 8, 0], [0, 12, 21, 244, 632, 968, 2981, 1848, 3432, 2156, 1023, 852, 96, 64, 7, 0], [0, 12, 21, 245, 621, 1023, 2816, 2178, 2970, 2618, 693, 1017, 41, 75, 6, 0], [0, 12, 22, 229, 730, 594, 3916, 231, 5412, 440, 2046, 467, 162, 74, 0, 1], [0, 12, 22, 230, 720, 638, 3806, 396, 5280, 440, 2178, 302, 272, 30, 10, 0], [0, 12, 22, 231, 709, 693, 3641, 726, 4818, 902, 1848, 467, 217, 41, 9, 0], [0, 12, 22, 232, 698, 748, 3476, 1056, 4356, 1364, 1518, 632, 162, 52, 8, 0], [0, 12, 22, 233, 687, 803, 3311, 1386, 3894, 1826, 1188, 797, 107, 63, 7, 0], [0, 12, 22, 234, 676, 858, 3146, 1716, 3432, 2288, 858, 962, 52, 74, 6, 0], [0, 12, 23, 220, 764, 528, 3971, 264, 5280, 572, 2013, 412, 228, 40, 9, 0], [0, 12, 23, 221, 753, 583, 3806, 594, 4818, 1034, 1683, 577, 173, 51, 8, 0], [0, 12, 23, 222, 742, 638, 3641, 924, 4356, 1496, 1353, 742, 118, 62, 7, 0], [0, 12, 23, 223, 731, 693, 3476, 1254, 3894, 1958, 1023, 907, 63, 73, 6, 0], [0, 12, 23, 224, 720, 748, 3311, 1584, 3432, 2420, 693, 1072, 8, 84, 5, 0], [0, 12, 24, 210, 808, 418, 4136, 132, 5280, 704, 1848, 522, 184, 50, 8, 0], [0, 12, 24, 211, 797, 473, 3971, 462, 4818, 1166, 1518, 687, 129, 61, 7, 0], [0, 12, 24, 212, 786, 528, 3806, 792, 4356, 1628, 1188, 852, 74, 72, 6, 0], [0, 12, 24, 213, 775, 583, 3641, 1122, 3894, 2090, 858, 1017, 19, 83, 5, 0], [0, 12, 25, 200, 852, 308, 4301, 0, 5280, 836, 1683, 632, 140, 60, 7, 0], [0, 12, 25, 201, 841, 363, 4136, 330, 4818, 1298, 1353, 797, 85, 71, 6, 0], [0, 12, 25, 202, 830, 418, 3971, 660, 4356, 1760, 1023, 962, 30, 82, 5, 0], [0, 12, 26, 191, 885, 253, 4301, 198, 4818, 1430, 1188, 907, 41, 81, 5, 0], [0, 13, 0, 399, 26, 2409, 814, 3795, 2772, 1463, 2156, 93, 370, 19, 6, 1], [0, 13, 0, 400, 15, 2464, 649, 4125, 2310, 1925, 1826, 258, 315, 30, 5, 1], [0, 13, 0, 401, 4, 2519, 484, 4455, 1848, 2387, 1496, 423, 260, 41, 4, 1], [0, 13, 1, 388, 81, 2244, 1144, 3333, 3234, 1133, 2321, 38, 381, 18, 6, 1], [0, 13, 1, 389, 70, 2299, 979, 3663, 2772, 1595, 1991, 203, 326, 29, 5, 1], [0, 13, 1, 390, 59, 2354, 814, 3993, 2310, 2057, 1661, 368, 271, 40, 4, 1], [0, 13, 1, 391, 48, 2409, 649, 4323, 1848, 2519, 1331, 533, 216, 51, 3, 1], [0, 13, 1, 392, 37, 2464, 484, 4653, 1386, 2981, 1001, 698, 161, 62, 2, 1], [0, 13, 1, 392, 38, 2453, 539, 4488, 1716, 2519, 1463, 368, 326, 7, 13, 0], [0, 13, 1, 393, 26, 2519, 319, 4983, 924, 3443, 671, 863, 106, 73, 1, 1], [0, 13, 1, 393, 27, 2508, 374, 4818, 1254, 2981, 1133, 533, 271, 18, 12, 0], [0, 13, 1, 394, 15, 2574, 154, 5313, 462, 3905, 341, 1028, 51, 84, 0, 1], [0, 13, 1, 394, 16, 2563, 209, 5148, 792, 3443, 803, 698, 216, 29, 11, 0], [0, 13, 1, 395, 5, 2618, 44, 5478, 330, 3905, 473, 863, 161, 40, 10, 0], [0, 13, 2, 378, 125, 2134, 1309, 3201, 3234, 1265, 2156, 148, 337, 28, 5, 1], [0, 13, 2, 379, 114, 2189, 1144, 3531, 2772, 1727, 1826, 313, 282, 39, 4, 1], [0, 13, 2, 380, 103, 2244, 979, 3861, 2310, 2189, 1496, 478, 227, 50, 3, 1], [0, 13, 2, 381, 92, 2299, 814, 4191, 1848, 2651, 1166, 643, 172, 61, 2, 1], [0, 13, 2, 381, 93, 2288, 869, 4026, 2178, 2189, 1628, 313, 337, 6, 13, 0], [0, 13, 2, 382, 81, 2354, 649, 4521, 1386, 3113, 836, 808, 117, 72, 1, 1], [0, 13, 2, 382, 82, 2343, 704, 4356, 1716, 2651, 1298, 478, 282, 17, 12, 0], [0, 13, 2, 383, 70, 2409, 484, 4851, 924, 3575, 506, 973, 62, 83, 0, 1], [0, 13, 2, 383, 71, 2398, 539, 4686, 1254, 3113, 968, 643, 227, 28, 11, 0], [0, 13, 2, 384, 60, 2453, 374, 5016, 792, 3575, 638, 808, 172, 39, 10, 0], [0, 13, 2, 385, 49, 2508, 209, 5346, 330, 4037, 308, 973, 117, 50, 9, 0], [0, 13, 3, 367, 180, 1969, 1639, 2739, 3696, 935, 2321, 93, 348, 27, 5, 1], [0, 13, 3, 368, 169, 2024, 1474, 3069, 3234, 1397, 1991, 258, 293, 38, 4, 1], [0, 13, 3, 369, 158, 2079, 1309, 3399, 2772, 1859, 1661, 423, 238, 49, 3, 1], [0, 13, 3, 370, 147, 2134, 1144, 3729, 2310, 2321, 1331, 588, 183, 60, 2, 1], [0, 13, 3, 370, 148, 2123, 1199, 3564, 2640, 1859, 1793, 258, 348, 5, 13, 0], [0, 13, 3, 371, 136, 2189, 979, 4059, 1848, 2783, 1001, 753, 128, 71, 1, 1], [0, 13, 3, 371, 137, 2178, 1034, 3894, 2178, 2321, 1463, 423, 293, 16, 12, 0], [0, 13, 3, 372, 125, 2244, 814, 4389, 1386, 3245, 671, 918, 73, 82, 0, 1], [0, 13, 3, 372, 126, 2233, 869, 4224, 1716, 2783, 1133, 588, 238, 27, 11, 0], [0, 13, 3, 373, 115, 2288, 704, 4554, 1254, 3245, 803, 753, 183, 38, 10, 0], [0, 13, 3, 374, 104, 2343, 539, 4884, 792, 3707, 473, 918, 128, 49, 9, 0], [0, 13, 3, 375, 93, 2398, 374, 5214, 330, 4169, 143, 1083, 73, 60, 8, 0], [0, 13, 4, 356, 235, 1804, 1969, 2277, 4158, 605, 2486, 38, 359, 26, 5, 1], [0, 13, 4, 357, 224, 1859, 1804, 2607, 3696, 1067, 2156, 203, 304, 37, 4, 1], [0, 13, 4, 358, 213, 1914, 1639, 2937, 3234, 1529, 1826, 368, 249, 48, 3, 1], [0, 13, 4, 359, 202, 1969, 1474, 3267, 2772, 1991, 1496, 533, 194, 59, 2, 1], [0, 13, 4, 359, 203, 1958, 1529, 3102, 3102, 1529, 1958, 203, 359, 4, 13, 0], [0, 13, 4, 360, 191, 2024, 1309, 3597, 2310, 2453, 1166, 698, 139, 70, 1, 1], [0, 13, 4, 360, 192, 2013, 1364, 3432, 2640, 1991, 1628, 368, 304, 15, 12, 0], [0, 13, 4, 361, 180, 2079, 1144, 3927, 1848, 2915, 836, 863, 84, 81, 0, 1], [0, 13, 4, 361, 181, 2068, 1199, 3762, 2178, 2453, 1298, 533, 249, 26, 11, 0], [0, 13, 4, 362, 170, 2123, 1034, 4092, 1716, 2915, 968, 698, 194, 37, 10, 0], [0, 13, 4, 363, 159, 2178, 869, 4422, 1254, 3377, 638, 863, 139, 48, 9, 0], [0, 13, 4, 364, 148, 2233, 704, 4752, 792, 3839, 308, 1028, 84, 59, 8, 0], [0, 13, 5, 346, 279, 1694, 2134, 2145, 4158, 737, 2321, 148, 315, 36, 4, 1], [0, 13, 5, 347, 268, 1749, 1969, 2475, 3696, 1199, 1991, 313, 260, 47, 3, 1], [0, 13, 5, 348, 257, 1804, 1804, 2805, 3234, 1661, 1661, 478, 205, 58, 2, 1], [0, 13, 5, 348, 258, 1793, 1859, 2640, 3564, 1199, 2123, 148, 370, 3, 13, 0], [0, 13, 5, 349, 246, 1859, 1639, 3135, 2772, 2123, 1331, 643, 150, 69, 1, 1], [0, 13, 5, 349, 247, 1848, 1694, 2970, 3102, 1661, 1793, 313, 315, 14, 12, 0], [0, 13, 5, 350, 235, 1914, 1474, 3465, 2310, 2585, 1001, 808, 95, 80, 0, 1], [0, 13, 5, 350, 236, 1903, 1529, 3300, 2640, 2123, 1463, 478, 260, 25, 11, 0], [0, 13, 5, 351, 225, 1958, 1364, 3630, 2178, 2585, 1133, 643, 205, 36, 10, 0], [0, 13, 5, 352, 214, 2013, 1199, 3960, 1716, 3047, 803, 808, 150, 47, 9, 0], [0, 13, 5, 353, 203, 2068, 1034, 4290, 1254, 3509, 473, 973, 95, 58, 8, 0], [0, 13, 5, 354, 192, 2123, 869, 4620, 792, 3971, 143, 1138, 40, 69, 7, 0], [0, 13, 6, 335, 334, 1529, 2464, 1683, 4620, 407, 2486, 93, 326, 35, 4, 1], [0, 13, 6, 336, 323, 1584, 2299, 2013, 4158, 869, 2156, 258, 271, 46, 3, 1], [0, 13, 6, 337, 312, 1639, 2134, 2343, 3696, 1331, 1826, 423, 216, 57, 2, 1], [0, 13, 6, 337, 313, 1628, 2189, 2178, 4026, 869, 2288, 93, 381, 2, 13, 0], [0, 13, 6, 338, 301, 1694, 1969, 2673, 3234, 1793, 1496, 588, 161, 68, 1, 1], [0, 13, 6, 338, 302, 1683, 2024, 2508, 3564, 1331, 1958, 258, 326, 13, 12, 0], [0, 13, 6, 339, 290, 1749, 1804, 3003, 2772, 2255, 1166, 753, 106, 79, 0, 1], [0, 13, 6, 339, 291, 1738, 1859, 2838, 3102, 1793, 1628, 423, 271, 24, 11, 0], [0, 13, 6, 340, 280, 1793, 1694, 3168, 2640, 2255, 1298, 588, 216, 35, 10, 0], [0, 13, 6, 341, 269, 1848, 1529, 3498, 2178, 2717, 968, 753, 161, 46, 9, 0], [0, 13, 6, 342, 258, 1903, 1364, 3828, 1716, 3179, 638, 918, 106, 57, 8, 0], [0, 13, 6, 343, 247, 1958, 1199, 4158, 1254, 3641, 308, 1083, 51, 68, 7, 0], [0, 13, 7, 324, 389, 1364, 2794, 1221, 5082, 77, 2651, 38, 337, 34, 4, 1], [0, 13, 7, 325, 378, 1419, 2629, 1551, 4620, 539, 2321, 203, 282, 45, 3, 1], [0, 13, 7, 326, 367, 1474, 2464, 1881, 4158, 1001, 1991, 368, 227, 56, 2, 1], [0, 13, 7, 326, 368, 1463, 2519, 1716, 4488, 539, 2453, 38, 392, 1, 13, 0], [0, 13, 7, 327, 356, 1529, 2299, 2211, 3696, 1463, 1661, 533, 172, 67, 1, 1], [0, 13, 7, 327, 357, 1518, 2354, 2046, 4026, 1001, 2123, 203, 337, 12, 12, 0], [0, 13, 7, 328, 345, 1584, 2134, 2541, 3234, 1925, 1331, 698, 117, 78, 0, 1], [0, 13, 7, 328, 346, 1573, 2189, 2376, 3564, 1463, 1793, 368, 282, 23, 11, 0], [0, 13, 7, 329, 335, 1628, 2024, 2706, 3102, 1925, 1463, 533, 227, 34, 10, 0], [0, 13, 7, 330, 324, 1683, 1859, 3036, 2640, 2387, 1133, 698, 172, 45, 9, 0], [0, 13, 7, 331, 313, 1738, 1694, 3366, 2178, 2849, 803, 863, 117, 56, 8, 0], [0, 13, 7, 332, 302, 1793, 1529, 3696, 1716, 3311, 473, 1028, 62, 67, 7, 0], [0, 13, 7, 333, 291, 1848, 1364, 4026, 1254, 3773, 143, 1193, 7, 78, 6, 0], [0, 13, 8, 314, 433, 1254, 2959, 1089, 5082, 209, 2486, 148, 293, 44, 3, 1], [0, 13, 8, 315, 422, 1309, 2794, 1419, 4620, 671, 2156, 313, 238, 55, 2, 1], [0, 13, 8, 316, 411, 1364, 2629, 1749, 4158, 1133, 1826, 478, 183, 66, 1, 1], [0, 13, 8, 316, 412, 1353, 2684, 1584, 4488, 671, 2288, 148, 348, 11, 12, 0], [0, 13, 8, 317, 400, 1419, 2464, 2079, 3696, 1595, 1496, 643, 128, 77, 0, 1], [0, 13, 8, 317, 401, 1408, 2519, 1914, 4026, 1133, 1958, 313, 293, 22, 11, 0], [0, 13, 8, 318, 390, 1463, 2354, 2244, 3564, 1595, 1628, 478, 238, 33, 10, 0], [0, 13, 8, 319, 379, 1518, 2189, 2574, 3102, 2057, 1298, 643, 183, 44, 9, 0], [0, 13, 8, 320, 368, 1573, 2024, 2904, 2640, 2519, 968, 808, 128, 55, 8, 0], [0, 13, 8, 321, 357, 1628, 1859, 3234, 2178, 2981, 638, 973, 73, 66, 7, 0], [0, 13, 8, 322, 346, 1683, 1694, 3564, 1716, 3443, 308, 1138, 18, 77, 6, 0], [0, 13, 9, 304, 477, 1144, 3124, 957, 5082, 341, 2321, 258, 249, 54, 2, 1], [0, 13, 9, 305, 466, 1199, 2959, 1287, 4620, 803, 1991, 423, 194, 65, 1, 1], [0, 13, 9, 305, 467, 1188, 3014, 1122, 4950, 341, 2453, 93, 359, 10, 12, 0], [0, 13, 9, 306, 455, 1254, 2794, 1617, 4158, 1265, 1661, 588, 139, 76, 0, 1], [0, 13, 9, 306, 456, 1243, 2849, 1452, 4488, 803, 2123, 258, 304, 21, 11, 0], [0, 13, 9, 307, 445, 1298, 2684, 1782, 4026, 1265, 1793, 423, 249, 32, 10, 0], [0, 13, 9, 308, 434, 1353, 2519, 2112, 3564, 1727, 1463, 588, 194, 43, 9, 0], [0, 13, 9, 309, 423, 1408, 2354, 2442, 3102, 2189, 1133, 753, 139, 54, 8, 0], [0, 13, 9, 310, 412, 1463, 2189, 2772, 2640, 2651, 803, 918, 84, 65, 7, 0], [0, 13, 9, 311, 401, 1518, 2024, 3102, 2178, 3113, 473, 1083, 29, 76, 6, 0], [0, 13, 10, 293, 532, 979, 3454, 495, 5544, 11, 2486, 203, 260, 53, 2, 1], [0, 13, 10, 294, 521, 1034, 3289, 825, 5082, 473, 2156, 368, 205, 64, 1, 1], [0, 13, 10, 294, 522, 1023, 3344, 660, 5412, 11, 2618, 38, 370, 9, 12, 0], [0, 13, 10, 295, 510, 1089, 3124, 1155, 4620, 935, 1826, 533, 150, 75, 0, 1], [0, 13, 10, 295, 511, 1078, 3179, 990, 4950, 473, 2288, 203, 315, 20, 11, 0], [0, 13, 10, 296, 500, 1133, 3014, 1320, 4488, 935, 1958, 368, 260, 31, 10, 0], [0, 13, 10, 297, 489, 1188, 2849, 1650, 4026, 1397, 1628, 533, 205, 42, 9, 0], [0, 13, 10, 298, 478, 1243, 2684, 1980, 3564, 1859, 1298, 698, 150, 53, 8, 0], [0, 13, 10, 299, 467, 1298, 2519, 2310, 3102, 2321, 968, 863, 95, 64, 7, 0], [0, 13, 10, 300, 456, 1353, 2354, 2640, 2640, 2783, 638, 1028, 40, 75, 6, 0], [0, 13, 11, 283, 576, 869, 3619, 363, 5544, 143, 2321, 313, 216, 63, 1, 1], [0, 13, 11, 284, 565, 924, 3454, 693, 5082, 605, 1991, 478, 161, 74, 0, 1], [0, 13, 11, 284, 566, 913, 3509, 528, 5412, 143, 2453, 148, 326, 19, 11, 0], [0, 13, 11, 285, 555, 968, 3344, 858, 4950, 605, 2123, 313, 271, 30, 10, 0], [0, 13, 11, 286, 544, 1023, 3179, 1188, 4488, 1067, 1793, 478, 216, 41, 9, 0], [0, 13, 11, 287, 533, 1078, 3014, 1518, 4026, 1529, 1463, 643, 161, 52, 8, 0], [0, 13, 11, 288, 522, 1133, 2849, 1848, 3564, 1991, 1133, 808, 106, 63, 7, 0], [0, 13, 11, 289, 511, 1188, 2684, 2178, 3102, 2453, 803, 973, 51, 74, 6, 0], [0, 13, 12, 273, 620, 759, 3784, 231, 5544, 275, 2156, 423, 172, 73, 0, 1], [0, 13, 12, 274, 610, 803, 3674, 396, 5412, 275, 2288, 258, 282, 29, 10, 0], [0, 13, 12, 275, 599, 858, 3509, 726, 4950, 737, 1958, 423, 227, 40, 9, 0], [0, 13, 12, 276, 588, 913, 3344, 1056, 4488, 1199, 1628, 588, 172, 51, 8, 0], [0, 13, 12, 277, 577, 968, 3179, 1386, 4026, 1661, 1298, 753, 117, 62, 7, 0], [0, 13, 12, 278, 566, 1023, 3014, 1716, 3564, 2123, 968, 918, 62, 73, 6, 0], [0, 13, 12, 279, 555, 1078, 2849, 2046, 3102, 2585, 638, 1083, 7, 84, 5, 0], [0, 13, 13, 264, 654, 693, 3839, 264, 5412, 407, 2123, 368, 238, 39, 9, 0], [0, 13, 13, 265, 643, 748, 3674, 594, 4950, 869, 1793, 533, 183, 50, 8, 0], [0, 13, 13, 266, 632, 803, 3509, 924, 4488, 1331, 1463, 698, 128, 61, 7, 0], [0, 13, 13, 267, 621, 858, 3344, 1254, 4026, 1793, 1133, 863, 73, 72, 6, 0], [0, 13, 13, 268, 610, 913, 3179, 1584, 3564, 2255, 803, 1028, 18, 83, 5, 0], [0, 13, 14, 254, 698, 583, 4004, 132, 5412, 539, 1958, 478, 194, 49, 8, 0], [0, 13, 14, 255, 687, 638, 3839, 462, 4950, 1001, 1628, 643, 139, 60, 7, 0], [0, 13, 14, 256, 676, 693, 3674, 792, 4488, 1463, 1298, 808, 84, 71, 6, 0], [0, 13, 14, 257, 665, 748, 3509, 1122, 4026, 1925, 968, 973, 29, 82, 5, 0], [0, 13, 15, 244, 742, 473, 4169, 0, 5412, 671, 1793, 588, 150, 59, 7, 0], [0, 13, 15, 245, 731, 528, 4004, 330, 4950, 1133, 1463, 753, 95, 70, 6, 0], [0, 13, 15, 246, 720, 583, 3839, 660, 4488, 1595, 1133, 918, 40, 81, 5, 0], [0, 13, 16, 235, 775, 418, 4169, 198, 4950, 1265, 1298, 863, 51, 80, 5, 0], [0, 13, 17, 225, 819, 308, 4334, 66, 4950, 1397, 1133, 973, 7, 90, 4, 0], [0, 14, 0, 338, 411, 1199, 3157, 825, 5214, 308, 2266, 324, 215, 63, 1, 1], [0, 14, 0, 339, 400, 1254, 2992, 1155, 4752, 770, 1936, 489, 160, 74, 0, 1], [0, 14, 0, 339, 401, 1243, 3047, 990, 5082, 308, 2398, 159, 325, 19, 11, 0], [0, 14, 0, 340, 390, 1298, 2882, 1320, 4620, 770, 2068, 324, 270, 30, 10, 0], [0, 14, 0, 341, 379, 1353, 2717, 1650, 4158, 1232, 1738, 489, 215, 41, 9, 0], [0, 14, 0, 342, 368, 1408, 2552, 1980, 3696, 1694, 1408, 654, 160, 52, 8, 0], [0, 14, 0, 343, 357, 1463, 2387, 2310, 3234, 2156, 1078, 819, 105, 63, 7, 0], [0, 14, 0, 344, 346, 1518, 2222, 2640, 2772, 2618, 748, 984, 50, 74, 6, 0], [0, 14, 1, 328, 455, 1089, 3322, 693, 5214, 440, 2101, 434, 171, 73, 0, 1], [0, 14, 1, 329, 445, 1133, 3212, 858, 5082, 440, 2233, 269, 281, 29, 10, 0], [0, 14, 1, 330, 434, 1188, 3047, 1188, 4620, 902, 1903, 434, 226, 40, 9, 0], [0, 14, 1, 331, 423, 1243, 2882, 1518, 4158, 1364, 1573, 599, 171, 51, 8, 0], [0, 14, 1, 332, 412, 1298, 2717, 1848, 3696, 1826, 1243, 764, 116, 62, 7, 0], [0, 14, 1, 333, 401, 1353, 2552, 2178, 3234, 2288, 913, 929, 61, 73, 6, 0], [0, 14, 1, 334, 390, 1408, 2387, 2508, 2772, 2750, 583, 1094, 6, 84, 5, 0], [0, 14, 2, 317, 510, 924, 3652, 231, 5676, 110, 2266, 379, 182, 72, 0, 1], [0, 14, 2, 318, 500, 968, 3542, 396, 5544, 110, 2398, 214, 292, 28, 10, 0], [0, 14, 2, 319, 489, 1023, 3377, 726, 5082, 572, 2068, 379, 237, 39, 9, 0], [0, 14, 2, 320, 478, 1078, 3212, 1056, 4620, 1034, 1738, 544, 182, 50, 8, 0], [0, 14, 2, 321, 467, 1133, 3047, 1386, 4158, 1496, 1408, 709, 127, 61, 7, 0], [0, 14, 2, 322, 456, 1188, 2882, 1716, 3696, 1958, 1078, 874, 72, 72, 6, 0], [0, 14, 2, 323, 445, 1243, 2717, 2046, 3234, 2420, 748, 1039, 17, 83, 5, 0], [0, 14, 3, 308, 544, 858, 3707, 264, 5544, 242, 2233, 324, 248, 38, 9, 0], [0, 14, 3, 309, 533, 913, 3542, 594, 5082, 704, 1903, 489, 193, 49, 8, 0], [0, 14, 3, 310, 522, 968, 3377, 924, 4620, 1166, 1573, 654, 138, 60, 7, 0], [0, 14, 3, 311, 511, 1023, 3212, 1254, 4158, 1628, 1243, 819, 83, 71, 6, 0], [0, 14, 3, 312, 500, 1078, 3047, 1584, 3696, 2090, 913, 984, 28, 82, 5, 0], [0, 14, 4, 298, 588, 748, 3872, 132, 5544, 374, 2068, 434, 204, 48, 8, 0], [0, 14, 4, 299, 577, 803, 3707, 462, 5082, 836, 1738, 599, 149, 59, 7, 0], [0, 14, 4, 300, 566, 858, 3542, 792, 4620, 1298, 1408, 764, 94, 70, 6, 0], [0, 14, 4, 301, 555, 913, 3377, 1122, 4158, 1760, 1078, 929, 39, 81, 5, 0], [0, 14, 5, 288, 632, 638, 4037, 0, 5544, 506, 1903, 544, 160, 58, 7, 0], [0, 14, 5, 289, 621, 693, 3872, 330, 5082, 968, 1573, 709, 105, 69, 6, 0], [0, 14, 5, 290, 610, 748, 3707, 660, 4620, 1430, 1243, 874, 50, 80, 5, 0], [0, 14, 6, 279, 665, 583, 4037, 198, 5082, 1100, 1408, 819, 61, 79, 5, 0], [0, 14, 6, 280, 654, 638, 3872, 528, 4620, 1562, 1078, 984, 6, 90, 4, 0], [0, 14, 7, 269, 709, 473, 4202, 66, 5082, 1232, 1243, 929, 17, 89, 4, 0]}