-------
(14, 7168, 9) Remaining distance distributions for EXTERNAL point
(9, 7168, 9) has 0 possible DDs: {}
(10, 7168, 9) has 1 possible DDs: {[0, 140, 0, 1680, 0, 3528, 0, 1680, 0, 140, 0]}
(11, 7168, 9) has 8 possible DDs: {[0, 70, 70, 840, 840, 1764, 1764, 840, 840, 70, 70, 0], [0, 71, 60, 885, 720, 1974, 1512, 1050, 720, 115, 60, 1], [0, 72, 50, 930, 600, 2184, 1260, 1260, 600, 160, 50, 2], [0, 73, 40, 975, 480, 2394, 1008, 1470, 480, 205, 40, 3], [0, 74, 30, 1020, 360, 2604, 756, 1680, 360, 250, 30, 4], [0, 75, 20, 1065, 240, 2814, 504, 1890, 240, 295, 20, 5], [0, 76, 10, 1110, 120, 3024, 252, 2100, 120, 340, 10, 6], [0, 77, 0, 1155, 0, 3234, 0, 2310, 0, 385, 0, 7]}
(12, 7168, 9) has 18 possible DDs: {[0, 32, 100, 320, 1200, 672, 2520, 672, 1200, 320, 100, 32, 0], [0, 33, 90, 365, 1080, 882, 2268, 882, 1080, 365, 90, 33, 0], [0, 34, 80, 410, 960, 1092, 2016, 1092, 960, 410, 80, 34, 0], [0, 34, 81, 400, 1005, 972, 2226, 840, 1170, 290, 125, 24, 1], [0, 35, 70, 455, 840, 1302, 1764, 1302, 840, 455, 70, 35, 0], [0, 35, 71, 445, 885, 1182, 1974, 1050, 1050, 335, 115, 25, 1], [0, 35, 72, 435, 930, 1062, 2184, 798, 1260, 215, 160, 15, 2], [0, 36, 60, 500, 720, 1512, 1512, 1512, 720, 500, 60, 36, 0], [0, 36, 61, 490, 765, 1392, 1722, 1260, 930, 380, 105, 26, 1], [0, 36, 62, 480, 810, 1272, 1932, 1008, 1140, 260, 150, 16, 2], [0, 37, 50, 545, 600, 1722, 1260, 1722, 600, 545, 50, 37, 0], [0, 37, 51, 535, 645, 1602, 1470, 1470, 810, 425, 95, 27, 1], [0, 37, 52, 525, 690, 1482, 1680, 1218, 1020, 305, 140, 17, 2], [0, 38, 40, 590, 480, 1932, 1008, 1932, 480, 590, 40, 38, 0], [0, 38, 41, 580, 525, 1812, 1218, 1680, 690, 470, 85, 28, 1], [0, 38, 42, 570, 570, 1692, 1428, 1428, 900, 350, 130, 18, 2], [0, 38, 43, 560, 615, 1572, 1638, 1176, 1110, 230, 175, 8, 3], [0, 39, 32, 615, 450, 1902, 1176, 1638, 780, 395, 120, 19, 2]}
(13, 7168, 9) has 47 possible DDs: {[0, 14, 84, 140, 910, 756, 1680, 1680, 756, 910, 140, 84, 14, 0], [0, 15, 75, 175, 835, 846, 1638, 1638, 846, 835, 175, 75, 15, 0], [0, 15, 76, 165, 880, 726, 1848, 1386, 1056, 715, 220, 65, 16, 0], [0, 16, 65, 220, 715, 1056, 1386, 1848, 726, 880, 165, 76, 15, 0], [0, 16, 66, 210, 760, 936, 1596, 1596, 936, 760, 210, 66, 16, 0], [0, 16, 67, 200, 805, 816, 1806, 1344, 1146, 640, 255, 56, 17, 0], [0, 16, 68, 190, 850, 696, 2016, 1092, 1356, 520, 300, 46, 18, 0], [0, 16, 68, 191, 840, 741, 1896, 1302, 1104, 730, 180, 91, 8, 1], [0, 17, 56, 255, 640, 1146, 1344, 1806, 816, 805, 200, 67, 16, 0], [0, 17, 57, 245, 685, 1026, 1554, 1554, 1026, 685, 245, 57, 17, 0], [0, 17, 57, 246, 675, 1071, 1434, 1764, 774, 895, 125, 102, 7, 1], [0, 17, 58, 235, 730, 906, 1764, 1302, 1236, 565, 290, 47, 18, 0], [0, 17, 58, 236, 720, 951, 1644, 1512, 984, 775, 170, 92, 8, 1], [0, 17, 59, 225, 775, 786, 1974, 1050, 1446, 445, 335, 37, 19, 0], [0, 17, 59, 226, 765, 831, 1854, 1260, 1194, 655, 215, 82, 9, 1], [0, 17, 60, 216, 810, 711, 2064, 1008, 1404, 535, 260, 72, 10, 1], [0, 17, 60, 217, 800, 756, 1944, 1218, 1152, 745, 140, 117, 0, 2], [0, 18, 46, 300, 520, 1356, 1092, 2016, 696, 850, 190, 68, 16, 0], [0, 18, 47, 290, 565, 1236, 1302, 1764, 906, 730, 235, 58, 17, 0], [0, 18, 48, 280, 610, 1116, 1512, 1512, 1116, 610, 280, 48, 18, 0], [0, 18, 48, 281, 600, 1161, 1392, 1722, 864, 820, 160, 93, 8, 1], [0, 18, 49, 270, 655, 996, 1722, 1260, 1326, 490, 325, 38, 19, 0], [0, 18, 49, 271, 645, 1041, 1602, 1470, 1074, 700, 205, 83, 9, 1], [0, 18, 50, 261, 690, 921, 1812, 1218, 1284, 580, 250, 73, 10, 1], [0, 18, 51, 251, 735, 801, 2022, 966, 1494, 460, 295, 63, 11, 1], [0, 18, 51, 252, 725, 846, 1902, 1176, 1242, 670, 175, 108, 1, 2], [0, 18, 52, 242, 770, 726, 2112, 924, 1452, 550, 220, 98, 2, 2], [0, 19, 37, 335, 445, 1446, 1050, 1974, 786, 775, 225, 59, 17, 0], [0, 19, 38, 325, 490, 1326, 1260, 1722, 996, 655, 270, 49, 18, 0], [0, 19, 38, 326, 480, 1371, 1140, 1932, 744, 865, 150, 94, 8, 1], [0, 19, 39, 315, 535, 1206, 1470, 1470, 1206, 535, 315, 39, 19, 0], [0, 19, 39, 316, 525, 1251, 1350, 1680, 954, 745, 195, 84, 9, 1], [0, 19, 40, 305, 580, 1086, 1680, 1218, 1416, 415, 360, 29, 20, 0], [0, 19, 40, 306, 570, 1131, 1560, 1428, 1164, 625, 240, 74, 10, 1], [0, 19, 41, 296, 615, 1011, 1770, 1176, 1374, 505, 285, 64, 11, 1], [0, 19, 41, 297, 605, 1056, 1650, 1386, 1122, 715, 165, 109, 1, 2], [0, 19, 42, 287, 650, 936, 1860, 1134, 1332, 595, 210, 99, 2, 2], [0, 19, 43, 277, 695, 816, 2070, 882, 1542, 475, 255, 89, 3, 2], [0, 20, 29, 360, 415, 1416, 1218, 1680, 1086, 580, 305, 40, 19, 0], [0, 20, 29, 361, 405, 1461, 1098, 1890, 834, 790, 185, 85, 9, 1], [0, 20, 30, 350, 460, 1296, 1428, 1428, 1296, 460, 350, 30, 20, 0], [0, 20, 30, 351, 450, 1341, 1308, 1638, 1044, 670, 230, 75, 10, 1], [0, 20, 31, 341, 495, 1221, 1518, 1386, 1254, 550, 275, 65, 11, 1], [0, 20, 31, 342, 485, 1266, 1398, 1596, 1002, 760, 155, 110, 1, 2], [0, 20, 32, 331, 540, 1101, 1728, 1134, 1464, 430, 320, 55, 12, 1], [0, 20, 32, 332, 530, 1146, 1608, 1344, 1212, 640, 200, 100, 2, 2], [0, 20, 33, 322, 575, 1026, 1818, 1092, 1422, 520, 245, 90, 3, 2]}
(14, 7168, 9) has 177 possible DDs: {[0, 5, 63, 80, 515, 1043, 702, 2352, 702, 1043, 515, 80, 63, 5, 0], [0, 5, 64, 70, 560, 923, 912, 2100, 912, 923, 560, 70, 64, 5, 0], [0, 5, 65, 60, 605, 803, 1122, 1848, 1122, 803, 605, 60, 65, 5, 0], [0, 5, 65, 61, 595, 848, 1002, 2058, 870, 1013, 485, 105, 55, 6, 0], [0, 5, 66, 51, 640, 728, 1212, 1806, 1080, 893, 530, 95, 56, 6, 0], [0, 5, 66, 52, 630, 773, 1092, 2016, 828, 1103, 410, 140, 46, 7, 0], [0, 6, 55, 105, 485, 1013, 870, 2058, 1002, 848, 595, 61, 65, 5, 0], [0, 6, 55, 106, 475, 1058, 750, 2268, 750, 1058, 475, 106, 55, 6, 0], [0, 6, 56, 95, 530, 893, 1080, 1806, 1212, 728, 640, 51, 66, 5, 0], [0, 6, 56, 96, 520, 938, 960, 2016, 960, 938, 520, 96, 56, 6, 0], [0, 6, 57, 86, 565, 818, 1170, 1764, 1170, 818, 565, 86, 57, 6, 0], [0, 6, 57, 87, 555, 863, 1050, 1974, 918, 1028, 445, 131, 47, 7, 0], [0, 6, 58, 76, 610, 698, 1380, 1512, 1380, 698, 610, 76, 58, 6, 0], [0, 6, 58, 77, 600, 743, 1260, 1722, 1128, 908, 490, 121, 48, 7, 0], [0, 6, 58, 78, 590, 788, 1140, 1932, 876, 1118, 370, 166, 38, 8, 0], [0, 6, 59, 66, 655, 578, 1590, 1260, 1590, 578, 655, 66, 59, 6, 0], [0, 6, 59, 67, 645, 623, 1470, 1470, 1338, 788, 535, 111, 49, 7, 0], [0, 6, 59, 68, 635, 668, 1350, 1680, 1086, 998, 415, 156, 39, 8, 0], [0, 6, 59, 70, 616, 748, 1155, 1980, 792, 1166, 385, 126, 64, 0, 1], [0, 7, 46, 140, 410, 1103, 828, 2016, 1092, 773, 630, 52, 66, 5, 0], [0, 7, 47, 131, 445, 1028, 918, 1974, 1050, 863, 555, 87, 57, 6, 0], [0, 7, 47, 132, 435, 1073, 798, 2184, 798, 1073, 435, 132, 47, 7, 0], [0, 7, 48, 121, 490, 908, 1128, 1722, 1260, 743, 600, 77, 58, 6, 0], [0, 7, 48, 122, 480, 953, 1008, 1932, 1008, 953, 480, 122, 48, 7, 0], [0, 7, 49, 111, 535, 788, 1338, 1470, 1470, 623, 645, 67, 59, 6, 0], [0, 7, 49, 112, 525, 833, 1218, 1680, 1218, 833, 525, 112, 49, 7, 0], [0, 7, 49, 113, 515, 878, 1098, 1890, 966, 1043, 405, 157, 39, 8, 0], [0, 7, 50, 102, 570, 713, 1428, 1428, 1428, 713, 570, 102, 50, 7, 0], [0, 7, 50, 103, 560, 758, 1308, 1638, 1176, 923, 450, 147, 40, 8, 0], [0, 7, 50, 104, 550, 803, 1188, 1848, 924, 1133, 330, 192, 30, 9, 0], [0, 7, 50, 105, 541, 838, 1113, 1938, 882, 1091, 420, 117, 65, 0, 1], [0, 7, 51, 92, 615, 593, 1638, 1176, 1638, 593, 615, 92, 51, 7, 0], [0, 7, 51, 93, 605, 638, 1518, 1386, 1386, 803, 495, 137, 41, 8, 0], [0, 7, 51, 94, 595, 683, 1398, 1596, 1134, 1013, 375, 182, 31, 9, 0], [0, 7, 51, 95, 586, 718, 1323, 1686, 1092, 971, 465, 107, 66, 0, 1], [0, 7, 51, 96, 576, 763, 1203, 1896, 840, 1181, 345, 152, 56, 1, 1], [0, 7, 52, 84, 640, 563, 1608, 1344, 1344, 893, 420, 172, 32, 9, 0], [0, 7, 52, 85, 630, 608, 1488, 1554, 1092, 1103, 300, 217, 22, 10, 0], [0, 7, 52, 85, 631, 598, 1533, 1434, 1302, 851, 510, 97, 67, 0, 1], [0, 7, 52, 86, 621, 643, 1413, 1644, 1050, 1061, 390, 142, 57, 1, 1], [0, 7, 53, 77, 656, 568, 1503, 1602, 1008, 1151, 315, 177, 48, 2, 1], [0, 8, 38, 166, 370, 1118, 876, 1932, 1140, 788, 590, 78, 58, 6, 0], [0, 8, 39, 156, 415, 998, 1086, 1680, 1350, 668, 635, 68, 59, 6, 0], [0, 8, 39, 157, 405, 1043, 966, 1890, 1098, 878, 515, 113, 49, 7, 0], [0, 8, 39, 158, 395, 1088, 846, 2100, 846, 1088, 395, 158, 39, 8, 0], [0, 8, 40, 147, 450, 923, 1176, 1638, 1308, 758, 560, 103, 50, 7, 0], [0, 8, 40, 148, 440, 968, 1056, 1848, 1056, 968, 440, 148, 40, 8, 0], [0, 8, 40, 150, 421, 1048, 861, 2148, 762, 1136, 410, 118, 65, 0, 1], [0, 8, 41, 137, 495, 803, 1386, 1386, 1518, 638, 605, 93, 51, 7, 0], [0, 8, 41, 138, 485, 848, 1266, 1596, 1266, 848, 485, 138, 41, 8, 0], [0, 8, 41, 139, 475, 893, 1146, 1806, 1014, 1058, 365, 183, 31, 9, 0], [0, 8, 41, 140, 466, 928, 1071, 1896, 972, 1016, 455, 108, 66, 0, 1], [0, 8, 42, 128, 530, 728, 1476, 1344, 1476, 728, 530, 128, 42, 8, 0], [0, 8, 42, 129, 520, 773, 1356, 1554, 1224, 938, 410, 173, 32, 9, 0], [0, 8, 42, 130, 510, 818, 1236, 1764, 972, 1148, 290, 218, 22, 10, 0], [0, 8, 42, 130, 511, 808, 1281, 1644, 1182, 896, 500, 98, 67, 0, 1], [0, 8, 42, 131, 501, 853, 1161, 1854, 930, 1106, 380, 143, 57, 1, 1], [0, 8, 43, 118, 575, 608, 1686, 1092, 1686, 608, 575, 118, 43, 8, 0], [0, 8, 43, 119, 565, 653, 1566, 1302, 1434, 818, 455, 163, 33, 9, 0], [0, 8, 43, 120, 555, 698, 1446, 1512, 1182, 1028, 335, 208, 23, 10, 0], [0, 8, 43, 120, 556, 688, 1491, 1392, 1392, 776, 545, 88, 68, 0, 1], [0, 8, 43, 121, 546, 733, 1371, 1602, 1140, 986, 425, 133, 58, 1, 1], [0, 8, 43, 122, 536, 778, 1251, 1812, 888, 1196, 305, 178, 48, 2, 1], [0, 8, 44, 110, 600, 578, 1656, 1260, 1392, 908, 380, 198, 24, 10, 0], [0, 8, 44, 111, 590, 623, 1536, 1470, 1140, 1118, 260, 243, 14, 11, 0], [0, 8, 44, 111, 591, 613, 1581, 1350, 1350, 866, 470, 123, 59, 1, 1], [0, 8, 44, 112, 581, 658, 1461, 1560, 1098, 1076, 350, 168, 49, 2, 1], [0, 8, 45, 102, 626, 538, 1671, 1308, 1308, 956, 395, 158, 50, 2, 1], [0, 8, 45, 103, 616, 583, 1551, 1518, 1056, 1166, 275, 203, 40, 3, 1], [0, 9, 30, 192, 330, 1133, 924, 1848, 1188, 803, 550, 104, 50, 7, 0], [0, 9, 31, 182, 375, 1013, 1134, 1596, 1398, 683, 595, 94, 51, 7, 0], [0, 9, 31, 183, 365, 1058, 1014, 1806, 1146, 893, 475, 139, 41, 8, 0], [0, 9, 31, 184, 355, 1103, 894, 2016, 894, 1103, 355, 184, 31, 9, 0], [0, 9, 32, 172, 420, 893, 1344, 1344, 1608, 563, 640, 84, 52, 7, 0], [0, 9, 32, 173, 410, 938, 1224, 1554, 1356, 773, 520, 129, 42, 8, 0], [0, 9, 32, 174, 400, 983, 1104, 1764, 1104, 983, 400, 174, 32, 9, 0], [0, 9, 32, 175, 391, 1018, 1029, 1854, 1062, 941, 490, 99, 67, 0, 1], [0, 9, 32, 176, 381, 1063, 909, 2064, 810, 1151, 370, 144, 57, 1, 1], [0, 9, 33, 163, 455, 818, 1434, 1302, 1566, 653, 565, 119, 43, 8, 0], [0, 9, 33, 164, 445, 863, 1314, 1512, 1314, 863, 445, 164, 33, 9, 0], [0, 9, 33, 165, 435, 908, 1194, 1722, 1062, 1073, 325, 209, 23, 10, 0], [0, 9, 33, 165, 436, 898, 1239, 1602, 1272, 821, 535, 89, 68, 0, 1], [0, 9, 33, 166, 426, 943, 1119, 1812, 1020, 1031, 415, 134, 58, 1, 1], [0, 9, 34, 154, 490, 743, 1524, 1260, 1524, 743, 490, 154, 34, 9, 0], [0, 9, 34, 155, 480, 788, 1404, 1470, 1272, 953, 370, 199, 24, 10, 0], [0, 9, 34, 155, 481, 778, 1449, 1350, 1482, 701, 580, 79, 69, 0, 1], [0, 9, 34, 156, 471, 823, 1329, 1560, 1230, 911, 460, 124, 59, 1, 1], [0, 9, 34, 157, 461, 868, 1209, 1770, 978, 1121, 340, 169, 49, 2, 1], [0, 9, 35, 144, 535, 623, 1734, 1008, 1734, 623, 535, 144, 35, 9, 0], [0, 9, 35, 145, 525, 668, 1614, 1218, 1482, 833, 415, 189, 25, 10, 0], [0, 9, 35, 146, 515, 713, 1494, 1428, 1230, 1043, 295, 234, 15, 11, 0], [0, 9, 35, 146, 516, 703, 1539, 1308, 1440, 791, 505, 114, 60, 1, 1], [0, 9, 35, 147, 506, 748, 1419, 1518, 1188, 1001, 385, 159, 50, 2, 1], [0, 9, 35, 148, 496, 793, 1299, 1728, 936, 1211, 265, 204, 40, 3, 1], [0, 9, 36, 136, 560, 593, 1704, 1176, 1440, 923, 340, 224, 16, 11, 0], [0, 9, 36, 136, 561, 583, 1749, 1056, 1650, 671, 550, 104, 61, 1, 1], [0, 9, 36, 137, 551, 628, 1629, 1266, 1398, 881, 430, 149, 51, 2, 1], [0, 9, 36, 138, 541, 673, 1509, 1476, 1146, 1091, 310, 194, 41, 3, 1], [0, 9, 37, 128, 586, 553, 1719, 1224, 1356, 971, 355, 184, 42, 3, 1], [0, 9, 37, 129, 576, 598, 1599, 1434, 1104, 1181, 235, 229, 32, 4, 1], [0, 10, 22, 217, 300, 1103, 1092, 1554, 1488, 608, 630, 85, 52, 7, 0], [0, 10, 22, 218, 290, 1148, 972, 1764, 1236, 818, 510, 130, 42, 8, 0], [0, 10, 23, 208, 335, 1028, 1182, 1512, 1446, 698, 555, 120, 43, 8, 0], [0, 10, 23, 209, 325, 1073, 1062, 1722, 1194, 908, 435, 165, 33, 9, 0], [0, 10, 23, 210, 315, 1118, 942, 1932, 942, 1118, 315, 210, 23, 10, 0], [0, 10, 23, 210, 316, 1108, 987, 1812, 1152, 866, 525, 90, 68, 0, 1], [0, 10, 24, 198, 380, 908, 1392, 1260, 1656, 578, 600, 110, 44, 8, 0], [0, 10, 24, 199, 370, 953, 1272, 1470, 1404, 788, 480, 155, 34, 9, 0], [0, 10, 24, 200, 360, 998, 1152, 1680, 1152, 998, 360, 200, 24, 10, 0], [0, 10, 24, 200, 361, 988, 1197, 1560, 1362, 746, 570, 80, 69, 0, 1], [0, 10, 24, 201, 351, 1033, 1077, 1770, 1110, 956, 450, 125, 59, 1, 1], [0, 10, 24, 202, 341, 1078, 957, 1980, 858, 1166, 330, 170, 49, 2, 1], [0, 10, 25, 189, 415, 833, 1482, 1218, 1614, 668, 525, 145, 35, 9, 0], [0, 10, 25, 190, 405, 878, 1362, 1428, 1362, 878, 405, 190, 25, 10, 0], [0, 10, 25, 190, 406, 868, 1407, 1308, 1572, 626, 615, 70, 70, 0, 1], [0, 10, 25, 191, 395, 923, 1242, 1638, 1110, 1088, 285, 235, 15, 11, 0], [0, 10, 25, 191, 396, 913, 1287, 1518, 1320, 836, 495, 115, 60, 1, 1], [0, 10, 25, 192, 386, 958, 1167, 1728, 1068, 1046, 375, 160, 50, 2, 1], [0, 10, 26, 180, 450, 758, 1572, 1176, 1572, 758, 450, 180, 26, 10, 0], [0, 10, 26, 181, 440, 803, 1452, 1386, 1320, 968, 330, 225, 16, 11, 0], [0, 10, 26, 181, 441, 793, 1497, 1266, 1530, 716, 540, 105, 61, 1, 1], [0, 10, 26, 182, 431, 838, 1377, 1476, 1278, 926, 420, 150, 51, 2, 1], [0, 10, 26, 183, 421, 883, 1257, 1686, 1026, 1136, 300, 195, 41, 3, 1], [0, 10, 27, 170, 495, 638, 1782, 924, 1782, 638, 495, 170, 27, 10, 0], [0, 10, 27, 171, 485, 683, 1662, 1134, 1530, 848, 375, 215, 17, 11, 0], [0, 10, 27, 172, 476, 718, 1587, 1224, 1488, 806, 465, 140, 52, 2, 1], [0, 10, 27, 173, 466, 763, 1467, 1434, 1236, 1016, 345, 185, 42, 3, 1], [0, 10, 27, 174, 456, 808, 1347, 1644, 984, 1226, 225, 230, 32, 4, 1], [0, 10, 28, 162, 520, 608, 1752, 1092, 1488, 938, 300, 250, 8, 12, 0], [0, 10, 28, 162, 521, 598, 1797, 972, 1698, 686, 510, 130, 53, 2, 1], [0, 10, 28, 163, 511, 643, 1677, 1182, 1446, 896, 390, 175, 43, 3, 1], [0, 10, 28, 164, 501, 688, 1557, 1392, 1194, 1106, 270, 220, 33, 4, 1], [0, 10, 29, 154, 546, 568, 1767, 1140, 1404, 986, 315, 210, 34, 4, 1], [0, 11, 14, 243, 260, 1118, 1140, 1470, 1536, 623, 590, 111, 44, 8, 0], [0, 11, 15, 234, 295, 1043, 1230, 1428, 1494, 713, 515, 146, 35, 9, 0], [0, 11, 15, 235, 285, 1088, 1110, 1638, 1242, 923, 395, 191, 25, 10, 0], [0, 11, 15, 235, 286, 1078, 1155, 1518, 1452, 671, 605, 71, 70, 0, 1], [0, 11, 15, 236, 275, 1133, 990, 1848, 990, 1133, 275, 236, 15, 11, 0], [0, 11, 15, 236, 276, 1123, 1035, 1728, 1200, 881, 485, 116, 60, 1, 1], [0, 11, 16, 224, 340, 923, 1440, 1176, 1704, 593, 560, 136, 36, 9, 0], [0, 11, 16, 225, 330, 968, 1320, 1386, 1452, 803, 440, 181, 26, 10, 0], [0, 11, 16, 226, 320, 1013, 1200, 1596, 1200, 1013, 320, 226, 16, 11, 0], [0, 11, 16, 226, 321, 1003, 1245, 1476, 1410, 761, 530, 106, 61, 1, 1], [0, 11, 16, 227, 311, 1048, 1125, 1686, 1158, 971, 410, 151, 51, 2, 1], [0, 11, 16, 228, 301, 1093, 1005, 1896, 906, 1181, 290, 196, 41, 3, 1], [0, 11, 17, 215, 375, 848, 1530, 1134, 1662, 683, 485, 171, 27, 10, 0], [0, 11, 17, 216, 365, 893, 1410, 1344, 1410, 893, 365, 216, 17, 11, 0], [0, 11, 17, 216, 366, 883, 1455, 1224, 1620, 641, 575, 96, 62, 1, 1], [0, 11, 17, 217, 356, 928, 1335, 1434, 1368, 851, 455, 141, 52, 2, 1], [0, 11, 17, 218, 346, 973, 1215, 1644, 1116, 1061, 335, 186, 42, 3, 1], [0, 11, 18, 206, 410, 773, 1620, 1092, 1620, 773, 410, 206, 18, 11, 0], [0, 11, 18, 207, 400, 818, 1500, 1302, 1368, 983, 290, 251, 8, 12, 0], [0, 11, 18, 207, 401, 808, 1545, 1182, 1578, 731, 500, 131, 53, 2, 1], [0, 11, 18, 208, 391, 853, 1425, 1392, 1326, 941, 380, 176, 43, 3, 1], [0, 11, 18, 209, 381, 898, 1305, 1602, 1074, 1151, 260, 221, 33, 4, 1], [0, 11, 19, 196, 455, 653, 1830, 840, 1830, 653, 455, 196, 19, 11, 0], [0, 11, 19, 197, 445, 698, 1710, 1050, 1578, 863, 335, 241, 9, 12, 0], [0, 11, 19, 198, 436, 733, 1635, 1140, 1536, 821, 425, 166, 44, 3, 1], [0, 11, 19, 199, 426, 778, 1515, 1350, 1284, 1031, 305, 211, 34, 4, 1], [0, 11, 20, 188, 481, 613, 1845, 888, 1746, 701, 470, 156, 45, 3, 1], [0, 11, 20, 189, 471, 658, 1725, 1098, 1494, 911, 350, 201, 35, 4, 1], [0, 11, 21, 180, 506, 583, 1815, 1056, 1452, 1001, 275, 236, 26, 5, 1], [0, 12, 8, 250, 300, 938, 1488, 1092, 1752, 608, 520, 162, 28, 10, 0], [0, 12, 8, 251, 290, 983, 1368, 1302, 1500, 818, 400, 207, 18, 11, 0], [0, 12, 9, 241, 335, 863, 1578, 1050, 1710, 698, 445, 197, 19, 11, 0], [0, 12, 9, 242, 325, 908, 1458, 1260, 1458, 908, 325, 242, 9, 12, 0], [0, 12, 9, 242, 326, 898, 1503, 1140, 1668, 656, 535, 122, 54, 2, 1], [0, 12, 9, 243, 316, 943, 1383, 1350, 1416, 866, 415, 167, 44, 3, 1], [0, 12, 9, 244, 306, 988, 1263, 1560, 1164, 1076, 295, 212, 34, 4, 1], [0, 12, 10, 232, 370, 788, 1668, 1008, 1668, 788, 370, 232, 10, 12, 0], [0, 12, 10, 233, 361, 823, 1593, 1098, 1626, 746, 460, 157, 45, 3, 1], [0, 12, 10, 234, 351, 868, 1473, 1308, 1374, 956, 340, 202, 35, 4, 1], [0, 12, 11, 222, 415, 668, 1878, 756, 1878, 668, 415, 222, 11, 12, 0], [0, 12, 11, 224, 396, 748, 1683, 1056, 1584, 836, 385, 192, 36, 4, 1], [0, 12, 11, 225, 386, 793, 1563, 1266, 1332, 1046, 265, 237, 26, 5, 1], [0, 12, 12, 214, 441, 628, 1893, 804, 1794, 716, 430, 182, 37, 4, 1], [0, 12, 12, 215, 431, 673, 1773, 1014, 1542, 926, 310, 227, 27, 5, 1]}