-------
(14, 5120, 9) ALL distance distributions for EXTERNAL point
(9, 5120, 9) has 0 possible DDs: {}
(10, 5120, 9) has 1 possible DDs: {[0, 100, 0, 1200, 0, 2520, 0, 1200, 0, 100, 0]}
(11, 5120, 9) has 6 possible DDs: {[0, 50, 50, 600, 600, 1260, 1260, 600, 600, 50, 50, 0], [0, 51, 40, 645, 480, 1470, 1008, 810, 480, 95, 40, 1], [0, 52, 30, 690, 360, 1680, 756, 1020, 360, 140, 30, 2], [0, 53, 20, 735, 240, 1890, 504, 1230, 240, 185, 20, 3], [0, 54, 10, 780, 120, 2100, 252, 1440, 120, 230, 10, 4], [0, 55, 0, 825, 0, 2310, 0, 1650, 0, 275, 0, 5]}
(12, 5120, 9) has 27 possible DDs: {[0, 21, 90, 145, 1080, 90, 2268, 90, 1080, 145, 90, 21, 0], [0, 22, 80, 190, 960, 300, 2016, 300, 960, 190, 80, 22, 0], [0, 22, 81, 180, 1005, 180, 2226, 48, 1170, 70, 125, 12, 1], [0, 23, 70, 235, 840, 510, 1764, 510, 840, 235, 70, 23, 0], [0, 23, 71, 225, 885, 390, 1974, 258, 1050, 115, 115, 13, 1], [0, 24, 60, 280, 720, 720, 1512, 720, 720, 280, 60, 24, 0], [0, 24, 61, 270, 765, 600, 1722, 468, 930, 160, 105, 14, 1], [0, 24, 62, 260, 810, 480, 1932, 216, 1140, 40, 150, 4, 2], [0, 25, 50, 325, 600, 930, 1260, 930, 600, 325, 50, 25, 0], [0, 25, 51, 315, 645, 810, 1470, 678, 810, 205, 95, 15, 1], [0, 25, 52, 305, 690, 690, 1680, 426, 1020, 85, 140, 5, 2], [0, 26, 40, 370, 480, 1140, 1008, 1140, 480, 370, 40, 26, 0], [0, 26, 41, 360, 525, 1020, 1218, 888, 690, 250, 85, 16, 1], [0, 26, 42, 350, 570, 900, 1428, 636, 900, 130, 130, 6, 2], [0, 27, 30, 415, 360, 1350, 756, 1350, 360, 415, 30, 27, 0], [0, 27, 31, 405, 405, 1230, 966, 1098, 570, 295, 75, 17, 1], [0, 27, 32, 395, 450, 1110, 1176, 846, 780, 175, 120, 7, 2], [0, 28, 20, 460, 240, 1560, 504, 1560, 240, 460, 20, 28, 0], [0, 28, 21, 450, 285, 1440, 714, 1308, 450, 340, 65, 18, 1], [0, 28, 22, 440, 330, 1320, 924, 1056, 660, 220, 110, 8, 2], [0, 29, 10, 505, 120, 1770, 252, 1770, 120, 505, 10, 29, 0], [0, 29, 11, 495, 165, 1650, 462, 1518, 330, 385, 55, 19, 1], [0, 29, 12, 485, 210, 1530, 672, 1266, 540, 265, 100, 9, 2], [0, 30, 0, 550, 0, 1980, 0, 1980, 0, 550, 0, 30, 0], [0, 30, 1, 540, 45, 1860, 210, 1728, 210, 430, 45, 20, 1], [0, 30, 2, 530, 90, 1740, 420, 1476, 420, 310, 90, 10, 2], [0, 30, 3, 520, 135, 1620, 630, 1224, 630, 190, 135, 0, 3]}
(13, 5120, 9) has 113 possible DDs: {[0, 8, 78, 30, 800, 360, 1284, 1284, 360, 800, 30, 78, 8, 0], [0, 8, 79, 20, 845, 240, 1494, 1032, 570, 680, 75, 68, 9, 0], [0, 8, 80, 10, 890, 120, 1704, 780, 780, 560, 120, 58, 10, 0], [0, 8, 80, 11, 880, 165, 1584, 990, 528, 770, 0, 103, 0, 1], [0, 8, 81, 0, 935, 0, 1914, 528, 990, 440, 165, 48, 11, 0], [0, 8, 81, 1, 925, 45, 1794, 738, 738, 650, 45, 93, 1, 1], [0, 9, 68, 75, 680, 570, 1032, 1494, 240, 845, 20, 79, 8, 0], [0, 9, 69, 65, 725, 450, 1242, 1242, 450, 725, 65, 69, 9, 0], [0, 9, 70, 55, 770, 330, 1452, 990, 660, 605, 110, 59, 10, 0], [0, 9, 71, 45, 815, 210, 1662, 738, 870, 485, 155, 49, 11, 0], [0, 9, 71, 46, 805, 255, 1542, 948, 618, 695, 35, 94, 1, 1], [0, 9, 72, 35, 860, 90, 1872, 486, 1080, 365, 200, 39, 12, 0], [0, 9, 72, 36, 850, 135, 1752, 696, 828, 575, 80, 84, 2, 1], [0, 9, 73, 26, 895, 15, 1962, 444, 1038, 455, 125, 74, 3, 1], [0, 10, 58, 120, 560, 780, 780, 1704, 120, 890, 10, 80, 8, 0], [0, 10, 59, 110, 605, 660, 990, 1452, 330, 770, 55, 70, 9, 0], [0, 10, 60, 100, 650, 540, 1200, 1200, 540, 650, 100, 60, 10, 0], [0, 10, 61, 90, 695, 420, 1410, 948, 750, 530, 145, 50, 11, 0], [0, 10, 61, 91, 685, 465, 1290, 1158, 498, 740, 25, 95, 1, 1], [0, 10, 62, 80, 740, 300, 1620, 696, 960, 410, 190, 40, 12, 0], [0, 10, 62, 81, 730, 345, 1500, 906, 708, 620, 70, 85, 2, 1], [0, 10, 63, 70, 785, 180, 1830, 444, 1170, 290, 235, 30, 13, 0], [0, 10, 63, 71, 775, 225, 1710, 654, 918, 500, 115, 75, 3, 1], [0, 10, 64, 60, 830, 60, 2040, 192, 1380, 170, 280, 20, 14, 0], [0, 10, 64, 61, 820, 105, 1920, 402, 1128, 380, 160, 65, 4, 1], [0, 11, 48, 165, 440, 990, 528, 1914, 0, 935, 0, 81, 8, 0], [0, 11, 49, 155, 485, 870, 738, 1662, 210, 815, 45, 71, 9, 0], [0, 11, 50, 145, 530, 750, 948, 1410, 420, 695, 90, 61, 10, 0], [0, 11, 51, 135, 575, 630, 1158, 1158, 630, 575, 135, 51, 11, 0], [0, 11, 51, 136, 565, 675, 1038, 1368, 378, 785, 15, 96, 1, 1], [0, 11, 52, 125, 620, 510, 1368, 906, 840, 455, 180, 41, 12, 0], [0, 11, 52, 126, 610, 555, 1248, 1116, 588, 665, 60, 86, 2, 1], [0, 11, 53, 115, 665, 390, 1578, 654, 1050, 335, 225, 31, 13, 0], [0, 11, 53, 116, 655, 435, 1458, 864, 798, 545, 105, 76, 3, 1], [0, 11, 54, 105, 710, 270, 1788, 402, 1260, 215, 270, 21, 14, 0], [0, 11, 54, 106, 700, 315, 1668, 612, 1008, 425, 150, 66, 4, 1], [0, 11, 55, 95, 755, 150, 1998, 150, 1470, 95, 315, 11, 15, 0], [0, 11, 55, 96, 745, 195, 1878, 360, 1218, 305, 195, 56, 5, 1], [0, 11, 56, 86, 790, 75, 2088, 108, 1428, 185, 240, 46, 6, 1], [0, 12, 39, 200, 365, 1080, 486, 1872, 90, 860, 35, 72, 9, 0], [0, 12, 40, 190, 410, 960, 696, 1620, 300, 740, 80, 62, 10, 0], [0, 12, 41, 180, 455, 840, 906, 1368, 510, 620, 125, 52, 11, 0], [0, 12, 41, 181, 445, 885, 786, 1578, 258, 830, 5, 97, 1, 1], [0, 12, 42, 170, 500, 720, 1116, 1116, 720, 500, 170, 42, 12, 0], [0, 12, 42, 171, 490, 765, 996, 1326, 468, 710, 50, 87, 2, 1], [0, 12, 43, 160, 545, 600, 1326, 864, 930, 380, 215, 32, 13, 0], [0, 12, 43, 161, 535, 645, 1206, 1074, 678, 590, 95, 77, 3, 1], [0, 12, 44, 150, 590, 480, 1536, 612, 1140, 260, 260, 22, 14, 0], [0, 12, 44, 151, 580, 525, 1416, 822, 888, 470, 140, 67, 4, 1], [0, 12, 45, 140, 635, 360, 1746, 360, 1350, 140, 305, 12, 15, 0], [0, 12, 45, 141, 625, 405, 1626, 570, 1098, 350, 185, 57, 5, 1], [0, 12, 46, 130, 680, 240, 1956, 108, 1560, 20, 350, 2, 16, 0], [0, 12, 46, 131, 670, 285, 1836, 318, 1308, 230, 230, 47, 6, 1], [0, 12, 47, 121, 715, 165, 2046, 66, 1518, 110, 275, 37, 7, 1], [0, 13, 30, 235, 290, 1170, 444, 1830, 180, 785, 70, 63, 10, 0], [0, 13, 31, 225, 335, 1050, 654, 1578, 390, 665, 115, 53, 11, 0], [0, 13, 32, 215, 380, 930, 864, 1326, 600, 545, 160, 43, 12, 0], [0, 13, 32, 216, 370, 975, 744, 1536, 348, 755, 40, 88, 2, 1], [0, 13, 33, 205, 425, 810, 1074, 1074, 810, 425, 205, 33, 13, 0], [0, 13, 33, 206, 415, 855, 954, 1284, 558, 635, 85, 78, 3, 1], [0, 13, 34, 195, 470, 690, 1284, 822, 1020, 305, 250, 23, 14, 0], [0, 13, 34, 196, 460, 735, 1164, 1032, 768, 515, 130, 68, 4, 1], [0, 13, 35, 185, 515, 570, 1494, 570, 1230, 185, 295, 13, 15, 0], [0, 13, 35, 186, 505, 615, 1374, 780, 978, 395, 175, 58, 5, 1], [0, 13, 36, 175, 560, 450, 1704, 318, 1440, 65, 340, 3, 16, 0], [0, 13, 36, 176, 550, 495, 1584, 528, 1188, 275, 220, 48, 6, 1], [0, 13, 37, 166, 595, 375, 1794, 276, 1398, 155, 265, 38, 7, 1], [0, 13, 38, 156, 640, 255, 2004, 24, 1608, 35, 310, 28, 8, 1], [0, 14, 20, 280, 170, 1380, 192, 2040, 60, 830, 60, 64, 10, 0], [0, 14, 21, 270, 215, 1260, 402, 1788, 270, 710, 105, 54, 11, 0], [0, 14, 22, 260, 260, 1140, 612, 1536, 480, 590, 150, 44, 12, 0], [0, 14, 22, 261, 250, 1185, 492, 1746, 228, 800, 30, 89, 2, 1], [0, 14, 23, 250, 305, 1020, 822, 1284, 690, 470, 195, 34, 13, 0], [0, 14, 23, 251, 295, 1065, 702, 1494, 438, 680, 75, 79, 3, 1], [0, 14, 24, 240, 350, 900, 1032, 1032, 900, 350, 240, 24, 14, 0], [0, 14, 24, 241, 340, 945, 912, 1242, 648, 560, 120, 69, 4, 1], [0, 14, 25, 230, 395, 780, 1242, 780, 1110, 230, 285, 14, 15, 0], [0, 14, 25, 231, 385, 825, 1122, 990, 858, 440, 165, 59, 5, 1], [0, 14, 26, 220, 440, 660, 1452, 528, 1320, 110, 330, 4, 16, 0], [0, 14, 26, 221, 430, 705, 1332, 738, 1068, 320, 210, 49, 6, 1], [0, 14, 27, 211, 475, 585, 1542, 486, 1278, 200, 255, 39, 7, 1], [0, 14, 28, 201, 520, 465, 1752, 234, 1488, 80, 300, 29, 8, 1], [0, 15, 11, 315, 95, 1470, 150, 1998, 150, 755, 95, 55, 11, 0], [0, 15, 12, 305, 140, 1350, 360, 1746, 360, 635, 140, 45, 12, 0], [0, 15, 12, 306, 130, 1395, 240, 1956, 108, 845, 20, 90, 2, 1], [0, 15, 13, 295, 185, 1230, 570, 1494, 570, 515, 185, 35, 13, 0], [0, 15, 13, 296, 175, 1275, 450, 1704, 318, 725, 65, 80, 3, 1], [0, 15, 14, 285, 230, 1110, 780, 1242, 780, 395, 230, 25, 14, 0], [0, 15, 14, 286, 220, 1155, 660, 1452, 528, 605, 110, 70, 4, 1], [0, 15, 15, 275, 275, 990, 990, 990, 990, 275, 275, 15, 15, 0], [0, 15, 15, 276, 265, 1035, 870, 1200, 738, 485, 155, 60, 5, 1], [0, 15, 16, 265, 320, 870, 1200, 738, 1200, 155, 320, 5, 16, 0], [0, 15, 16, 266, 310, 915, 1080, 948, 948, 365, 200, 50, 6, 1], [0, 15, 17, 256, 355, 795, 1290, 696, 1158, 245, 245, 40, 7, 1], [0, 15, 18, 246, 400, 675, 1500, 444, 1368, 125, 290, 30, 8, 1], [0, 15, 19, 236, 445, 555, 1710, 192, 1578, 5, 335, 20, 9, 1], [0, 15, 20, 227, 480, 480, 1800, 150, 1536, 95, 260, 55, 0, 2], [0, 16, 2, 350, 20, 1560, 108, 1956, 240, 680, 130, 46, 12, 0], [0, 16, 3, 340, 65, 1440, 318, 1704, 450, 560, 175, 36, 13, 0], [0, 16, 3, 341, 55, 1485, 198, 1914, 198, 770, 55, 81, 3, 1], [0, 16, 4, 330, 110, 1320, 528, 1452, 660, 440, 220, 26, 14, 0], [0, 16, 4, 331, 100, 1365, 408, 1662, 408, 650, 100, 71, 4, 1], [0, 16, 5, 320, 155, 1200, 738, 1200, 870, 320, 265, 16, 15, 0], [0, 16, 5, 321, 145, 1245, 618, 1410, 618, 530, 145, 61, 5, 1], [0, 16, 6, 310, 200, 1080, 948, 948, 1080, 200, 310, 6, 16, 0], [0, 16, 6, 311, 190, 1125, 828, 1158, 828, 410, 190, 51, 6, 1], [0, 16, 7, 301, 235, 1005, 1038, 906, 1038, 290, 235, 41, 7, 1], [0, 16, 8, 291, 280, 885, 1248, 654, 1248, 170, 280, 31, 8, 1], [0, 16, 9, 281, 325, 765, 1458, 402, 1458, 50, 325, 21, 9, 1], [0, 16, 10, 272, 360, 690, 1548, 360, 1416, 140, 250, 56, 0, 2], [0, 16, 11, 262, 405, 570, 1758, 108, 1626, 20, 295, 46, 1, 2], [0, 17, 0, 317, 240, 900, 1296, 570, 1296, 185, 240, 57, 0, 2], [0, 17, 1, 307, 285, 780, 1506, 318, 1506, 65, 285, 47, 1, 2]}
(14, 5120, 9) has 401 possible DDs: {[0, 1, 64, 6, 400, 895, 48, 2292, 48, 895, 400, 6, 64, 1, 0], [0, 2, 56, 32, 360, 910, 96, 2208, 96, 910, 360, 32, 56, 2, 0], [0, 2, 57, 22, 405, 790, 306, 1956, 306, 790, 405, 22, 57, 2, 0], [0, 2, 57, 23, 395, 835, 186, 2166, 54, 1000, 285, 67, 47, 3, 0], [0, 2, 58, 12, 450, 670, 516, 1704, 516, 670, 450, 12, 58, 2, 0], [0, 2, 58, 13, 440, 715, 396, 1914, 264, 880, 330, 57, 48, 3, 0], [0, 2, 58, 14, 430, 760, 276, 2124, 12, 1090, 210, 102, 38, 4, 0], [0, 2, 59, 2, 495, 550, 726, 1452, 726, 550, 495, 2, 59, 2, 0], [0, 2, 59, 3, 485, 595, 606, 1662, 474, 760, 375, 47, 49, 3, 0], [0, 2, 59, 4, 475, 640, 486, 1872, 222, 970, 255, 92, 39, 4, 0], [0, 3, 47, 67, 285, 1000, 54, 2166, 186, 835, 395, 23, 57, 2, 0], [0, 3, 48, 57, 330, 880, 264, 1914, 396, 715, 440, 13, 58, 2, 0], [0, 3, 48, 58, 320, 925, 144, 2124, 144, 925, 320, 58, 48, 3, 0], [0, 3, 49, 47, 375, 760, 474, 1662, 606, 595, 485, 3, 59, 2, 0], [0, 3, 49, 48, 365, 805, 354, 1872, 354, 805, 365, 48, 49, 3, 0], [0, 3, 49, 49, 355, 850, 234, 2082, 102, 1015, 245, 93, 39, 4, 0], [0, 3, 50, 38, 410, 685, 564, 1620, 564, 685, 410, 38, 50, 3, 0], [0, 3, 50, 39, 400, 730, 444, 1830, 312, 895, 290, 83, 40, 4, 0], [0, 3, 50, 40, 390, 775, 324, 2040, 60, 1105, 170, 128, 30, 5, 0], [0, 3, 51, 28, 455, 565, 774, 1368, 774, 565, 455, 28, 51, 3, 0], [0, 3, 51, 29, 445, 610, 654, 1578, 522, 775, 335, 73, 41, 4, 0], [0, 3, 51, 30, 435, 655, 534, 1788, 270, 985, 215, 118, 31, 5, 0], [0, 3, 51, 31, 425, 700, 414, 1998, 18, 1195, 95, 163, 21, 6, 0], [0, 3, 52, 18, 500, 445, 984, 1116, 984, 445, 500, 18, 52, 3, 0], [0, 3, 52, 19, 490, 490, 864, 1326, 732, 655, 380, 63, 42, 4, 0], [0, 3, 52, 20, 480, 535, 744, 1536, 480, 865, 260, 108, 32, 5, 0], [0, 3, 52, 21, 470, 580, 624, 1746, 228, 1075, 140, 153, 22, 6, 0], [0, 3, 53, 8, 545, 325, 1194, 864, 1194, 325, 545, 8, 53, 3, 0], [0, 3, 53, 9, 535, 370, 1074, 1074, 942, 535, 425, 53, 43, 4, 0], [0, 3, 53, 10, 525, 415, 954, 1284, 690, 745, 305, 98, 33, 5, 0], [0, 3, 53, 11, 515, 460, 834, 1494, 438, 955, 185, 143, 23, 6, 0], [0, 3, 53, 12, 505, 505, 714, 1704, 186, 1165, 65, 188, 13, 7, 0], [0, 3, 54, 0, 570, 295, 1164, 1032, 900, 625, 350, 88, 34, 5, 0], [0, 3, 54, 1, 560, 340, 1044, 1242, 648, 835, 230, 133, 24, 6, 0], [0, 3, 54, 2, 550, 385, 924, 1452, 396, 1045, 110, 178, 14, 7, 0], [0, 4, 38, 102, 210, 1090, 12, 2124, 276, 760, 430, 14, 58, 2, 0], [0, 4, 39, 92, 255, 970, 222, 1872, 486, 640, 475, 4, 59, 2, 0], [0, 4, 39, 93, 245, 1015, 102, 2082, 234, 850, 355, 49, 49, 3, 0], [0, 4, 40, 83, 290, 895, 312, 1830, 444, 730, 400, 39, 50, 3, 0], [0, 4, 40, 84, 280, 940, 192, 2040, 192, 940, 280, 84, 40, 4, 0], [0, 4, 41, 73, 335, 775, 522, 1578, 654, 610, 445, 29, 51, 3, 0], [0, 4, 41, 74, 325, 820, 402, 1788, 402, 820, 325, 74, 41, 4, 0], [0, 4, 41, 75, 315, 865, 282, 1998, 150, 1030, 205, 119, 31, 5, 0], [0, 4, 42, 63, 380, 655, 732, 1326, 864, 490, 490, 19, 52, 3, 0], [0, 4, 42, 64, 370, 700, 612, 1536, 612, 700, 370, 64, 42, 4, 0], [0, 4, 42, 65, 360, 745, 492, 1746, 360, 910, 250, 109, 32, 5, 0], [0, 4, 42, 66, 350, 790, 372, 1956, 108, 1120, 130, 154, 22, 6, 0], [0, 4, 43, 53, 425, 535, 942, 1074, 1074, 370, 535, 9, 53, 3, 0], [0, 4, 43, 54, 415, 580, 822, 1284, 822, 580, 415, 54, 43, 4, 0], [0, 4, 43, 55, 405, 625, 702, 1494, 570, 790, 295, 99, 33, 5, 0], [0, 4, 43, 56, 395, 670, 582, 1704, 318, 1000, 175, 144, 23, 6, 0], [0, 4, 43, 57, 385, 715, 462, 1914, 66, 1210, 55, 189, 13, 7, 0], [0, 4, 44, 44, 460, 460, 1032, 1032, 1032, 460, 460, 44, 44, 4, 0], [0, 4, 44, 45, 450, 505, 912, 1242, 780, 670, 340, 89, 34, 5, 0], [0, 4, 44, 46, 440, 550, 792, 1452, 528, 880, 220, 134, 24, 6, 0], [0, 4, 44, 47, 430, 595, 672, 1662, 276, 1090, 100, 179, 14, 7, 0], [0, 4, 45, 34, 505, 340, 1242, 780, 1242, 340, 505, 34, 45, 4, 0], [0, 4, 45, 35, 495, 385, 1122, 990, 990, 550, 385, 79, 35, 5, 0], [0, 4, 45, 36, 485, 430, 1002, 1200, 738, 760, 265, 124, 25, 6, 0], [0, 4, 45, 37, 475, 475, 882, 1410, 486, 970, 145, 169, 15, 7, 0], [0, 4, 45, 38, 465, 520, 762, 1620, 234, 1180, 25, 214, 5, 8, 0], [0, 4, 46, 24, 550, 220, 1452, 528, 1452, 220, 550, 24, 46, 4, 0], [0, 4, 46, 25, 540, 265, 1332, 738, 1200, 430, 430, 69, 36, 5, 0], [0, 4, 46, 26, 530, 310, 1212, 948, 948, 640, 310, 114, 26, 6, 0], [0, 4, 46, 27, 520, 355, 1092, 1158, 696, 850, 190, 159, 16, 7, 0], [0, 4, 46, 28, 510, 400, 972, 1368, 444, 1060, 70, 204, 6, 8, 0], [0, 4, 46, 30, 491, 480, 777, 1668, 150, 1228, 40, 174, 31, 0, 1], [0, 4, 47, 14, 595, 100, 1662, 276, 1662, 100, 595, 14, 47, 4, 0], [0, 4, 47, 15, 585, 145, 1542, 486, 1410, 310, 475, 59, 37, 5, 0], [0, 4, 47, 16, 575, 190, 1422, 696, 1158, 520, 355, 104, 27, 6, 0], [0, 4, 47, 17, 565, 235, 1302, 906, 906, 730, 235, 149, 17, 7, 0], [0, 4, 47, 18, 555, 280, 1182, 1116, 654, 940, 115, 194, 7, 8, 0], [0, 4, 47, 20, 536, 360, 987, 1416, 360, 1108, 85, 164, 32, 0, 1], [0, 4, 48, 5, 630, 25, 1752, 234, 1620, 190, 520, 49, 38, 5, 0], [0, 4, 48, 6, 620, 70, 1632, 444, 1368, 400, 400, 94, 28, 6, 0], [0, 4, 48, 7, 610, 115, 1512, 654, 1116, 610, 280, 139, 18, 7, 0], [0, 4, 48, 8, 600, 160, 1392, 864, 864, 820, 160, 184, 8, 8, 0], [0, 4, 48, 10, 581, 240, 1197, 1164, 570, 988, 130, 154, 33, 0, 1], [0, 4, 48, 11, 571, 285, 1077, 1374, 318, 1198, 10, 199, 23, 1, 1], [0, 4, 49, 0, 626, 120, 1407, 912, 780, 868, 175, 144, 34, 0, 1], [0, 4, 49, 1, 616, 165, 1287, 1122, 528, 1078, 55, 189, 24, 1, 1], [0, 5, 30, 128, 170, 1105, 60, 2040, 324, 775, 390, 40, 50, 3, 0], [0, 5, 31, 118, 215, 985, 270, 1788, 534, 655, 435, 30, 51, 3, 0], [0, 5, 31, 119, 205, 1030, 150, 1998, 282, 865, 315, 75, 41, 4, 0], [0, 5, 31, 120, 195, 1075, 30, 2208, 30, 1075, 195, 120, 31, 5, 0], [0, 5, 32, 108, 260, 865, 480, 1536, 744, 535, 480, 20, 52, 3, 0], [0, 5, 32, 109, 250, 910, 360, 1746, 492, 745, 360, 65, 42, 4, 0], [0, 5, 32, 110, 240, 955, 240, 1956, 240, 955, 240, 110, 32, 5, 0], [0, 5, 33, 98, 305, 745, 690, 1284, 954, 415, 525, 10, 53, 3, 0], [0, 5, 33, 99, 295, 790, 570, 1494, 702, 625, 405, 55, 43, 4, 0], [0, 5, 33, 100, 285, 835, 450, 1704, 450, 835, 285, 100, 33, 5, 0], [0, 5, 33, 101, 275, 880, 330, 1914, 198, 1045, 165, 145, 23, 6, 0], [0, 5, 34, 88, 350, 625, 900, 1032, 1164, 295, 570, 0, 54, 3, 0], [0, 5, 34, 89, 340, 670, 780, 1242, 912, 505, 450, 45, 44, 4, 0], [0, 5, 34, 90, 330, 715, 660, 1452, 660, 715, 330, 90, 34, 5, 0], [0, 5, 34, 91, 320, 760, 540, 1662, 408, 925, 210, 135, 24, 6, 0], [0, 5, 34, 92, 310, 805, 420, 1872, 156, 1135, 90, 180, 14, 7, 0], [0, 5, 35, 79, 385, 550, 990, 990, 1122, 385, 495, 35, 45, 4, 0], [0, 5, 35, 80, 375, 595, 870, 1200, 870, 595, 375, 80, 35, 5, 0], [0, 5, 35, 81, 365, 640, 750, 1410, 618, 805, 255, 125, 25, 6, 0], [0, 5, 35, 82, 355, 685, 630, 1620, 366, 1015, 135, 170, 15, 7, 0], [0, 5, 35, 83, 345, 730, 510, 1830, 114, 1225, 15, 215, 5, 8, 0], [0, 5, 36, 69, 430, 430, 1200, 738, 1332, 265, 540, 25, 46, 4, 0], [0, 5, 36, 70, 420, 475, 1080, 948, 1080, 475, 420, 70, 36, 5, 0], [0, 5, 36, 71, 410, 520, 960, 1158, 828, 685, 300, 115, 26, 6, 0], [0, 5, 36, 72, 400, 565, 840, 1368, 576, 895, 180, 160, 16, 7, 0], [0, 5, 36, 73, 390, 610, 720, 1578, 324, 1105, 60, 205, 6, 8, 0], [0, 5, 36, 75, 371, 690, 525, 1878, 30, 1273, 30, 175, 31, 0, 1], [0, 5, 37, 59, 475, 310, 1410, 486, 1542, 145, 585, 15, 47, 4, 0], [0, 5, 37, 60, 465, 355, 1290, 696, 1290, 355, 465, 60, 37, 5, 0], [0, 5, 37, 61, 455, 400, 1170, 906, 1038, 565, 345, 105, 27, 6, 0], [0, 5, 37, 62, 445, 445, 1050, 1116, 786, 775, 225, 150, 17, 7, 0], [0, 5, 37, 63, 435, 490, 930, 1326, 534, 985, 105, 195, 7, 8, 0], [0, 5, 37, 65, 416, 570, 735, 1626, 240, 1153, 75, 165, 32, 0, 1], [0, 5, 38, 49, 520, 190, 1620, 234, 1752, 25, 630, 5, 48, 4, 0], [0, 5, 38, 50, 510, 235, 1500, 444, 1500, 235, 510, 50, 38, 5, 0], [0, 5, 38, 51, 500, 280, 1380, 654, 1248, 445, 390, 95, 28, 6, 0], [0, 5, 38, 52, 490, 325, 1260, 864, 996, 655, 270, 140, 18, 7, 0], [0, 5, 38, 53, 480, 370, 1140, 1074, 744, 865, 150, 185, 8, 8, 0], [0, 5, 38, 55, 461, 450, 945, 1374, 450, 1033, 120, 155, 33, 0, 1], [0, 5, 38, 56, 451, 495, 825, 1584, 198, 1243, 0, 200, 23, 1, 1], [0, 5, 39, 40, 555, 115, 1710, 192, 1710, 115, 555, 40, 39, 5, 0], [0, 5, 39, 41, 545, 160, 1590, 402, 1458, 325, 435, 85, 29, 6, 0], [0, 5, 39, 42, 535, 205, 1470, 612, 1206, 535, 315, 130, 19, 7, 0], [0, 5, 39, 43, 525, 250, 1350, 822, 954, 745, 195, 175, 9, 8, 0], [0, 5, 39, 45, 506, 330, 1155, 1122, 660, 913, 165, 145, 34, 0, 1], [0, 5, 39, 46, 496, 375, 1035, 1332, 408, 1123, 45, 190, 24, 1, 1], [0, 5, 40, 31, 590, 40, 1800, 150, 1668, 205, 480, 75, 30, 6, 0], [0, 5, 40, 32, 580, 85, 1680, 360, 1416, 415, 360, 120, 20, 7, 0], [0, 5, 40, 33, 570, 130, 1560, 570, 1164, 625, 240, 165, 10, 8, 0], [0, 5, 40, 34, 560, 175, 1440, 780, 912, 835, 120, 210, 0, 9, 0], [0, 5, 40, 35, 551, 210, 1365, 870, 870, 793, 210, 135, 35, 0, 1], [0, 5, 40, 36, 541, 255, 1245, 1080, 618, 1003, 90, 180, 25, 1, 1], [0, 5, 41, 23, 615, 10, 1770, 318, 1374, 505, 285, 155, 11, 8, 0], [0, 5, 41, 24, 605, 55, 1650, 528, 1122, 715, 165, 200, 1, 9, 0], [0, 5, 41, 25, 596, 90, 1575, 618, 1080, 673, 255, 125, 36, 0, 1], [0, 5, 41, 26, 586, 135, 1455, 828, 828, 883, 135, 170, 26, 1, 1], [0, 5, 41, 27, 576, 180, 1335, 1038, 576, 1093, 15, 215, 16, 2, 1], [0, 5, 42, 16, 631, 15, 1665, 576, 1038, 763, 180, 160, 27, 1, 1], [0, 5, 42, 17, 621, 60, 1545, 786, 786, 973, 60, 205, 17, 2, 1], [0, 6, 21, 163, 95, 1195, 18, 1998, 414, 700, 425, 31, 51, 3, 0], [0, 6, 22, 153, 140, 1075, 228, 1746, 624, 580, 470, 21, 52, 3, 0], [0, 6, 22, 154, 130, 1120, 108, 1956, 372, 790, 350, 66, 42, 4, 0], [0, 6, 23, 143, 185, 955, 438, 1494, 834, 460, 515, 11, 53, 3, 0], [0, 6, 23, 144, 175, 1000, 318, 1704, 582, 670, 395, 56, 43, 4, 0], [0, 6, 23, 145, 165, 1045, 198, 1914, 330, 880, 275, 101, 33, 5, 0], [0, 6, 23, 146, 155, 1090, 78, 2124, 78, 1090, 155, 146, 23, 6, 0], [0, 6, 24, 133, 230, 835, 648, 1242, 1044, 340, 560, 1, 54, 3, 0], [0, 6, 24, 134, 220, 880, 528, 1452, 792, 550, 440, 46, 44, 4, 0], [0, 6, 24, 135, 210, 925, 408, 1662, 540, 760, 320, 91, 34, 5, 0], [0, 6, 24, 136, 200, 970, 288, 1872, 288, 970, 200, 136, 24, 6, 0], [0, 6, 24, 137, 190, 1015, 168, 2082, 36, 1180, 80, 181, 14, 7, 0], [0, 6, 25, 124, 265, 760, 738, 1200, 1002, 430, 485, 36, 45, 4, 0], [0, 6, 25, 125, 255, 805, 618, 1410, 750, 640, 365, 81, 35, 5, 0], [0, 6, 25, 126, 245, 850, 498, 1620, 498, 850, 245, 126, 25, 6, 0], [0, 6, 25, 127, 235, 895, 378, 1830, 246, 1060, 125, 171, 15, 7, 0], [0, 6, 26, 114, 310, 640, 948, 948, 1212, 310, 530, 26, 46, 4, 0], [0, 6, 26, 115, 300, 685, 828, 1158, 960, 520, 410, 71, 36, 5, 0], [0, 6, 26, 116, 290, 730, 708, 1368, 708, 730, 290, 116, 26, 6, 0], [0, 6, 26, 117, 280, 775, 588, 1578, 456, 940, 170, 161, 16, 7, 0], [0, 6, 26, 118, 270, 820, 468, 1788, 204, 1150, 50, 206, 6, 8, 0], [0, 6, 27, 104, 355, 520, 1158, 696, 1422, 190, 575, 16, 47, 4, 0], [0, 6, 27, 105, 345, 565, 1038, 906, 1170, 400, 455, 61, 37, 5, 0], [0, 6, 27, 106, 335, 610, 918, 1116, 918, 610, 335, 106, 27, 6, 0], [0, 6, 27, 107, 325, 655, 798, 1326, 666, 820, 215, 151, 17, 7, 0], [0, 6, 27, 108, 315, 700, 678, 1536, 414, 1030, 95, 196, 7, 8, 0], [0, 6, 27, 110, 296, 780, 483, 1836, 120, 1198, 65, 166, 32, 0, 1], [0, 6, 28, 94, 400, 400, 1368, 444, 1632, 70, 620, 6, 48, 4, 0], [0, 6, 28, 95, 390, 445, 1248, 654, 1380, 280, 500, 51, 38, 5, 0], [0, 6, 28, 96, 380, 490, 1128, 864, 1128, 490, 380, 96, 28, 6, 0], [0, 6, 28, 97, 370, 535, 1008, 1074, 876, 700, 260, 141, 18, 7, 0], [0, 6, 28, 98, 360, 580, 888, 1284, 624, 910, 140, 186, 8, 8, 0], [0, 6, 28, 100, 341, 660, 693, 1584, 330, 1078, 110, 156, 33, 0, 1], [0, 6, 29, 85, 435, 325, 1458, 402, 1590, 160, 545, 41, 39, 5, 0], [0, 6, 29, 86, 425, 370, 1338, 612, 1338, 370, 425, 86, 29, 6, 0], [0, 6, 29, 87, 415, 415, 1218, 822, 1086, 580, 305, 131, 19, 7, 0], [0, 6, 29, 88, 405, 460, 1098, 1032, 834, 790, 185, 176, 9, 8, 0], [0, 6, 29, 90, 386, 540, 903, 1332, 540, 958, 155, 146, 34, 0, 1], [0, 6, 29, 91, 376, 585, 783, 1542, 288, 1168, 35, 191, 24, 1, 1], [0, 6, 30, 75, 480, 205, 1668, 150, 1800, 40, 590, 31, 40, 5, 0], [0, 6, 30, 76, 470, 250, 1548, 360, 1548, 250, 470, 76, 30, 6, 0], [0, 6, 30, 77, 460, 295, 1428, 570, 1296, 460, 350, 121, 20, 7, 0], [0, 6, 30, 78, 450, 340, 1308, 780, 1044, 670, 230, 166, 10, 8, 0], [0, 6, 30, 79, 440, 385, 1188, 990, 792, 880, 110, 211, 0, 9, 0], [0, 6, 30, 80, 431, 420, 1113, 1080, 750, 838, 200, 136, 35, 0, 1], [0, 6, 30, 81, 421, 465, 993, 1290, 498, 1048, 80, 181, 25, 1, 1], [0, 6, 31, 66, 515, 130, 1758, 108, 1758, 130, 515, 66, 31, 6, 0], [0, 6, 31, 67, 505, 175, 1638, 318, 1506, 340, 395, 111, 21, 7, 0], [0, 6, 31, 68, 495, 220, 1518, 528, 1254, 550, 275, 156, 11, 8, 0], [0, 6, 31, 69, 485, 265, 1398, 738, 1002, 760, 155, 201, 1, 9, 0], [0, 6, 31, 70, 476, 300, 1323, 828, 960, 718, 245, 126, 36, 0, 1], [0, 6, 31, 71, 466, 345, 1203, 1038, 708, 928, 125, 171, 26, 1, 1], [0, 6, 31, 72, 456, 390, 1083, 1248, 456, 1138, 5, 216, 16, 2, 1], [0, 6, 32, 57, 550, 55, 1848, 66, 1716, 220, 440, 101, 22, 7, 0], [0, 6, 32, 58, 540, 100, 1728, 276, 1464, 430, 320, 146, 12, 8, 0], [0, 6, 32, 59, 530, 145, 1608, 486, 1212, 640, 200, 191, 2, 9, 0], [0, 6, 32, 60, 521, 180, 1533, 576, 1170, 598, 290, 116, 37, 0, 1], [0, 6, 32, 61, 511, 225, 1413, 786, 918, 808, 170, 161, 27, 1, 1], [0, 6, 32, 62, 501, 270, 1293, 996, 666, 1018, 50, 206, 17, 2, 1], [0, 6, 33, 49, 575, 25, 1818, 234, 1422, 520, 245, 181, 3, 9, 0], [0, 6, 33, 50, 566, 60, 1743, 324, 1380, 478, 335, 106, 38, 0, 1], [0, 6, 33, 51, 556, 105, 1623, 534, 1128, 688, 215, 151, 28, 1, 1], [0, 6, 33, 52, 546, 150, 1503, 744, 876, 898, 95, 196, 18, 2, 1], [0, 6, 34, 42, 591, 30, 1713, 492, 1086, 778, 140, 186, 19, 2, 1], [0, 6, 34, 43, 581, 75, 1593, 702, 834, 988, 20, 231, 9, 3, 1], [0, 7, 13, 188, 65, 1165, 186, 1704, 714, 505, 505, 12, 53, 3, 0], [0, 7, 13, 189, 55, 1210, 66, 1914, 462, 715, 385, 57, 43, 4, 0], [0, 7, 14, 178, 110, 1045, 396, 1452, 924, 385, 550, 2, 54, 3, 0], [0, 7, 14, 179, 100, 1090, 276, 1662, 672, 595, 430, 47, 44, 4, 0], [0, 7, 14, 180, 90, 1135, 156, 1872, 420, 805, 310, 92, 34, 5, 0], [0, 7, 14, 181, 80, 1180, 36, 2082, 168, 1015, 190, 137, 24, 6, 0], [0, 7, 15, 169, 145, 970, 486, 1410, 882, 475, 475, 37, 45, 4, 0], [0, 7, 15, 170, 135, 1015, 366, 1620, 630, 685, 355, 82, 35, 5, 0], [0, 7, 15, 171, 125, 1060, 246, 1830, 378, 895, 235, 127, 25, 6, 0], [0, 7, 15, 172, 115, 1105, 126, 2040, 126, 1105, 115, 172, 15, 7, 0], [0, 7, 16, 159, 190, 850, 696, 1158, 1092, 355, 520, 27, 46, 4, 0], [0, 7, 16, 160, 180, 895, 576, 1368, 840, 565, 400, 72, 36, 5, 0], [0, 7, 16, 161, 170, 940, 456, 1578, 588, 775, 280, 117, 26, 6, 0], [0, 7, 16, 162, 160, 985, 336, 1788, 336, 985, 160, 162, 16, 7, 0], [0, 7, 16, 163, 150, 1030, 216, 1998, 84, 1195, 40, 207, 6, 8, 0], [0, 7, 17, 149, 235, 730, 906, 906, 1302, 235, 565, 17, 47, 4, 0], [0, 7, 17, 150, 225, 775, 786, 1116, 1050, 445, 445, 62, 37, 5, 0], [0, 7, 17, 151, 215, 820, 666, 1326, 798, 655, 325, 107, 27, 6, 0], [0, 7, 17, 152, 205, 865, 546, 1536, 546, 865, 205, 152, 17, 7, 0], [0, 7, 17, 153, 195, 910, 426, 1746, 294, 1075, 85, 197, 7, 8, 0], [0, 7, 17, 155, 176, 990, 231, 2046, 0, 1243, 55, 167, 32, 0, 1], [0, 7, 18, 139, 280, 610, 1116, 654, 1512, 115, 610, 7, 48, 4, 0], [0, 7, 18, 140, 270, 655, 996, 864, 1260, 325, 490, 52, 38, 5, 0], [0, 7, 18, 141, 260, 700, 876, 1074, 1008, 535, 370, 97, 28, 6, 0], [0, 7, 18, 142, 250, 745, 756, 1284, 756, 745, 250, 142, 18, 7, 0], [0, 7, 18, 143, 240, 790, 636, 1494, 504, 955, 130, 187, 8, 8, 0], [0, 7, 18, 145, 221, 870, 441, 1794, 210, 1123, 100, 157, 33, 0, 1], [0, 7, 19, 130, 315, 535, 1206, 612, 1470, 205, 535, 42, 39, 5, 0], [0, 7, 19, 131, 305, 580, 1086, 822, 1218, 415, 415, 87, 29, 6, 0], [0, 7, 19, 132, 295, 625, 966, 1032, 966, 625, 295, 132, 19, 7, 0], [0, 7, 19, 133, 285, 670, 846, 1242, 714, 835, 175, 177, 9, 8, 0], [0, 7, 19, 135, 266, 750, 651, 1542, 420, 1003, 145, 147, 34, 0, 1], [0, 7, 19, 136, 256, 795, 531, 1752, 168, 1213, 25, 192, 24, 1, 1], [0, 7, 20, 120, 360, 415, 1416, 360, 1680, 85, 580, 32, 40, 5, 0], [0, 7, 20, 121, 350, 460, 1296, 570, 1428, 295, 460, 77, 30, 6, 0], [0, 7, 20, 122, 340, 505, 1176, 780, 1176, 505, 340, 122, 20, 7, 0], [0, 7, 20, 123, 330, 550, 1056, 990, 924, 715, 220, 167, 10, 8, 0], [0, 7, 20, 124, 320, 595, 936, 1200, 672, 925, 100, 212, 0, 9, 0], [0, 7, 20, 125, 311, 630, 861, 1290, 630, 883, 190, 137, 35, 0, 1], [0, 7, 20, 126, 301, 675, 741, 1500, 378, 1093, 70, 182, 25, 1, 1], [0, 7, 21, 111, 395, 340, 1506, 318, 1638, 175, 505, 67, 31, 6, 0], [0, 7, 21, 112, 385, 385, 1386, 528, 1386, 385, 385, 112, 21, 7, 0], [0, 7, 21, 113, 375, 430, 1266, 738, 1134, 595, 265, 157, 11, 8, 0], [0, 7, 21, 114, 365, 475, 1146, 948, 882, 805, 145, 202, 1, 9, 0], [0, 7, 21, 115, 356, 510, 1071, 1038, 840, 763, 235, 127, 36, 0, 1], [0, 7, 21, 116, 346, 555, 951, 1248, 588, 973, 115, 172, 26, 1, 1], [0, 7, 22, 101, 440, 220, 1716, 66, 1848, 55, 550, 57, 32, 6, 0], [0, 7, 22, 102, 430, 265, 1596, 276, 1596, 265, 430, 102, 22, 7, 0], [0, 7, 22, 103, 420, 310, 1476, 486, 1344, 475, 310, 147, 12, 8, 0], [0, 7, 22, 104, 410, 355, 1356, 696, 1092, 685, 190, 192, 2, 9, 0], [0, 7, 22, 105, 401, 390, 1281, 786, 1050, 643, 280, 117, 37, 0, 1], [0, 7, 22, 106, 391, 435, 1161, 996, 798, 853, 160, 162, 27, 1, 1], [0, 7, 22, 107, 381, 480, 1041, 1206, 546, 1063, 40, 207, 17, 2, 1], [0, 7, 23, 92, 475, 145, 1806, 24, 1806, 145, 475, 92, 23, 7, 0], [0, 7, 23, 93, 465, 190, 1686, 234, 1554, 355, 355, 137, 13, 8, 0], [0, 7, 23, 94, 455, 235, 1566, 444, 1302, 565, 235, 182, 3, 9, 0], [0, 7, 23, 95, 446, 270, 1491, 534, 1260, 523, 325, 107, 38, 0, 1], [0, 7, 23, 96, 436, 315, 1371, 744, 1008, 733, 205, 152, 28, 1, 1], [0, 7, 23, 97, 426, 360, 1251, 954, 756, 943, 85, 197, 18, 2, 1], [0, 7, 24, 84, 500, 115, 1776, 192, 1512, 445, 280, 172, 4, 9, 0], [0, 7, 24, 85, 491, 150, 1701, 282, 1470, 403, 370, 97, 39, 0, 1], [0, 7, 24, 86, 481, 195, 1581, 492, 1218, 613, 250, 142, 29, 1, 1], [0, 7, 24, 87, 471, 240, 1461, 702, 966, 823, 130, 187, 19, 2, 1], [0, 7, 24, 88, 461, 285, 1341, 912, 714, 1033, 10, 232, 9, 3, 1], [0, 7, 25, 75, 536, 30, 1911, 30, 1680, 283, 415, 87, 40, 0, 1], [0, 7, 25, 76, 526, 75, 1791, 240, 1428, 493, 295, 132, 30, 1, 1], [0, 7, 25, 77, 516, 120, 1671, 450, 1176, 703, 175, 177, 20, 2, 1], [0, 7, 25, 78, 506, 165, 1551, 660, 924, 913, 55, 222, 10, 3, 1], [0, 7, 26, 67, 561, 0, 1881, 198, 1386, 583, 220, 167, 21, 2, 1], [0, 7, 26, 68, 551, 45, 1761, 408, 1134, 793, 100, 212, 11, 3, 1], [0, 8, 5, 214, 25, 1180, 234, 1620, 762, 520, 465, 38, 45, 4, 0], [0, 8, 5, 215, 15, 1225, 114, 1830, 510, 730, 345, 83, 35, 5, 0], [0, 8, 6, 204, 70, 1060, 444, 1368, 972, 400, 510, 28, 46, 4, 0], [0, 8, 6, 205, 60, 1105, 324, 1578, 720, 610, 390, 73, 36, 5, 0], [0, 8, 6, 206, 50, 1150, 204, 1788, 468, 820, 270, 118, 26, 6, 0], [0, 8, 6, 207, 40, 1195, 84, 1998, 216, 1030, 150, 163, 16, 7, 0], [0, 8, 7, 194, 115, 940, 654, 1116, 1182, 280, 555, 18, 47, 4, 0], [0, 8, 7, 195, 105, 985, 534, 1326, 930, 490, 435, 63, 37, 5, 0], [0, 8, 7, 196, 95, 1030, 414, 1536, 678, 700, 315, 108, 27, 6, 0], [0, 8, 7, 197, 85, 1075, 294, 1746, 426, 910, 195, 153, 17, 7, 0], [0, 8, 7, 198, 75, 1120, 174, 1956, 174, 1120, 75, 198, 7, 8, 0], [0, 8, 8, 184, 160, 820, 864, 864, 1392, 160, 600, 8, 48, 4, 0], [0, 8, 8, 185, 150, 865, 744, 1074, 1140, 370, 480, 53, 38, 5, 0], [0, 8, 8, 186, 140, 910, 624, 1284, 888, 580, 360, 98, 28, 6, 0], [0, 8, 8, 187, 130, 955, 504, 1494, 636, 790, 240, 143, 18, 7, 0], [0, 8, 8, 188, 120, 1000, 384, 1704, 384, 1000, 120, 188, 8, 8, 0], [0, 8, 8, 190, 101, 1080, 189, 2004, 90, 1168, 90, 158, 33, 0, 1], [0, 8, 9, 175, 195, 745, 954, 822, 1350, 250, 525, 43, 39, 5, 0], [0, 8, 9, 176, 185, 790, 834, 1032, 1098, 460, 405, 88, 29, 6, 0], [0, 8, 9, 177, 175, 835, 714, 1242, 846, 670, 285, 133, 19, 7, 0], [0, 8, 9, 178, 165, 880, 594, 1452, 594, 880, 165, 178, 9, 8, 0], [0, 8, 9, 180, 146, 960, 399, 1752, 300, 1048, 135, 148, 34, 0, 1], [0, 8, 9, 181, 136, 1005, 279, 1962, 48, 1258, 15, 193, 24, 1, 1], [0, 8, 10, 165, 240, 625, 1164, 570, 1560, 130, 570, 33, 40, 5, 0], [0, 8, 10, 166, 230, 670, 1044, 780, 1308, 340, 450, 78, 30, 6, 0], [0, 8, 10, 167, 220, 715, 924, 990, 1056, 550, 330, 123, 20, 7, 0], [0, 8, 10, 168, 210, 760, 804, 1200, 804, 760, 210, 168, 10, 8, 0], [0, 8, 10, 169, 200, 805, 684, 1410, 552, 970, 90, 213, 0, 9, 0], [0, 8, 10, 170, 191, 840, 609, 1500, 510, 928, 180, 138, 35, 0, 1], [0, 8, 10, 171, 181, 885, 489, 1710, 258, 1138, 60, 183, 25, 1, 1], [0, 8, 11, 155, 285, 505, 1374, 318, 1770, 10, 615, 23, 41, 5, 0], [0, 8, 11, 156, 275, 550, 1254, 528, 1518, 220, 495, 68, 31, 6, 0], [0, 8, 11, 157, 265, 595, 1134, 738, 1266, 430, 375, 113, 21, 7, 0], [0, 8, 11, 158, 255, 640, 1014, 948, 1014, 640, 255, 158, 11, 8, 0], [0, 8, 11, 159, 245, 685, 894, 1158, 762, 850, 135, 203, 1, 9, 0], [0, 8, 11, 160, 236, 720, 819, 1248, 720, 808, 225, 128, 36, 0, 1], [0, 8, 11, 161, 226, 765, 699, 1458, 468, 1018, 105, 173, 26, 1, 1], [0, 8, 12, 146, 320, 430, 1464, 276, 1728, 100, 540, 58, 32, 6, 0], [0, 8, 12, 147, 310, 475, 1344, 486, 1476, 310, 420, 103, 22, 7, 0], [0, 8, 12, 148, 300, 520, 1224, 696, 1224, 520, 300, 148, 12, 8, 0], [0, 8, 12, 149, 290, 565, 1104, 906, 972, 730, 180, 193, 2, 9, 0], [0, 8, 12, 150, 281, 600, 1029, 996, 930, 688, 270, 118, 37, 0, 1], [0, 8, 12, 151, 271, 645, 909, 1206, 678, 898, 150, 163, 27, 1, 1], [0, 8, 12, 152, 261, 690, 789, 1416, 426, 1108, 30, 208, 17, 2, 1], [0, 8, 13, 137, 355, 355, 1554, 234, 1686, 190, 465, 93, 23, 7, 0], [0, 8, 13, 138, 345, 400, 1434, 444, 1434, 400, 345, 138, 13, 8, 0], [0, 8, 13, 139, 335, 445, 1314, 654, 1182, 610, 225, 183, 3, 9, 0], [0, 8, 13, 140, 326, 480, 1239, 744, 1140, 568, 315, 108, 38, 0, 1], [0, 8, 13, 141, 316, 525, 1119, 954, 888, 778, 195, 153, 28, 1, 1], [0, 8, 13, 142, 306, 570, 999, 1164, 636, 988, 75, 198, 18, 2, 1], [0, 8, 14, 128, 390, 280, 1644, 192, 1644, 280, 390, 128, 14, 8, 0], [0, 8, 14, 129, 380, 325, 1524, 402, 1392, 490, 270, 173, 4, 9, 0], [0, 8, 14, 130, 371, 360, 1449, 492, 1350, 448, 360, 98, 39, 0, 1], [0, 8, 14, 131, 361, 405, 1329, 702, 1098, 658, 240, 143, 29, 1, 1], [0, 8, 14, 132, 351, 450, 1209, 912, 846, 868, 120, 188, 19, 2, 1], [0, 8, 14, 133, 341, 495, 1089, 1122, 594, 1078, 0, 233, 9, 3, 1], [0, 8, 15, 119, 425, 205, 1734, 150, 1602, 370, 315, 163, 5, 9, 0], [0, 8, 15, 120, 416, 240, 1659, 240, 1560, 328, 405, 88, 40, 0, 1], [0, 8, 15, 121, 406, 285, 1539, 450, 1308, 538, 285, 133, 30, 1, 1], [0, 8, 15, 122, 396, 330, 1419, 660, 1056, 748, 165, 178, 20, 2, 1], [0, 8, 15, 123, 386, 375, 1299, 870, 804, 958, 45, 223, 10, 3, 1], [0, 8, 16, 111, 451, 165, 1749, 198, 1518, 418, 330, 123, 31, 1, 1], [0, 8, 16, 112, 441, 210, 1629, 408, 1266, 628, 210, 168, 21, 2, 1], [0, 8, 16, 113, 431, 255, 1509, 618, 1014, 838, 90, 213, 11, 3, 1], [0, 8, 17, 102, 486, 90, 1839, 156, 1476, 508, 255, 158, 22, 2, 1], [0, 8, 17, 103, 476, 135, 1719, 366, 1224, 718, 135, 203, 12, 3, 1], [0, 8, 17, 104, 466, 180, 1599, 576, 972, 928, 15, 248, 2, 4, 1], [0, 8, 18, 93, 521, 15, 1929, 114, 1434, 598, 180, 193, 13, 3, 1], [0, 8, 18, 94, 511, 60, 1809, 324, 1182, 808, 60, 238, 3, 4, 1], [0, 9, 0, 210, 120, 835, 912, 780, 1440, 175, 560, 34, 40, 5, 0], [0, 9, 0, 211, 110, 880, 792, 990, 1188, 385, 440, 79, 30, 6, 0], [0, 9, 0, 212, 100, 925, 672, 1200, 936, 595, 320, 124, 20, 7, 0], [0, 9, 0, 213, 90, 970, 552, 1410, 684, 805, 200, 169, 10, 8, 0], [0, 9, 0, 214, 80, 1015, 432, 1620, 432, 1015, 80, 214, 0, 9, 0], [0, 9, 0, 215, 71, 1050, 357, 1710, 390, 973, 170, 139, 35, 0, 1], [0, 9, 0, 216, 61, 1095, 237, 1920, 138, 1183, 50, 184, 25, 1, 1], [0, 9, 1, 200, 165, 715, 1122, 528, 1650, 55, 605, 24, 41, 5, 0], [0, 9, 1, 201, 155, 760, 1002, 738, 1398, 265, 485, 69, 31, 6, 0], [0, 9, 1, 202, 145, 805, 882, 948, 1146, 475, 365, 114, 21, 7, 0], [0, 9, 1, 203, 135, 850, 762, 1158, 894, 685, 245, 159, 11, 8, 0], [0, 9, 1, 204, 125, 895, 642, 1368, 642, 895, 125, 204, 1, 9, 0], [0, 9, 1, 205, 116, 930, 567, 1458, 600, 853, 215, 129, 36, 0, 1], [0, 9, 1, 206, 106, 975, 447, 1668, 348, 1063, 95, 174, 26, 1, 1], [0, 9, 2, 191, 200, 640, 1212, 486, 1608, 145, 530, 59, 32, 6, 0], [0, 9, 2, 192, 190, 685, 1092, 696, 1356, 355, 410, 104, 22, 7, 0], [0, 9, 2, 193, 180, 730, 972, 906, 1104, 565, 290, 149, 12, 8, 0], [0, 9, 2, 194, 170, 775, 852, 1116, 852, 775, 170, 194, 2, 9, 0], [0, 9, 2, 195, 161, 810, 777, 1206, 810, 733, 260, 119, 37, 0, 1], [0, 9, 2, 196, 151, 855, 657, 1416, 558, 943, 140, 164, 27, 1, 1], [0, 9, 2, 197, 141, 900, 537, 1626, 306, 1153, 20, 209, 17, 2, 1], [0, 9, 3, 181, 245, 520, 1422, 234, 1818, 25, 575, 49, 33, 6, 0], [0, 9, 3, 182, 235, 565, 1302, 444, 1566, 235, 455, 94, 23, 7, 0], [0, 9, 3, 183, 225, 610, 1182, 654, 1314, 445, 335, 139, 13, 8, 0], [0, 9, 3, 184, 215, 655, 1062, 864, 1062, 655, 215, 184, 3, 9, 0], [0, 9, 3, 185, 206, 690, 987, 954, 1020, 613, 305, 109, 38, 0, 1], [0, 9, 3, 186, 196, 735, 867, 1164, 768, 823, 185, 154, 28, 1, 1], [0, 9, 3, 187, 186, 780, 747, 1374, 516, 1033, 65, 199, 18, 2, 1], [0, 9, 4, 172, 280, 445, 1512, 192, 1776, 115, 500, 84, 24, 7, 0], [0, 9, 4, 173, 270, 490, 1392, 402, 1524, 325, 380, 129, 14, 8, 0], [0, 9, 4, 174, 260, 535, 1272, 612, 1272, 535, 260, 174, 4, 9, 0], [0, 9, 4, 175, 251, 570, 1197, 702, 1230, 493, 350, 99, 39, 0, 1], [0, 9, 4, 176, 241, 615, 1077, 912, 978, 703, 230, 144, 29, 1, 1], [0, 9, 4, 177, 231, 660, 957, 1122, 726, 913, 110, 189, 19, 2, 1], [0, 9, 5, 163, 315, 370, 1602, 150, 1734, 205, 425, 119, 15, 8, 0], [0, 9, 5, 164, 305, 415, 1482, 360, 1482, 415, 305, 164, 5, 9, 0], [0, 9, 5, 165, 296, 450, 1407, 450, 1440, 373, 395, 89, 40, 0, 1], [0, 9, 5, 166, 286, 495, 1287, 660, 1188, 583, 275, 134, 30, 1, 1], [0, 9, 5, 167, 276, 540, 1167, 870, 936, 793, 155, 179, 20, 2, 1], [0, 9, 5, 168, 266, 585, 1047, 1080, 684, 1003, 35, 224, 10, 3, 1], [0, 9, 6, 154, 350, 295, 1692, 108, 1692, 295, 350, 154, 6, 9, 0], [0, 9, 6, 155, 341, 330, 1617, 198, 1650, 253, 440, 79, 41, 0, 1], [0, 9, 6, 156, 331, 375, 1497, 408, 1398, 463, 320, 124, 31, 1, 1], [0, 9, 6, 157, 321, 420, 1377, 618, 1146, 673, 200, 169, 21, 2, 1], [0, 9, 6, 158, 311, 465, 1257, 828, 894, 883, 80, 214, 11, 3, 1], [0, 9, 7, 146, 376, 255, 1707, 156, 1608, 343, 365, 114, 32, 1, 1], [0, 9, 7, 147, 366, 300, 1587, 366, 1356, 553, 245, 159, 22, 2, 1], [0, 9, 7, 148, 356, 345, 1467, 576, 1104, 763, 125, 204, 12, 3, 1], [0, 9, 7, 149, 346, 390, 1347, 786, 852, 973, 5, 249, 2, 4, 1], [0, 9, 8, 137, 411, 180, 1797, 114, 1566, 433, 290, 149, 23, 2, 1], [0, 9, 8, 138, 401, 225, 1677, 324, 1314, 643, 170, 194, 13, 3, 1], [0, 9, 8, 139, 391, 270, 1557, 534, 1062, 853, 50, 239, 3, 4, 1], [0, 9, 9, 128, 446, 105, 1887, 72, 1524, 523, 215, 184, 14, 3, 1], [0, 9, 9, 129, 436, 150, 1767, 282, 1272, 733, 95, 229, 4, 4, 1], [0, 9, 10, 119, 481, 30, 1977, 30, 1482, 613, 140, 219, 5, 4, 1], [0, 10, 0, 163, 371, 195, 1845, 30, 1614, 448, 250, 175, 15, 3, 1], [0, 10, 0, 164, 361, 240, 1725, 240, 1362, 658, 130, 220, 5, 4, 1]}
-------
(14, 5120, 9) ALL distance distributions for EXTERNAL point
(9, 5120, 9) has 0 possible DDs: {}
(10, 5120, 9) has 1 possible DDs: {[0, 100, 0, 1200, 0, 2520, 0, 1200, 0, 100, 0]}
(11, 5120, 9) has 6 possible DDs: {[0, 50, 50, 600, 600, 1260, 1260, 600, 600, 50, 50, 0], [0, 51, 40, 645, 480, 1470, 1008, 810, 480, 95, 40, 1], [0, 52, 30, 690, 360, 1680, 756, 1020, 360, 140, 30, 2], [0, 53, 20, 735, 240, 1890, 504, 1230, 240, 185, 20, 3], [0, 54, 10, 780, 120, 2100, 252, 1440, 120, 230, 10, 4], [0, 55, 0, 825, 0, 2310, 0, 1650, 0, 275, 0, 5]}
(12, 5120, 9) has 27 possible DDs: {[0, 21, 90, 145, 1080, 90, 2268, 90, 1080, 145, 90, 21, 0], [0, 22, 80, 190, 960, 300, 2016, 300, 960, 190, 80, 22, 0], [0, 22, 81, 180, 1005, 180, 2226, 48, 1170, 70, 125, 12, 1], [0, 23, 70, 235, 840, 510, 1764, 510, 840, 235, 70, 23, 0], [0, 23, 71, 225, 885, 390, 1974, 258, 1050, 115, 115, 13, 1], [0, 24, 60, 280, 720, 720, 1512, 720, 720, 280, 60, 24, 0], [0, 24, 61, 270, 765, 600, 1722, 468, 930, 160, 105, 14, 1], [0, 24, 62, 260, 810, 480, 1932, 216, 1140, 40, 150, 4, 2], [0, 25, 50, 325, 600, 930, 1260, 930, 600, 325, 50, 25, 0], [0, 25, 51, 315, 645, 810, 1470, 678, 810, 205, 95, 15, 1], [0, 25, 52, 305, 690, 690, 1680, 426, 1020, 85, 140, 5, 2], [0, 26, 40, 370, 480, 1140, 1008, 1140, 480, 370, 40, 26, 0], [0, 26, 41, 360, 525, 1020, 1218, 888, 690, 250, 85, 16, 1], [0, 26, 42, 350, 570, 900, 1428, 636, 900, 130, 130, 6, 2], [0, 27, 30, 415, 360, 1350, 756, 1350, 360, 415, 30, 27, 0], [0, 27, 31, 405, 405, 1230, 966, 1098, 570, 295, 75, 17, 1], [0, 27, 32, 395, 450, 1110, 1176, 846, 780, 175, 120, 7, 2], [0, 28, 20, 460, 240, 1560, 504, 1560, 240, 460, 20, 28, 0], [0, 28, 21, 450, 285, 1440, 714, 1308, 450, 340, 65, 18, 1], [0, 28, 22, 440, 330, 1320, 924, 1056, 660, 220, 110, 8, 2], [0, 29, 10, 505, 120, 1770, 252, 1770, 120, 505, 10, 29, 0], [0, 29, 11, 495, 165, 1650, 462, 1518, 330, 385, 55, 19, 1], [0, 29, 12, 485, 210, 1530, 672, 1266, 540, 265, 100, 9, 2], [0, 30, 0, 550, 0, 1980, 0, 1980, 0, 550, 0, 30, 0], [0, 30, 1, 540, 45, 1860, 210, 1728, 210, 430, 45, 20, 1], [0, 30, 2, 530, 90, 1740, 420, 1476, 420, 310, 90, 10, 2], [0, 30, 3, 520, 135, 1620, 630, 1224, 630, 190, 135, 0, 3]}
(13, 5120, 9) has 113 possible DDs: {[0, 8, 78, 30, 800, 360, 1284, 1284, 360, 800, 30, 78, 8, 0], [0, 8, 79, 20, 845, 240, 1494, 1032, 570, 680, 75, 68, 9, 0], [0, 8, 80, 10, 890, 120, 1704, 780, 780, 560, 120, 58, 10, 0], [0, 8, 80, 11, 880, 165, 1584, 990, 528, 770, 0, 103, 0, 1], [0, 8, 81, 0, 935, 0, 1914, 528, 990, 440, 165, 48, 11, 0], [0, 8, 81, 1, 925, 45, 1794, 738, 738, 650, 45, 93, 1, 1], [0, 9, 68, 75, 680, 570, 1032, 1494, 240, 845, 20, 79, 8, 0], [0, 9, 69, 65, 725, 450, 1242, 1242, 450, 725, 65, 69, 9, 0], [0, 9, 70, 55, 770, 330, 1452, 990, 660, 605, 110, 59, 10, 0], [0, 9, 71, 45, 815, 210, 1662, 738, 870, 485, 155, 49, 11, 0], [0, 9, 71, 46, 805, 255, 1542, 948, 618, 695, 35, 94, 1, 1], [0, 9, 72, 35, 860, 90, 1872, 486, 1080, 365, 200, 39, 12, 0], [0, 9, 72, 36, 850, 135, 1752, 696, 828, 575, 80, 84, 2, 1], [0, 9, 73, 26, 895, 15, 1962, 444, 1038, 455, 125, 74, 3, 1], [0, 10, 58, 120, 560, 780, 780, 1704, 120, 890, 10, 80, 8, 0], [0, 10, 59, 110, 605, 660, 990, 1452, 330, 770, 55, 70, 9, 0], [0, 10, 60, 100, 650, 540, 1200, 1200, 540, 650, 100, 60, 10, 0], [0, 10, 61, 90, 695, 420, 1410, 948, 750, 530, 145, 50, 11, 0], [0, 10, 61, 91, 685, 465, 1290, 1158, 498, 740, 25, 95, 1, 1], [0, 10, 62, 80, 740, 300, 1620, 696, 960, 410, 190, 40, 12, 0], [0, 10, 62, 81, 730, 345, 1500, 906, 708, 620, 70, 85, 2, 1], [0, 10, 63, 70, 785, 180, 1830, 444, 1170, 290, 235, 30, 13, 0], [0, 10, 63, 71, 775, 225, 1710, 654, 918, 500, 115, 75, 3, 1], [0, 10, 64, 60, 830, 60, 2040, 192, 1380, 170, 280, 20, 14, 0], [0, 10, 64, 61, 820, 105, 1920, 402, 1128, 380, 160, 65, 4, 1], [0, 11, 48, 165, 440, 990, 528, 1914, 0, 935, 0, 81, 8, 0], [0, 11, 49, 155, 485, 870, 738, 1662, 210, 815, 45, 71, 9, 0], [0, 11, 50, 145, 530, 750, 948, 1410, 420, 695, 90, 61, 10, 0], [0, 11, 51, 135, 575, 630, 1158, 1158, 630, 575, 135, 51, 11, 0], [0, 11, 51, 136, 565, 675, 1038, 1368, 378, 785, 15, 96, 1, 1], [0, 11, 52, 125, 620, 510, 1368, 906, 840, 455, 180, 41, 12, 0], [0, 11, 52, 126, 610, 555, 1248, 1116, 588, 665, 60, 86, 2, 1], [0, 11, 53, 115, 665, 390, 1578, 654, 1050, 335, 225, 31, 13, 0], [0, 11, 53, 116, 655, 435, 1458, 864, 798, 545, 105, 76, 3, 1], [0, 11, 54, 105, 710, 270, 1788, 402, 1260, 215, 270, 21, 14, 0], [0, 11, 54, 106, 700, 315, 1668, 612, 1008, 425, 150, 66, 4, 1], [0, 11, 55, 95, 755, 150, 1998, 150, 1470, 95, 315, 11, 15, 0], [0, 11, 55, 96, 745, 195, 1878, 360, 1218, 305, 195, 56, 5, 1], [0, 11, 56, 86, 790, 75, 2088, 108, 1428, 185, 240, 46, 6, 1], [0, 12, 39, 200, 365, 1080, 486, 1872, 90, 860, 35, 72, 9, 0], [0, 12, 40, 190, 410, 960, 696, 1620, 300, 740, 80, 62, 10, 0], [0, 12, 41, 180, 455, 840, 906, 1368, 510, 620, 125, 52, 11, 0], [0, 12, 41, 181, 445, 885, 786, 1578, 258, 830, 5, 97, 1, 1], [0, 12, 42, 170, 500, 720, 1116, 1116, 720, 500, 170, 42, 12, 0], [0, 12, 42, 171, 490, 765, 996, 1326, 468, 710, 50, 87, 2, 1], [0, 12, 43, 160, 545, 600, 1326, 864, 930, 380, 215, 32, 13, 0], [0, 12, 43, 161, 535, 645, 1206, 1074, 678, 590, 95, 77, 3, 1], [0, 12, 44, 150, 590, 480, 1536, 612, 1140, 260, 260, 22, 14, 0], [0, 12, 44, 151, 580, 525, 1416, 822, 888, 470, 140, 67, 4, 1], [0, 12, 45, 140, 635, 360, 1746, 360, 1350, 140, 305, 12, 15, 0], [0, 12, 45, 141, 625, 405, 1626, 570, 1098, 350, 185, 57, 5, 1], [0, 12, 46, 130, 680, 240, 1956, 108, 1560, 20, 350, 2, 16, 0], [0, 12, 46, 131, 670, 285, 1836, 318, 1308, 230, 230, 47, 6, 1], [0, 12, 47, 121, 715, 165, 2046, 66, 1518, 110, 275, 37, 7, 1], [0, 13, 30, 235, 290, 1170, 444, 1830, 180, 785, 70, 63, 10, 0], [0, 13, 31, 225, 335, 1050, 654, 1578, 390, 665, 115, 53, 11, 0], [0, 13, 32, 215, 380, 930, 864, 1326, 600, 545, 160, 43, 12, 0], [0, 13, 32, 216, 370, 975, 744, 1536, 348, 755, 40, 88, 2, 1], [0, 13, 33, 205, 425, 810, 1074, 1074, 810, 425, 205, 33, 13, 0], [0, 13, 33, 206, 415, 855, 954, 1284, 558, 635, 85, 78, 3, 1], [0, 13, 34, 195, 470, 690, 1284, 822, 1020, 305, 250, 23, 14, 0], [0, 13, 34, 196, 460, 735, 1164, 1032, 768, 515, 130, 68, 4, 1], [0, 13, 35, 185, 515, 570, 1494, 570, 1230, 185, 295, 13, 15, 0], [0, 13, 35, 186, 505, 615, 1374, 780, 978, 395, 175, 58, 5, 1], [0, 13, 36, 175, 560, 450, 1704, 318, 1440, 65, 340, 3, 16, 0], [0, 13, 36, 176, 550, 495, 1584, 528, 1188, 275, 220, 48, 6, 1], [0, 13, 37, 166, 595, 375, 1794, 276, 1398, 155, 265, 38, 7, 1], [0, 13, 38, 156, 640, 255, 2004, 24, 1608, 35, 310, 28, 8, 1], [0, 14, 20, 280, 170, 1380, 192, 2040, 60, 830, 60, 64, 10, 0], [0, 14, 21, 270, 215, 1260, 402, 1788, 270, 710, 105, 54, 11, 0], [0, 14, 22, 260, 260, 1140, 612, 1536, 480, 590, 150, 44, 12, 0], [0, 14, 22, 261, 250, 1185, 492, 1746, 228, 800, 30, 89, 2, 1], [0, 14, 23, 250, 305, 1020, 822, 1284, 690, 470, 195, 34, 13, 0], [0, 14, 23, 251, 295, 1065, 702, 1494, 438, 680, 75, 79, 3, 1], [0, 14, 24, 240, 350, 900, 1032, 1032, 900, 350, 240, 24, 14, 0], [0, 14, 24, 241, 340, 945, 912, 1242, 648, 560, 120, 69, 4, 1], [0, 14, 25, 230, 395, 780, 1242, 780, 1110, 230, 285, 14, 15, 0], [0, 14, 25, 231, 385, 825, 1122, 990, 858, 440, 165, 59, 5, 1], [0, 14, 26, 220, 440, 660, 1452, 528, 1320, 110, 330, 4, 16, 0], [0, 14, 26, 221, 430, 705, 1332, 738, 1068, 320, 210, 49, 6, 1], [0, 14, 27, 211, 475, 585, 1542, 486, 1278, 200, 255, 39, 7, 1], [0, 14, 28, 201, 520, 465, 1752, 234, 1488, 80, 300, 29, 8, 1], [0, 15, 11, 315, 95, 1470, 150, 1998, 150, 755, 95, 55, 11, 0], [0, 15, 12, 305, 140, 1350, 360, 1746, 360, 635, 140, 45, 12, 0], [0, 15, 12, 306, 130, 1395, 240, 1956, 108, 845, 20, 90, 2, 1], [0, 15, 13, 295, 185, 1230, 570, 1494, 570, 515, 185, 35, 13, 0], [0, 15, 13, 296, 175, 1275, 450, 1704, 318, 725, 65, 80, 3, 1], [0, 15, 14, 285, 230, 1110, 780, 1242, 780, 395, 230, 25, 14, 0], [0, 15, 14, 286, 220, 1155, 660, 1452, 528, 605, 110, 70, 4, 1], [0, 15, 15, 275, 275, 990, 990, 990, 990, 275, 275, 15, 15, 0], [0, 15, 15, 276, 265, 1035, 870, 1200, 738, 485, 155, 60, 5, 1], [0, 15, 16, 265, 320, 870, 1200, 738, 1200, 155, 320, 5, 16, 0], [0, 15, 16, 266, 310, 915, 1080, 948, 948, 365, 200, 50, 6, 1], [0, 15, 17, 256, 355, 795, 1290, 696, 1158, 245, 245, 40, 7, 1], [0, 15, 18, 246, 400, 675, 1500, 444, 1368, 125, 290, 30, 8, 1], [0, 15, 19, 236, 445, 555, 1710, 192, 1578, 5, 335, 20, 9, 1], [0, 15, 20, 227, 480, 480, 1800, 150, 1536, 95, 260, 55, 0, 2], [0, 16, 2, 350, 20, 1560, 108, 1956, 240, 680, 130, 46, 12, 0], [0, 16, 3, 340, 65, 1440, 318, 1704, 450, 560, 175, 36, 13, 0], [0, 16, 3, 341, 55, 1485, 198, 1914, 198, 770, 55, 81, 3, 1], [0, 16, 4, 330, 110, 1320, 528, 1452, 660, 440, 220, 26, 14, 0], [0, 16, 4, 331, 100, 1365, 408, 1662, 408, 650, 100, 71, 4, 1], [0, 16, 5, 320, 155, 1200, 738, 1200, 870, 320, 265, 16, 15, 0], [0, 16, 5, 321, 145, 1245, 618, 1410, 618, 530, 145, 61, 5, 1], [0, 16, 6, 310, 200, 1080, 948, 948, 1080, 200, 310, 6, 16, 0], [0, 16, 6, 311, 190, 1125, 828, 1158, 828, 410, 190, 51, 6, 1], [0, 16, 7, 301, 235, 1005, 1038, 906, 1038, 290, 235, 41, 7, 1], [0, 16, 8, 291, 280, 885, 1248, 654, 1248, 170, 280, 31, 8, 1], [0, 16, 9, 281, 325, 765, 1458, 402, 1458, 50, 325, 21, 9, 1], [0, 16, 10, 272, 360, 690, 1548, 360, 1416, 140, 250, 56, 0, 2], [0, 16, 11, 262, 405, 570, 1758, 108, 1626, 20, 295, 46, 1, 2], [0, 17, 0, 317, 240, 900, 1296, 570, 1296, 185, 240, 57, 0, 2], [0, 17, 1, 307, 285, 780, 1506, 318, 1506, 65, 285, 47, 1, 2]}
(14, 5120, 9) has 401 possible DDs: {[0, 1, 64, 6, 400, 895, 48, 2292, 48, 895, 400, 6, 64, 1, 0], [0, 2, 56, 32, 360, 910, 96, 2208, 96, 910, 360, 32, 56, 2, 0], [0, 2, 57, 22, 405, 790, 306, 1956, 306, 790, 405, 22, 57, 2, 0], [0, 2, 57, 23, 395, 835, 186, 2166, 54, 1000, 285, 67, 47, 3, 0], [0, 2, 58, 12, 450, 670, 516, 1704, 516, 670, 450, 12, 58, 2, 0], [0, 2, 58, 13, 440, 715, 396, 1914, 264, 880, 330, 57, 48, 3, 0], [0, 2, 58, 14, 430, 760, 276, 2124, 12, 1090, 210, 102, 38, 4, 0], [0, 2, 59, 2, 495, 550, 726, 1452, 726, 550, 495, 2, 59, 2, 0], [0, 2, 59, 3, 485, 595, 606, 1662, 474, 760, 375, 47, 49, 3, 0], [0, 2, 59, 4, 475, 640, 486, 1872, 222, 970, 255, 92, 39, 4, 0], [0, 3, 47, 67, 285, 1000, 54, 2166, 186, 835, 395, 23, 57, 2, 0], [0, 3, 48, 57, 330, 880, 264, 1914, 396, 715, 440, 13, 58, 2, 0], [0, 3, 48, 58, 320, 925, 144, 2124, 144, 925, 320, 58, 48, 3, 0], [0, 3, 49, 47, 375, 760, 474, 1662, 606, 595, 485, 3, 59, 2, 0], [0, 3, 49, 48, 365, 805, 354, 1872, 354, 805, 365, 48, 49, 3, 0], [0, 3, 49, 49, 355, 850, 234, 2082, 102, 1015, 245, 93, 39, 4, 0], [0, 3, 50, 38, 410, 685, 564, 1620, 564, 685, 410, 38, 50, 3, 0], [0, 3, 50, 39, 400, 730, 444, 1830, 312, 895, 290, 83, 40, 4, 0], [0, 3, 50, 40, 390, 775, 324, 2040, 60, 1105, 170, 128, 30, 5, 0], [0, 3, 51, 28, 455, 565, 774, 1368, 774, 565, 455, 28, 51, 3, 0], [0, 3, 51, 29, 445, 610, 654, 1578, 522, 775, 335, 73, 41, 4, 0], [0, 3, 51, 30, 435, 655, 534, 1788, 270, 985, 215, 118, 31, 5, 0], [0, 3, 51, 31, 425, 700, 414, 1998, 18, 1195, 95, 163, 21, 6, 0], [0, 3, 52, 18, 500, 445, 984, 1116, 984, 445, 500, 18, 52, 3, 0], [0, 3, 52, 19, 490, 490, 864, 1326, 732, 655, 380, 63, 42, 4, 0], [0, 3, 52, 20, 480, 535, 744, 1536, 480, 865, 260, 108, 32, 5, 0], [0, 3, 52, 21, 470, 580, 624, 1746, 228, 1075, 140, 153, 22, 6, 0], [0, 3, 53, 8, 545, 325, 1194, 864, 1194, 325, 545, 8, 53, 3, 0], [0, 3, 53, 9, 535, 370, 1074, 1074, 942, 535, 425, 53, 43, 4, 0], [0, 3, 53, 10, 525, 415, 954, 1284, 690, 745, 305, 98, 33, 5, 0], [0, 3, 53, 11, 515, 460, 834, 1494, 438, 955, 185, 143, 23, 6, 0], [0, 3, 53, 12, 505, 505, 714, 1704, 186, 1165, 65, 188, 13, 7, 0], [0, 3, 54, 0, 570, 295, 1164, 1032, 900, 625, 350, 88, 34, 5, 0], [0, 3, 54, 1, 560, 340, 1044, 1242, 648, 835, 230, 133, 24, 6, 0], [0, 3, 54, 2, 550, 385, 924, 1452, 396, 1045, 110, 178, 14, 7, 0], [0, 4, 38, 102, 210, 1090, 12, 2124, 276, 760, 430, 14, 58, 2, 0], [0, 4, 39, 92, 255, 970, 222, 1872, 486, 640, 475, 4, 59, 2, 0], [0, 4, 39, 93, 245, 1015, 102, 2082, 234, 850, 355, 49, 49, 3, 0], [0, 4, 40, 83, 290, 895, 312, 1830, 444, 730, 400, 39, 50, 3, 0], [0, 4, 40, 84, 280, 940, 192, 2040, 192, 940, 280, 84, 40, 4, 0], [0, 4, 41, 73, 335, 775, 522, 1578, 654, 610, 445, 29, 51, 3, 0], [0, 4, 41, 74, 325, 820, 402, 1788, 402, 820, 325, 74, 41, 4, 0], [0, 4, 41, 75, 315, 865, 282, 1998, 150, 1030, 205, 119, 31, 5, 0], [0, 4, 42, 63, 380, 655, 732, 1326, 864, 490, 490, 19, 52, 3, 0], [0, 4, 42, 64, 370, 700, 612, 1536, 612, 700, 370, 64, 42, 4, 0], [0, 4, 42, 65, 360, 745, 492, 1746, 360, 910, 250, 109, 32, 5, 0], [0, 4, 42, 66, 350, 790, 372, 1956, 108, 1120, 130, 154, 22, 6, 0], [0, 4, 43, 53, 425, 535, 942, 1074, 1074, 370, 535, 9, 53, 3, 0], [0, 4, 43, 54, 415, 580, 822, 1284, 822, 580, 415, 54, 43, 4, 0], [0, 4, 43, 55, 405, 625, 702, 1494, 570, 790, 295, 99, 33, 5, 0], [0, 4, 43, 56, 395, 670, 582, 1704, 318, 1000, 175, 144, 23, 6, 0], [0, 4, 43, 57, 385, 715, 462, 1914, 66, 1210, 55, 189, 13, 7, 0], [0, 4, 44, 44, 460, 460, 1032, 1032, 1032, 460, 460, 44, 44, 4, 0], [0, 4, 44, 45, 450, 505, 912, 1242, 780, 670, 340, 89, 34, 5, 0], [0, 4, 44, 46, 440, 550, 792, 1452, 528, 880, 220, 134, 24, 6, 0], [0, 4, 44, 47, 430, 595, 672, 1662, 276, 1090, 100, 179, 14, 7, 0], [0, 4, 45, 34, 505, 340, 1242, 780, 1242, 340, 505, 34, 45, 4, 0], [0, 4, 45, 35, 495, 385, 1122, 990, 990, 550, 385, 79, 35, 5, 0], [0, 4, 45, 36, 485, 430, 1002, 1200, 738, 760, 265, 124, 25, 6, 0], [0, 4, 45, 37, 475, 475, 882, 1410, 486, 970, 145, 169, 15, 7, 0], [0, 4, 45, 38, 465, 520, 762, 1620, 234, 1180, 25, 214, 5, 8, 0], [0, 4, 46, 24, 550, 220, 1452, 528, 1452, 220, 550, 24, 46, 4, 0], [0, 4, 46, 25, 540, 265, 1332, 738, 1200, 430, 430, 69, 36, 5, 0], [0, 4, 46, 26, 530, 310, 1212, 948, 948, 640, 310, 114, 26, 6, 0], [0, 4, 46, 27, 520, 355, 1092, 1158, 696, 850, 190, 159, 16, 7, 0], [0, 4, 46, 28, 510, 400, 972, 1368, 444, 1060, 70, 204, 6, 8, 0], [0, 4, 46, 30, 491, 480, 777, 1668, 150, 1228, 40, 174, 31, 0, 1], [0, 4, 47, 14, 595, 100, 1662, 276, 1662, 100, 595, 14, 47, 4, 0], [0, 4, 47, 15, 585, 145, 1542, 486, 1410, 310, 475, 59, 37, 5, 0], [0, 4, 47, 16, 575, 190, 1422, 696, 1158, 520, 355, 104, 27, 6, 0], [0, 4, 47, 17, 565, 235, 1302, 906, 906, 730, 235, 149, 17, 7, 0], [0, 4, 47, 18, 555, 280, 1182, 1116, 654, 940, 115, 194, 7, 8, 0], [0, 4, 47, 20, 536, 360, 987, 1416, 360, 1108, 85, 164, 32, 0, 1], [0, 4, 48, 5, 630, 25, 1752, 234, 1620, 190, 520, 49, 38, 5, 0], [0, 4, 48, 6, 620, 70, 1632, 444, 1368, 400, 400, 94, 28, 6, 0], [0, 4, 48, 7, 610, 115, 1512, 654, 1116, 610, 280, 139, 18, 7, 0], [0, 4, 48, 8, 600, 160, 1392, 864, 864, 820, 160, 184, 8, 8, 0], [0, 4, 48, 10, 581, 240, 1197, 1164, 570, 988, 130, 154, 33, 0, 1], [0, 4, 48, 11, 571, 285, 1077, 1374, 318, 1198, 10, 199, 23, 1, 1], [0, 4, 49, 0, 626, 120, 1407, 912, 780, 868, 175, 144, 34, 0, 1], [0, 4, 49, 1, 616, 165, 1287, 1122, 528, 1078, 55, 189, 24, 1, 1], [0, 5, 30, 128, 170, 1105, 60, 2040, 324, 775, 390, 40, 50, 3, 0], [0, 5, 31, 118, 215, 985, 270, 1788, 534, 655, 435, 30, 51, 3, 0], [0, 5, 31, 119, 205, 1030, 150, 1998, 282, 865, 315, 75, 41, 4, 0], [0, 5, 31, 120, 195, 1075, 30, 2208, 30, 1075, 195, 120, 31, 5, 0], [0, 5, 32, 108, 260, 865, 480, 1536, 744, 535, 480, 20, 52, 3, 0], [0, 5, 32, 109, 250, 910, 360, 1746, 492, 745, 360, 65, 42, 4, 0], [0, 5, 32, 110, 240, 955, 240, 1956, 240, 955, 240, 110, 32, 5, 0], [0, 5, 33, 98, 305, 745, 690, 1284, 954, 415, 525, 10, 53, 3, 0], [0, 5, 33, 99, 295, 790, 570, 1494, 702, 625, 405, 55, 43, 4, 0], [0, 5, 33, 100, 285, 835, 450, 1704, 450, 835, 285, 100, 33, 5, 0], [0, 5, 33, 101, 275, 880, 330, 1914, 198, 1045, 165, 145, 23, 6, 0], [0, 5, 34, 88, 350, 625, 900, 1032, 1164, 295, 570, 0, 54, 3, 0], [0, 5, 34, 89, 340, 670, 780, 1242, 912, 505, 450, 45, 44, 4, 0], [0, 5, 34, 90, 330, 715, 660, 1452, 660, 715, 330, 90, 34, 5, 0], [0, 5, 34, 91, 320, 760, 540, 1662, 408, 925, 210, 135, 24, 6, 0], [0, 5, 34, 92, 310, 805, 420, 1872, 156, 1135, 90, 180, 14, 7, 0], [0, 5, 35, 79, 385, 550, 990, 990, 1122, 385, 495, 35, 45, 4, 0], [0, 5, 35, 80, 375, 595, 870, 1200, 870, 595, 375, 80, 35, 5, 0], [0, 5, 35, 81, 365, 640, 750, 1410, 618, 805, 255, 125, 25, 6, 0], [0, 5, 35, 82, 355, 685, 630, 1620, 366, 1015, 135, 170, 15, 7, 0], [0, 5, 35, 83, 345, 730, 510, 1830, 114, 1225, 15, 215, 5, 8, 0], [0, 5, 36, 69, 430, 430, 1200, 738, 1332, 265, 540, 25, 46, 4, 0], [0, 5, 36, 70, 420, 475, 1080, 948, 1080, 475, 420, 70, 36, 5, 0], [0, 5, 36, 71, 410, 520, 960, 1158, 828, 685, 300, 115, 26, 6, 0], [0, 5, 36, 72, 400, 565, 840, 1368, 576, 895, 180, 160, 16, 7, 0], [0, 5, 36, 73, 390, 610, 720, 1578, 324, 1105, 60, 205, 6, 8, 0], [0, 5, 36, 75, 371, 690, 525, 1878, 30, 1273, 30, 175, 31, 0, 1], [0, 5, 37, 59, 475, 310, 1410, 486, 1542, 145, 585, 15, 47, 4, 0], [0, 5, 37, 60, 465, 355, 1290, 696, 1290, 355, 465, 60, 37, 5, 0], [0, 5, 37, 61, 455, 400, 1170, 906, 1038, 565, 345, 105, 27, 6, 0], [0, 5, 37, 62, 445, 445, 1050, 1116, 786, 775, 225, 150, 17, 7, 0], [0, 5, 37, 63, 435, 490, 930, 1326, 534, 985, 105, 195, 7, 8, 0], [0, 5, 37, 65, 416, 570, 735, 1626, 240, 1153, 75, 165, 32, 0, 1], [0, 5, 38, 49, 520, 190, 1620, 234, 1752, 25, 630, 5, 48, 4, 0], [0, 5, 38, 50, 510, 235, 1500, 444, 1500, 235, 510, 50, 38, 5, 0], [0, 5, 38, 51, 500, 280, 1380, 654, 1248, 445, 390, 95, 28, 6, 0], [0, 5, 38, 52, 490, 325, 1260, 864, 996, 655, 270, 140, 18, 7, 0], [0, 5, 38, 53, 480, 370, 1140, 1074, 744, 865, 150, 185, 8, 8, 0], [0, 5, 38, 55, 461, 450, 945, 1374, 450, 1033, 120, 155, 33, 0, 1], [0, 5, 38, 56, 451, 495, 825, 1584, 198, 1243, 0, 200, 23, 1, 1], [0, 5, 39, 40, 555, 115, 1710, 192, 1710, 115, 555, 40, 39, 5, 0], [0, 5, 39, 41, 545, 160, 1590, 402, 1458, 325, 435, 85, 29, 6, 0], [0, 5, 39, 42, 535, 205, 1470, 612, 1206, 535, 315, 130, 19, 7, 0], [0, 5, 39, 43, 525, 250, 1350, 822, 954, 745, 195, 175, 9, 8, 0], [0, 5, 39, 45, 506, 330, 1155, 1122, 660, 913, 165, 145, 34, 0, 1], [0, 5, 39, 46, 496, 375, 1035, 1332, 408, 1123, 45, 190, 24, 1, 1], [0, 5, 40, 31, 590, 40, 1800, 150, 1668, 205, 480, 75, 30, 6, 0], [0, 5, 40, 32, 580, 85, 1680, 360, 1416, 415, 360, 120, 20, 7, 0], [0, 5, 40, 33, 570, 130, 1560, 570, 1164, 625, 240, 165, 10, 8, 0], [0, 5, 40, 34, 560, 175, 1440, 780, 912, 835, 120, 210, 0, 9, 0], [0, 5, 40, 35, 551, 210, 1365, 870, 870, 793, 210, 135, 35, 0, 1], [0, 5, 40, 36, 541, 255, 1245, 1080, 618, 1003, 90, 180, 25, 1, 1], [0, 5, 41, 23, 615, 10, 1770, 318, 1374, 505, 285, 155, 11, 8, 0], [0, 5, 41, 24, 605, 55, 1650, 528, 1122, 715, 165, 200, 1, 9, 0], [0, 5, 41, 25, 596, 90, 1575, 618, 1080, 673, 255, 125, 36, 0, 1], [0, 5, 41, 26, 586, 135, 1455, 828, 828, 883, 135, 170, 26, 1, 1], [0, 5, 41, 27, 576, 180, 1335, 1038, 576, 1093, 15, 215, 16, 2, 1], [0, 5, 42, 16, 631, 15, 1665, 576, 1038, 763, 180, 160, 27, 1, 1], [0, 5, 42, 17, 621, 60, 1545, 786, 786, 973, 60, 205, 17, 2, 1], [0, 6, 21, 163, 95, 1195, 18, 1998, 414, 700, 425, 31, 51, 3, 0], [0, 6, 22, 153, 140, 1075, 228, 1746, 624, 580, 470, 21, 52, 3, 0], [0, 6, 22, 154, 130, 1120, 108, 1956, 372, 790, 350, 66, 42, 4, 0], [0, 6, 23, 143, 185, 955, 438, 1494, 834, 460, 515, 11, 53, 3, 0], [0, 6, 23, 144, 175, 1000, 318, 1704, 582, 670, 395, 56, 43, 4, 0], [0, 6, 23, 145, 165, 1045, 198, 1914, 330, 880, 275, 101, 33, 5, 0], [0, 6, 23, 146, 155, 1090, 78, 2124, 78, 1090, 155, 146, 23, 6, 0], [0, 6, 24, 133, 230, 835, 648, 1242, 1044, 340, 560, 1, 54, 3, 0], [0, 6, 24, 134, 220, 880, 528, 1452, 792, 550, 440, 46, 44, 4, 0], [0, 6, 24, 135, 210, 925, 408, 1662, 540, 760, 320, 91, 34, 5, 0], [0, 6, 24, 136, 200, 970, 288, 1872, 288, 970, 200, 136, 24, 6, 0], [0, 6, 24, 137, 190, 1015, 168, 2082, 36, 1180, 80, 181, 14, 7, 0], [0, 6, 25, 124, 265, 760, 738, 1200, 1002, 430, 485, 36, 45, 4, 0], [0, 6, 25, 125, 255, 805, 618, 1410, 750, 640, 365, 81, 35, 5, 0], [0, 6, 25, 126, 245, 850, 498, 1620, 498, 850, 245, 126, 25, 6, 0], [0, 6, 25, 127, 235, 895, 378, 1830, 246, 1060, 125, 171, 15, 7, 0], [0, 6, 26, 114, 310, 640, 948, 948, 1212, 310, 530, 26, 46, 4, 0], [0, 6, 26, 115, 300, 685, 828, 1158, 960, 520, 410, 71, 36, 5, 0], [0, 6, 26, 116, 290, 730, 708, 1368, 708, 730, 290, 116, 26, 6, 0], [0, 6, 26, 117, 280, 775, 588, 1578, 456, 940, 170, 161, 16, 7, 0], [0, 6, 26, 118, 270, 820, 468, 1788, 204, 1150, 50, 206, 6, 8, 0], [0, 6, 27, 104, 355, 520, 1158, 696, 1422, 190, 575, 16, 47, 4, 0], [0, 6, 27, 105, 345, 565, 1038, 906, 1170, 400, 455, 61, 37, 5, 0], [0, 6, 27, 106, 335, 610, 918, 1116, 918, 610, 335, 106, 27, 6, 0], [0, 6, 27, 107, 325, 655, 798, 1326, 666, 820, 215, 151, 17, 7, 0], [0, 6, 27, 108, 315, 700, 678, 1536, 414, 1030, 95, 196, 7, 8, 0], [0, 6, 27, 110, 296, 780, 483, 1836, 120, 1198, 65, 166, 32, 0, 1], [0, 6, 28, 94, 400, 400, 1368, 444, 1632, 70, 620, 6, 48, 4, 0], [0, 6, 28, 95, 390, 445, 1248, 654, 1380, 280, 500, 51, 38, 5, 0], [0, 6, 28, 96, 380, 490, 1128, 864, 1128, 490, 380, 96, 28, 6, 0], [0, 6, 28, 97, 370, 535, 1008, 1074, 876, 700, 260, 141, 18, 7, 0], [0, 6, 28, 98, 360, 580, 888, 1284, 624, 910, 140, 186, 8, 8, 0], [0, 6, 28, 100, 341, 660, 693, 1584, 330, 1078, 110, 156, 33, 0, 1], [0, 6, 29, 85, 435, 325, 1458, 402, 1590, 160, 545, 41, 39, 5, 0], [0, 6, 29, 86, 425, 370, 1338, 612, 1338, 370, 425, 86, 29, 6, 0], [0, 6, 29, 87, 415, 415, 1218, 822, 1086, 580, 305, 131, 19, 7, 0], [0, 6, 29, 88, 405, 460, 1098, 1032, 834, 790, 185, 176, 9, 8, 0], [0, 6, 29, 90, 386, 540, 903, 1332, 540, 958, 155, 146, 34, 0, 1], [0, 6, 29, 91, 376, 585, 783, 1542, 288, 1168, 35, 191, 24, 1, 1], [0, 6, 30, 75, 480, 205, 1668, 150, 1800, 40, 590, 31, 40, 5, 0], [0, 6, 30, 76, 470, 250, 1548, 360, 1548, 250, 470, 76, 30, 6, 0], [0, 6, 30, 77, 460, 295, 1428, 570, 1296, 460, 350, 121, 20, 7, 0], [0, 6, 30, 78, 450, 340, 1308, 780, 1044, 670, 230, 166, 10, 8, 0], [0, 6, 30, 79, 440, 385, 1188, 990, 792, 880, 110, 211, 0, 9, 0], [0, 6, 30, 80, 431, 420, 1113, 1080, 750, 838, 200, 136, 35, 0, 1], [0, 6, 30, 81, 421, 465, 993, 1290, 498, 1048, 80, 181, 25, 1, 1], [0, 6, 31, 66, 515, 130, 1758, 108, 1758, 130, 515, 66, 31, 6, 0], [0, 6, 31, 67, 505, 175, 1638, 318, 1506, 340, 395, 111, 21, 7, 0], [0, 6, 31, 68, 495, 220, 1518, 528, 1254, 550, 275, 156, 11, 8, 0], [0, 6, 31, 69, 485, 265, 1398, 738, 1002, 760, 155, 201, 1, 9, 0], [0, 6, 31, 70, 476, 300, 1323, 828, 960, 718, 245, 126, 36, 0, 1], [0, 6, 31, 71, 466, 345, 1203, 1038, 708, 928, 125, 171, 26, 1, 1], [0, 6, 31, 72, 456, 390, 1083, 1248, 456, 1138, 5, 216, 16, 2, 1], [0, 6, 32, 57, 550, 55, 1848, 66, 1716, 220, 440, 101, 22, 7, 0], [0, 6, 32, 58, 540, 100, 1728, 276, 1464, 430, 320, 146, 12, 8, 0], [0, 6, 32, 59, 530, 145, 1608, 486, 1212, 640, 200, 191, 2, 9, 0], [0, 6, 32, 60, 521, 180, 1533, 576, 1170, 598, 290, 116, 37, 0, 1], [0, 6, 32, 61, 511, 225, 1413, 786, 918, 808, 170, 161, 27, 1, 1], [0, 6, 32, 62, 501, 270, 1293, 996, 666, 1018, 50, 206, 17, 2, 1], [0, 6, 33, 49, 575, 25, 1818, 234, 1422, 520, 245, 181, 3, 9, 0], [0, 6, 33, 50, 566, 60, 1743, 324, 1380, 478, 335, 106, 38, 0, 1], [0, 6, 33, 51, 556, 105, 1623, 534, 1128, 688, 215, 151, 28, 1, 1], [0, 6, 33, 52, 546, 150, 1503, 744, 876, 898, 95, 196, 18, 2, 1], [0, 6, 34, 42, 591, 30, 1713, 492, 1086, 778, 140, 186, 19, 2, 1], [0, 6, 34, 43, 581, 75, 1593, 702, 834, 988, 20, 231, 9, 3, 1], [0, 7, 13, 188, 65, 1165, 186, 1704, 714, 505, 505, 12, 53, 3, 0], [0, 7, 13, 189, 55, 1210, 66, 1914, 462, 715, 385, 57, 43, 4, 0], [0, 7, 14, 178, 110, 1045, 396, 1452, 924, 385, 550, 2, 54, 3, 0], [0, 7, 14, 179, 100, 1090, 276, 1662, 672, 595, 430, 47, 44, 4, 0], [0, 7, 14, 180, 90, 1135, 156, 1872, 420, 805, 310, 92, 34, 5, 0], [0, 7, 14, 181, 80, 1180, 36, 2082, 168, 1015, 190, 137, 24, 6, 0], [0, 7, 15, 169, 145, 970, 486, 1410, 882, 475, 475, 37, 45, 4, 0], [0, 7, 15, 170, 135, 1015, 366, 1620, 630, 685, 355, 82, 35, 5, 0], [0, 7, 15, 171, 125, 1060, 246, 1830, 378, 895, 235, 127, 25, 6, 0], [0, 7, 15, 172, 115, 1105, 126, 2040, 126, 1105, 115, 172, 15, 7, 0], [0, 7, 16, 159, 190, 850, 696, 1158, 1092, 355, 520, 27, 46, 4, 0], [0, 7, 16, 160, 180, 895, 576, 1368, 840, 565, 400, 72, 36, 5, 0], [0, 7, 16, 161, 170, 940, 456, 1578, 588, 775, 280, 117, 26, 6, 0], [0, 7, 16, 162, 160, 985, 336, 1788, 336, 985, 160, 162, 16, 7, 0], [0, 7, 16, 163, 150, 1030, 216, 1998, 84, 1195, 40, 207, 6, 8, 0], [0, 7, 17, 149, 235, 730, 906, 906, 1302, 235, 565, 17, 47, 4, 0], [0, 7, 17, 150, 225, 775, 786, 1116, 1050, 445, 445, 62, 37, 5, 0], [0, 7, 17, 151, 215, 820, 666, 1326, 798, 655, 325, 107, 27, 6, 0], [0, 7, 17, 152, 205, 865, 546, 1536, 546, 865, 205, 152, 17, 7, 0], [0, 7, 17, 153, 195, 910, 426, 1746, 294, 1075, 85, 197, 7, 8, 0], [0, 7, 17, 155, 176, 990, 231, 2046, 0, 1243, 55, 167, 32, 0, 1], [0, 7, 18, 139, 280, 610, 1116, 654, 1512, 115, 610, 7, 48, 4, 0], [0, 7, 18, 140, 270, 655, 996, 864, 1260, 325, 490, 52, 38, 5, 0], [0, 7, 18, 141, 260, 700, 876, 1074, 1008, 535, 370, 97, 28, 6, 0], [0, 7, 18, 142, 250, 745, 756, 1284, 756, 745, 250, 142, 18, 7, 0], [0, 7, 18, 143, 240, 790, 636, 1494, 504, 955, 130, 187, 8, 8, 0], [0, 7, 18, 145, 221, 870, 441, 1794, 210, 1123, 100, 157, 33, 0, 1], [0, 7, 19, 130, 315, 535, 1206, 612, 1470, 205, 535, 42, 39, 5, 0], [0, 7, 19, 131, 305, 580, 1086, 822, 1218, 415, 415, 87, 29, 6, 0], [0, 7, 19, 132, 295, 625, 966, 1032, 966, 625, 295, 132, 19, 7, 0], [0, 7, 19, 133, 285, 670, 846, 1242, 714, 835, 175, 177, 9, 8, 0], [0, 7, 19, 135, 266, 750, 651, 1542, 420, 1003, 145, 147, 34, 0, 1], [0, 7, 19, 136, 256, 795, 531, 1752, 168, 1213, 25, 192, 24, 1, 1], [0, 7, 20, 120, 360, 415, 1416, 360, 1680, 85, 580, 32, 40, 5, 0], [0, 7, 20, 121, 350, 460, 1296, 570, 1428, 295, 460, 77, 30, 6, 0], [0, 7, 20, 122, 340, 505, 1176, 780, 1176, 505, 340, 122, 20, 7, 0], [0, 7, 20, 123, 330, 550, 1056, 990, 924, 715, 220, 167, 10, 8, 0], [0, 7, 20, 124, 320, 595, 936, 1200, 672, 925, 100, 212, 0, 9, 0], [0, 7, 20, 125, 311, 630, 861, 1290, 630, 883, 190, 137, 35, 0, 1], [0, 7, 20, 126, 301, 675, 741, 1500, 378, 1093, 70, 182, 25, 1, 1], [0, 7, 21, 111, 395, 340, 1506, 318, 1638, 175, 505, 67, 31, 6, 0], [0, 7, 21, 112, 385, 385, 1386, 528, 1386, 385, 385, 112, 21, 7, 0], [0, 7, 21, 113, 375, 430, 1266, 738, 1134, 595, 265, 157, 11, 8, 0], [0, 7, 21, 114, 365, 475, 1146, 948, 882, 805, 145, 202, 1, 9, 0], [0, 7, 21, 115, 356, 510, 1071, 1038, 840, 763, 235, 127, 36, 0, 1], [0, 7, 21, 116, 346, 555, 951, 1248, 588, 973, 115, 172, 26, 1, 1], [0, 7, 22, 101, 440, 220, 1716, 66, 1848, 55, 550, 57, 32, 6, 0], [0, 7, 22, 102, 430, 265, 1596, 276, 1596, 265, 430, 102, 22, 7, 0], [0, 7, 22, 103, 420, 310, 1476, 486, 1344, 475, 310, 147, 12, 8, 0], [0, 7, 22, 104, 410, 355, 1356, 696, 1092, 685, 190, 192, 2, 9, 0], [0, 7, 22, 105, 401, 390, 1281, 786, 1050, 643, 280, 117, 37, 0, 1], [0, 7, 22, 106, 391, 435, 1161, 996, 798, 853, 160, 162, 27, 1, 1], [0, 7, 22, 107, 381, 480, 1041, 1206, 546, 1063, 40, 207, 17, 2, 1], [0, 7, 23, 92, 475, 145, 1806, 24, 1806, 145, 475, 92, 23, 7, 0], [0, 7, 23, 93, 465, 190, 1686, 234, 1554, 355, 355, 137, 13, 8, 0], [0, 7, 23, 94, 455, 235, 1566, 444, 1302, 565, 235, 182, 3, 9, 0], [0, 7, 23, 95, 446, 270, 1491, 534, 1260, 523, 325, 107, 38, 0, 1], [0, 7, 23, 96, 436, 315, 1371, 744, 1008, 733, 205, 152, 28, 1, 1], [0, 7, 23, 97, 426, 360, 1251, 954, 756, 943, 85, 197, 18, 2, 1], [0, 7, 24, 84, 500, 115, 1776, 192, 1512, 445, 280, 172, 4, 9, 0], [0, 7, 24, 85, 491, 150, 1701, 282, 1470, 403, 370, 97, 39, 0, 1], [0, 7, 24, 86, 481, 195, 1581, 492, 1218, 613, 250, 142, 29, 1, 1], [0, 7, 24, 87, 471, 240, 1461, 702, 966, 823, 130, 187, 19, 2, 1], [0, 7, 24, 88, 461, 285, 1341, 912, 714, 1033, 10, 232, 9, 3, 1], [0, 7, 25, 75, 536, 30, 1911, 30, 1680, 283, 415, 87, 40, 0, 1], [0, 7, 25, 76, 526, 75, 1791, 240, 1428, 493, 295, 132, 30, 1, 1], [0, 7, 25, 77, 516, 120, 1671, 450, 1176, 703, 175, 177, 20, 2, 1], [0, 7, 25, 78, 506, 165, 1551, 660, 924, 913, 55, 222, 10, 3, 1], [0, 7, 26, 67, 561, 0, 1881, 198, 1386, 583, 220, 167, 21, 2, 1], [0, 7, 26, 68, 551, 45, 1761, 408, 1134, 793, 100, 212, 11, 3, 1], [0, 8, 5, 214, 25, 1180, 234, 1620, 762, 520, 465, 38, 45, 4, 0], [0, 8, 5, 215, 15, 1225, 114, 1830, 510, 730, 345, 83, 35, 5, 0], [0, 8, 6, 204, 70, 1060, 444, 1368, 972, 400, 510, 28, 46, 4, 0], [0, 8, 6, 205, 60, 1105, 324, 1578, 720, 610, 390, 73, 36, 5, 0], [0, 8, 6, 206, 50, 1150, 204, 1788, 468, 820, 270, 118, 26, 6, 0], [0, 8, 6, 207, 40, 1195, 84, 1998, 216, 1030, 150, 163, 16, 7, 0], [0, 8, 7, 194, 115, 940, 654, 1116, 1182, 280, 555, 18, 47, 4, 0], [0, 8, 7, 195, 105, 985, 534, 1326, 930, 490, 435, 63, 37, 5, 0], [0, 8, 7, 196, 95, 1030, 414, 1536, 678, 700, 315, 108, 27, 6, 0], [0, 8, 7, 197, 85, 1075, 294, 1746, 426, 910, 195, 153, 17, 7, 0], [0, 8, 7, 198, 75, 1120, 174, 1956, 174, 1120, 75, 198, 7, 8, 0], [0, 8, 8, 184, 160, 820, 864, 864, 1392, 160, 600, 8, 48, 4, 0], [0, 8, 8, 185, 150, 865, 744, 1074, 1140, 370, 480, 53, 38, 5, 0], [0, 8, 8, 186, 140, 910, 624, 1284, 888, 580, 360, 98, 28, 6, 0], [0, 8, 8, 187, 130, 955, 504, 1494, 636, 790, 240, 143, 18, 7, 0], [0, 8, 8, 188, 120, 1000, 384, 1704, 384, 1000, 120, 188, 8, 8, 0], [0, 8, 8, 190, 101, 1080, 189, 2004, 90, 1168, 90, 158, 33, 0, 1], [0, 8, 9, 175, 195, 745, 954, 822, 1350, 250, 525, 43, 39, 5, 0], [0, 8, 9, 176, 185, 790, 834, 1032, 1098, 460, 405, 88, 29, 6, 0], [0, 8, 9, 177, 175, 835, 714, 1242, 846, 670, 285, 133, 19, 7, 0], [0, 8, 9, 178, 165, 880, 594, 1452, 594, 880, 165, 178, 9, 8, 0], [0, 8, 9, 180, 146, 960, 399, 1752, 300, 1048, 135, 148, 34, 0, 1], [0, 8, 9, 181, 136, 1005, 279, 1962, 48, 1258, 15, 193, 24, 1, 1], [0, 8, 10, 165, 240, 625, 1164, 570, 1560, 130, 570, 33, 40, 5, 0], [0, 8, 10, 166, 230, 670, 1044, 780, 1308, 340, 450, 78, 30, 6, 0], [0, 8, 10, 167, 220, 715, 924, 990, 1056, 550, 330, 123, 20, 7, 0], [0, 8, 10, 168, 210, 760, 804, 1200, 804, 760, 210, 168, 10, 8, 0], [0, 8, 10, 169, 200, 805, 684, 1410, 552, 970, 90, 213, 0, 9, 0], [0, 8, 10, 170, 191, 840, 609, 1500, 510, 928, 180, 138, 35, 0, 1], [0, 8, 10, 171, 181, 885, 489, 1710, 258, 1138, 60, 183, 25, 1, 1], [0, 8, 11, 155, 285, 505, 1374, 318, 1770, 10, 615, 23, 41, 5, 0], [0, 8, 11, 156, 275, 550, 1254, 528, 1518, 220, 495, 68, 31, 6, 0], [0, 8, 11, 157, 265, 595, 1134, 738, 1266, 430, 375, 113, 21, 7, 0], [0, 8, 11, 158, 255, 640, 1014, 948, 1014, 640, 255, 158, 11, 8, 0], [0, 8, 11, 159, 245, 685, 894, 1158, 762, 850, 135, 203, 1, 9, 0], [0, 8, 11, 160, 236, 720, 819, 1248, 720, 808, 225, 128, 36, 0, 1], [0, 8, 11, 161, 226, 765, 699, 1458, 468, 1018, 105, 173, 26, 1, 1], [0, 8, 12, 146, 320, 430, 1464, 276, 1728, 100, 540, 58, 32, 6, 0], [0, 8, 12, 147, 310, 475, 1344, 486, 1476, 310, 420, 103, 22, 7, 0], [0, 8, 12, 148, 300, 520, 1224, 696, 1224, 520, 300, 148, 12, 8, 0], [0, 8, 12, 149, 290, 565, 1104, 906, 972, 730, 180, 193, 2, 9, 0], [0, 8, 12, 150, 281, 600, 1029, 996, 930, 688, 270, 118, 37, 0, 1], [0, 8, 12, 151, 271, 645, 909, 1206, 678, 898, 150, 163, 27, 1, 1], [0, 8, 12, 152, 261, 690, 789, 1416, 426, 1108, 30, 208, 17, 2, 1], [0, 8, 13, 137, 355, 355, 1554, 234, 1686, 190, 465, 93, 23, 7, 0], [0, 8, 13, 138, 345, 400, 1434, 444, 1434, 400, 345, 138, 13, 8, 0], [0, 8, 13, 139, 335, 445, 1314, 654, 1182, 610, 225, 183, 3, 9, 0], [0, 8, 13, 140, 326, 480, 1239, 744, 1140, 568, 315, 108, 38, 0, 1], [0, 8, 13, 141, 316, 525, 1119, 954, 888, 778, 195, 153, 28, 1, 1], [0, 8, 13, 142, 306, 570, 999, 1164, 636, 988, 75, 198, 18, 2, 1], [0, 8, 14, 128, 390, 280, 1644, 192, 1644, 280, 390, 128, 14, 8, 0], [0, 8, 14, 129, 380, 325, 1524, 402, 1392, 490, 270, 173, 4, 9, 0], [0, 8, 14, 130, 371, 360, 1449, 492, 1350, 448, 360, 98, 39, 0, 1], [0, 8, 14, 131, 361, 405, 1329, 702, 1098, 658, 240, 143, 29, 1, 1], [0, 8, 14, 132, 351, 450, 1209, 912, 846, 868, 120, 188, 19, 2, 1], [0, 8, 14, 133, 341, 495, 1089, 1122, 594, 1078, 0, 233, 9, 3, 1], [0, 8, 15, 119, 425, 205, 1734, 150, 1602, 370, 315, 163, 5, 9, 0], [0, 8, 15, 120, 416, 240, 1659, 240, 1560, 328, 405, 88, 40, 0, 1], [0, 8, 15, 121, 406, 285, 1539, 450, 1308, 538, 285, 133, 30, 1, 1], [0, 8, 15, 122, 396, 330, 1419, 660, 1056, 748, 165, 178, 20, 2, 1], [0, 8, 15, 123, 386, 375, 1299, 870, 804, 958, 45, 223, 10, 3, 1], [0, 8, 16, 111, 451, 165, 1749, 198, 1518, 418, 330, 123, 31, 1, 1], [0, 8, 16, 112, 441, 210, 1629, 408, 1266, 628, 210, 168, 21, 2, 1], [0, 8, 16, 113, 431, 255, 1509, 618, 1014, 838, 90, 213, 11, 3, 1], [0, 8, 17, 102, 486, 90, 1839, 156, 1476, 508, 255, 158, 22, 2, 1], [0, 8, 17, 103, 476, 135, 1719, 366, 1224, 718, 135, 203, 12, 3, 1], [0, 8, 17, 104, 466, 180, 1599, 576, 972, 928, 15, 248, 2, 4, 1], [0, 8, 18, 93, 521, 15, 1929, 114, 1434, 598, 180, 193, 13, 3, 1], [0, 8, 18, 94, 511, 60, 1809, 324, 1182, 808, 60, 238, 3, 4, 1], [0, 9, 0, 210, 120, 835, 912, 780, 1440, 175, 560, 34, 40, 5, 0], [0, 9, 0, 211, 110, 880, 792, 990, 1188, 385, 440, 79, 30, 6, 0], [0, 9, 0, 212, 100, 925, 672, 1200, 936, 595, 320, 124, 20, 7, 0], [0, 9, 0, 213, 90, 970, 552, 1410, 684, 805, 200, 169, 10, 8, 0], [0, 9, 0, 214, 80, 1015, 432, 1620, 432, 1015, 80, 214, 0, 9, 0], [0, 9, 0, 215, 71, 1050, 357, 1710, 390, 973, 170, 139, 35, 0, 1], [0, 9, 0, 216, 61, 1095, 237, 1920, 138, 1183, 50, 184, 25, 1, 1], [0, 9, 1, 200, 165, 715, 1122, 528, 1650, 55, 605, 24, 41, 5, 0], [0, 9, 1, 201, 155, 760, 1002, 738, 1398, 265, 485, 69, 31, 6, 0], [0, 9, 1, 202, 145, 805, 882, 948, 1146, 475, 365, 114, 21, 7, 0], [0, 9, 1, 203, 135, 850, 762, 1158, 894, 685, 245, 159, 11, 8, 0], [0, 9, 1, 204, 125, 895, 642, 1368, 642, 895, 125, 204, 1, 9, 0], [0, 9, 1, 205, 116, 930, 567, 1458, 600, 853, 215, 129, 36, 0, 1], [0, 9, 1, 206, 106, 975, 447, 1668, 348, 1063, 95, 174, 26, 1, 1], [0, 9, 2, 191, 200, 640, 1212, 486, 1608, 145, 530, 59, 32, 6, 0], [0, 9, 2, 192, 190, 685, 1092, 696, 1356, 355, 410, 104, 22, 7, 0], [0, 9, 2, 193, 180, 730, 972, 906, 1104, 565, 290, 149, 12, 8, 0], [0, 9, 2, 194, 170, 775, 852, 1116, 852, 775, 170, 194, 2, 9, 0], [0, 9, 2, 195, 161, 810, 777, 1206, 810, 733, 260, 119, 37, 0, 1], [0, 9, 2, 196, 151, 855, 657, 1416, 558, 943, 140, 164, 27, 1, 1], [0, 9, 2, 197, 141, 900, 537, 1626, 306, 1153, 20, 209, 17, 2, 1], [0, 9, 3, 181, 245, 520, 1422, 234, 1818, 25, 575, 49, 33, 6, 0], [0, 9, 3, 182, 235, 565, 1302, 444, 1566, 235, 455, 94, 23, 7, 0], [0, 9, 3, 183, 225, 610, 1182, 654, 1314, 445, 335, 139, 13, 8, 0], [0, 9, 3, 184, 215, 655, 1062, 864, 1062, 655, 215, 184, 3, 9, 0], [0, 9, 3, 185, 206, 690, 987, 954, 1020, 613, 305, 109, 38, 0, 1], [0, 9, 3, 186, 196, 735, 867, 1164, 768, 823, 185, 154, 28, 1, 1], [0, 9, 3, 187, 186, 780, 747, 1374, 516, 1033, 65, 199, 18, 2, 1], [0, 9, 4, 172, 280, 445, 1512, 192, 1776, 115, 500, 84, 24, 7, 0], [0, 9, 4, 173, 270, 490, 1392, 402, 1524, 325, 380, 129, 14, 8, 0], [0, 9, 4, 174, 260, 535, 1272, 612, 1272, 535, 260, 174, 4, 9, 0], [0, 9, 4, 175, 251, 570, 1197, 702, 1230, 493, 350, 99, 39, 0, 1], [0, 9, 4, 176, 241, 615, 1077, 912, 978, 703, 230, 144, 29, 1, 1], [0, 9, 4, 177, 231, 660, 957, 1122, 726, 913, 110, 189, 19, 2, 1], [0, 9, 5, 163, 315, 370, 1602, 150, 1734, 205, 425, 119, 15, 8, 0], [0, 9, 5, 164, 305, 415, 1482, 360, 1482, 415, 305, 164, 5, 9, 0], [0, 9, 5, 165, 296, 450, 1407, 450, 1440, 373, 395, 89, 40, 0, 1], [0, 9, 5, 166, 286, 495, 1287, 660, 1188, 583, 275, 134, 30, 1, 1], [0, 9, 5, 167, 276, 540, 1167, 870, 936, 793, 155, 179, 20, 2, 1], [0, 9, 5, 168, 266, 585, 1047, 1080, 684, 1003, 35, 224, 10, 3, 1], [0, 9, 6, 154, 350, 295, 1692, 108, 1692, 295, 350, 154, 6, 9, 0], [0, 9, 6, 155, 341, 330, 1617, 198, 1650, 253, 440, 79, 41, 0, 1], [0, 9, 6, 156, 331, 375, 1497, 408, 1398, 463, 320, 124, 31, 1, 1], [0, 9, 6, 157, 321, 420, 1377, 618, 1146, 673, 200, 169, 21, 2, 1], [0, 9, 6, 158, 311, 465, 1257, 828, 894, 883, 80, 214, 11, 3, 1], [0, 9, 7, 146, 376, 255, 1707, 156, 1608, 343, 365, 114, 32, 1, 1], [0, 9, 7, 147, 366, 300, 1587, 366, 1356, 553, 245, 159, 22, 2, 1], [0, 9, 7, 148, 356, 345, 1467, 576, 1104, 763, 125, 204, 12, 3, 1], [0, 9, 7, 149, 346, 390, 1347, 786, 852, 973, 5, 249, 2, 4, 1], [0, 9, 8, 137, 411, 180, 1797, 114, 1566, 433, 290, 149, 23, 2, 1], [0, 9, 8, 138, 401, 225, 1677, 324, 1314, 643, 170, 194, 13, 3, 1], [0, 9, 8, 139, 391, 270, 1557, 534, 1062, 853, 50, 239, 3, 4, 1], [0, 9, 9, 128, 446, 105, 1887, 72, 1524, 523, 215, 184, 14, 3, 1], [0, 9, 9, 129, 436, 150, 1767, 282, 1272, 733, 95, 229, 4, 4, 1], [0, 9, 10, 119, 481, 30, 1977, 30, 1482, 613, 140, 219, 5, 4, 1], [0, 10, 0, 163, 371, 195, 1845, 30, 1614, 448, 250, 175, 15, 3, 1], [0, 10, 0, 164, 361, 240, 1725, 240, 1362, 658, 130, 220, 5, 4, 1]}