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