------- (8, 1215, 5) Remaining distance distributions after General for EXTERNAL point (5, 1215, 5) has 0 possible DDs: {} (6, 1215, 5) has 1 possible DDs: {[0, 30, 75, 300, 375, 330, 105]} (7, 1215, 5) has 12 possible DDs: {[0, 4, 81, 60, 445, 270, 291, 64], [0, 5, 75, 75, 425, 285, 285, 65], [0, 6, 69, 90, 405, 300, 279, 66], [0, 7, 63, 105, 385, 315, 273, 67], [0, 8, 57, 120, 365, 330, 267, 68], [0, 9, 51, 135, 345, 345, 261, 69], [0, 10, 45, 150, 325, 360, 255, 70], [0, 11, 39, 165, 305, 375, 249, 71], [0, 12, 33, 180, 285, 390, 243, 72], [0, 13, 27, 195, 265, 405, 237, 73], [0, 14, 21, 210, 245, 420, 231, 74], [0, 15, 15, 225, 225, 435, 225, 75]} (8, 1215, 5) has 172 possible DDs: {[0, 0, 27, 118, 55, 580, 125, 278, 32], [0, 0, 28, 112, 70, 560, 140, 272, 33], [0, 0, 29, 106, 85, 540, 155, 266, 34], [0, 0, 30, 100, 100, 520, 170, 260, 35], [0, 0, 31, 94, 115, 500, 185, 254, 36], [0, 0, 32, 88, 130, 480, 200, 248, 37], [0, 0, 33, 82, 145, 460, 215, 242, 38], [0, 0, 34, 76, 160, 440, 230, 236, 39], [0, 0, 35, 70, 175, 420, 245, 230, 40], [0, 0, 36, 64, 190, 400, 260, 224, 41], [0, 0, 37, 58, 205, 380, 275, 218, 42], [0, 0, 38, 52, 220, 360, 290, 212, 43], [0, 0, 39, 46, 235, 340, 305, 206, 44], [0, 0, 40, 40, 250, 320, 320, 200, 45], [0, 0, 41, 34, 265, 300, 335, 194, 46], [0, 0, 42, 28, 280, 280, 350, 188, 47], [0, 0, 43, 22, 295, 260, 365, 182, 48], [0, 0, 44, 16, 310, 240, 380, 176, 49], [0, 1, 22, 127, 50, 575, 134, 273, 33], [0, 1, 23, 121, 65, 555, 149, 267, 34], [0, 1, 24, 115, 80, 535, 164, 261, 35], [0, 1, 25, 109, 95, 515, 179, 255, 36], [0, 1, 26, 103, 110, 495, 194, 249, 37], [0, 1, 27, 97, 125, 475, 209, 243, 38], [0, 1, 28, 91, 140, 455, 224, 237, 39], [0, 1, 29, 85, 155, 435, 239, 231, 40], [0, 1, 30, 79, 170, 415, 254, 225, 41], [0, 1, 31, 73, 185, 395, 269, 219, 42], [0, 1, 32, 67, 200, 375, 284, 213, 43], [0, 1, 33, 61, 215, 355, 299, 207, 44], [0, 1, 34, 55, 230, 335, 314, 201, 45], [0, 1, 35, 49, 245, 315, 329, 195, 46], [0, 1, 36, 43, 260, 295, 344, 189, 47], [0, 1, 37, 37, 275, 275, 359, 183, 48], [0, 1, 38, 31, 290, 255, 374, 177, 49], [0, 1, 39, 25, 305, 235, 389, 171, 50], [0, 1, 40, 19, 320, 215, 404, 165, 51], [0, 2, 18, 130, 60, 550, 158, 262, 35], [0, 2, 19, 124, 75, 530, 173, 256, 36], [0, 2, 20, 118, 90, 510, 188, 250, 37], [0, 2, 21, 112, 105, 490, 203, 244, 38], [0, 2, 22, 106, 120, 470, 218, 238, 39], [0, 2, 23, 100, 135, 450, 233, 232, 40], [0, 2, 24, 94, 150, 430, 248, 226, 41], [0, 2, 25, 88, 165, 410, 263, 220, 42], [0, 2, 26, 82, 180, 390, 278, 214, 43], [0, 2, 27, 76, 195, 370, 293, 208, 44], [0, 2, 28, 70, 210, 350, 308, 202, 45], [0, 2, 29, 64, 225, 330, 323, 196, 46], [0, 2, 30, 58, 240, 310, 338, 190, 47], [0, 2, 31, 52, 255, 290, 353, 184, 48], [0, 2, 32, 46, 270, 270, 368, 178, 49], [0, 2, 33, 40, 285, 250, 383, 172, 50], [0, 2, 34, 34, 300, 230, 398, 166, 51], [0, 2, 35, 28, 315, 210, 413, 160, 52], [0, 2, 36, 22, 330, 190, 428, 154, 53], [0, 2, 37, 16, 345, 170, 443, 148, 54], [0, 3, 13, 139, 55, 545, 167, 257, 36], [0, 3, 14, 133, 70, 525, 182, 251, 37], [0, 3, 15, 127, 85, 505, 197, 245, 38], [0, 3, 16, 121, 100, 485, 212, 239, 39], [0, 3, 17, 115, 115, 465, 227, 233, 40], [0, 3, 18, 109, 130, 445, 242, 227, 41], [0, 3, 19, 103, 145, 425, 257, 221, 42], [0, 3, 20, 97, 160, 405, 272, 215, 43], [0, 3, 21, 91, 175, 385, 287, 209, 44], [0, 3, 22, 85, 190, 365, 302, 203, 45], [0, 3, 23, 79, 205, 345, 317, 197, 46], [0, 3, 24, 73, 220, 325, 332, 191, 47], [0, 3, 25, 67, 235, 305, 347, 185, 48], [0, 3, 26, 61, 250, 285, 362, 179, 49], [0, 3, 27, 55, 265, 265, 377, 173, 50], [0, 3, 28, 49, 280, 245, 392, 167, 51], [0, 3, 29, 43, 295, 225, 407, 161, 52], [0, 3, 30, 37, 310, 205, 422, 155, 53], [0, 3, 31, 31, 325, 185, 437, 149, 54], [0, 3, 32, 25, 340, 165, 452, 143, 55], [0, 3, 33, 19, 355, 145, 467, 137, 56], [0, 4, 8, 148, 50, 540, 176, 252, 37], [0, 4, 9, 142, 65, 520, 191, 246, 38], [0, 4, 10, 136, 80, 500, 206, 240, 39], [0, 4, 11, 130, 95, 480, 221, 234, 40], [0, 4, 12, 124, 110, 460, 236, 228, 41], [0, 4, 13, 118, 125, 440, 251, 222, 42], [0, 4, 14, 112, 140, 420, 266, 216, 43], [0, 4, 15, 106, 155, 400, 281, 210, 44], [0, 4, 16, 100, 170, 380, 296, 204, 45], [0, 4, 17, 94, 185, 360, 311, 198, 46], [0, 4, 18, 88, 200, 340, 326, 192, 47], [0, 4, 19, 82, 215, 320, 341, 186, 48], [0, 4, 20, 76, 230, 300, 356, 180, 49], [0, 4, 21, 70, 245, 280, 371, 174, 50], [0, 4, 22, 64, 260, 260, 386, 168, 51], [0, 4, 23, 58, 275, 240, 401, 162, 52], [0, 4, 24, 52, 290, 220, 416, 156, 53], [0, 4, 25, 46, 305, 200, 431, 150, 54], [0, 4, 26, 40, 320, 180, 446, 144, 55], [0, 4, 27, 34, 335, 160, 461, 138, 56], [0, 4, 28, 28, 350, 140, 476, 132, 57], [0, 4, 29, 22, 365, 120, 491, 126, 58], [0, 5, 5, 145, 75, 495, 215, 235, 40], [0, 5, 6, 139, 90, 475, 230, 229, 41], [0, 5, 7, 133, 105, 455, 245, 223, 42], [0, 5, 8, 127, 120, 435, 260, 217, 43], [0, 5, 9, 121, 135, 415, 275, 211, 44], [0, 5, 10, 115, 150, 395, 290, 205, 45], [0, 5, 11, 109, 165, 375, 305, 199, 46], [0, 5, 12, 103, 180, 355, 320, 193, 47], [0, 5, 13, 97, 195, 335, 335, 187, 48], [0, 5, 14, 91, 210, 315, 350, 181, 49], [0, 5, 15, 85, 225, 295, 365, 175, 50], [0, 5, 16, 79, 240, 275, 380, 169, 51], [0, 5, 17, 73, 255, 255, 395, 163, 52], [0, 5, 18, 67, 270, 235, 410, 157, 53], [0, 5, 19, 61, 285, 215, 425, 151, 54], [0, 5, 20, 55, 300, 195, 440, 145, 55], [0, 5, 21, 49, 315, 175, 455, 139, 56], [0, 5, 22, 43, 330, 155, 470, 133, 57], [0, 5, 23, 37, 345, 135, 485, 127, 58], [0, 5, 24, 31, 360, 115, 500, 121, 59], [0, 5, 25, 25, 375, 95, 515, 115, 60], [0, 6, 1, 148, 85, 470, 239, 224, 42], [0, 6, 2, 142, 100, 450, 254, 218, 43], [0, 6, 3, 136, 115, 430, 269, 212, 44], [0, 6, 4, 130, 130, 410, 284, 206, 45], [0, 6, 5, 124, 145, 390, 299, 200, 46], [0, 6, 6, 118, 160, 370, 314, 194, 47], [0, 6, 7, 112, 175, 350, 329, 188, 48], [0, 6, 8, 106, 190, 330, 344, 182, 49], [0, 6, 9, 100, 205, 310, 359, 176, 50], [0, 6, 10, 94, 220, 290, 374, 170, 51], [0, 6, 11, 88, 235, 270, 389, 164, 52], [0, 6, 12, 82, 250, 250, 404, 158, 53], [0, 6, 13, 76, 265, 230, 419, 152, 54], [0, 6, 14, 70, 280, 210, 434, 146, 55], [0, 6, 15, 64, 295, 190, 449, 140, 56], [0, 6, 16, 58, 310, 170, 464, 134, 57], [0, 6, 17, 52, 325, 150, 479, 128, 58], [0, 6, 18, 46, 340, 130, 494, 122, 59], [0, 6, 19, 40, 355, 110, 509, 116, 60], [0, 6, 20, 34, 370, 90, 524, 110, 61], [0, 7, 0, 133, 140, 385, 308, 195, 47], [0, 7, 1, 127, 155, 365, 323, 189, 48], [0, 7, 2, 121, 170, 345, 338, 183, 49], [0, 7, 3, 115, 185, 325, 353, 177, 50], [0, 7, 4, 109, 200, 305, 368, 171, 51], [0, 7, 5, 103, 215, 285, 383, 165, 52], [0, 7, 6, 97, 230, 265, 398, 159, 53], [0, 7, 7, 91, 245, 245, 413, 153, 54], [0, 7, 8, 85, 260, 225, 428, 147, 55], [0, 7, 9, 79, 275, 205, 443, 141, 56], [0, 7, 10, 73, 290, 185, 458, 135, 57], [0, 7, 11, 67, 305, 165, 473, 129, 58], [0, 7, 12, 61, 320, 145, 488, 123, 59], [0, 7, 13, 55, 335, 125, 503, 117, 60], [0, 7, 14, 49, 350, 105, 518, 111, 61], [0, 7, 15, 43, 365, 85, 533, 105, 62], [0, 8, 0, 112, 210, 280, 392, 160, 53], [0, 8, 1, 106, 225, 260, 407, 154, 54], [0, 8, 2, 100, 240, 240, 422, 148, 55], [0, 8, 3, 94, 255, 220, 437, 142, 56], [0, 8, 4, 88, 270, 200, 452, 136, 57], [0, 8, 5, 82, 285, 180, 467, 130, 58], [0, 8, 6, 76, 300, 160, 482, 124, 59], [0, 8, 7, 70, 315, 140, 497, 118, 60], [0, 8, 8, 64, 330, 120, 512, 112, 61], [0, 8, 9, 58, 345, 100, 527, 106, 62], [0, 8, 10, 52, 360, 80, 542, 100, 63], [0, 9, 0, 91, 280, 175, 476, 125, 59], [0, 9, 1, 85, 295, 155, 491, 119, 60], [0, 9, 2, 79, 310, 135, 506, 113, 61], [0, 9, 3, 73, 325, 115, 521, 107, 62]} ------- (8, 1215, 5) Remaining distance distributions after General for EXTERNAL point (5, 1215, 5) has 0 possible DDs: {} (6, 1215, 5) has 1 possible DDs: {[0, 30, 75, 300, 375, 330, 105]} (7, 1215, 5) has 12 possible DDs: {[0, 4, 81, 60, 445, 270, 291, 64], [0, 5, 75, 75, 425, 285, 285, 65], [0, 6, 69, 90, 405, 300, 279, 66], [0, 7, 63, 105, 385, 315, 273, 67], [0, 8, 57, 120, 365, 330, 267, 68], [0, 9, 51, 135, 345, 345, 261, 69], [0, 10, 45, 150, 325, 360, 255, 70], [0, 11, 39, 165, 305, 375, 249, 71], [0, 12, 33, 180, 285, 390, 243, 72], [0, 13, 27, 195, 265, 405, 237, 73], [0, 14, 21, 210, 245, 420, 231, 74], [0, 15, 15, 225, 225, 435, 225, 75]} (8, 1215, 5) has 172 possible DDs: {[0, 0, 27, 118, 55, 580, 125, 278, 32], [0, 0, 28, 112, 70, 560, 140, 272, 33], [0, 0, 29, 106, 85, 540, 155, 266, 34], [0, 0, 30, 100, 100, 520, 170, 260, 35], [0, 0, 31, 94, 115, 500, 185, 254, 36], [0, 0, 32, 88, 130, 480, 200, 248, 37], [0, 0, 33, 82, 145, 460, 215, 242, 38], [0, 0, 34, 76, 160, 440, 230, 236, 39], [0, 0, 35, 70, 175, 420, 245, 230, 40], [0, 0, 36, 64, 190, 400, 260, 224, 41], [0, 0, 37, 58, 205, 380, 275, 218, 42], [0, 0, 38, 52, 220, 360, 290, 212, 43], [0, 0, 39, 46, 235, 340, 305, 206, 44], [0, 0, 40, 40, 250, 320, 320, 200, 45], [0, 0, 41, 34, 265, 300, 335, 194, 46], [0, 0, 42, 28, 280, 280, 350, 188, 47], [0, 0, 43, 22, 295, 260, 365, 182, 48], [0, 0, 44, 16, 310, 240, 380, 176, 49], [0, 1, 22, 127, 50, 575, 134, 273, 33], [0, 1, 23, 121, 65, 555, 149, 267, 34], [0, 1, 24, 115, 80, 535, 164, 261, 35], [0, 1, 25, 109, 95, 515, 179, 255, 36], [0, 1, 26, 103, 110, 495, 194, 249, 37], [0, 1, 27, 97, 125, 475, 209, 243, 38], [0, 1, 28, 91, 140, 455, 224, 237, 39], [0, 1, 29, 85, 155, 435, 239, 231, 40], [0, 1, 30, 79, 170, 415, 254, 225, 41], [0, 1, 31, 73, 185, 395, 269, 219, 42], [0, 1, 32, 67, 200, 375, 284, 213, 43], [0, 1, 33, 61, 215, 355, 299, 207, 44], [0, 1, 34, 55, 230, 335, 314, 201, 45], [0, 1, 35, 49, 245, 315, 329, 195, 46], [0, 1, 36, 43, 260, 295, 344, 189, 47], [0, 1, 37, 37, 275, 275, 359, 183, 48], [0, 1, 38, 31, 290, 255, 374, 177, 49], [0, 1, 39, 25, 305, 235, 389, 171, 50], [0, 1, 40, 19, 320, 215, 404, 165, 51], [0, 2, 18, 130, 60, 550, 158, 262, 35], [0, 2, 19, 124, 75, 530, 173, 256, 36], [0, 2, 20, 118, 90, 510, 188, 250, 37], [0, 2, 21, 112, 105, 490, 203, 244, 38], [0, 2, 22, 106, 120, 470, 218, 238, 39], [0, 2, 23, 100, 135, 450, 233, 232, 40], [0, 2, 24, 94, 150, 430, 248, 226, 41], [0, 2, 25, 88, 165, 410, 263, 220, 42], [0, 2, 26, 82, 180, 390, 278, 214, 43], [0, 2, 27, 76, 195, 370, 293, 208, 44], [0, 2, 28, 70, 210, 350, 308, 202, 45], [0, 2, 29, 64, 225, 330, 323, 196, 46], [0, 2, 30, 58, 240, 310, 338, 190, 47], [0, 2, 31, 52, 255, 290, 353, 184, 48], [0, 2, 32, 46, 270, 270, 368, 178, 49], [0, 2, 33, 40, 285, 250, 383, 172, 50], [0, 2, 34, 34, 300, 230, 398, 166, 51], [0, 2, 35, 28, 315, 210, 413, 160, 52], [0, 2, 36, 22, 330, 190, 428, 154, 53], [0, 2, 37, 16, 345, 170, 443, 148, 54], [0, 3, 13, 139, 55, 545, 167, 257, 36], [0, 3, 14, 133, 70, 525, 182, 251, 37], [0, 3, 15, 127, 85, 505, 197, 245, 38], [0, 3, 16, 121, 100, 485, 212, 239, 39], [0, 3, 17, 115, 115, 465, 227, 233, 40], [0, 3, 18, 109, 130, 445, 242, 227, 41], [0, 3, 19, 103, 145, 425, 257, 221, 42], [0, 3, 20, 97, 160, 405, 272, 215, 43], [0, 3, 21, 91, 175, 385, 287, 209, 44], [0, 3, 22, 85, 190, 365, 302, 203, 45], [0, 3, 23, 79, 205, 345, 317, 197, 46], [0, 3, 24, 73, 220, 325, 332, 191, 47], [0, 3, 25, 67, 235, 305, 347, 185, 48], [0, 3, 26, 61, 250, 285, 362, 179, 49], [0, 3, 27, 55, 265, 265, 377, 173, 50], [0, 3, 28, 49, 280, 245, 392, 167, 51], [0, 3, 29, 43, 295, 225, 407, 161, 52], [0, 3, 30, 37, 310, 205, 422, 155, 53], [0, 3, 31, 31, 325, 185, 437, 149, 54], [0, 3, 32, 25, 340, 165, 452, 143, 55], [0, 3, 33, 19, 355, 145, 467, 137, 56], [0, 4, 8, 148, 50, 540, 176, 252, 37], [0, 4, 9, 142, 65, 520, 191, 246, 38], [0, 4, 10, 136, 80, 500, 206, 240, 39], [0, 4, 11, 130, 95, 480, 221, 234, 40], [0, 4, 12, 124, 110, 460, 236, 228, 41], [0, 4, 13, 118, 125, 440, 251, 222, 42], [0, 4, 14, 112, 140, 420, 266, 216, 43], [0, 4, 15, 106, 155, 400, 281, 210, 44], [0, 4, 16, 100, 170, 380, 296, 204, 45], [0, 4, 17, 94, 185, 360, 311, 198, 46], [0, 4, 18, 88, 200, 340, 326, 192, 47], [0, 4, 19, 82, 215, 320, 341, 186, 48], [0, 4, 20, 76, 230, 300, 356, 180, 49], [0, 4, 21, 70, 245, 280, 371, 174, 50], [0, 4, 22, 64, 260, 260, 386, 168, 51], [0, 4, 23, 58, 275, 240, 401, 162, 52], [0, 4, 24, 52, 290, 220, 416, 156, 53], [0, 4, 25, 46, 305, 200, 431, 150, 54], [0, 4, 26, 40, 320, 180, 446, 144, 55], [0, 4, 27, 34, 335, 160, 461, 138, 56], [0, 4, 28, 28, 350, 140, 476, 132, 57], [0, 4, 29, 22, 365, 120, 491, 126, 58], [0, 5, 5, 145, 75, 495, 215, 235, 40], [0, 5, 6, 139, 90, 475, 230, 229, 41], [0, 5, 7, 133, 105, 455, 245, 223, 42], [0, 5, 8, 127, 120, 435, 260, 217, 43], [0, 5, 9, 121, 135, 415, 275, 211, 44], [0, 5, 10, 115, 150, 395, 290, 205, 45], [0, 5, 11, 109, 165, 375, 305, 199, 46], [0, 5, 12, 103, 180, 355, 320, 193, 47], [0, 5, 13, 97, 195, 335, 335, 187, 48], [0, 5, 14, 91, 210, 315, 350, 181, 49], [0, 5, 15, 85, 225, 295, 365, 175, 50], [0, 5, 16, 79, 240, 275, 380, 169, 51], [0, 5, 17, 73, 255, 255, 395, 163, 52], [0, 5, 18, 67, 270, 235, 410, 157, 53], [0, 5, 19, 61, 285, 215, 425, 151, 54], [0, 5, 20, 55, 300, 195, 440, 145, 55], [0, 5, 21, 49, 315, 175, 455, 139, 56], [0, 5, 22, 43, 330, 155, 470, 133, 57], [0, 5, 23, 37, 345, 135, 485, 127, 58], [0, 5, 24, 31, 360, 115, 500, 121, 59], [0, 5, 25, 25, 375, 95, 515, 115, 60], [0, 6, 1, 148, 85, 470, 239, 224, 42], [0, 6, 2, 142, 100, 450, 254, 218, 43], [0, 6, 3, 136, 115, 430, 269, 212, 44], [0, 6, 4, 130, 130, 410, 284, 206, 45], [0, 6, 5, 124, 145, 390, 299, 200, 46], [0, 6, 6, 118, 160, 370, 314, 194, 47], [0, 6, 7, 112, 175, 350, 329, 188, 48], [0, 6, 8, 106, 190, 330, 344, 182, 49], [0, 6, 9, 100, 205, 310, 359, 176, 50], [0, 6, 10, 94, 220, 290, 374, 170, 51], [0, 6, 11, 88, 235, 270, 389, 164, 52], [0, 6, 12, 82, 250, 250, 404, 158, 53], [0, 6, 13, 76, 265, 230, 419, 152, 54], [0, 6, 14, 70, 280, 210, 434, 146, 55], [0, 6, 15, 64, 295, 190, 449, 140, 56], [0, 6, 16, 58, 310, 170, 464, 134, 57], [0, 6, 17, 52, 325, 150, 479, 128, 58], [0, 6, 18, 46, 340, 130, 494, 122, 59], [0, 6, 19, 40, 355, 110, 509, 116, 60], [0, 6, 20, 34, 370, 90, 524, 110, 61], [0, 7, 0, 133, 140, 385, 308, 195, 47], [0, 7, 1, 127, 155, 365, 323, 189, 48], [0, 7, 2, 121, 170, 345, 338, 183, 49], [0, 7, 3, 115, 185, 325, 353, 177, 50], [0, 7, 4, 109, 200, 305, 368, 171, 51], [0, 7, 5, 103, 215, 285, 383, 165, 52], [0, 7, 6, 97, 230, 265, 398, 159, 53], [0, 7, 7, 91, 245, 245, 413, 153, 54], [0, 7, 8, 85, 260, 225, 428, 147, 55], [0, 7, 9, 79, 275, 205, 443, 141, 56], [0, 7, 10, 73, 290, 185, 458, 135, 57], [0, 7, 11, 67, 305, 165, 473, 129, 58], [0, 7, 12, 61, 320, 145, 488, 123, 59], [0, 7, 13, 55, 335, 125, 503, 117, 60], [0, 7, 14, 49, 350, 105, 518, 111, 61], [0, 7, 15, 43, 365, 85, 533, 105, 62], [0, 8, 0, 112, 210, 280, 392, 160, 53], [0, 8, 1, 106, 225, 260, 407, 154, 54], [0, 8, 2, 100, 240, 240, 422, 148, 55], [0, 8, 3, 94, 255, 220, 437, 142, 56], [0, 8, 4, 88, 270, 200, 452, 136, 57], [0, 8, 5, 82, 285, 180, 467, 130, 58], [0, 8, 6, 76, 300, 160, 482, 124, 59], [0, 8, 7, 70, 315, 140, 497, 118, 60], [0, 8, 8, 64, 330, 120, 512, 112, 61], [0, 8, 9, 58, 345, 100, 527, 106, 62], [0, 8, 10, 52, 360, 80, 542, 100, 63], [0, 9, 0, 91, 280, 175, 476, 125, 59], [0, 9, 1, 85, 295, 155, 491, 119, 60], [0, 9, 2, 79, 310, 135, 506, 113, 61], [0, 9, 3, 73, 325, 115, 521, 107, 62]}