-------
(14, 8192, 10) Remaining distance distributions for EXTERNAL point
(10, 8192, 10) has 0 possible DDs: {}
(11, 8192, 10) has 1 possible DDs: {[0, 88, 0, 1320, 0, 3696, 0, 2640, 0, 440, 0, 8]}
(12, 8192, 10) has 5 possible DDs: {[0, 44, 44, 660, 660, 1848, 1848, 1320, 1320, 220, 220, 4, 4], [0, 45, 33, 715, 495, 2178, 1386, 1782, 990, 385, 165, 15, 3], [0, 46, 22, 770, 330, 2508, 924, 2244, 660, 550, 110, 26, 2], [0, 47, 11, 825, 165, 2838, 462, 2706, 330, 715, 55, 37, 1], [0, 48, 0, 880, 0, 3168, 0, 3168, 0, 880, 0, 48, 0]}
(13, 8192, 10) has 18 possible DDs: {[0, 20, 66, 242, 990, 594, 2772, 660, 1980, 440, 330, 90, 6, 2], [0, 21, 55, 297, 825, 924, 2310, 1122, 1650, 605, 275, 101, 5, 2], [0, 21, 56, 286, 880, 759, 2640, 660, 2112, 275, 440, 46, 16, 1], [0, 22, 44, 352, 660, 1254, 1848, 1584, 1320, 770, 220, 112, 4, 2], [0, 22, 45, 341, 715, 1089, 2178, 1122, 1782, 440, 385, 57, 15, 1], [0, 22, 46, 330, 770, 924, 2508, 660, 2244, 110, 550, 2, 26, 0], [0, 23, 33, 407, 495, 1584, 1386, 2046, 990, 935, 165, 123, 3, 2], [0, 23, 34, 396, 550, 1419, 1716, 1584, 1452, 605, 330, 68, 14, 1], [0, 23, 35, 385, 605, 1254, 2046, 1122, 1914, 275, 495, 13, 25, 0], [0, 24, 22, 462, 330, 1914, 924, 2508, 660, 1100, 110, 134, 2, 2], [0, 24, 23, 451, 385, 1749, 1254, 2046, 1122, 770, 275, 79, 13, 1], [0, 24, 24, 440, 440, 1584, 1584, 1584, 1584, 440, 440, 24, 24, 0], [0, 25, 11, 517, 165, 2244, 462, 2970, 330, 1265, 55, 145, 1, 2], [0, 25, 12, 506, 220, 2079, 792, 2508, 792, 935, 220, 90, 12, 1], [0, 25, 13, 495, 275, 1914, 1122, 2046, 1254, 605, 385, 35, 23, 0], [0, 26, 0, 572, 0, 2574, 0, 3432, 0, 1430, 0, 156, 0, 2], [0, 26, 1, 561, 55, 2409, 330, 2970, 462, 1100, 165, 101, 11, 1], [0, 26, 2, 550, 110, 2244, 660, 2508, 924, 770, 330, 46, 22, 0]}
(14, 8192, 10) has 53 possible DDs: {[0, 8, 63, 66, 836, 462, 1947, 1716, 1056, 1540, 165, 298, 28, 6, 1], [0, 9, 53, 110, 726, 627, 1815, 1716, 1188, 1375, 275, 254, 38, 5, 1], [0, 9, 54, 99, 781, 462, 2145, 1254, 1650, 1045, 440, 199, 49, 4, 1], [0, 9, 55, 88, 836, 297, 2475, 792, 2112, 715, 605, 144, 60, 3, 1], [0, 9, 55, 89, 825, 352, 2310, 1122, 1650, 1177, 275, 309, 5, 14, 0], [0, 10, 42, 165, 561, 957, 1353, 2178, 858, 1540, 220, 265, 37, 5, 1], [0, 10, 43, 154, 616, 792, 1683, 1716, 1320, 1210, 385, 210, 48, 4, 1], [0, 10, 44, 143, 671, 627, 2013, 1254, 1782, 880, 550, 155, 59, 3, 1], [0, 10, 44, 144, 660, 682, 1848, 1584, 1320, 1342, 220, 320, 4, 14, 0], [0, 10, 45, 132, 726, 462, 2343, 792, 2244, 550, 715, 100, 70, 2, 1], [0, 10, 45, 133, 715, 517, 2178, 1122, 1782, 1012, 385, 265, 15, 13, 0], [0, 10, 46, 121, 781, 297, 2673, 330, 2706, 220, 880, 45, 81, 1, 1], [0, 10, 46, 122, 770, 352, 2508, 660, 2244, 682, 550, 210, 26, 12, 0], [0, 11, 31, 220, 396, 1287, 891, 2640, 528, 1705, 165, 276, 36, 5, 1], [0, 11, 32, 209, 451, 1122, 1221, 2178, 990, 1375, 330, 221, 47, 4, 1], [0, 11, 33, 198, 506, 957, 1551, 1716, 1452, 1045, 495, 166, 58, 3, 1], [0, 11, 33, 199, 495, 1012, 1386, 2046, 990, 1507, 165, 331, 3, 14, 0], [0, 11, 34, 187, 561, 792, 1881, 1254, 1914, 715, 660, 111, 69, 2, 1], [0, 11, 34, 188, 550, 847, 1716, 1584, 1452, 1177, 330, 276, 14, 13, 0], [0, 11, 35, 176, 616, 627, 2211, 792, 2376, 385, 825, 56, 80, 1, 1], [0, 11, 35, 177, 605, 682, 2046, 1122, 1914, 847, 495, 221, 25, 12, 0], [0, 11, 36, 165, 671, 462, 2541, 330, 2838, 55, 990, 1, 91, 0, 1], [0, 11, 36, 166, 660, 517, 2376, 660, 2376, 517, 660, 166, 36, 11, 0], [0, 12, 21, 264, 286, 1452, 759, 2640, 660, 1540, 275, 232, 46, 4, 1], [0, 12, 22, 253, 341, 1287, 1089, 2178, 1122, 1210, 440, 177, 57, 3, 1], [0, 12, 22, 254, 330, 1342, 924, 2508, 660, 1672, 110, 342, 2, 14, 0], [0, 12, 23, 242, 396, 1122, 1419, 1716, 1584, 880, 605, 122, 68, 2, 1], [0, 12, 23, 243, 385, 1177, 1254, 2046, 1122, 1342, 275, 287, 13, 13, 0], [0, 12, 24, 231, 451, 957, 1749, 1254, 2046, 550, 770, 67, 79, 1, 1], [0, 12, 24, 232, 440, 1012, 1584, 1584, 1584, 1012, 440, 232, 24, 12, 0], [0, 12, 25, 220, 506, 792, 2079, 792, 2508, 220, 935, 12, 90, 0, 1], [0, 12, 25, 221, 495, 847, 1914, 1122, 2046, 682, 605, 177, 35, 11, 0], [0, 12, 26, 210, 550, 682, 2244, 660, 2508, 352, 770, 122, 46, 10, 0], [0, 13, 10, 319, 121, 1782, 297, 3102, 330, 1705, 220, 243, 45, 4, 1], [0, 13, 11, 308, 176, 1617, 627, 2640, 792, 1375, 385, 188, 56, 3, 1], [0, 13, 11, 309, 165, 1672, 462, 2970, 330, 1837, 55, 353, 1, 14, 0], [0, 13, 12, 297, 231, 1452, 957, 2178, 1254, 1045, 550, 133, 67, 2, 1], [0, 13, 12, 298, 220, 1507, 792, 2508, 792, 1507, 220, 298, 12, 13, 0], [0, 13, 13, 286, 286, 1287, 1287, 1716, 1716, 715, 715, 78, 78, 1, 1], [0, 13, 13, 287, 275, 1342, 1122, 2046, 1254, 1177, 385, 243, 23, 12, 0], [0, 13, 14, 275, 341, 1122, 1617, 1254, 2178, 385, 880, 23, 89, 0, 1], [0, 13, 14, 276, 330, 1177, 1452, 1584, 1716, 847, 550, 188, 34, 11, 0], [0, 13, 15, 265, 385, 1012, 1782, 1122, 2178, 517, 715, 133, 45, 10, 0], [0, 14, 0, 363, 11, 1947, 165, 3102, 462, 1540, 330, 199, 55, 3, 1], [0, 14, 0, 364, 0, 2002, 0, 3432, 0, 2002, 0, 364, 0, 14, 0], [0, 14, 1, 352, 66, 1782, 495, 2640, 924, 1210, 495, 144, 66, 2, 1], [0, 14, 1, 353, 55, 1837, 330, 2970, 462, 1672, 165, 309, 11, 13, 0], [0, 14, 2, 341, 121, 1617, 825, 2178, 1386, 880, 660, 89, 77, 1, 1], [0, 14, 2, 342, 110, 1672, 660, 2508, 924, 1342, 330, 254, 22, 12, 0], [0, 14, 3, 330, 176, 1452, 1155, 1716, 1848, 550, 825, 34, 88, 0, 1], [0, 14, 3, 331, 165, 1507, 990, 2046, 1386, 1012, 495, 199, 33, 11, 0], [0, 14, 4, 320, 220, 1342, 1320, 1584, 1848, 682, 660, 144, 44, 10, 0], [0, 14, 5, 309, 275, 1177, 1650, 1122, 2310, 352, 825, 89, 55, 9, 0]}