------- (15, 10240, 10) ALL distance distributions for EXTERNAL point (10, 10240, 10) has 0 possible DDs: {} (11, 10240, 10) has 1 possible DDs: {[0, 110, 0, 1650, 0, 4620, 0, 3300, 0, 550, 0, 10]} (12, 10240, 10) has 6 possible DDs: {[0, 55, 55, 825, 825, 2310, 2310, 1650, 1650, 275, 275, 5, 5], [0, 56, 44, 880, 660, 2640, 1848, 2112, 1320, 440, 220, 16, 4], [0, 57, 33, 935, 495, 2970, 1386, 2574, 990, 605, 165, 27, 3], [0, 58, 22, 990, 330, 3300, 924, 3036, 660, 770, 110, 38, 2], [0, 59, 11, 1045, 165, 3630, 462, 3498, 330, 935, 55, 49, 1], [0, 60, 0, 1100, 0, 3960, 0, 3960, 0, 1100, 0, 60, 0]} (13, 10240, 10) has 27 possible DDs: {[0, 23, 104, 198, 1540, 165, 4224, 132, 2904, 385, 440, 118, 4, 3], [0, 24, 93, 253, 1375, 495, 3762, 594, 2574, 550, 385, 129, 3, 3], [0, 24, 94, 242, 1430, 330, 4092, 132, 3036, 220, 550, 74, 14, 2], [0, 25, 82, 308, 1210, 825, 3300, 1056, 2244, 715, 330, 140, 2, 3], [0, 25, 83, 297, 1265, 660, 3630, 594, 2706, 385, 495, 85, 13, 2], [0, 25, 84, 286, 1320, 495, 3960, 132, 3168, 55, 660, 30, 24, 1], [0, 26, 71, 363, 1045, 1155, 2838, 1518, 1914, 880, 275, 151, 1, 3], [0, 26, 72, 352, 1100, 990, 3168, 1056, 2376, 550, 440, 96, 12, 2], [0, 26, 73, 341, 1155, 825, 3498, 594, 2838, 220, 605, 41, 23, 1], [0, 27, 60, 418, 880, 1485, 2376, 1980, 1584, 1045, 220, 162, 0, 3], [0, 27, 61, 407, 935, 1320, 2706, 1518, 2046, 715, 385, 107, 11, 2], [0, 27, 62, 396, 990, 1155, 3036, 1056, 2508, 385, 550, 52, 22, 1], [0, 28, 50, 462, 770, 1650, 2244, 1980, 1716, 880, 330, 118, 10, 2], [0, 28, 51, 451, 825, 1485, 2574, 1518, 2178, 550, 495, 63, 21, 1], [0, 28, 52, 440, 880, 1320, 2904, 1056, 2640, 220, 660, 8, 32, 0], [0, 29, 39, 517, 605, 1980, 1782, 2442, 1386, 1045, 275, 129, 9, 2], [0, 29, 40, 506, 660, 1815, 2112, 1980, 1848, 715, 440, 74, 20, 1], [0, 29, 41, 495, 715, 1650, 2442, 1518, 2310, 385, 605, 19, 31, 0], [0, 30, 28, 572, 440, 2310, 1320, 2904, 1056, 1210, 220, 140, 8, 2], [0, 30, 29, 561, 495, 2145, 1650, 2442, 1518, 880, 385, 85, 19, 1], [0, 30, 30, 550, 550, 1980, 1980, 1980, 1980, 550, 550, 30, 30, 0], [0, 31, 17, 627, 275, 2640, 858, 3366, 726, 1375, 165, 151, 7, 2], [0, 31, 18, 616, 330, 2475, 1188, 2904, 1188, 1045, 330, 96, 18, 1], [0, 31, 19, 605, 385, 2310, 1518, 2442, 1650, 715, 495, 41, 29, 0], [0, 32, 6, 682, 110, 2970, 396, 3828, 396, 1540, 110, 162, 6, 2], [0, 32, 7, 671, 165, 2805, 726, 3366, 858, 1210, 275, 107, 17, 1], [0, 32, 8, 660, 220, 2640, 1056, 2904, 1320, 880, 440, 52, 28, 0]} (14, 10240, 10) has 113 possible DDs: {[0, 8, 98, 2, 1232, 330, 2574, 2244, 1056, 2156, 110, 378, 48, 2, 2], [0, 9, 87, 57, 1067, 660, 2112, 2706, 726, 2321, 55, 389, 47, 2, 2], [0, 9, 88, 46, 1122, 495, 2442, 2244, 1188, 1991, 220, 334, 58, 1, 2], [0, 9, 89, 35, 1177, 330, 2772, 1782, 1650, 1661, 385, 279, 69, 0, 2], [0, 9, 89, 36, 1166, 385, 2607, 2112, 1188, 2123, 55, 444, 14, 11, 1], [0, 9, 90, 25, 1221, 220, 2937, 1650, 1650, 1793, 220, 389, 25, 10, 1], [0, 9, 91, 14, 1276, 55, 3267, 1188, 2112, 1463, 385, 334, 36, 9, 1], [0, 10, 76, 112, 902, 990, 1650, 3168, 396, 2486, 0, 400, 46, 2, 2], [0, 10, 77, 101, 957, 825, 1980, 2706, 858, 2156, 165, 345, 57, 1, 2], [0, 10, 78, 90, 1012, 660, 2310, 2244, 1320, 1826, 330, 290, 68, 0, 2], [0, 10, 78, 91, 1001, 715, 2145, 2574, 858, 2288, 0, 455, 13, 11, 1], [0, 10, 79, 80, 1056, 550, 2475, 2112, 1320, 1958, 165, 400, 24, 10, 1], [0, 10, 80, 69, 1111, 385, 2805, 1650, 1782, 1628, 330, 345, 35, 9, 1], [0, 10, 81, 58, 1166, 220, 3135, 1188, 2244, 1298, 495, 290, 46, 8, 1], [0, 10, 82, 47, 1221, 55, 3465, 726, 2706, 968, 660, 235, 57, 7, 1], [0, 10, 82, 48, 1210, 110, 3300, 1056, 2244, 1430, 330, 400, 2, 18, 0], [0, 11, 66, 156, 792, 1155, 1518, 3168, 528, 2321, 110, 356, 56, 1, 2], [0, 11, 67, 145, 847, 990, 1848, 2706, 990, 1991, 275, 301, 67, 0, 2], [0, 11, 68, 135, 891, 880, 2013, 2574, 990, 2123, 110, 411, 23, 10, 1], [0, 11, 69, 124, 946, 715, 2343, 2112, 1452, 1793, 275, 356, 34, 9, 1], [0, 11, 70, 113, 1001, 550, 2673, 1650, 1914, 1463, 440, 301, 45, 8, 1], [0, 11, 71, 102, 1056, 385, 3003, 1188, 2376, 1133, 605, 246, 56, 7, 1], [0, 11, 71, 103, 1045, 440, 2838, 1518, 1914, 1595, 275, 411, 1, 18, 0], [0, 11, 72, 91, 1111, 220, 3333, 726, 2838, 803, 770, 191, 67, 6, 1], [0, 11, 72, 92, 1100, 275, 3168, 1056, 2376, 1265, 440, 356, 12, 17, 0], [0, 11, 73, 80, 1166, 55, 3663, 264, 3300, 473, 935, 136, 78, 5, 1], [0, 11, 73, 81, 1155, 110, 3498, 594, 2838, 935, 605, 301, 23, 16, 0], [0, 12, 55, 211, 627, 1485, 1056, 3630, 198, 2486, 55, 367, 55, 1, 2], [0, 12, 56, 200, 682, 1320, 1386, 3168, 660, 2156, 220, 312, 66, 0, 2], [0, 12, 57, 190, 726, 1210, 1551, 3036, 660, 2288, 55, 422, 22, 10, 1], [0, 12, 58, 179, 781, 1045, 1881, 2574, 1122, 1958, 220, 367, 33, 9, 1], [0, 12, 59, 168, 836, 880, 2211, 2112, 1584, 1628, 385, 312, 44, 8, 1], [0, 12, 60, 157, 891, 715, 2541, 1650, 2046, 1298, 550, 257, 55, 7, 1], [0, 12, 60, 158, 880, 770, 2376, 1980, 1584, 1760, 220, 422, 0, 18, 0], [0, 12, 61, 146, 946, 550, 2871, 1188, 2508, 968, 715, 202, 66, 6, 1], [0, 12, 61, 147, 935, 605, 2706, 1518, 2046, 1430, 385, 367, 11, 17, 0], [0, 12, 62, 135, 1001, 385, 3201, 726, 2970, 638, 880, 147, 77, 5, 1], [0, 12, 62, 136, 990, 440, 3036, 1056, 2508, 1100, 550, 312, 22, 16, 0], [0, 12, 63, 124, 1056, 220, 3531, 264, 3432, 308, 1045, 92, 88, 4, 1], [0, 12, 63, 125, 1045, 275, 3366, 594, 2970, 770, 715, 257, 33, 15, 0], [0, 12, 64, 114, 1100, 110, 3696, 132, 3432, 440, 880, 202, 44, 14, 0], [0, 13, 45, 255, 517, 1650, 924, 3630, 330, 2321, 165, 323, 65, 0, 2], [0, 13, 46, 245, 561, 1540, 1089, 3498, 330, 2453, 0, 433, 21, 10, 1], [0, 13, 47, 234, 616, 1375, 1419, 3036, 792, 2123, 165, 378, 32, 9, 1], [0, 13, 48, 223, 671, 1210, 1749, 2574, 1254, 1793, 330, 323, 43, 8, 1], [0, 13, 49, 212, 726, 1045, 2079, 2112, 1716, 1463, 495, 268, 54, 7, 1], [0, 13, 50, 201, 781, 880, 2409, 1650, 2178, 1133, 660, 213, 65, 6, 1], [0, 13, 50, 202, 770, 935, 2244, 1980, 1716, 1595, 330, 378, 10, 17, 0], [0, 13, 51, 190, 836, 715, 2739, 1188, 2640, 803, 825, 158, 76, 5, 1], [0, 13, 51, 191, 825, 770, 2574, 1518, 2178, 1265, 495, 323, 21, 16, 0], [0, 13, 52, 179, 891, 550, 3069, 726, 3102, 473, 990, 103, 87, 4, 1], [0, 13, 52, 180, 880, 605, 2904, 1056, 2640, 935, 660, 268, 32, 15, 0], [0, 13, 53, 168, 946, 385, 3399, 264, 3564, 143, 1155, 48, 98, 3, 1], [0, 13, 53, 169, 935, 440, 3234, 594, 3102, 605, 825, 213, 43, 14, 0], [0, 13, 54, 158, 990, 275, 3564, 132, 3564, 275, 990, 158, 54, 13, 0], [0, 14, 34, 310, 352, 1980, 462, 4092, 0, 2486, 110, 334, 64, 0, 2], [0, 14, 36, 289, 451, 1705, 957, 3498, 462, 2288, 110, 389, 31, 9, 1], [0, 14, 37, 278, 506, 1540, 1287, 3036, 924, 1958, 275, 334, 42, 8, 1], [0, 14, 38, 267, 561, 1375, 1617, 2574, 1386, 1628, 440, 279, 53, 7, 1], [0, 14, 39, 256, 616, 1210, 1947, 2112, 1848, 1298, 605, 224, 64, 6, 1], [0, 14, 39, 257, 605, 1265, 1782, 2442, 1386, 1760, 275, 389, 9, 17, 0], [0, 14, 40, 245, 671, 1045, 2277, 1650, 2310, 968, 770, 169, 75, 5, 1], [0, 14, 40, 246, 660, 1100, 2112, 1980, 1848, 1430, 440, 334, 20, 16, 0], [0, 14, 41, 234, 726, 880, 2607, 1188, 2772, 638, 935, 114, 86, 4, 1], [0, 14, 41, 235, 715, 935, 2442, 1518, 2310, 1100, 605, 279, 31, 15, 0], [0, 14, 42, 223, 781, 715, 2937, 726, 3234, 308, 1100, 59, 97, 3, 1], [0, 14, 42, 224, 770, 770, 2772, 1056, 2772, 770, 770, 224, 42, 14, 0], [0, 14, 43, 213, 825, 605, 3102, 594, 3234, 440, 935, 169, 53, 13, 0], [0, 14, 44, 202, 880, 440, 3432, 132, 3696, 110, 1100, 114, 64, 12, 0], [0, 15, 25, 344, 286, 2035, 495, 3960, 132, 2453, 55, 400, 30, 9, 1], [0, 15, 26, 333, 341, 1870, 825, 3498, 594, 2123, 220, 345, 41, 8, 1], [0, 15, 27, 322, 396, 1705, 1155, 3036, 1056, 1793, 385, 290, 52, 7, 1], [0, 15, 28, 311, 451, 1540, 1485, 2574, 1518, 1463, 550, 235, 63, 6, 1], [0, 15, 28, 312, 440, 1595, 1320, 2904, 1056, 1925, 220, 400, 8, 17, 0], [0, 15, 29, 300, 506, 1375, 1815, 2112, 1980, 1133, 715, 180, 74, 5, 1], [0, 15, 29, 301, 495, 1430, 1650, 2442, 1518, 1595, 385, 345, 19, 16, 0], [0, 15, 30, 289, 561, 1210, 2145, 1650, 2442, 803, 880, 125, 85, 4, 1], [0, 15, 30, 290, 550, 1265, 1980, 1980, 1980, 1265, 550, 290, 30, 15, 0], [0, 15, 31, 278, 616, 1045, 2475, 1188, 2904, 473, 1045, 70, 96, 3, 1], [0, 15, 31, 279, 605, 1100, 2310, 1518, 2442, 935, 715, 235, 41, 14, 0], [0, 15, 32, 267, 671, 880, 2805, 726, 3366, 143, 1210, 15, 107, 2, 1], [0, 15, 32, 268, 660, 935, 2640, 1056, 2904, 605, 880, 180, 52, 13, 0], [0, 15, 33, 257, 715, 770, 2970, 594, 3366, 275, 1045, 125, 63, 12, 0], [0, 16, 15, 388, 176, 2200, 363, 3960, 264, 2288, 165, 356, 40, 8, 1], [0, 16, 16, 377, 231, 2035, 693, 3498, 726, 1958, 330, 301, 51, 7, 1], [0, 16, 17, 366, 286, 1870, 1023, 3036, 1188, 1628, 495, 246, 62, 6, 1], [0, 16, 17, 367, 275, 1925, 858, 3366, 726, 2090, 165, 411, 7, 17, 0], [0, 16, 18, 355, 341, 1705, 1353, 2574, 1650, 1298, 660, 191, 73, 5, 1], [0, 16, 18, 356, 330, 1760, 1188, 2904, 1188, 1760, 330, 356, 18, 16, 0], [0, 16, 19, 344, 396, 1540, 1683, 2112, 2112, 968, 825, 136, 84, 4, 1], [0, 16, 19, 345, 385, 1595, 1518, 2442, 1650, 1430, 495, 301, 29, 15, 0], [0, 16, 20, 333, 451, 1375, 2013, 1650, 2574, 638, 990, 81, 95, 3, 1], [0, 16, 20, 334, 440, 1430, 1848, 1980, 2112, 1100, 660, 246, 40, 14, 0], [0, 16, 21, 322, 506, 1210, 2343, 1188, 3036, 308, 1155, 26, 106, 2, 1], [0, 16, 21, 323, 495, 1265, 2178, 1518, 2574, 770, 825, 191, 51, 13, 0], [0, 16, 22, 312, 550, 1100, 2508, 1056, 3036, 440, 990, 136, 62, 12, 0], [0, 16, 23, 301, 605, 935, 2838, 594, 3498, 110, 1155, 81, 73, 11, 0], [0, 17, 5, 432, 66, 2365, 231, 3960, 396, 2123, 275, 312, 50, 7, 1], [0, 17, 6, 421, 121, 2200, 561, 3498, 858, 1793, 440, 257, 61, 6, 1], [0, 17, 6, 422, 110, 2255, 396, 3828, 396, 2255, 110, 422, 6, 17, 0], [0, 17, 7, 410, 176, 2035, 891, 3036, 1320, 1463, 605, 202, 72, 5, 1], [0, 17, 7, 411, 165, 2090, 726, 3366, 858, 1925, 275, 367, 17, 16, 0], [0, 17, 8, 399, 231, 1870, 1221, 2574, 1782, 1133, 770, 147, 83, 4, 1], [0, 17, 8, 400, 220, 1925, 1056, 2904, 1320, 1595, 440, 312, 28, 15, 0], [0, 17, 9, 388, 286, 1705, 1551, 2112, 2244, 803, 935, 92, 94, 3, 1], [0, 17, 9, 389, 275, 1760, 1386, 2442, 1782, 1265, 605, 257, 39, 14, 0], [0, 17, 10, 377, 341, 1540, 1881, 1650, 2706, 473, 1100, 37, 105, 2, 1], [0, 17, 10, 378, 330, 1595, 1716, 1980, 2244, 935, 770, 202, 50, 13, 0], [0, 17, 11, 367, 385, 1430, 2046, 1518, 2706, 605, 935, 147, 61, 12, 0], [0, 17, 12, 356, 440, 1265, 2376, 1056, 3168, 275, 1100, 92, 72, 11, 0], [0, 18, 0, 422, 220, 1760, 1584, 1980, 2376, 770, 880, 158, 60, 12, 0], [0, 18, 1, 411, 275, 1595, 1914, 1518, 2838, 440, 1045, 103, 71, 11, 0], [0, 18, 2, 400, 330, 1430, 2244, 1056, 3300, 110, 1210, 48, 82, 10, 0]} (15, 10240, 10) has 424 possible DDs: {[0, 2, 67, 25, 540, 1276, 231, 4191, 0, 2530, 913, 167, 292, 0, 5, 1], [0, 2, 68, 15, 584, 1166, 396, 4059, 0, 2662, 748, 277, 248, 10, 4, 1], [0, 2, 69, 4, 639, 1001, 726, 3597, 462, 2332, 913, 222, 259, 9, 4, 1], [0, 2, 69, 5, 628, 1056, 561, 3927, 0, 2794, 583, 387, 204, 20, 3, 1], [0, 3, 58, 59, 474, 1331, 264, 4059, 132, 2497, 858, 233, 258, 9, 4, 1], [0, 3, 59, 48, 529, 1166, 594, 3597, 594, 2167, 1023, 178, 269, 8, 4, 1], [0, 3, 59, 49, 518, 1221, 429, 3927, 132, 2629, 693, 343, 214, 19, 3, 1], [0, 3, 60, 37, 584, 1001, 924, 3135, 1056, 1837, 1188, 123, 280, 7, 4, 1], [0, 3, 60, 38, 573, 1056, 759, 3465, 594, 2299, 858, 288, 225, 18, 3, 1], [0, 3, 60, 39, 562, 1111, 594, 3795, 132, 2761, 528, 453, 170, 29, 2, 1], [0, 3, 61, 26, 639, 836, 1254, 2673, 1518, 1507, 1353, 68, 291, 6, 4, 1], [0, 3, 61, 27, 628, 891, 1089, 3003, 1056, 1969, 1023, 233, 236, 17, 3, 1], [0, 3, 61, 28, 617, 946, 924, 3333, 594, 2431, 693, 398, 181, 28, 2, 1], [0, 3, 61, 29, 606, 1001, 759, 3663, 132, 2893, 363, 563, 126, 39, 1, 1], [0, 3, 62, 15, 694, 671, 1584, 2211, 1980, 1177, 1518, 13, 302, 5, 4, 1], [0, 3, 62, 16, 683, 726, 1419, 2541, 1518, 1639, 1188, 178, 247, 16, 3, 1], [0, 3, 62, 17, 672, 781, 1254, 2871, 1056, 2101, 858, 343, 192, 27, 2, 1], [0, 3, 62, 18, 661, 836, 1089, 3201, 594, 2563, 528, 508, 137, 38, 1, 1], [0, 3, 62, 19, 650, 891, 924, 3531, 132, 3025, 198, 673, 82, 49, 0, 1], [0, 3, 62, 20, 640, 935, 814, 3696, 0, 3025, 330, 508, 192, 5, 10, 0], [0, 3, 63, 5, 738, 561, 1749, 2079, 1980, 1309, 1353, 123, 258, 15, 3, 1], [0, 3, 63, 6, 727, 616, 1584, 2409, 1518, 1771, 1023, 288, 203, 26, 2, 1], [0, 3, 63, 7, 716, 671, 1419, 2739, 1056, 2233, 693, 453, 148, 37, 1, 1], [0, 3, 63, 8, 705, 726, 1254, 3069, 594, 2695, 363, 618, 93, 48, 0, 1], [0, 3, 63, 9, 695, 770, 1144, 3234, 462, 2695, 495, 453, 203, 4, 10, 0], [0, 3, 63, 10, 684, 825, 979, 3564, 0, 3157, 165, 618, 148, 15, 9, 0], [0, 3, 64, 0, 728, 715, 1144, 3432, 0, 3289, 0, 728, 104, 25, 8, 0], [0, 4, 48, 103, 364, 1496, 132, 4059, 264, 2332, 968, 189, 268, 8, 4, 1], [0, 4, 49, 92, 419, 1331, 462, 3597, 726, 2002, 1133, 134, 279, 7, 4, 1], [0, 4, 49, 93, 408, 1386, 297, 3927, 264, 2464, 803, 299, 224, 18, 3, 1], [0, 4, 50, 81, 474, 1166, 792, 3135, 1188, 1672, 1298, 79, 290, 6, 4, 1], [0, 4, 50, 82, 463, 1221, 627, 3465, 726, 2134, 968, 244, 235, 17, 3, 1], [0, 4, 50, 83, 452, 1276, 462, 3795, 264, 2596, 638, 409, 180, 28, 2, 1], [0, 4, 51, 70, 529, 1001, 1122, 2673, 1650, 1342, 1463, 24, 301, 5, 4, 1], [0, 4, 51, 71, 518, 1056, 957, 3003, 1188, 1804, 1133, 189, 246, 16, 3, 1], [0, 4, 51, 72, 507, 1111, 792, 3333, 726, 2266, 803, 354, 191, 27, 2, 1], [0, 4, 51, 73, 496, 1166, 627, 3663, 264, 2728, 473, 519, 136, 38, 1, 1], [0, 4, 52, 60, 573, 891, 1287, 2541, 1650, 1474, 1298, 134, 257, 15, 3, 1], [0, 4, 52, 61, 562, 946, 1122, 2871, 1188, 1936, 968, 299, 202, 26, 2, 1], [0, 4, 52, 62, 551, 1001, 957, 3201, 726, 2398, 638, 464, 147, 37, 1, 1], [0, 4, 52, 63, 540, 1056, 792, 3531, 264, 2860, 308, 629, 92, 48, 0, 1], [0, 4, 52, 64, 530, 1100, 682, 3696, 132, 2860, 440, 464, 202, 4, 10, 0], [0, 4, 53, 49, 628, 726, 1617, 2079, 2112, 1144, 1463, 79, 268, 14, 3, 1], [0, 4, 53, 50, 617, 781, 1452, 2409, 1650, 1606, 1133, 244, 213, 25, 2, 1], [0, 4, 53, 51, 606, 836, 1287, 2739, 1188, 2068, 803, 409, 158, 36, 1, 1], [0, 4, 53, 52, 595, 891, 1122, 3069, 726, 2530, 473, 574, 103, 47, 0, 1], [0, 4, 53, 53, 585, 935, 1012, 3234, 594, 2530, 605, 409, 213, 3, 10, 0], [0, 4, 53, 54, 574, 990, 847, 3564, 132, 2992, 275, 574, 158, 14, 9, 0], [0, 4, 54, 38, 683, 561, 1947, 1617, 2574, 814, 1628, 24, 279, 13, 3, 1], [0, 4, 54, 39, 672, 616, 1782, 1947, 2112, 1276, 1298, 189, 224, 24, 2, 1], [0, 4, 54, 40, 661, 671, 1617, 2277, 1650, 1738, 968, 354, 169, 35, 1, 1], [0, 4, 54, 41, 650, 726, 1452, 2607, 1188, 2200, 638, 519, 114, 46, 0, 1], [0, 4, 54, 42, 640, 770, 1342, 2772, 1056, 2200, 770, 354, 224, 2, 10, 0], [0, 4, 54, 43, 629, 825, 1177, 3102, 594, 2662, 440, 519, 169, 13, 9, 0], [0, 4, 54, 44, 618, 880, 1012, 3432, 132, 3124, 110, 684, 114, 24, 8, 0], [0, 4, 55, 28, 727, 451, 2112, 1485, 2574, 946, 1463, 134, 235, 23, 2, 1], [0, 4, 55, 29, 716, 506, 1947, 1815, 2112, 1408, 1133, 299, 180, 34, 1, 1], [0, 4, 55, 30, 705, 561, 1782, 2145, 1650, 1870, 803, 464, 125, 45, 0, 1], [0, 4, 55, 31, 695, 605, 1672, 2310, 1518, 1870, 935, 299, 235, 1, 10, 0], [0, 4, 55, 32, 684, 660, 1507, 2640, 1056, 2332, 605, 464, 180, 12, 9, 0], [0, 4, 55, 33, 673, 715, 1342, 2970, 594, 2794, 275, 629, 125, 23, 8, 0], [0, 4, 56, 17, 782, 286, 2442, 1023, 3036, 616, 1628, 79, 246, 22, 2, 1], [0, 4, 56, 18, 771, 341, 2277, 1353, 2574, 1078, 1298, 244, 191, 33, 1, 1], [0, 4, 56, 19, 760, 396, 2112, 1683, 2112, 1540, 968, 409, 136, 44, 0, 1], [0, 4, 56, 20, 750, 440, 2002, 1848, 1980, 1540, 1100, 244, 246, 0, 10, 0], [0, 4, 56, 21, 739, 495, 1837, 2178, 1518, 2002, 770, 409, 191, 11, 9, 0], [0, 4, 56, 22, 728, 550, 1672, 2508, 1056, 2464, 440, 574, 136, 22, 8, 0], [0, 4, 56, 23, 717, 605, 1507, 2838, 594, 2926, 110, 739, 81, 33, 7, 0], [0, 4, 57, 6, 837, 121, 2772, 561, 3498, 286, 1793, 24, 257, 21, 2, 1], [0, 4, 57, 7, 826, 176, 2607, 891, 3036, 748, 1463, 189, 202, 32, 1, 1], [0, 4, 57, 8, 815, 231, 2442, 1221, 2574, 1210, 1133, 354, 147, 43, 0, 1], [0, 4, 57, 10, 794, 330, 2167, 1716, 1980, 1672, 935, 354, 202, 10, 9, 0], [0, 4, 57, 11, 783, 385, 2002, 2046, 1518, 2134, 605, 519, 147, 21, 8, 0], [0, 4, 57, 12, 772, 440, 1837, 2376, 1056, 2596, 275, 684, 92, 32, 7, 0], [0, 4, 58, 0, 838, 220, 2332, 1584, 1980, 1804, 770, 464, 158, 20, 8, 0], [0, 4, 58, 1, 827, 275, 2167, 1914, 1518, 2266, 440, 629, 103, 31, 7, 0], [0, 4, 58, 2, 816, 330, 2002, 2244, 1056, 2728, 110, 794, 48, 42, 6, 0], [0, 5, 38, 147, 254, 1661, 0, 4059, 396, 2167, 1078, 145, 278, 7, 4, 1], [0, 5, 39, 136, 309, 1496, 330, 3597, 858, 1837, 1243, 90, 289, 6, 4, 1], [0, 5, 39, 137, 298, 1551, 165, 3927, 396, 2299, 913, 255, 234, 17, 3, 1], [0, 5, 40, 125, 364, 1331, 660, 3135, 1320, 1507, 1408, 35, 300, 5, 4, 1], [0, 5, 40, 126, 353, 1386, 495, 3465, 858, 1969, 1078, 200, 245, 16, 3, 1], [0, 5, 40, 127, 342, 1441, 330, 3795, 396, 2431, 748, 365, 190, 27, 2, 1], [0, 5, 41, 115, 408, 1221, 825, 3003, 1320, 1639, 1243, 145, 256, 15, 3, 1], [0, 5, 41, 116, 397, 1276, 660, 3333, 858, 2101, 913, 310, 201, 26, 2, 1], [0, 5, 41, 117, 386, 1331, 495, 3663, 396, 2563, 583, 475, 146, 37, 1, 1], [0, 5, 42, 104, 463, 1056, 1155, 2541, 1782, 1309, 1408, 90, 267, 14, 3, 1], [0, 5, 42, 105, 452, 1111, 990, 2871, 1320, 1771, 1078, 255, 212, 25, 2, 1], [0, 5, 42, 106, 441, 1166, 825, 3201, 858, 2233, 748, 420, 157, 36, 1, 1], [0, 5, 42, 107, 430, 1221, 660, 3531, 396, 2695, 418, 585, 102, 47, 0, 1], [0, 5, 42, 108, 420, 1265, 550, 3696, 264, 2695, 550, 420, 212, 3, 10, 0], [0, 5, 43, 93, 518, 891, 1485, 2079, 2244, 979, 1573, 35, 278, 13, 3, 1], [0, 5, 43, 94, 507, 946, 1320, 2409, 1782, 1441, 1243, 200, 223, 24, 2, 1], [0, 5, 43, 95, 496, 1001, 1155, 2739, 1320, 1903, 913, 365, 168, 35, 1, 1], [0, 5, 43, 96, 485, 1056, 990, 3069, 858, 2365, 583, 530, 113, 46, 0, 1], [0, 5, 43, 97, 475, 1100, 880, 3234, 726, 2365, 715, 365, 223, 2, 10, 0], [0, 5, 43, 98, 464, 1155, 715, 3564, 264, 2827, 385, 530, 168, 13, 9, 0], [0, 5, 44, 83, 562, 781, 1650, 1947, 2244, 1111, 1408, 145, 234, 23, 2, 1], [0, 5, 44, 84, 551, 836, 1485, 2277, 1782, 1573, 1078, 310, 179, 34, 1, 1], [0, 5, 44, 85, 540, 891, 1320, 2607, 1320, 2035, 748, 475, 124, 45, 0, 1], [0, 5, 44, 86, 530, 935, 1210, 2772, 1188, 2035, 880, 310, 234, 1, 10, 0], [0, 5, 44, 87, 519, 990, 1045, 3102, 726, 2497, 550, 475, 179, 12, 9, 0], [0, 5, 44, 88, 508, 1045, 880, 3432, 264, 2959, 220, 640, 124, 23, 8, 0], [0, 5, 45, 72, 617, 616, 1980, 1485, 2706, 781, 1573, 90, 245, 22, 2, 1], [0, 5, 45, 73, 606, 671, 1815, 1815, 2244, 1243, 1243, 255, 190, 33, 1, 1], [0, 5, 45, 74, 595, 726, 1650, 2145, 1782, 1705, 913, 420, 135, 44, 0, 1], [0, 5, 45, 75, 585, 770, 1540, 2310, 1650, 1705, 1045, 255, 245, 0, 10, 0], [0, 5, 45, 76, 574, 825, 1375, 2640, 1188, 2167, 715, 420, 190, 11, 9, 0], [0, 5, 45, 77, 563, 880, 1210, 2970, 726, 2629, 385, 585, 135, 22, 8, 0], [0, 5, 45, 78, 552, 935, 1045, 3300, 264, 3091, 55, 750, 80, 33, 7, 0], [0, 5, 46, 61, 672, 451, 2310, 1023, 3168, 451, 1738, 35, 256, 21, 2, 1], [0, 5, 46, 62, 661, 506, 2145, 1353, 2706, 913, 1408, 200, 201, 32, 1, 1], [0, 5, 46, 63, 650, 561, 1980, 1683, 2244, 1375, 1078, 365, 146, 43, 0, 1], [0, 5, 46, 65, 629, 660, 1705, 2178, 1650, 1837, 880, 365, 201, 10, 9, 0], [0, 5, 46, 66, 618, 715, 1540, 2508, 1188, 2299, 550, 530, 146, 21, 8, 0], [0, 5, 46, 67, 607, 770, 1375, 2838, 726, 2761, 220, 695, 91, 32, 7, 0], [0, 5, 47, 51, 716, 341, 2475, 891, 3168, 583, 1573, 145, 212, 31, 1, 1], [0, 5, 47, 52, 705, 396, 2310, 1221, 2706, 1045, 1243, 310, 157, 42, 0, 1], [0, 5, 47, 54, 684, 495, 2035, 1716, 2112, 1507, 1045, 310, 212, 9, 9, 0], [0, 5, 47, 55, 673, 550, 1870, 2046, 1650, 1969, 715, 475, 157, 20, 8, 0], [0, 5, 47, 56, 662, 605, 1705, 2376, 1188, 2431, 385, 640, 102, 31, 7, 0], [0, 5, 47, 57, 651, 660, 1540, 2706, 726, 2893, 55, 805, 47, 42, 6, 0], [0, 5, 48, 40, 771, 176, 2805, 429, 3630, 253, 1738, 90, 223, 30, 1, 1], [0, 5, 48, 41, 760, 231, 2640, 759, 3168, 715, 1408, 255, 168, 41, 0, 1], [0, 5, 48, 43, 739, 330, 2365, 1254, 2574, 1177, 1210, 255, 223, 8, 9, 0], [0, 5, 48, 44, 728, 385, 2200, 1584, 2112, 1639, 880, 420, 168, 19, 8, 0], [0, 5, 48, 45, 717, 440, 2035, 1914, 1650, 2101, 550, 585, 113, 30, 7, 0], [0, 5, 48, 46, 706, 495, 1870, 2244, 1188, 2563, 220, 750, 58, 41, 6, 0], [0, 5, 49, 30, 815, 66, 2970, 297, 3630, 385, 1573, 200, 179, 40, 0, 1], [0, 5, 49, 32, 794, 165, 2695, 792, 3036, 847, 1375, 200, 234, 7, 9, 0], [0, 5, 49, 33, 783, 220, 2530, 1122, 2574, 1309, 1045, 365, 179, 18, 8, 0], [0, 5, 49, 34, 772, 275, 2365, 1452, 2112, 1771, 715, 530, 124, 29, 7, 0], [0, 5, 49, 35, 761, 330, 2200, 1782, 1650, 2233, 385, 695, 69, 40, 6, 0], [0, 5, 49, 36, 750, 385, 2035, 2112, 1188, 2695, 55, 860, 14, 51, 5, 0], [0, 5, 50, 21, 849, 0, 3025, 330, 3498, 517, 1540, 145, 245, 6, 9, 0], [0, 5, 50, 22, 838, 55, 2860, 660, 3036, 979, 1210, 310, 190, 17, 8, 0], [0, 5, 50, 23, 827, 110, 2695, 990, 2574, 1441, 880, 475, 135, 28, 7, 0], [0, 5, 50, 24, 816, 165, 2530, 1320, 2112, 1903, 550, 640, 80, 39, 6, 0], [0, 5, 50, 25, 805, 220, 2365, 1650, 1650, 2365, 220, 805, 25, 50, 5, 0], [0, 5, 51, 13, 871, 0, 2860, 858, 2574, 1573, 715, 585, 91, 38, 6, 0], [0, 5, 51, 14, 860, 55, 2695, 1188, 2112, 2035, 385, 750, 36, 49, 5, 0], [0, 6, 29, 180, 199, 1661, 198, 3597, 990, 1672, 1353, 46, 299, 5, 4, 1], [0, 6, 29, 181, 188, 1716, 33, 3927, 528, 2134, 1023, 211, 244, 16, 3, 1], [0, 6, 30, 170, 243, 1551, 363, 3465, 990, 1804, 1188, 156, 255, 15, 3, 1], [0, 6, 30, 171, 232, 1606, 198, 3795, 528, 2266, 858, 321, 200, 26, 2, 1], [0, 6, 30, 172, 221, 1661, 33, 4125, 66, 2728, 528, 486, 145, 37, 1, 1], [0, 6, 31, 159, 298, 1386, 693, 3003, 1452, 1474, 1353, 101, 266, 14, 3, 1], [0, 6, 31, 160, 287, 1441, 528, 3333, 990, 1936, 1023, 266, 211, 25, 2, 1], [0, 6, 31, 161, 276, 1496, 363, 3663, 528, 2398, 693, 431, 156, 36, 1, 1], [0, 6, 31, 162, 265, 1551, 198, 3993, 66, 2860, 363, 596, 101, 47, 0, 1], [0, 6, 32, 148, 353, 1221, 1023, 2541, 1914, 1144, 1518, 46, 277, 13, 3, 1], [0, 6, 32, 149, 342, 1276, 858, 2871, 1452, 1606, 1188, 211, 222, 24, 2, 1], [0, 6, 32, 150, 331, 1331, 693, 3201, 990, 2068, 858, 376, 167, 35, 1, 1], [0, 6, 32, 151, 320, 1386, 528, 3531, 528, 2530, 528, 541, 112, 46, 0, 1], [0, 6, 32, 152, 310, 1430, 418, 3696, 396, 2530, 660, 376, 222, 2, 10, 0], [0, 6, 33, 138, 397, 1111, 1188, 2409, 1914, 1276, 1353, 156, 233, 23, 2, 1], [0, 6, 33, 139, 386, 1166, 1023, 2739, 1452, 1738, 1023, 321, 178, 34, 1, 1], [0, 6, 33, 140, 375, 1221, 858, 3069, 990, 2200, 693, 486, 123, 45, 0, 1], [0, 6, 33, 141, 365, 1265, 748, 3234, 858, 2200, 825, 321, 233, 1, 10, 0], [0, 6, 33, 142, 354, 1320, 583, 3564, 396, 2662, 495, 486, 178, 12, 9, 0], [0, 6, 34, 127, 452, 946, 1518, 1947, 2376, 946, 1518, 101, 244, 22, 2, 1], [0, 6, 34, 128, 441, 1001, 1353, 2277, 1914, 1408, 1188, 266, 189, 33, 1, 1], [0, 6, 34, 129, 430, 1056, 1188, 2607, 1452, 1870, 858, 431, 134, 44, 0, 1], [0, 6, 34, 130, 420, 1100, 1078, 2772, 1320, 1870, 990, 266, 244, 0, 10, 0], [0, 6, 34, 131, 409, 1155, 913, 3102, 858, 2332, 660, 431, 189, 11, 9, 0], [0, 6, 34, 132, 398, 1210, 748, 3432, 396, 2794, 330, 596, 134, 22, 8, 0], [0, 6, 35, 116, 507, 781, 1848, 1485, 2838, 616, 1683, 46, 255, 21, 2, 1], [0, 6, 35, 117, 496, 836, 1683, 1815, 2376, 1078, 1353, 211, 200, 32, 1, 1], [0, 6, 35, 118, 485, 891, 1518, 2145, 1914, 1540, 1023, 376, 145, 43, 0, 1], [0, 6, 35, 120, 464, 990, 1243, 2640, 1320, 2002, 825, 376, 200, 10, 9, 0], [0, 6, 35, 121, 453, 1045, 1078, 2970, 858, 2464, 495, 541, 145, 21, 8, 0], [0, 6, 35, 122, 442, 1100, 913, 3300, 396, 2926, 165, 706, 90, 32, 7, 0], [0, 6, 36, 106, 551, 671, 2013, 1353, 2838, 748, 1518, 156, 211, 31, 1, 1], [0, 6, 36, 107, 540, 726, 1848, 1683, 2376, 1210, 1188, 321, 156, 42, 0, 1], [0, 6, 36, 109, 519, 825, 1573, 2178, 1782, 1672, 990, 321, 211, 9, 9, 0], [0, 6, 36, 110, 508, 880, 1408, 2508, 1320, 2134, 660, 486, 156, 20, 8, 0], [0, 6, 36, 111, 497, 935, 1243, 2838, 858, 2596, 330, 651, 101, 31, 7, 0], [0, 6, 36, 112, 486, 990, 1078, 3168, 396, 3058, 0, 816, 46, 42, 6, 0], [0, 6, 37, 95, 606, 506, 2343, 891, 3300, 418, 1683, 101, 222, 30, 1, 1], [0, 6, 37, 96, 595, 561, 2178, 1221, 2838, 880, 1353, 266, 167, 41, 0, 1], [0, 6, 37, 98, 574, 660, 1903, 1716, 2244, 1342, 1155, 266, 222, 8, 9, 0], [0, 6, 37, 99, 563, 715, 1738, 2046, 1782, 1804, 825, 431, 167, 19, 8, 0], [0, 6, 37, 100, 552, 770, 1573, 2376, 1320, 2266, 495, 596, 112, 30, 7, 0], [0, 6, 37, 101, 541, 825, 1408, 2706, 858, 2728, 165, 761, 57, 41, 6, 0], [0, 6, 38, 84, 661, 341, 2673, 429, 3762, 88, 1848, 46, 233, 29, 1, 1], [0, 6, 38, 85, 650, 396, 2508, 759, 3300, 550, 1518, 211, 178, 40, 0, 1], [0, 6, 38, 87, 629, 495, 2233, 1254, 2706, 1012, 1320, 211, 233, 7, 9, 0], [0, 6, 38, 88, 618, 550, 2068, 1584, 2244, 1474, 990, 376, 178, 18, 8, 0], [0, 6, 38, 89, 607, 605, 1903, 1914, 1782, 1936, 660, 541, 123, 29, 7, 0], [0, 6, 38, 90, 596, 660, 1738, 2244, 1320, 2398, 330, 706, 68, 40, 6, 0], [0, 6, 38, 91, 585, 715, 1573, 2574, 858, 2860, 0, 871, 13, 51, 5, 0], [0, 6, 39, 74, 705, 231, 2838, 297, 3762, 220, 1683, 156, 189, 39, 0, 1], [0, 6, 39, 76, 684, 330, 2563, 792, 3168, 682, 1485, 156, 244, 6, 9, 0], [0, 6, 39, 77, 673, 385, 2398, 1122, 2706, 1144, 1155, 321, 189, 17, 8, 0], [0, 6, 39, 78, 662, 440, 2233, 1452, 2244, 1606, 825, 486, 134, 28, 7, 0], [0, 6, 39, 79, 651, 495, 2068, 1782, 1782, 2068, 495, 651, 79, 39, 6, 0], [0, 6, 39, 80, 640, 550, 1903, 2112, 1320, 2530, 165, 816, 24, 50, 5, 0], [0, 6, 40, 65, 739, 165, 2893, 330, 3630, 352, 1650, 101, 255, 5, 9, 0], [0, 6, 40, 66, 728, 220, 2728, 660, 3168, 814, 1320, 266, 200, 16, 8, 0], [0, 6, 40, 67, 717, 275, 2563, 990, 2706, 1276, 990, 431, 145, 27, 7, 0], [0, 6, 40, 68, 706, 330, 2398, 1320, 2244, 1738, 660, 596, 90, 38, 6, 0], [0, 6, 40, 69, 695, 385, 2233, 1650, 1782, 2200, 330, 761, 35, 49, 5, 0], [0, 6, 41, 55, 783, 55, 3058, 198, 3630, 484, 1485, 211, 211, 15, 8, 0], [0, 6, 41, 56, 772, 110, 2893, 528, 3168, 946, 1155, 376, 156, 26, 7, 0], [0, 6, 41, 57, 761, 165, 2728, 858, 2706, 1408, 825, 541, 101, 37, 6, 0], [0, 6, 41, 58, 750, 220, 2563, 1188, 2244, 1870, 495, 706, 46, 48, 5, 0], [0, 6, 42, 46, 816, 0, 3058, 396, 3168, 1078, 990, 486, 112, 36, 6, 0], [0, 6, 42, 47, 805, 55, 2893, 726, 2706, 1540, 660, 651, 57, 47, 5, 0], [0, 6, 42, 48, 794, 110, 2728, 1056, 2244, 2002, 330, 816, 2, 58, 4, 0], [0, 7, 19, 224, 89, 1826, 66, 3597, 1122, 1507, 1463, 2, 309, 4, 4, 1], [0, 7, 20, 214, 133, 1716, 231, 3465, 1122, 1639, 1298, 112, 265, 14, 3, 1], [0, 7, 20, 215, 122, 1771, 66, 3795, 660, 2101, 968, 277, 210, 25, 2, 1], [0, 7, 21, 203, 188, 1551, 561, 3003, 1584, 1309, 1463, 57, 276, 13, 3, 1], [0, 7, 21, 204, 177, 1606, 396, 3333, 1122, 1771, 1133, 222, 221, 24, 2, 1], [0, 7, 21, 205, 166, 1661, 231, 3663, 660, 2233, 803, 387, 166, 35, 1, 1], [0, 7, 21, 206, 155, 1716, 66, 3993, 198, 2695, 473, 552, 111, 46, 0, 1], [0, 7, 22, 192, 243, 1386, 891, 2541, 2046, 979, 1628, 2, 287, 12, 3, 1], [0, 7, 22, 193, 232, 1441, 726, 2871, 1584, 1441, 1298, 167, 232, 23, 2, 1], [0, 7, 22, 194, 221, 1496, 561, 3201, 1122, 1903, 968, 332, 177, 34, 1, 1], [0, 7, 22, 195, 210, 1551, 396, 3531, 660, 2365, 638, 497, 122, 45, 0, 1], [0, 7, 22, 196, 200, 1595, 286, 3696, 528, 2365, 770, 332, 232, 1, 10, 0], [0, 7, 22, 197, 189, 1650, 121, 4026, 66, 2827, 440, 497, 177, 12, 9, 0], [0, 7, 23, 182, 287, 1276, 1056, 2409, 2046, 1111, 1463, 112, 243, 22, 2, 1], [0, 7, 23, 183, 276, 1331, 891, 2739, 1584, 1573, 1133, 277, 188, 33, 1, 1], [0, 7, 23, 184, 265, 1386, 726, 3069, 1122, 2035, 803, 442, 133, 44, 0, 1], [0, 7, 23, 185, 255, 1430, 616, 3234, 990, 2035, 935, 277, 243, 0, 10, 0], [0, 7, 23, 186, 244, 1485, 451, 3564, 528, 2497, 605, 442, 188, 11, 9, 0], [0, 7, 23, 187, 233, 1540, 286, 3894, 66, 2959, 275, 607, 133, 22, 8, 0], [0, 7, 24, 171, 342, 1111, 1386, 1947, 2508, 781, 1628, 57, 254, 21, 2, 1], [0, 7, 24, 172, 331, 1166, 1221, 2277, 2046, 1243, 1298, 222, 199, 32, 1, 1], [0, 7, 24, 173, 320, 1221, 1056, 2607, 1584, 1705, 968, 387, 144, 43, 0, 1], [0, 7, 24, 175, 299, 1320, 781, 3102, 990, 2167, 770, 387, 199, 10, 9, 0], [0, 7, 24, 176, 288, 1375, 616, 3432, 528, 2629, 440, 552, 144, 21, 8, 0], [0, 7, 24, 177, 277, 1430, 451, 3762, 66, 3091, 110, 717, 89, 32, 7, 0], [0, 7, 25, 160, 397, 946, 1716, 1485, 2970, 451, 1793, 2, 265, 20, 2, 1], [0, 7, 25, 161, 386, 1001, 1551, 1815, 2508, 913, 1463, 167, 210, 31, 1, 1], [0, 7, 25, 162, 375, 1056, 1386, 2145, 2046, 1375, 1133, 332, 155, 42, 0, 1], [0, 7, 25, 164, 354, 1155, 1111, 2640, 1452, 1837, 935, 332, 210, 9, 9, 0], [0, 7, 25, 165, 343, 1210, 946, 2970, 990, 2299, 605, 497, 155, 20, 8, 0], [0, 7, 25, 166, 332, 1265, 781, 3300, 528, 2761, 275, 662, 100, 31, 7, 0], [0, 7, 26, 150, 441, 836, 1881, 1353, 2970, 583, 1628, 112, 221, 30, 1, 1], [0, 7, 26, 151, 430, 891, 1716, 1683, 2508, 1045, 1298, 277, 166, 41, 0, 1], [0, 7, 26, 153, 409, 990, 1441, 2178, 1914, 1507, 1100, 277, 221, 8, 9, 0], [0, 7, 26, 154, 398, 1045, 1276, 2508, 1452, 1969, 770, 442, 166, 19, 8, 0], [0, 7, 26, 155, 387, 1100, 1111, 2838, 990, 2431, 440, 607, 111, 30, 7, 0], [0, 7, 26, 156, 376, 1155, 946, 3168, 528, 2893, 110, 772, 56, 41, 6, 0], [0, 7, 27, 139, 496, 671, 2211, 891, 3432, 253, 1793, 57, 232, 29, 1, 1], [0, 7, 27, 140, 485, 726, 2046, 1221, 2970, 715, 1463, 222, 177, 40, 0, 1], [0, 7, 27, 142, 464, 825, 1771, 1716, 2376, 1177, 1265, 222, 232, 7, 9, 0], [0, 7, 27, 143, 453, 880, 1606, 2046, 1914, 1639, 935, 387, 177, 18, 8, 0], [0, 7, 27, 144, 442, 935, 1441, 2376, 1452, 2101, 605, 552, 122, 29, 7, 0], [0, 7, 27, 145, 431, 990, 1276, 2706, 990, 2563, 275, 717, 67, 40, 6, 0], [0, 7, 28, 129, 540, 561, 2376, 759, 3432, 385, 1628, 167, 188, 39, 0, 1], [0, 7, 28, 131, 519, 660, 2101, 1254, 2838, 847, 1430, 167, 243, 6, 9, 0], [0, 7, 28, 132, 508, 715, 1936, 1584, 2376, 1309, 1100, 332, 188, 17, 8, 0], [0, 7, 28, 133, 497, 770, 1771, 1914, 1914, 1771, 770, 497, 133, 28, 7, 0], [0, 7, 28, 134, 486, 825, 1606, 2244, 1452, 2233, 440, 662, 78, 39, 6, 0], [0, 7, 28, 135, 475, 880, 1441, 2574, 990, 2695, 110, 827, 23, 50, 5, 0], [0, 7, 29, 118, 595, 396, 2706, 297, 3894, 55, 1793, 112, 199, 38, 0, 1], [0, 7, 29, 120, 574, 495, 2431, 792, 3300, 517, 1595, 112, 254, 5, 9, 0], [0, 7, 29, 121, 563, 550, 2266, 1122, 2838, 979, 1265, 277, 199, 16, 8, 0], [0, 7, 29, 122, 552, 605, 2101, 1452, 2376, 1441, 935, 442, 144, 27, 7, 0], [0, 7, 29, 123, 541, 660, 1936, 1782, 1914, 1903, 605, 607, 89, 38, 6, 0], [0, 7, 29, 124, 530, 715, 1771, 2112, 1452, 2365, 275, 772, 34, 49, 5, 0], [0, 7, 30, 109, 629, 330, 2761, 330, 3762, 187, 1760, 57, 265, 4, 9, 0], [0, 7, 30, 110, 618, 385, 2596, 660, 3300, 649, 1430, 222, 210, 15, 8, 0], [0, 7, 30, 111, 607, 440, 2431, 990, 2838, 1111, 1100, 387, 155, 26, 7, 0], [0, 7, 30, 112, 596, 495, 2266, 1320, 2376, 1573, 770, 552, 100, 37, 6, 0], [0, 7, 30, 113, 585, 550, 2101, 1650, 1914, 2035, 440, 717, 45, 48, 5, 0], [0, 7, 31, 99, 673, 220, 2926, 198, 3762, 319, 1595, 167, 221, 14, 8, 0], [0, 7, 31, 100, 662, 275, 2761, 528, 3300, 781, 1265, 332, 166, 25, 7, 0], [0, 7, 31, 101, 651, 330, 2596, 858, 2838, 1243, 935, 497, 111, 36, 6, 0], [0, 7, 31, 102, 640, 385, 2431, 1188, 2376, 1705, 605, 662, 56, 47, 5, 0], [0, 7, 31, 103, 629, 440, 2266, 1518, 1914, 2167, 275, 827, 1, 58, 4, 0], [0, 7, 32, 89, 717, 110, 3091, 66, 3762, 451, 1430, 277, 177, 24, 7, 0], [0, 7, 32, 90, 706, 165, 2926, 396, 3300, 913, 1100, 442, 122, 35, 6, 0], [0, 7, 32, 91, 695, 220, 2761, 726, 2838, 1375, 770, 607, 67, 46, 5, 0], [0, 7, 32, 92, 684, 275, 2596, 1056, 2376, 1837, 440, 772, 12, 57, 4, 0], [0, 7, 33, 80, 750, 55, 3091, 264, 3300, 1045, 935, 552, 78, 45, 5, 0], [0, 7, 33, 81, 739, 110, 2926, 594, 2838, 1507, 605, 717, 23, 56, 4, 0], [0, 8, 10, 258, 23, 1881, 99, 3465, 1254, 1474, 1408, 68, 275, 13, 3, 1], [0, 8, 11, 247, 78, 1716, 429, 3003, 1716, 1144, 1573, 13, 286, 12, 3, 1], [0, 8, 11, 248, 67, 1771, 264, 3333, 1254, 1606, 1243, 178, 231, 23, 2, 1], [0, 8, 11, 249, 56, 1826, 99, 3663, 792, 2068, 913, 343, 176, 34, 1, 1], [0, 8, 12, 237, 122, 1606, 594, 2871, 1716, 1276, 1408, 123, 242, 22, 2, 1], [0, 8, 12, 238, 111, 1661, 429, 3201, 1254, 1738, 1078, 288, 187, 33, 1, 1], [0, 8, 12, 239, 100, 1716, 264, 3531, 792, 2200, 748, 453, 132, 44, 0, 1], [0, 8, 12, 240, 90, 1760, 154, 3696, 660, 2200, 880, 288, 242, 0, 10, 0], [0, 8, 13, 226, 177, 1441, 924, 2409, 2178, 946, 1573, 68, 253, 21, 2, 1], [0, 8, 13, 227, 166, 1496, 759, 2739, 1716, 1408, 1243, 233, 198, 32, 1, 1], [0, 8, 13, 228, 155, 1551, 594, 3069, 1254, 1870, 913, 398, 143, 43, 0, 1], [0, 8, 13, 230, 134, 1650, 319, 3564, 660, 2332, 715, 398, 198, 10, 9, 0], [0, 8, 13, 231, 123, 1705, 154, 3894, 198, 2794, 385, 563, 143, 21, 8, 0], [0, 8, 14, 215, 232, 1276, 1254, 1947, 2640, 616, 1738, 13, 264, 20, 2, 1], [0, 8, 14, 216, 221, 1331, 1089, 2277, 2178, 1078, 1408, 178, 209, 31, 1, 1], [0, 8, 14, 217, 210, 1386, 924, 2607, 1716, 1540, 1078, 343, 154, 42, 0, 1], [0, 8, 14, 219, 189, 1485, 649, 3102, 1122, 2002, 880, 343, 209, 9, 9, 0], [0, 8, 14, 220, 178, 1540, 484, 3432, 660, 2464, 550, 508, 154, 20, 8, 0], [0, 8, 14, 221, 167, 1595, 319, 3762, 198, 2926, 220, 673, 99, 31, 7, 0], [0, 8, 15, 205, 276, 1166, 1419, 1815, 2640, 748, 1573, 123, 220, 30, 1, 1], [0, 8, 15, 206, 265, 1221, 1254, 2145, 2178, 1210, 1243, 288, 165, 41, 0, 1], [0, 8, 15, 208, 244, 1320, 979, 2640, 1584, 1672, 1045, 288, 220, 8, 9, 0], [0, 8, 15, 209, 233, 1375, 814, 2970, 1122, 2134, 715, 453, 165, 19, 8, 0], [0, 8, 15, 210, 222, 1430, 649, 3300, 660, 2596, 385, 618, 110, 30, 7, 0], [0, 8, 15, 211, 211, 1485, 484, 3630, 198, 3058, 55, 783, 55, 41, 6, 0], [0, 8, 16, 194, 331, 1001, 1749, 1353, 3102, 418, 1738, 68, 231, 29, 1, 1], [0, 8, 16, 195, 320, 1056, 1584, 1683, 2640, 880, 1408, 233, 176, 40, 0, 1], [0, 8, 16, 197, 299, 1155, 1309, 2178, 2046, 1342, 1210, 233, 231, 7, 9, 0], [0, 8, 16, 198, 288, 1210, 1144, 2508, 1584, 1804, 880, 398, 176, 18, 8, 0], [0, 8, 16, 199, 277, 1265, 979, 2838, 1122, 2266, 550, 563, 121, 29, 7, 0], [0, 8, 16, 200, 266, 1320, 814, 3168, 660, 2728, 220, 728, 66, 40, 6, 0], [0, 8, 17, 183, 386, 836, 2079, 891, 3564, 88, 1903, 13, 242, 28, 1, 1], [0, 8, 17, 184, 375, 891, 1914, 1221, 3102, 550, 1573, 178, 187, 39, 0, 1], [0, 8, 17, 186, 354, 990, 1639, 1716, 2508, 1012, 1375, 178, 242, 6, 9, 0], [0, 8, 17, 187, 343, 1045, 1474, 2046, 2046, 1474, 1045, 343, 187, 17, 8, 0], [0, 8, 17, 188, 332, 1100, 1309, 2376, 1584, 1936, 715, 508, 132, 28, 7, 0], [0, 8, 17, 189, 321, 1155, 1144, 2706, 1122, 2398, 385, 673, 77, 39, 6, 0], [0, 8, 17, 190, 310, 1210, 979, 3036, 660, 2860, 55, 838, 22, 50, 5, 0], [0, 8, 18, 173, 430, 726, 2244, 759, 3564, 220, 1738, 123, 198, 38, 0, 1], [0, 8, 18, 175, 409, 825, 1969, 1254, 2970, 682, 1540, 123, 253, 5, 9, 0], [0, 8, 18, 176, 398, 880, 1804, 1584, 2508, 1144, 1210, 288, 198, 16, 8, 0], [0, 8, 18, 177, 387, 935, 1639, 1914, 2046, 1606, 880, 453, 143, 27, 7, 0], [0, 8, 18, 178, 376, 990, 1474, 2244, 1584, 2068, 550, 618, 88, 38, 6, 0], [0, 8, 18, 179, 365, 1045, 1309, 2574, 1122, 2530, 220, 783, 33, 49, 5, 0], [0, 8, 19, 164, 464, 660, 2299, 792, 3432, 352, 1705, 68, 264, 4, 9, 0], [0, 8, 19, 165, 453, 715, 2134, 1122, 2970, 814, 1375, 233, 209, 15, 8, 0], [0, 8, 19, 166, 442, 770, 1969, 1452, 2508, 1276, 1045, 398, 154, 26, 7, 0], [0, 8, 19, 167, 431, 825, 1804, 1782, 2046, 1738, 715, 563, 99, 37, 6, 0], [0, 8, 19, 168, 420, 880, 1639, 2112, 1584, 2200, 385, 728, 44, 48, 5, 0], [0, 8, 20, 153, 519, 495, 2629, 330, 3894, 22, 1870, 13, 275, 3, 9, 0], [0, 8, 20, 154, 508, 550, 2464, 660, 3432, 484, 1540, 178, 220, 14, 8, 0], [0, 8, 20, 155, 497, 605, 2299, 990, 2970, 946, 1210, 343, 165, 25, 7, 0], [0, 8, 20, 156, 486, 660, 2134, 1320, 2508, 1408, 880, 508, 110, 36, 6, 0], [0, 8, 20, 157, 475, 715, 1969, 1650, 2046, 1870, 550, 673, 55, 47, 5, 0], [0, 8, 20, 158, 464, 770, 1804, 1980, 1584, 2332, 220, 838, 0, 58, 4, 0], [0, 8, 21, 143, 563, 385, 2794, 198, 3894, 154, 1705, 123, 231, 13, 8, 0], [0, 8, 21, 144, 552, 440, 2629, 528, 3432, 616, 1375, 288, 176, 24, 7, 0], [0, 8, 21, 145, 541, 495, 2464, 858, 2970, 1078, 1045, 453, 121, 35, 6, 0], [0, 8, 21, 146, 530, 550, 2299, 1188, 2508, 1540, 715, 618, 66, 46, 5, 0], [0, 8, 21, 147, 519, 605, 2134, 1518, 2046, 2002, 385, 783, 11, 57, 4, 0], [0, 8, 22, 133, 607, 275, 2959, 66, 3894, 286, 1540, 233, 187, 23, 7, 0], [0, 8, 22, 134, 596, 330, 2794, 396, 3432, 748, 1210, 398, 132, 34, 6, 0], [0, 8, 22, 135, 585, 385, 2629, 726, 2970, 1210, 880, 563, 77, 45, 5, 0], [0, 8, 22, 136, 574, 440, 2464, 1056, 2508, 1672, 550, 728, 22, 56, 4, 0], [0, 8, 23, 124, 640, 220, 2959, 264, 3432, 880, 1045, 508, 88, 44, 5, 0], [0, 8, 23, 125, 629, 275, 2794, 594, 2970, 1342, 715, 673, 33, 55, 4, 0], [0, 8, 24, 114, 684, 110, 3124, 132, 3432, 1012, 880, 618, 44, 54, 4, 0], [0, 8, 25, 104, 728, 0, 3289, 0, 3432, 1144, 715, 728, 0, 64, 3, 0], [0, 9, 2, 281, 12, 1771, 462, 2871, 1848, 1111, 1518, 79, 252, 21, 2, 1], [0, 9, 2, 282, 1, 1826, 297, 3201, 1386, 1573, 1188, 244, 197, 32, 1, 1], [0, 9, 3, 270, 67, 1606, 792, 2409, 2310, 781, 1683, 24, 263, 20, 2, 1], [0, 9, 3, 271, 56, 1661, 627, 2739, 1848, 1243, 1353, 189, 208, 31, 1, 1], [0, 9, 3, 272, 45, 1716, 462, 3069, 1386, 1705, 1023, 354, 153, 42, 0, 1], [0, 9, 3, 274, 24, 1815, 187, 3564, 792, 2167, 825, 354, 208, 9, 9, 0], [0, 9, 3, 275, 13, 1870, 22, 3894, 330, 2629, 495, 519, 153, 20, 8, 0], [0, 9, 4, 260, 111, 1496, 957, 2277, 2310, 913, 1518, 134, 219, 30, 1, 1], [0, 9, 4, 261, 100, 1551, 792, 2607, 1848, 1375, 1188, 299, 164, 41, 0, 1], [0, 9, 4, 263, 79, 1650, 517, 3102, 1254, 1837, 990, 299, 219, 8, 9, 0], [0, 9, 4, 264, 68, 1705, 352, 3432, 792, 2299, 660, 464, 164, 19, 8, 0], [0, 9, 4, 265, 57, 1760, 187, 3762, 330, 2761, 330, 629, 109, 30, 7, 0], [0, 9, 5, 249, 166, 1331, 1287, 1815, 2772, 583, 1683, 79, 230, 29, 1, 1], [0, 9, 5, 250, 155, 1386, 1122, 2145, 2310, 1045, 1353, 244, 175, 40, 0, 1], [0, 9, 5, 252, 134, 1485, 847, 2640, 1716, 1507, 1155, 244, 230, 7, 9, 0], [0, 9, 5, 253, 123, 1540, 682, 2970, 1254, 1969, 825, 409, 175, 18, 8, 0], [0, 9, 5, 254, 112, 1595, 517, 3300, 792, 2431, 495, 574, 120, 29, 7, 0], [0, 9, 5, 255, 101, 1650, 352, 3630, 330, 2893, 165, 739, 65, 40, 6, 0], [0, 9, 6, 238, 221, 1166, 1617, 1353, 3234, 253, 1848, 24, 241, 28, 1, 1], [0, 9, 6, 239, 210, 1221, 1452, 1683, 2772, 715, 1518, 189, 186, 39, 0, 1], [0, 9, 6, 241, 189, 1320, 1177, 2178, 2178, 1177, 1320, 189, 241, 6, 9, 0], [0, 9, 6, 242, 178, 1375, 1012, 2508, 1716, 1639, 990, 354, 186, 17, 8, 0], [0, 9, 6, 243, 167, 1430, 847, 2838, 1254, 2101, 660, 519, 131, 28, 7, 0], [0, 9, 6, 244, 156, 1485, 682, 3168, 792, 2563, 330, 684, 76, 39, 6, 0], [0, 9, 6, 245, 145, 1540, 517, 3498, 330, 3025, 0, 849, 21, 50, 5, 0], [0, 9, 7, 228, 265, 1056, 1782, 1221, 3234, 385, 1683, 134, 197, 38, 0, 1], [0, 9, 7, 230, 244, 1155, 1507, 1716, 2640, 847, 1485, 134, 252, 5, 9, 0], [0, 9, 7, 231, 233, 1210, 1342, 2046, 2178, 1309, 1155, 299, 197, 16, 8, 0], [0, 9, 7, 232, 222, 1265, 1177, 2376, 1716, 1771, 825, 464, 142, 27, 7, 0], [0, 9, 7, 233, 211, 1320, 1012, 2706, 1254, 2233, 495, 629, 87, 38, 6, 0], [0, 9, 7, 234, 200, 1375, 847, 3036, 792, 2695, 165, 794, 32, 49, 5, 0], [0, 9, 8, 217, 320, 891, 2112, 759, 3696, 55, 1848, 79, 208, 37, 0, 1], [0, 9, 8, 219, 299, 990, 1837, 1254, 3102, 517, 1650, 79, 263, 4, 9, 0], [0, 9, 8, 220, 288, 1045, 1672, 1584, 2640, 979, 1320, 244, 208, 15, 8, 0], [0, 9, 8, 221, 277, 1100, 1507, 1914, 2178, 1441, 990, 409, 153, 26, 7, 0], [0, 9, 8, 222, 266, 1155, 1342, 2244, 1716, 1903, 660, 574, 98, 37, 6, 0], [0, 9, 8, 223, 255, 1210, 1177, 2574, 1254, 2365, 330, 739, 43, 48, 5, 0], [0, 9, 9, 208, 354, 825, 2167, 792, 3564, 187, 1815, 24, 274, 3, 9, 0], [0, 9, 9, 209, 343, 880, 2002, 1122, 3102, 649, 1485, 189, 219, 14, 8, 0], [0, 9, 9, 210, 332, 935, 1837, 1452, 2640, 1111, 1155, 354, 164, 25, 7, 0], [0, 9, 9, 211, 321, 990, 1672, 1782, 2178, 1573, 825, 519, 109, 36, 6, 0], [0, 9, 9, 212, 310, 1045, 1507, 2112, 1716, 2035, 495, 684, 54, 47, 5, 0], [0, 9, 10, 198, 398, 715, 2332, 660, 3564, 319, 1650, 134, 230, 13, 8, 0], [0, 9, 10, 199, 387, 770, 2167, 990, 3102, 781, 1320, 299, 175, 24, 7, 0], [0, 9, 10, 200, 376, 825, 2002, 1320, 2640, 1243, 990, 464, 120, 35, 6, 0], [0, 9, 10, 201, 365, 880, 1837, 1650, 2178, 1705, 660, 629, 65, 46, 5, 0], [0, 9, 10, 202, 354, 935, 1672, 1980, 1716, 2167, 330, 794, 10, 57, 4, 0], [0, 9, 11, 188, 442, 605, 2497, 528, 3564, 451, 1485, 244, 186, 23, 7, 0], [0, 9, 11, 189, 431, 660, 2332, 858, 3102, 913, 1155, 409, 131, 34, 6, 0], [0, 9, 11, 190, 420, 715, 2167, 1188, 2640, 1375, 825, 574, 76, 45, 5, 0], [0, 9, 11, 191, 409, 770, 2002, 1518, 2178, 1837, 495, 739, 21, 56, 4, 0], [0, 9, 12, 177, 497, 440, 2827, 66, 4026, 121, 1650, 189, 197, 22, 7, 0], [0, 9, 12, 178, 486, 495, 2662, 396, 3564, 583, 1320, 354, 142, 33, 6, 0], [0, 9, 12, 179, 475, 550, 2497, 726, 3102, 1045, 990, 519, 87, 44, 5, 0], [0, 9, 12, 180, 464, 605, 2332, 1056, 2640, 1507, 660, 684, 32, 55, 4, 0], [0, 9, 13, 168, 530, 385, 2827, 264, 3564, 715, 1155, 464, 98, 43, 5, 0], [0, 9, 13, 169, 519, 440, 2662, 594, 3102, 1177, 825, 629, 43, 54, 4, 0], [0, 9, 14, 158, 574, 275, 2992, 132, 3564, 847, 990, 574, 54, 53, 4, 0], [0, 9, 15, 148, 618, 165, 3157, 0, 3564, 979, 825, 684, 10, 63, 3, 0], [0, 10, 0, 242, 288, 880, 2200, 660, 3696, 154, 1760, 90, 240, 12, 8, 0], [0, 10, 0, 243, 277, 935, 2035, 990, 3234, 616, 1430, 255, 185, 23, 7, 0], [0, 10, 0, 244, 266, 990, 1870, 1320, 2772, 1078, 1100, 420, 130, 34, 6, 0], [0, 10, 0, 245, 255, 1045, 1705, 1650, 2310, 1540, 770, 585, 75, 45, 5, 0], [0, 10, 0, 246, 244, 1100, 1540, 1980, 1848, 2002, 440, 750, 20, 56, 4, 0], [0, 10, 1, 232, 332, 770, 2365, 528, 3696, 286, 1595, 200, 196, 22, 7, 0], [0, 10, 1, 233, 321, 825, 2200, 858, 3234, 748, 1265, 365, 141, 33, 6, 0], [0, 10, 1, 234, 310, 880, 2035, 1188, 2772, 1210, 935, 530, 86, 44, 5, 0], [0, 10, 1, 235, 299, 935, 1870, 1518, 2310, 1672, 605, 695, 31, 55, 4, 0], [0, 10, 2, 222, 376, 660, 2530, 396, 3696, 418, 1430, 310, 152, 32, 6, 0], [0, 10, 2, 223, 365, 715, 2365, 726, 3234, 880, 1100, 475, 97, 43, 5, 0], [0, 10, 2, 224, 354, 770, 2200, 1056, 2772, 1342, 770, 640, 42, 54, 4, 0], [0, 10, 3, 212, 420, 550, 2695, 264, 3696, 550, 1265, 420, 108, 42, 5, 0], [0, 10, 3, 213, 409, 605, 2530, 594, 3234, 1012, 935, 585, 53, 53, 4, 0], [0, 10, 4, 202, 464, 440, 2860, 132, 3696, 682, 1100, 530, 64, 52, 4, 0], [0, 10, 4, 203, 453, 495, 2695, 462, 3234, 1144, 770, 695, 9, 63, 3, 0], [0, 10, 5, 192, 508, 330, 3025, 0, 3696, 814, 935, 640, 20, 62, 3, 0]}