-------
(8, 1215, 5) ALL distance distributions
(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 57 possible DDs: {[0, 0, 105, 0, 525, 210, 315, 60], [0, 1, 99, 15, 505, 225, 309, 61], [0, 2, 93, 30, 485, 240, 303, 62], [0, 3, 87, 45, 465, 255, 297, 63], [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], [0, 16, 9, 240, 205, 450, 219, 76], [0, 17, 3, 255, 185, 465, 213, 77], [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], [2, 9, 9, 275, 135, 513, 191, 81], [2, 10, 3, 290, 115, 528, 185, 82], [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], [3, 5, 12, 285, 110, 537, 180, 83], [3, 6, 6, 300, 90, 552, 174, 84], [3, 7, 0, 315, 70, 567, 168, 85], [4, 0, 21, 280, 105, 546, 175, 84], [4, 1, 15, 295, 85, 561, 169, 85], [4, 2, 9, 310, 65, 576, 163, 86], [4, 3, 3, 325, 45, 591, 157, 87], [5, 0, 0, 350, 0, 630, 140, 90]}
(8, 1215, 5) has 454 possible DDs: {[0, 0, 24, 136, 10, 640, 80, 296, 29], [0, 0, 25, 130, 25, 620, 95, 290, 30], [0, 0, 26, 124, 40, 600, 110, 284, 31], [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, 0, 45, 10, 325, 220, 395, 170, 50], [0, 0, 46, 4, 340, 200, 410, 164, 51], [0, 1, 19, 145, 5, 635, 89, 291, 30], [0, 1, 20, 139, 20, 615, 104, 285, 31], [0, 1, 21, 133, 35, 595, 119, 279, 32], [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, 1, 41, 13, 335, 195, 419, 159, 52], [0, 1, 42, 7, 350, 175, 434, 153, 53], [0, 1, 43, 1, 365, 155, 449, 147, 54], [0, 2, 14, 154, 0, 630, 98, 286, 31], [0, 2, 15, 148, 15, 610, 113, 280, 32], [0, 2, 16, 142, 30, 590, 128, 274, 33], [0, 2, 17, 136, 45, 570, 143, 268, 34], [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, 2, 38, 10, 360, 150, 458, 142, 55], [0, 2, 39, 4, 375, 130, 473, 136, 56], [0, 3, 10, 157, 10, 605, 122, 275, 33], [0, 3, 11, 151, 25, 585, 137, 269, 34], [0, 3, 12, 145, 40, 565, 152, 263, 35], [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, 3, 34, 13, 370, 125, 482, 131, 57], [0, 3, 35, 7, 385, 105, 497, 125, 58], [0, 3, 36, 1, 400, 85, 512, 119, 59], [0, 4, 5, 166, 5, 600, 131, 270, 34], [0, 4, 6, 160, 20, 580, 146, 264, 35], [0, 4, 7, 154, 35, 560, 161, 258, 36], [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, 4, 30, 16, 380, 100, 506, 120, 59], [0, 4, 31, 10, 395, 80, 521, 114, 60], [0, 4, 32, 4, 410, 60, 536, 108, 61], [0, 5, 0, 175, 0, 595, 140, 265, 35], [0, 5, 1, 169, 15, 575, 155, 259, 36], [0, 5, 2, 163, 30, 555, 170, 253, 37], [0, 5, 3, 157, 45, 535, 185, 247, 38], [0, 5, 4, 151, 60, 515, 200, 241, 39], [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, 5, 26, 19, 390, 75, 530, 109, 61], [0, 5, 27, 13, 405, 55, 545, 103, 62], [0, 5, 28, 7, 420, 35, 560, 97, 63], [0, 5, 29, 1, 435, 15, 575, 91, 64], [0, 6, 0, 154, 70, 490, 224, 230, 41], [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, 6, 21, 28, 385, 70, 539, 104, 62], [0, 6, 22, 22, 400, 50, 554, 98, 63], [0, 6, 23, 16, 415, 30, 569, 92, 64], [0, 6, 24, 10, 430, 10, 584, 86, 65], [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, 7, 16, 37, 380, 65, 548, 99, 63], [0, 7, 17, 31, 395, 45, 563, 93, 64], [0, 7, 18, 25, 410, 25, 578, 87, 65], [0, 7, 19, 19, 425, 5, 593, 81, 66], [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, 8, 11, 46, 375, 60, 557, 94, 64], [0, 8, 12, 40, 390, 40, 572, 88, 65], [0, 8, 13, 34, 405, 20, 587, 82, 66], [0, 8, 14, 28, 420, 0, 602, 76, 67], [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], [0, 9, 4, 67, 340, 95, 536, 101, 63], [0, 9, 5, 61, 355, 75, 551, 95, 64], [0, 9, 6, 55, 370, 55, 566, 89, 65], [0, 9, 7, 49, 385, 35, 581, 83, 66], [0, 9, 8, 43, 400, 15, 596, 77, 67], [0, 10, 0, 70, 350, 70, 560, 90, 65], [0, 10, 1, 64, 365, 50, 575, 84, 66], [0, 10, 2, 58, 380, 30, 590, 78, 67], [0, 10, 3, 52, 395, 10, 605, 72, 68], [1, 0, 10, 164, 10, 584, 150, 260, 36], [1, 0, 11, 158, 25, 564, 165, 254, 37], [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, 0, 34, 20, 370, 104, 510, 116, 60], [1, 0, 35, 14, 385, 84, 525, 110, 61], [1, 0, 36, 8, 400, 64, 540, 104, 62], [1, 0, 37, 2, 415, 44, 555, 98, 63], [1, 1, 5, 173, 5, 579, 159, 255, 37], [1, 1, 6, 167, 20, 559, 174, 249, 38], [1, 1, 7, 161, 35, 539, 189, 243, 39], [1, 1, 8, 155, 50, 519, 204, 237, 40], [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, 1, 29, 29, 365, 99, 519, 111, 61], [1, 1, 30, 23, 380, 79, 534, 105, 62], [1, 1, 31, 17, 395, 59, 549, 99, 63], [1, 1, 32, 11, 410, 39, 564, 93, 64], [1, 1, 33, 5, 425, 19, 579, 87, 65], [1, 2, 0, 182, 0, 574, 168, 250, 38], [1, 2, 1, 176, 15, 554, 183, 244, 39], [1, 2, 2, 170, 30, 534, 198, 238, 40], [1, 2, 3, 164, 45, 514, 213, 232, 41], [1, 2, 4, 158, 60, 494, 228, 226, 42], [1, 2, 5, 152, 75, 474, 243, 220, 43], [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, 2, 25, 32, 375, 74, 543, 100, 63], [1, 2, 26, 26, 390, 54, 558, 94, 64], [1, 2, 27, 20, 405, 34, 573, 88, 65], [1, 2, 28, 14, 420, 14, 588, 82, 66], [1, 3, 0, 161, 70, 469, 252, 215, 44], [1, 3, 1, 155, 85, 449, 267, 209, 45], [1, 3, 2, 149, 100, 429, 282, 203, 46], [1, 3, 3, 143, 115, 409, 297, 197, 47], [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, 3, 20, 41, 370, 69, 552, 95, 64], [1, 3, 21, 35, 385, 49, 567, 89, 65], [1, 3, 22, 29, 400, 29, 582, 83, 66], [1, 3, 23, 23, 415, 9, 597, 77, 67], [1, 4, 0, 140, 140, 364, 336, 180, 50], [1, 4, 1, 134, 155, 344, 351, 174, 51], [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], [1, 4, 15, 50, 365, 64, 561, 90, 65], [1, 4, 16, 44, 380, 44, 576, 84, 66], [1, 4, 17, 38, 395, 24, 591, 78, 67], [1, 4, 18, 32, 410, 4, 606, 72, 68], [1, 5, 0, 119, 210, 259, 420, 145, 56], [1, 5, 1, 113, 225, 239, 435, 139, 57], [1, 5, 2, 107, 240, 219, 450, 133, 58], [1, 5, 3, 101, 255, 199, 465, 127, 59], [1, 5, 4, 95, 270, 179, 480, 121, 60], [1, 5, 5, 89, 285, 159, 495, 115, 61], [1, 5, 6, 83, 300, 139, 510, 109, 62], [1, 5, 7, 77, 315, 119, 525, 103, 63], [1, 5, 8, 71, 330, 99, 540, 97, 64], [1, 5, 9, 65, 345, 79, 555, 91, 65], [1, 5, 10, 59, 360, 59, 570, 85, 66], [1, 5, 11, 53, 375, 39, 585, 79, 67], [1, 5, 12, 47, 390, 19, 600, 73, 68], [1, 6, 0, 98, 280, 154, 504, 110, 62], [1, 6, 1, 92, 295, 134, 519, 104, 63], [1, 6, 2, 86, 310, 114, 534, 98, 64], [1, 6, 3, 80, 325, 94, 549, 92, 65], [1, 6, 4, 74, 340, 74, 564, 86, 66], [1, 6, 5, 68, 355, 54, 579, 80, 67], [1, 6, 6, 62, 370, 34, 594, 74, 68], [1, 6, 7, 56, 385, 14, 609, 68, 69], [1, 7, 0, 77, 350, 49, 588, 75, 68], [1, 7, 1, 71, 365, 29, 603, 69, 69], [1, 7, 2, 65, 380, 9, 618, 63, 70], [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, 0, 19, 54, 355, 68, 565, 86, 66], [2, 0, 20, 48, 370, 48, 580, 80, 67], [2, 0, 21, 42, 385, 28, 595, 74, 68], [2, 0, 22, 36, 400, 8, 610, 68, 69], [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, 1, 14, 63, 350, 63, 574, 81, 67], [2, 1, 15, 57, 365, 43, 589, 75, 68], [2, 1, 16, 51, 380, 23, 604, 69, 69], [2, 1, 17, 45, 395, 3, 619, 63, 70], [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], [2, 2, 8, 78, 330, 78, 568, 82, 67], [2, 2, 9, 72, 345, 58, 583, 76, 68], [2, 2, 10, 66, 360, 38, 598, 70, 69], [2, 2, 11, 60, 375, 18, 613, 64, 70], [2, 3, 0, 105, 280, 133, 532, 95, 65], [2, 3, 1, 99, 295, 113, 547, 89, 66], [2, 3, 2, 93, 310, 93, 562, 83, 67], [2, 3, 3, 87, 325, 73, 577, 77, 68], [2, 3, 4, 81, 340, 53, 592, 71, 69], [2, 3, 5, 75, 355, 33, 607, 65, 70], [2, 3, 6, 69, 370, 13, 622, 59, 71], [2, 4, 0, 84, 350, 28, 616, 60, 71], [2, 4, 1, 78, 365, 8, 631, 54, 72], [3, 0, 0, 112, 280, 112, 560, 80, 68], [3, 0, 1, 106, 295, 92, 575, 74, 69], [3, 0, 2, 100, 310, 72, 590, 68, 70], [3, 0, 3, 94, 325, 52, 605, 62, 71], [3, 0, 4, 88, 340, 32, 620, 56, 72], [3, 0, 5, 82, 355, 12, 635, 50, 73], [3, 1, 0, 91, 350, 7, 644, 45, 74]}