------- (8, 1215, 5) Remaining distance distributions after NDDA (5, 1215, 5) has 1 possible DDs: {[5, 50, 200, 400, 400, 160]} (6, 1215, 5) has 6 possible DDs: {[0, 30, 75, 300, 375, 330, 105], [1, 24, 90, 280, 390, 324, 106], [2, 18, 105, 260, 405, 318, 107], [3, 12, 120, 240, 420, 312, 108], [4, 6, 135, 220, 435, 306, 109], [5, 0, 150, 200, 450, 300, 110]} (7, 1215, 5) has 42 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], [1, 0, 84, 70, 420, 294, 280, 66], [1, 1, 78, 85, 400, 309, 274, 67], [1, 2, 72, 100, 380, 324, 268, 68], [1, 3, 66, 115, 360, 339, 262, 69], [1, 4, 60, 130, 340, 354, 256, 70], [1, 5, 54, 145, 320, 369, 250, 71], [1, 6, 48, 160, 300, 384, 244, 72], [1, 7, 42, 175, 280, 399, 238, 73], [1, 8, 36, 190, 260, 414, 232, 74], [1, 9, 30, 205, 240, 429, 226, 75], [1, 10, 24, 220, 220, 444, 220, 76], [1, 11, 18, 235, 200, 459, 214, 77], [1, 12, 12, 250, 180, 474, 208, 78], [1, 13, 6, 265, 160, 489, 202, 79], [1, 14, 0, 280, 140, 504, 196, 80], [2, 0, 63, 140, 315, 378, 245, 72], [2, 1, 57, 155, 295, 393, 239, 73], [2, 2, 51, 170, 275, 408, 233, 74], [2, 3, 45, 185, 255, 423, 227, 75], [2, 4, 39, 200, 235, 438, 221, 76], [2, 5, 33, 215, 215, 453, 215, 77], [2, 6, 27, 230, 195, 468, 209, 78], [2, 7, 21, 245, 175, 483, 203, 79], [2, 8, 15, 260, 155, 498, 197, 80], [3, 0, 42, 210, 210, 462, 210, 78], [3, 1, 36, 225, 190, 477, 204, 79], [3, 2, 30, 240, 170, 492, 198, 80], [3, 3, 24, 255, 150, 507, 192, 81], [3, 4, 18, 270, 130, 522, 186, 82], [4, 0, 21, 280, 105, 546, 175, 84]} (8, 1215, 5) has 305 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], [1, 0, 12, 152, 40, 544, 180, 248, 38], [1, 0, 13, 146, 55, 524, 195, 242, 39], [1, 0, 14, 140, 70, 504, 210, 236, 40], [1, 0, 15, 134, 85, 484, 225, 230, 41], [1, 0, 16, 128, 100, 464, 240, 224, 42], [1, 0, 17, 122, 115, 444, 255, 218, 43], [1, 0, 18, 116, 130, 424, 270, 212, 44], [1, 0, 19, 110, 145, 404, 285, 206, 45], [1, 0, 20, 104, 160, 384, 300, 200, 46], [1, 0, 21, 98, 175, 364, 315, 194, 47], [1, 0, 22, 92, 190, 344, 330, 188, 48], [1, 0, 23, 86, 205, 324, 345, 182, 49], [1, 0, 24, 80, 220, 304, 360, 176, 50], [1, 0, 25, 74, 235, 284, 375, 170, 51], [1, 0, 26, 68, 250, 264, 390, 164, 52], [1, 0, 27, 62, 265, 244, 405, 158, 53], [1, 0, 28, 56, 280, 224, 420, 152, 54], [1, 0, 29, 50, 295, 204, 435, 146, 55], [1, 0, 30, 44, 310, 184, 450, 140, 56], [1, 0, 31, 38, 325, 164, 465, 134, 57], [1, 0, 32, 32, 340, 144, 480, 128, 58], [1, 0, 33, 26, 355, 124, 495, 122, 59], [1, 1, 9, 149, 65, 499, 219, 231, 41], [1, 1, 10, 143, 80, 479, 234, 225, 42], [1, 1, 11, 137, 95, 459, 249, 219, 43], [1, 1, 12, 131, 110, 439, 264, 213, 44], [1, 1, 13, 125, 125, 419, 279, 207, 45], [1, 1, 14, 119, 140, 399, 294, 201, 46], [1, 1, 15, 113, 155, 379, 309, 195, 47], [1, 1, 16, 107, 170, 359, 324, 189, 48], [1, 1, 17, 101, 185, 339, 339, 183, 49], [1, 1, 18, 95, 200, 319, 354, 177, 50], [1, 1, 19, 89, 215, 299, 369, 171, 51], [1, 1, 20, 83, 230, 279, 384, 165, 52], [1, 1, 21, 77, 245, 259, 399, 159, 53], [1, 1, 22, 71, 260, 239, 414, 153, 54], [1, 1, 23, 65, 275, 219, 429, 147, 55], [1, 1, 24, 59, 290, 199, 444, 141, 56], [1, 1, 25, 53, 305, 179, 459, 135, 57], [1, 1, 26, 47, 320, 159, 474, 129, 58], [1, 1, 27, 41, 335, 139, 489, 123, 59], [1, 1, 28, 35, 350, 119, 504, 117, 60], [1, 2, 6, 146, 90, 454, 258, 214, 44], [1, 2, 7, 140, 105, 434, 273, 208, 45], [1, 2, 8, 134, 120, 414, 288, 202, 46], [1, 2, 9, 128, 135, 394, 303, 196, 47], [1, 2, 10, 122, 150, 374, 318, 190, 48], [1, 2, 11, 116, 165, 354, 333, 184, 49], [1, 2, 12, 110, 180, 334, 348, 178, 50], [1, 2, 13, 104, 195, 314, 363, 172, 51], [1, 2, 14, 98, 210, 294, 378, 166, 52], [1, 2, 15, 92, 225, 274, 393, 160, 53], [1, 2, 16, 86, 240, 254, 408, 154, 54], [1, 2, 17, 80, 255, 234, 423, 148, 55], [1, 2, 18, 74, 270, 214, 438, 142, 56], [1, 2, 19, 68, 285, 194, 453, 136, 57], [1, 2, 20, 62, 300, 174, 468, 130, 58], [1, 2, 21, 56, 315, 154, 483, 124, 59], [1, 2, 22, 50, 330, 134, 498, 118, 60], [1, 2, 23, 44, 345, 114, 513, 112, 61], [1, 2, 24, 38, 360, 94, 528, 106, 62], [1, 3, 4, 137, 130, 389, 312, 191, 48], [1, 3, 5, 131, 145, 369, 327, 185, 49], [1, 3, 6, 125, 160, 349, 342, 179, 50], [1, 3, 7, 119, 175, 329, 357, 173, 51], [1, 3, 8, 113, 190, 309, 372, 167, 52], [1, 3, 9, 107, 205, 289, 387, 161, 53], [1, 3, 10, 101, 220, 269, 402, 155, 54], [1, 3, 11, 95, 235, 249, 417, 149, 55], [1, 3, 12, 89, 250, 229, 432, 143, 56], [1, 3, 13, 83, 265, 209, 447, 137, 57], [1, 3, 14, 77, 280, 189, 462, 131, 58], [1, 3, 15, 71, 295, 169, 477, 125, 59], [1, 3, 16, 65, 310, 149, 492, 119, 60], [1, 3, 17, 59, 325, 129, 507, 113, 61], [1, 3, 18, 53, 340, 109, 522, 107, 62], [1, 3, 19, 47, 355, 89, 537, 101, 63], [1, 4, 2, 128, 170, 324, 366, 168, 52], [1, 4, 3, 122, 185, 304, 381, 162, 53], [1, 4, 4, 116, 200, 284, 396, 156, 54], [1, 4, 5, 110, 215, 264, 411, 150, 55], [1, 4, 6, 104, 230, 244, 426, 144, 56], [1, 4, 7, 98, 245, 224, 441, 138, 57], [1, 4, 8, 92, 260, 204, 456, 132, 58], [1, 4, 9, 86, 275, 184, 471, 126, 59], [1, 4, 10, 80, 290, 164, 486, 120, 60], [1, 4, 11, 74, 305, 144, 501, 114, 61], [1, 4, 12, 68, 320, 124, 516, 108, 62], [1, 4, 13, 62, 335, 104, 531, 102, 63], [1, 4, 14, 56, 350, 84, 546, 96, 64], [2, 0, 0, 168, 70, 448, 280, 200, 47], [2, 0, 1, 162, 85, 428, 295, 194, 48], [2, 0, 2, 156, 100, 408, 310, 188, 49], [2, 0, 3, 150, 115, 388, 325, 182, 50], [2, 0, 4, 144, 130, 368, 340, 176, 51], [2, 0, 5, 138, 145, 348, 355, 170, 52], [2, 0, 6, 132, 160, 328, 370, 164, 53], [2, 0, 7, 126, 175, 308, 385, 158, 54], [2, 0, 8, 120, 190, 288, 400, 152, 55], [2, 0, 9, 114, 205, 268, 415, 146, 56], [2, 0, 10, 108, 220, 248, 430, 140, 57], [2, 0, 11, 102, 235, 228, 445, 134, 58], [2, 0, 12, 96, 250, 208, 460, 128, 59], [2, 0, 13, 90, 265, 188, 475, 122, 60], [2, 0, 14, 84, 280, 168, 490, 116, 61], [2, 0, 15, 78, 295, 148, 505, 110, 62], [2, 0, 16, 72, 310, 128, 520, 104, 63], [2, 0, 17, 66, 325, 108, 535, 98, 64], [2, 0, 18, 60, 340, 88, 550, 92, 65], [2, 1, 0, 147, 140, 343, 364, 165, 53], [2, 1, 1, 141, 155, 323, 379, 159, 54], [2, 1, 2, 135, 170, 303, 394, 153, 55], [2, 1, 3, 129, 185, 283, 409, 147, 56], [2, 1, 4, 123, 200, 263, 424, 141, 57], [2, 1, 5, 117, 215, 243, 439, 135, 58], [2, 1, 6, 111, 230, 223, 454, 129, 59], [2, 1, 7, 105, 245, 203, 469, 123, 60], [2, 1, 8, 99, 260, 183, 484, 117, 61], [2, 1, 9, 93, 275, 163, 499, 111, 62], [2, 1, 10, 87, 290, 143, 514, 105, 63], [2, 1, 11, 81, 305, 123, 529, 99, 64], [2, 1, 12, 75, 320, 103, 544, 93, 65], [2, 1, 13, 69, 335, 83, 559, 87, 66], [2, 2, 0, 126, 210, 238, 448, 130, 59], [2, 2, 1, 120, 225, 218, 463, 124, 60], [2, 2, 2, 114, 240, 198, 478, 118, 61], [2, 2, 3, 108, 255, 178, 493, 112, 62], [2, 2, 4, 102, 270, 158, 508, 106, 63], [2, 2, 5, 96, 285, 138, 523, 100, 64], [2, 2, 6, 90, 300, 118, 538, 94, 65], [2, 2, 7, 84, 315, 98, 553, 88, 66], [3, 0, 0, 112, 280, 112, 560, 80, 68], [3, 0, 1, 106, 295, 92, 575, 74, 69]} ------- (8, 1215, 5) Remaining distance distributions after NDDA (5, 1215, 5) has 1 possible DDs: {[5, 50, 200, 400, 400, 160]} (6, 1215, 5) has 6 possible DDs: {[0, 30, 75, 300, 375, 330, 105], [1, 24, 90, 280, 390, 324, 106], [2, 18, 105, 260, 405, 318, 107], [3, 12, 120, 240, 420, 312, 108], [4, 6, 135, 220, 435, 306, 109], [5, 0, 150, 200, 450, 300, 110]} (7, 1215, 5) has 42 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], [1, 0, 84, 70, 420, 294, 280, 66], [1, 1, 78, 85, 400, 309, 274, 67], [1, 2, 72, 100, 380, 324, 268, 68], [1, 3, 66, 115, 360, 339, 262, 69], [1, 4, 60, 130, 340, 354, 256, 70], [1, 5, 54, 145, 320, 369, 250, 71], [1, 6, 48, 160, 300, 384, 244, 72], [1, 7, 42, 175, 280, 399, 238, 73], [1, 8, 36, 190, 260, 414, 232, 74], [1, 9, 30, 205, 240, 429, 226, 75], [1, 10, 24, 220, 220, 444, 220, 76], [1, 11, 18, 235, 200, 459, 214, 77], [1, 12, 12, 250, 180, 474, 208, 78], [1, 13, 6, 265, 160, 489, 202, 79], [1, 14, 0, 280, 140, 504, 196, 80], [2, 0, 63, 140, 315, 378, 245, 72], [2, 1, 57, 155, 295, 393, 239, 73], [2, 2, 51, 170, 275, 408, 233, 74], [2, 3, 45, 185, 255, 423, 227, 75], [2, 4, 39, 200, 235, 438, 221, 76], [2, 5, 33, 215, 215, 453, 215, 77], [2, 6, 27, 230, 195, 468, 209, 78], [2, 7, 21, 245, 175, 483, 203, 79], [2, 8, 15, 260, 155, 498, 197, 80], [3, 0, 42, 210, 210, 462, 210, 78], [3, 1, 36, 225, 190, 477, 204, 79], [3, 2, 30, 240, 170, 492, 198, 80], [3, 3, 24, 255, 150, 507, 192, 81], [3, 4, 18, 270, 130, 522, 186, 82], [4, 0, 21, 280, 105, 546, 175, 84]} (8, 1215, 5) has 305 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], [1, 0, 12, 152, 40, 544, 180, 248, 38], [1, 0, 13, 146, 55, 524, 195, 242, 39], [1, 0, 14, 140, 70, 504, 210, 236, 40], [1, 0, 15, 134, 85, 484, 225, 230, 41], [1, 0, 16, 128, 100, 464, 240, 224, 42], [1, 0, 17, 122, 115, 444, 255, 218, 43], [1, 0, 18, 116, 130, 424, 270, 212, 44], [1, 0, 19, 110, 145, 404, 285, 206, 45], [1, 0, 20, 104, 160, 384, 300, 200, 46], [1, 0, 21, 98, 175, 364, 315, 194, 47], [1, 0, 22, 92, 190, 344, 330, 188, 48], [1, 0, 23, 86, 205, 324, 345, 182, 49], [1, 0, 24, 80, 220, 304, 360, 176, 50], [1, 0, 25, 74, 235, 284, 375, 170, 51], [1, 0, 26, 68, 250, 264, 390, 164, 52], [1, 0, 27, 62, 265, 244, 405, 158, 53], [1, 0, 28, 56, 280, 224, 420, 152, 54], [1, 0, 29, 50, 295, 204, 435, 146, 55], [1, 0, 30, 44, 310, 184, 450, 140, 56], [1, 0, 31, 38, 325, 164, 465, 134, 57], [1, 0, 32, 32, 340, 144, 480, 128, 58], [1, 0, 33, 26, 355, 124, 495, 122, 59], [1, 1, 9, 149, 65, 499, 219, 231, 41], [1, 1, 10, 143, 80, 479, 234, 225, 42], [1, 1, 11, 137, 95, 459, 249, 219, 43], [1, 1, 12, 131, 110, 439, 264, 213, 44], [1, 1, 13, 125, 125, 419, 279, 207, 45], [1, 1, 14, 119, 140, 399, 294, 201, 46], [1, 1, 15, 113, 155, 379, 309, 195, 47], [1, 1, 16, 107, 170, 359, 324, 189, 48], [1, 1, 17, 101, 185, 339, 339, 183, 49], [1, 1, 18, 95, 200, 319, 354, 177, 50], [1, 1, 19, 89, 215, 299, 369, 171, 51], [1, 1, 20, 83, 230, 279, 384, 165, 52], [1, 1, 21, 77, 245, 259, 399, 159, 53], [1, 1, 22, 71, 260, 239, 414, 153, 54], [1, 1, 23, 65, 275, 219, 429, 147, 55], [1, 1, 24, 59, 290, 199, 444, 141, 56], [1, 1, 25, 53, 305, 179, 459, 135, 57], [1, 1, 26, 47, 320, 159, 474, 129, 58], [1, 1, 27, 41, 335, 139, 489, 123, 59], [1, 1, 28, 35, 350, 119, 504, 117, 60], [1, 2, 6, 146, 90, 454, 258, 214, 44], [1, 2, 7, 140, 105, 434, 273, 208, 45], [1, 2, 8, 134, 120, 414, 288, 202, 46], [1, 2, 9, 128, 135, 394, 303, 196, 47], [1, 2, 10, 122, 150, 374, 318, 190, 48], [1, 2, 11, 116, 165, 354, 333, 184, 49], [1, 2, 12, 110, 180, 334, 348, 178, 50], [1, 2, 13, 104, 195, 314, 363, 172, 51], [1, 2, 14, 98, 210, 294, 378, 166, 52], [1, 2, 15, 92, 225, 274, 393, 160, 53], [1, 2, 16, 86, 240, 254, 408, 154, 54], [1, 2, 17, 80, 255, 234, 423, 148, 55], [1, 2, 18, 74, 270, 214, 438, 142, 56], [1, 2, 19, 68, 285, 194, 453, 136, 57], [1, 2, 20, 62, 300, 174, 468, 130, 58], [1, 2, 21, 56, 315, 154, 483, 124, 59], [1, 2, 22, 50, 330, 134, 498, 118, 60], [1, 2, 23, 44, 345, 114, 513, 112, 61], [1, 2, 24, 38, 360, 94, 528, 106, 62], [1, 3, 4, 137, 130, 389, 312, 191, 48], [1, 3, 5, 131, 145, 369, 327, 185, 49], [1, 3, 6, 125, 160, 349, 342, 179, 50], [1, 3, 7, 119, 175, 329, 357, 173, 51], [1, 3, 8, 113, 190, 309, 372, 167, 52], [1, 3, 9, 107, 205, 289, 387, 161, 53], [1, 3, 10, 101, 220, 269, 402, 155, 54], [1, 3, 11, 95, 235, 249, 417, 149, 55], [1, 3, 12, 89, 250, 229, 432, 143, 56], [1, 3, 13, 83, 265, 209, 447, 137, 57], [1, 3, 14, 77, 280, 189, 462, 131, 58], [1, 3, 15, 71, 295, 169, 477, 125, 59], [1, 3, 16, 65, 310, 149, 492, 119, 60], [1, 3, 17, 59, 325, 129, 507, 113, 61], [1, 3, 18, 53, 340, 109, 522, 107, 62], [1, 3, 19, 47, 355, 89, 537, 101, 63], [1, 4, 2, 128, 170, 324, 366, 168, 52], [1, 4, 3, 122, 185, 304, 381, 162, 53], [1, 4, 4, 116, 200, 284, 396, 156, 54], [1, 4, 5, 110, 215, 264, 411, 150, 55], [1, 4, 6, 104, 230, 244, 426, 144, 56], [1, 4, 7, 98, 245, 224, 441, 138, 57], [1, 4, 8, 92, 260, 204, 456, 132, 58], [1, 4, 9, 86, 275, 184, 471, 126, 59], [1, 4, 10, 80, 290, 164, 486, 120, 60], [1, 4, 11, 74, 305, 144, 501, 114, 61], [1, 4, 12, 68, 320, 124, 516, 108, 62], [1, 4, 13, 62, 335, 104, 531, 102, 63], [1, 4, 14, 56, 350, 84, 546, 96, 64], [2, 0, 0, 168, 70, 448, 280, 200, 47], [2, 0, 1, 162, 85, 428, 295, 194, 48], [2, 0, 2, 156, 100, 408, 310, 188, 49], [2, 0, 3, 150, 115, 388, 325, 182, 50], [2, 0, 4, 144, 130, 368, 340, 176, 51], [2, 0, 5, 138, 145, 348, 355, 170, 52], [2, 0, 6, 132, 160, 328, 370, 164, 53], [2, 0, 7, 126, 175, 308, 385, 158, 54], [2, 0, 8, 120, 190, 288, 400, 152, 55], [2, 0, 9, 114, 205, 268, 415, 146, 56], [2, 0, 10, 108, 220, 248, 430, 140, 57], [2, 0, 11, 102, 235, 228, 445, 134, 58], [2, 0, 12, 96, 250, 208, 460, 128, 59], [2, 0, 13, 90, 265, 188, 475, 122, 60], [2, 0, 14, 84, 280, 168, 490, 116, 61], [2, 0, 15, 78, 295, 148, 505, 110, 62], [2, 0, 16, 72, 310, 128, 520, 104, 63], [2, 0, 17, 66, 325, 108, 535, 98, 64], [2, 0, 18, 60, 340, 88, 550, 92, 65], [2, 1, 0, 147, 140, 343, 364, 165, 53], [2, 1, 1, 141, 155, 323, 379, 159, 54], [2, 1, 2, 135, 170, 303, 394, 153, 55], [2, 1, 3, 129, 185, 283, 409, 147, 56], [2, 1, 4, 123, 200, 263, 424, 141, 57], [2, 1, 5, 117, 215, 243, 439, 135, 58], [2, 1, 6, 111, 230, 223, 454, 129, 59], [2, 1, 7, 105, 245, 203, 469, 123, 60], [2, 1, 8, 99, 260, 183, 484, 117, 61], [2, 1, 9, 93, 275, 163, 499, 111, 62], [2, 1, 10, 87, 290, 143, 514, 105, 63], [2, 1, 11, 81, 305, 123, 529, 99, 64], [2, 1, 12, 75, 320, 103, 544, 93, 65], [2, 1, 13, 69, 335, 83, 559, 87, 66], [2, 2, 0, 126, 210, 238, 448, 130, 59], [2, 2, 1, 120, 225, 218, 463, 124, 60], [2, 2, 2, 114, 240, 198, 478, 118, 61], [2, 2, 3, 108, 255, 178, 493, 112, 62], [2, 2, 4, 102, 270, 158, 508, 106, 63], [2, 2, 5, 96, 285, 138, 523, 100, 64], [2, 2, 6, 90, 300, 118, 538, 94, 65], [2, 2, 7, 84, 315, 98, 553, 88, 66], [3, 0, 0, 112, 280, 112, 560, 80, 68], [3, 0, 1, 106, 295, 92, 575, 74, 69]}