-------
(13, 4096, 9) Remaining distance distributions after General for EXTERNAL point
(9, 4096, 9) has 0 possible DDs: {}
(10, 4096, 9) has 1 possible DDs: {[0, 80, 0, 960, 0, 2016, 0, 960, 0, 80, 0]}
(11, 4096, 9) has 5 possible DDs: {[0, 40, 40, 480, 480, 1008, 1008, 480, 480, 40, 40, 0], [0, 41, 30, 525, 360, 1218, 756, 690, 360, 85, 30, 1], [0, 42, 20, 570, 240, 1428, 504, 900, 240, 130, 20, 2], [0, 43, 10, 615, 120, 1638, 252, 1110, 120, 175, 10, 3], [0, 44, 0, 660, 0, 1848, 0, 1320, 0, 220, 0, 4]}
(12, 4096, 9) has 18 possible DDs: {[0, 18, 60, 170, 720, 324, 1512, 324, 720, 170, 60, 18, 0], [0, 19, 50, 215, 600, 534, 1260, 534, 600, 215, 50, 19, 0], [0, 19, 51, 205, 645, 414, 1470, 282, 810, 95, 95, 9, 1], [0, 20, 40, 260, 480, 744, 1008, 744, 480, 260, 40, 20, 0], [0, 20, 41, 250, 525, 624, 1218, 492, 690, 140, 85, 10, 1], [0, 20, 42, 240, 570, 504, 1428, 240, 900, 20, 130, 0, 2], [0, 21, 30, 305, 360, 954, 756, 954, 360, 305, 30, 21, 0], [0, 21, 31, 295, 405, 834, 966, 702, 570, 185, 75, 11, 1], [0, 21, 32, 285, 450, 714, 1176, 450, 780, 65, 120, 1, 2], [0, 22, 20, 350, 240, 1164, 504, 1164, 240, 350, 20, 22, 0], [0, 22, 21, 340, 285, 1044, 714, 912, 450, 230, 65, 12, 1], [0, 22, 22, 330, 330, 924, 924, 660, 660, 110, 110, 2, 2], [0, 23, 10, 395, 120, 1374, 252, 1374, 120, 395, 10, 23, 0], [0, 23, 11, 385, 165, 1254, 462, 1122, 330, 275, 55, 13, 1], [0, 23, 12, 375, 210, 1134, 672, 870, 540, 155, 100, 3, 2], [0, 24, 0, 440, 0, 1584, 0, 1584, 0, 440, 0, 24, 0], [0, 24, 1, 430, 45, 1464, 210, 1332, 210, 320, 45, 14, 1], [0, 24, 2, 420, 90, 1344, 420, 1080, 420, 200, 90, 4, 2]}
(13, 4096, 9) has 53 possible DDs: {[0, 7, 57, 45, 595, 342, 1002, 1002, 342, 595, 45, 57, 7, 0], [0, 8, 48, 80, 520, 432, 960, 960, 432, 520, 80, 48, 8, 0], [0, 8, 49, 70, 565, 312, 1170, 708, 642, 400, 125, 38, 9, 0], [0, 8, 50, 60, 610, 192, 1380, 456, 852, 280, 170, 28, 10, 0], [0, 8, 50, 61, 600, 237, 1260, 666, 600, 490, 50, 73, 0, 1], [0, 9, 38, 125, 400, 642, 708, 1170, 312, 565, 70, 49, 8, 0], [0, 9, 39, 115, 445, 522, 918, 918, 522, 445, 115, 39, 9, 0], [0, 9, 40, 105, 490, 402, 1128, 666, 732, 325, 160, 29, 10, 0], [0, 9, 40, 106, 480, 447, 1008, 876, 480, 535, 40, 74, 0, 1], [0, 9, 41, 95, 535, 282, 1338, 414, 942, 205, 205, 19, 11, 0], [0, 9, 41, 96, 525, 327, 1218, 624, 690, 415, 85, 64, 1, 1], [0, 9, 42, 85, 580, 162, 1548, 162, 1152, 85, 250, 9, 12, 0], [0, 9, 42, 86, 570, 207, 1428, 372, 900, 295, 130, 54, 2, 1], [0, 10, 28, 170, 280, 852, 456, 1380, 192, 610, 60, 50, 8, 0], [0, 10, 29, 160, 325, 732, 666, 1128, 402, 490, 105, 40, 9, 0], [0, 10, 30, 150, 370, 612, 876, 876, 612, 370, 150, 30, 10, 0], [0, 10, 30, 151, 360, 657, 756, 1086, 360, 580, 30, 75, 0, 1], [0, 10, 31, 140, 415, 492, 1086, 624, 822, 250, 195, 20, 11, 0], [0, 10, 31, 141, 405, 537, 966, 834, 570, 460, 75, 65, 1, 1], [0, 10, 32, 130, 460, 372, 1296, 372, 1032, 130, 240, 10, 12, 0], [0, 10, 32, 131, 450, 417, 1176, 582, 780, 340, 120, 55, 2, 1], [0, 10, 33, 120, 505, 252, 1506, 120, 1242, 10, 285, 0, 13, 0], [0, 10, 33, 121, 495, 297, 1386, 330, 990, 220, 165, 45, 3, 1], [0, 11, 19, 205, 205, 942, 414, 1338, 282, 535, 95, 41, 9, 0], [0, 11, 20, 195, 250, 822, 624, 1086, 492, 415, 140, 31, 10, 0], [0, 11, 20, 196, 240, 867, 504, 1296, 240, 625, 20, 76, 0, 1], [0, 11, 21, 185, 295, 702, 834, 834, 702, 295, 185, 21, 11, 0], [0, 11, 21, 186, 285, 747, 714, 1044, 450, 505, 65, 66, 1, 1], [0, 11, 22, 175, 340, 582, 1044, 582, 912, 175, 230, 11, 12, 0], [0, 11, 22, 176, 330, 627, 924, 792, 660, 385, 110, 56, 2, 1], [0, 11, 23, 165, 385, 462, 1254, 330, 1122, 55, 275, 1, 13, 0], [0, 11, 23, 166, 375, 507, 1134, 540, 870, 265, 155, 46, 3, 1], [0, 11, 24, 156, 420, 387, 1344, 288, 1080, 145, 200, 36, 4, 1], [0, 12, 9, 250, 85, 1152, 162, 1548, 162, 580, 85, 42, 9, 0], [0, 12, 10, 240, 130, 1032, 372, 1296, 372, 460, 130, 32, 10, 0], [0, 12, 10, 241, 120, 1077, 252, 1506, 120, 670, 10, 77, 0, 1], [0, 12, 11, 230, 175, 912, 582, 1044, 582, 340, 175, 22, 11, 0], [0, 12, 11, 231, 165, 957, 462, 1254, 330, 550, 55, 67, 1, 1], [0, 12, 12, 220, 220, 792, 792, 792, 792, 220, 220, 12, 12, 0], [0, 12, 12, 221, 210, 837, 672, 1002, 540, 430, 100, 57, 2, 1], [0, 12, 13, 210, 265, 672, 1002, 540, 1002, 100, 265, 2, 13, 0], [0, 12, 13, 211, 255, 717, 882, 750, 750, 310, 145, 47, 3, 1], [0, 12, 14, 201, 300, 597, 1092, 498, 960, 190, 190, 37, 4, 1], [0, 13, 0, 285, 10, 1242, 120, 1506, 252, 505, 120, 33, 10, 0], [0, 13, 0, 286, 0, 1287, 0, 1716, 0, 715, 0, 78, 0, 1], [0, 13, 1, 275, 55, 1122, 330, 1254, 462, 385, 165, 23, 11, 0], [0, 13, 1, 276, 45, 1167, 210, 1464, 210, 595, 45, 68, 1, 1], [0, 13, 2, 265, 100, 1002, 540, 1002, 672, 265, 210, 13, 12, 0], [0, 13, 2, 266, 90, 1047, 420, 1212, 420, 475, 90, 58, 2, 1], [0, 13, 3, 255, 145, 882, 750, 750, 882, 145, 255, 3, 13, 0], [0, 13, 3, 256, 135, 927, 630, 960, 630, 355, 135, 48, 3, 1], [0, 13, 4, 246, 180, 807, 840, 708, 840, 235, 180, 38, 4, 1], [0, 13, 5, 236, 225, 687, 1050, 456, 1050, 115, 225, 28, 5, 1]}