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