-------
(8, 1458, 5) Remaining distance distributions after General for EXTERNAL point
(5, 1458, 5) has 0 possible DDs: {}
(6, 1458, 5) has 1 possible DDs: {[0, 36, 90, 360, 450, 396, 126]}
(7, 1458, 5) has 22 possible DDs: {[0, 0, 126, 0, 630, 252, 378, 72], [0, 1, 120, 15, 610, 267, 372, 73], [0, 2, 114, 30, 590, 282, 366, 74], [0, 3, 108, 45, 570, 297, 360, 75], [0, 4, 102, 60, 550, 312, 354, 76], [0, 5, 96, 75, 530, 327, 348, 77], [0, 6, 90, 90, 510, 342, 342, 78], [0, 7, 84, 105, 490, 357, 336, 79], [0, 8, 78, 120, 470, 372, 330, 80], [0, 9, 72, 135, 450, 387, 324, 81], [0, 10, 66, 150, 430, 402, 318, 82], [0, 11, 60, 165, 410, 417, 312, 83], [0, 12, 54, 180, 390, 432, 306, 84], [0, 13, 48, 195, 370, 447, 300, 85], [0, 14, 42, 210, 350, 462, 294, 86], [0, 15, 36, 225, 330, 477, 288, 87], [0, 16, 30, 240, 310, 492, 282, 88], [0, 17, 24, 255, 290, 507, 276, 89], [0, 18, 18, 270, 270, 522, 270, 90], [0, 19, 12, 285, 250, 537, 264, 91], [0, 20, 6, 300, 230, 552, 258, 92], [0, 21, 0, 315, 210, 567, 252, 93]}
(8, 1458, 5) has 285 possible DDs: {[0, 0, 31, 150, 45, 724, 129, 342, 37], [0, 0, 32, 144, 60, 704, 144, 336, 38], [0, 0, 33, 138, 75, 684, 159, 330, 39], [0, 0, 34, 132, 90, 664, 174, 324, 40], [0, 0, 35, 126, 105, 644, 189, 318, 41], [0, 0, 36, 120, 120, 624, 204, 312, 42], [0, 0, 37, 114, 135, 604, 219, 306, 43], [0, 0, 38, 108, 150, 584, 234, 300, 44], [0, 0, 39, 102, 165, 564, 249, 294, 45], [0, 0, 40, 96, 180, 544, 264, 288, 46], [0, 0, 41, 90, 195, 524, 279, 282, 47], [0, 0, 42, 84, 210, 504, 294, 276, 48], [0, 0, 43, 78, 225, 484, 309, 270, 49], [0, 0, 44, 72, 240, 464, 324, 264, 50], [0, 0, 45, 66, 255, 444, 339, 258, 51], [0, 0, 46, 60, 270, 424, 354, 252, 52], [0, 0, 47, 54, 285, 404, 369, 246, 53], [0, 0, 48, 48, 300, 384, 384, 240, 54], [0, 0, 49, 42, 315, 364, 399, 234, 55], [0, 0, 50, 36, 330, 344, 414, 228, 56], [0, 0, 51, 30, 345, 324, 429, 222, 57], [0, 0, 52, 24, 360, 304, 444, 216, 58], [0, 0, 53, 18, 375, 284, 459, 210, 59], [0, 0, 54, 12, 390, 264, 474, 204, 60], [0, 0, 55, 6, 405, 244, 489, 198, 61], [0, 0, 56, 0, 420, 224, 504, 192, 62], [0, 1, 26, 159, 40, 719, 138, 337, 38], [0, 1, 27, 153, 55, 699, 153, 331, 39], [0, 1, 28, 147, 70, 679, 168, 325, 40], [0, 1, 29, 141, 85, 659, 183, 319, 41], [0, 1, 30, 135, 100, 639, 198, 313, 42], [0, 1, 31, 129, 115, 619, 213, 307, 43], [0, 1, 32, 123, 130, 599, 228, 301, 44], [0, 1, 33, 117, 145, 579, 243, 295, 45], [0, 1, 34, 111, 160, 559, 258, 289, 46], [0, 1, 35, 105, 175, 539, 273, 283, 47], [0, 1, 36, 99, 190, 519, 288, 277, 48], [0, 1, 37, 93, 205, 499, 303, 271, 49], [0, 1, 38, 87, 220, 479, 318, 265, 50], [0, 1, 39, 81, 235, 459, 333, 259, 51], [0, 1, 40, 75, 250, 439, 348, 253, 52], [0, 1, 41, 69, 265, 419, 363, 247, 53], [0, 1, 42, 63, 280, 399, 378, 241, 54], [0, 1, 43, 57, 295, 379, 393, 235, 55], [0, 1, 44, 51, 310, 359, 408, 229, 56], [0, 1, 45, 45, 325, 339, 423, 223, 57], [0, 1, 46, 39, 340, 319, 438, 217, 58], [0, 1, 47, 33, 355, 299, 453, 211, 59], [0, 1, 48, 27, 370, 279, 468, 205, 60], [0, 1, 49, 21, 385, 259, 483, 199, 61], [0, 1, 50, 15, 400, 239, 498, 193, 62], [0, 2, 22, 162, 50, 694, 162, 326, 40], [0, 2, 23, 156, 65, 674, 177, 320, 41], [0, 2, 24, 150, 80, 654, 192, 314, 42], [0, 2, 25, 144, 95, 634, 207, 308, 43], [0, 2, 26, 138, 110, 614, 222, 302, 44], [0, 2, 27, 132, 125, 594, 237, 296, 45], [0, 2, 28, 126, 140, 574, 252, 290, 46], [0, 2, 29, 120, 155, 554, 267, 284, 47], [0, 2, 30, 114, 170, 534, 282, 278, 48], [0, 2, 31, 108, 185, 514, 297, 272, 49], [0, 2, 32, 102, 200, 494, 312, 266, 50], [0, 2, 33, 96, 215, 474, 327, 260, 51], [0, 2, 34, 90, 230, 454, 342, 254, 52], [0, 2, 35, 84, 245, 434, 357, 248, 53], [0, 2, 36, 78, 260, 414, 372, 242, 54], [0, 2, 37, 72, 275, 394, 387, 236, 55], [0, 2, 38, 66, 290, 374, 402, 230, 56], [0, 2, 39, 60, 305, 354, 417, 224, 57], [0, 2, 40, 54, 320, 334, 432, 218, 58], [0, 2, 41, 48, 335, 314, 447, 212, 59], [0, 2, 42, 42, 350, 294, 462, 206, 60], [0, 2, 43, 36, 365, 274, 477, 200, 61], [0, 2, 44, 30, 380, 254, 492, 194, 62], [0, 2, 45, 24, 395, 234, 507, 188, 63], [0, 2, 46, 18, 410, 214, 522, 182, 64], [0, 2, 47, 12, 425, 194, 537, 176, 65], [0, 2, 48, 6, 440, 174, 552, 170, 66], [0, 2, 49, 0, 455, 154, 567, 164, 67], [0, 3, 17, 171, 45, 689, 171, 321, 41], [0, 3, 18, 165, 60, 669, 186, 315, 42], [0, 3, 19, 159, 75, 649, 201, 309, 43], [0, 3, 20, 153, 90, 629, 216, 303, 44], [0, 3, 21, 147, 105, 609, 231, 297, 45], [0, 3, 22, 141, 120, 589, 246, 291, 46], [0, 3, 23, 135, 135, 569, 261, 285, 47], [0, 3, 24, 129, 150, 549, 276, 279, 48], [0, 3, 25, 123, 165, 529, 291, 273, 49], [0, 3, 26, 117, 180, 509, 306, 267, 50], [0, 3, 27, 111, 195, 489, 321, 261, 51], [0, 3, 28, 105, 210, 469, 336, 255, 52], [0, 3, 29, 99, 225, 449, 351, 249, 53], [0, 3, 30, 93, 240, 429, 366, 243, 54], [0, 3, 31, 87, 255, 409, 381, 237, 55], [0, 3, 32, 81, 270, 389, 396, 231, 56], [0, 3, 33, 75, 285, 369, 411, 225, 57], [0, 3, 34, 69, 300, 349, 426, 219, 58], [0, 3, 35, 63, 315, 329, 441, 213, 59], [0, 3, 36, 57, 330, 309, 456, 207, 60], [0, 3, 37, 51, 345, 289, 471, 201, 61], [0, 3, 38, 45, 360, 269, 486, 195, 62], [0, 3, 39, 39, 375, 249, 501, 189, 63], [0, 3, 40, 33, 390, 229, 516, 183, 64], [0, 3, 41, 27, 405, 209, 531, 177, 65], [0, 3, 42, 21, 420, 189, 546, 171, 66], [0, 3, 43, 15, 435, 169, 561, 165, 67], [0, 4, 12, 180, 40, 684, 180, 316, 42], [0, 4, 13, 174, 55, 664, 195, 310, 43], [0, 4, 14, 168, 70, 644, 210, 304, 44], [0, 4, 15, 162, 85, 624, 225, 298, 45], [0, 4, 16, 156, 100, 604, 240, 292, 46], [0, 4, 17, 150, 115, 584, 255, 286, 47], [0, 4, 18, 144, 130, 564, 270, 280, 48], [0, 4, 19, 138, 145, 544, 285, 274, 49], [0, 4, 20, 132, 160, 524, 300, 268, 50], [0, 4, 21, 126, 175, 504, 315, 262, 51], [0, 4, 22, 120, 190, 484, 330, 256, 52], [0, 4, 23, 114, 205, 464, 345, 250, 53], [0, 4, 24, 108, 220, 444, 360, 244, 54], [0, 4, 25, 102, 235, 424, 375, 238, 55], [0, 4, 26, 96, 250, 404, 390, 232, 56], [0, 4, 27, 90, 265, 384, 405, 226, 57], [0, 4, 28, 84, 280, 364, 420, 220, 58], [0, 4, 29, 78, 295, 344, 435, 214, 59], [0, 4, 30, 72, 310, 324, 450, 208, 60], [0, 4, 31, 66, 325, 304, 465, 202, 61], [0, 4, 32, 60, 340, 284, 480, 196, 62], [0, 4, 33, 54, 355, 264, 495, 190, 63], [0, 4, 34, 48, 370, 244, 510, 184, 64], [0, 4, 35, 42, 385, 224, 525, 178, 65], [0, 4, 36, 36, 400, 204, 540, 172, 66], [0, 4, 37, 30, 415, 184, 555, 166, 67], [0, 4, 38, 24, 430, 164, 570, 160, 68], [0, 4, 39, 18, 445, 144, 585, 154, 69], [0, 4, 40, 12, 460, 124, 600, 148, 70], [0, 4, 41, 6, 475, 104, 615, 142, 71], [0, 4, 42, 0, 490, 84, 630, 136, 72], [0, 5, 6, 195, 20, 699, 174, 317, 42], [0, 5, 7, 189, 35, 679, 189, 311, 43], [0, 5, 8, 183, 50, 659, 204, 305, 44], [0, 5, 9, 177, 65, 639, 219, 299, 45], [0, 5, 10, 171, 80, 619, 234, 293, 46], [0, 5, 11, 165, 95, 599, 249, 287, 47], [0, 5, 12, 159, 110, 579, 264, 281, 48], [0, 5, 13, 153, 125, 559, 279, 275, 49], [0, 5, 14, 147, 140, 539, 294, 269, 50], [0, 5, 15, 141, 155, 519, 309, 263, 51], [0, 5, 16, 135, 170, 499, 324, 257, 52], [0, 5, 17, 129, 185, 479, 339, 251, 53], [0, 5, 18, 123, 200, 459, 354, 245, 54], [0, 5, 19, 117, 215, 439, 369, 239, 55], [0, 5, 20, 111, 230, 419, 384, 233, 56], [0, 5, 21, 105, 245, 399, 399, 227, 57], [0, 5, 22, 99, 260, 379, 414, 221, 58], [0, 5, 23, 93, 275, 359, 429, 215, 59], [0, 5, 24, 87, 290, 339, 444, 209, 60], [0, 5, 25, 81, 305, 319, 459, 203, 61], [0, 5, 26, 75, 320, 299, 474, 197, 62], [0, 5, 27, 69, 335, 279, 489, 191, 63], [0, 5, 28, 63, 350, 259, 504, 185, 64], [0, 5, 29, 57, 365, 239, 519, 179, 65], [0, 5, 30, 51, 380, 219, 534, 173, 66], [0, 5, 31, 45, 395, 199, 549, 167, 67], [0, 5, 32, 39, 410, 179, 564, 161, 68], [0, 5, 33, 33, 425, 159, 579, 155, 69], [0, 5, 34, 27, 440, 139, 594, 149, 70], [0, 5, 35, 21, 455, 119, 609, 143, 71], [0, 5, 36, 15, 470, 99, 624, 137, 72], [0, 6, 2, 198, 30, 674, 198, 306, 44], [0, 6, 3, 192, 45, 654, 213, 300, 45], [0, 6, 4, 186, 60, 634, 228, 294, 46], [0, 6, 5, 180, 75, 614, 243, 288, 47], [0, 6, 6, 174, 90, 594, 258, 282, 48], [0, 6, 7, 168, 105, 574, 273, 276, 49], [0, 6, 8, 162, 120, 554, 288, 270, 50], [0, 6, 9, 156, 135, 534, 303, 264, 51], [0, 6, 10, 150, 150, 514, 318, 258, 52], [0, 6, 11, 144, 165, 494, 333, 252, 53], [0, 6, 12, 138, 180, 474, 348, 246, 54], [0, 6, 13, 132, 195, 454, 363, 240, 55], [0, 6, 14, 126, 210, 434, 378, 234, 56], [0, 6, 15, 120, 225, 414, 393, 228, 57], [0, 6, 16, 114, 240, 394, 408, 222, 58], [0, 6, 17, 108, 255, 374, 423, 216, 59], [0, 6, 18, 102, 270, 354, 438, 210, 60], [0, 6, 19, 96, 285, 334, 453, 204, 61], [0, 6, 20, 90, 300, 314, 468, 198, 62], [0, 6, 21, 84, 315, 294, 483, 192, 63], [0, 6, 22, 78, 330, 274, 498, 186, 64], [0, 6, 23, 72, 345, 254, 513, 180, 65], [0, 6, 24, 66, 360, 234, 528, 174, 66], [0, 6, 25, 60, 375, 214, 543, 168, 67], [0, 6, 26, 54, 390, 194, 558, 162, 68], [0, 6, 27, 48, 405, 174, 573, 156, 69], [0, 6, 28, 42, 420, 154, 588, 150, 70], [0, 6, 29, 36, 435, 134, 603, 144, 71], [0, 6, 30, 30, 450, 114, 618, 138, 72], [0, 6, 31, 24, 465, 94, 633, 132, 73], [0, 6, 32, 18, 480, 74, 648, 126, 74], [0, 6, 33, 12, 495, 54, 663, 120, 75], [0, 7, 0, 189, 70, 609, 252, 283, 48], [0, 7, 1, 183, 85, 589, 267, 277, 49], [0, 7, 2, 177, 100, 569, 282, 271, 50], [0, 7, 3, 171, 115, 549, 297, 265, 51], [0, 7, 4, 165, 130, 529, 312, 259, 52], [0, 7, 5, 159, 145, 509, 327, 253, 53], [0, 7, 6, 153, 160, 489, 342, 247, 54], [0, 7, 7, 147, 175, 469, 357, 241, 55], [0, 7, 8, 141, 190, 449, 372, 235, 56], [0, 7, 9, 135, 205, 429, 387, 229, 57], [0, 7, 10, 129, 220, 409, 402, 223, 58], [0, 7, 11, 123, 235, 389, 417, 217, 59], [0, 7, 12, 117, 250, 369, 432, 211, 60], [0, 7, 13, 111, 265, 349, 447, 205, 61], [0, 7, 14, 105, 280, 329, 462, 199, 62], [0, 7, 15, 99, 295, 309, 477, 193, 63], [0, 7, 16, 93, 310, 289, 492, 187, 64], [0, 7, 17, 87, 325, 269, 507, 181, 65], [0, 7, 18, 81, 340, 249, 522, 175, 66], [0, 7, 19, 75, 355, 229, 537, 169, 67], [0, 7, 20, 69, 370, 209, 552, 163, 68], [0, 7, 21, 63, 385, 189, 567, 157, 69], [0, 7, 22, 57, 400, 169, 582, 151, 70], [0, 7, 23, 51, 415, 149, 597, 145, 71], [0, 7, 24, 45, 430, 129, 612, 139, 72], [0, 7, 25, 39, 445, 109, 627, 133, 73], [0, 7, 26, 33, 460, 89, 642, 127, 74], [0, 7, 27, 27, 475, 69, 657, 121, 75], [0, 8, 0, 168, 140, 504, 336, 248, 54], [0, 8, 1, 162, 155, 484, 351, 242, 55], [0, 8, 2, 156, 170, 464, 366, 236, 56], [0, 8, 3, 150, 185, 444, 381, 230, 57], [0, 8, 4, 144, 200, 424, 396, 224, 58], [0, 8, 5, 138, 215, 404, 411, 218, 59], [0, 8, 6, 132, 230, 384, 426, 212, 60], [0, 8, 7, 126, 245, 364, 441, 206, 61], [0, 8, 8, 120, 260, 344, 456, 200, 62], [0, 8, 9, 114, 275, 324, 471, 194, 63], [0, 8, 10, 108, 290, 304, 486, 188, 64], [0, 8, 11, 102, 305, 284, 501, 182, 65], [0, 8, 12, 96, 320, 264, 516, 176, 66], [0, 8, 13, 90, 335, 244, 531, 170, 67], [0, 8, 14, 84, 350, 224, 546, 164, 68], [0, 8, 15, 78, 365, 204, 561, 158, 69], [0, 8, 16, 72, 380, 184, 576, 152, 70], [0, 8, 17, 66, 395, 164, 591, 146, 71], [0, 8, 18, 60, 410, 144, 606, 140, 72], [0, 8, 19, 54, 425, 124, 621, 134, 73], [0, 8, 20, 48, 440, 104, 636, 128, 74], [0, 8, 21, 42, 455, 84, 651, 122, 75], [0, 8, 22, 36, 470, 64, 666, 116, 76], [0, 8, 23, 30, 485, 44, 681, 110, 77], [0, 9, 0, 147, 210, 399, 420, 213, 60], [0, 9, 1, 141, 225, 379, 435, 207, 61], [0, 9, 2, 135, 240, 359, 450, 201, 62], [0, 9, 3, 129, 255, 339, 465, 195, 63], [0, 9, 4, 123, 270, 319, 480, 189, 64], [0, 9, 5, 117, 285, 299, 495, 183, 65], [0, 9, 6, 111, 300, 279, 510, 177, 66], [0, 9, 7, 105, 315, 259, 525, 171, 67], [0, 9, 8, 99, 330, 239, 540, 165, 68], [0, 9, 9, 93, 345, 219, 555, 159, 69], [0, 9, 10, 87, 360, 199, 570, 153, 70], [0, 9, 11, 81, 375, 179, 585, 147, 71], [0, 9, 12, 75, 390, 159, 600, 141, 72], [0, 9, 13, 69, 405, 139, 615, 135, 73], [0, 9, 14, 63, 420, 119, 630, 129, 74], [0, 9, 15, 57, 435, 99, 645, 123, 75], [0, 9, 16, 51, 450, 79, 660, 117, 76], [0, 9, 17, 45, 465, 59, 675, 111, 77], [0, 9, 18, 39, 480, 39, 690, 105, 78], [0, 10, 0, 126, 280, 294, 504, 178, 66], [0, 10, 1, 120, 295, 274, 519, 172, 67], [0, 10, 2, 114, 310, 254, 534, 166, 68], [0, 10, 3, 108, 325, 234, 549, 160, 69], [0, 10, 4, 102, 340, 214, 564, 154, 70], [0, 10, 5, 96, 355, 194, 579, 148, 71], [0, 10, 6, 90, 370, 174, 594, 142, 72], [0, 10, 7, 84, 385, 154, 609, 136, 73], [0, 10, 8, 78, 400, 134, 624, 130, 74], [0, 10, 9, 72, 415, 114, 639, 124, 75], [0, 10, 10, 66, 430, 94, 654, 118, 76], [0, 10, 11, 60, 445, 74, 669, 112, 77], [0, 10, 12, 54, 460, 54, 684, 106, 78], [0, 11, 0, 105, 350, 189, 588, 143, 72]}
-------
(8, 1458, 5) Remaining distance distributions after General for EXTERNAL point
(5, 1458, 5) has 0 possible DDs: {}
(6, 1458, 5) has 1 possible DDs: {[0, 36, 90, 360, 450, 396, 126]}
(7, 1458, 5) has 22 possible DDs: {[0, 0, 126, 0, 630, 252, 378, 72], [0, 1, 120, 15, 610, 267, 372, 73], [0, 2, 114, 30, 590, 282, 366, 74], [0, 3, 108, 45, 570, 297, 360, 75], [0, 4, 102, 60, 550, 312, 354, 76], [0, 5, 96, 75, 530, 327, 348, 77], [0, 6, 90, 90, 510, 342, 342, 78], [0, 7, 84, 105, 490, 357, 336, 79], [0, 8, 78, 120, 470, 372, 330, 80], [0, 9, 72, 135, 450, 387, 324, 81], [0, 10, 66, 150, 430, 402, 318, 82], [0, 11, 60, 165, 410, 417, 312, 83], [0, 12, 54, 180, 390, 432, 306, 84], [0, 13, 48, 195, 370, 447, 300, 85], [0, 14, 42, 210, 350, 462, 294, 86], [0, 15, 36, 225, 330, 477, 288, 87], [0, 16, 30, 240, 310, 492, 282, 88], [0, 17, 24, 255, 290, 507, 276, 89], [0, 18, 18, 270, 270, 522, 270, 90], [0, 19, 12, 285, 250, 537, 264, 91], [0, 20, 6, 300, 230, 552, 258, 92], [0, 21, 0, 315, 210, 567, 252, 93]}
(8, 1458, 5) has 285 possible DDs: {[0, 0, 31, 150, 45, 724, 129, 342, 37], [0, 0, 32, 144, 60, 704, 144, 336, 38], [0, 0, 33, 138, 75, 684, 159, 330, 39], [0, 0, 34, 132, 90, 664, 174, 324, 40], [0, 0, 35, 126, 105, 644, 189, 318, 41], [0, 0, 36, 120, 120, 624, 204, 312, 42], [0, 0, 37, 114, 135, 604, 219, 306, 43], [0, 0, 38, 108, 150, 584, 234, 300, 44], [0, 0, 39, 102, 165, 564, 249, 294, 45], [0, 0, 40, 96, 180, 544, 264, 288, 46], [0, 0, 41, 90, 195, 524, 279, 282, 47], [0, 0, 42, 84, 210, 504, 294, 276, 48], [0, 0, 43, 78, 225, 484, 309, 270, 49], [0, 0, 44, 72, 240, 464, 324, 264, 50], [0, 0, 45, 66, 255, 444, 339, 258, 51], [0, 0, 46, 60, 270, 424, 354, 252, 52], [0, 0, 47, 54, 285, 404, 369, 246, 53], [0, 0, 48, 48, 300, 384, 384, 240, 54], [0, 0, 49, 42, 315, 364, 399, 234, 55], [0, 0, 50, 36, 330, 344, 414, 228, 56], [0, 0, 51, 30, 345, 324, 429, 222, 57], [0, 0, 52, 24, 360, 304, 444, 216, 58], [0, 0, 53, 18, 375, 284, 459, 210, 59], [0, 0, 54, 12, 390, 264, 474, 204, 60], [0, 0, 55, 6, 405, 244, 489, 198, 61], [0, 0, 56, 0, 420, 224, 504, 192, 62], [0, 1, 26, 159, 40, 719, 138, 337, 38], [0, 1, 27, 153, 55, 699, 153, 331, 39], [0, 1, 28, 147, 70, 679, 168, 325, 40], [0, 1, 29, 141, 85, 659, 183, 319, 41], [0, 1, 30, 135, 100, 639, 198, 313, 42], [0, 1, 31, 129, 115, 619, 213, 307, 43], [0, 1, 32, 123, 130, 599, 228, 301, 44], [0, 1, 33, 117, 145, 579, 243, 295, 45], [0, 1, 34, 111, 160, 559, 258, 289, 46], [0, 1, 35, 105, 175, 539, 273, 283, 47], [0, 1, 36, 99, 190, 519, 288, 277, 48], [0, 1, 37, 93, 205, 499, 303, 271, 49], [0, 1, 38, 87, 220, 479, 318, 265, 50], [0, 1, 39, 81, 235, 459, 333, 259, 51], [0, 1, 40, 75, 250, 439, 348, 253, 52], [0, 1, 41, 69, 265, 419, 363, 247, 53], [0, 1, 42, 63, 280, 399, 378, 241, 54], [0, 1, 43, 57, 295, 379, 393, 235, 55], [0, 1, 44, 51, 310, 359, 408, 229, 56], [0, 1, 45, 45, 325, 339, 423, 223, 57], [0, 1, 46, 39, 340, 319, 438, 217, 58], [0, 1, 47, 33, 355, 299, 453, 211, 59], [0, 1, 48, 27, 370, 279, 468, 205, 60], [0, 1, 49, 21, 385, 259, 483, 199, 61], [0, 1, 50, 15, 400, 239, 498, 193, 62], [0, 2, 22, 162, 50, 694, 162, 326, 40], [0, 2, 23, 156, 65, 674, 177, 320, 41], [0, 2, 24, 150, 80, 654, 192, 314, 42], [0, 2, 25, 144, 95, 634, 207, 308, 43], [0, 2, 26, 138, 110, 614, 222, 302, 44], [0, 2, 27, 132, 125, 594, 237, 296, 45], [0, 2, 28, 126, 140, 574, 252, 290, 46], [0, 2, 29, 120, 155, 554, 267, 284, 47], [0, 2, 30, 114, 170, 534, 282, 278, 48], [0, 2, 31, 108, 185, 514, 297, 272, 49], [0, 2, 32, 102, 200, 494, 312, 266, 50], [0, 2, 33, 96, 215, 474, 327, 260, 51], [0, 2, 34, 90, 230, 454, 342, 254, 52], [0, 2, 35, 84, 245, 434, 357, 248, 53], [0, 2, 36, 78, 260, 414, 372, 242, 54], [0, 2, 37, 72, 275, 394, 387, 236, 55], [0, 2, 38, 66, 290, 374, 402, 230, 56], [0, 2, 39, 60, 305, 354, 417, 224, 57], [0, 2, 40, 54, 320, 334, 432, 218, 58], [0, 2, 41, 48, 335, 314, 447, 212, 59], [0, 2, 42, 42, 350, 294, 462, 206, 60], [0, 2, 43, 36, 365, 274, 477, 200, 61], [0, 2, 44, 30, 380, 254, 492, 194, 62], [0, 2, 45, 24, 395, 234, 507, 188, 63], [0, 2, 46, 18, 410, 214, 522, 182, 64], [0, 2, 47, 12, 425, 194, 537, 176, 65], [0, 2, 48, 6, 440, 174, 552, 170, 66], [0, 2, 49, 0, 455, 154, 567, 164, 67], [0, 3, 17, 171, 45, 689, 171, 321, 41], [0, 3, 18, 165, 60, 669, 186, 315, 42], [0, 3, 19, 159, 75, 649, 201, 309, 43], [0, 3, 20, 153, 90, 629, 216, 303, 44], [0, 3, 21, 147, 105, 609, 231, 297, 45], [0, 3, 22, 141, 120, 589, 246, 291, 46], [0, 3, 23, 135, 135, 569, 261, 285, 47], [0, 3, 24, 129, 150, 549, 276, 279, 48], [0, 3, 25, 123, 165, 529, 291, 273, 49], [0, 3, 26, 117, 180, 509, 306, 267, 50], [0, 3, 27, 111, 195, 489, 321, 261, 51], [0, 3, 28, 105, 210, 469, 336, 255, 52], [0, 3, 29, 99, 225, 449, 351, 249, 53], [0, 3, 30, 93, 240, 429, 366, 243, 54], [0, 3, 31, 87, 255, 409, 381, 237, 55], [0, 3, 32, 81, 270, 389, 396, 231, 56], [0, 3, 33, 75, 285, 369, 411, 225, 57], [0, 3, 34, 69, 300, 349, 426, 219, 58], [0, 3, 35, 63, 315, 329, 441, 213, 59], [0, 3, 36, 57, 330, 309, 456, 207, 60], [0, 3, 37, 51, 345, 289, 471, 201, 61], [0, 3, 38, 45, 360, 269, 486, 195, 62], [0, 3, 39, 39, 375, 249, 501, 189, 63], [0, 3, 40, 33, 390, 229, 516, 183, 64], [0, 3, 41, 27, 405, 209, 531, 177, 65], [0, 3, 42, 21, 420, 189, 546, 171, 66], [0, 3, 43, 15, 435, 169, 561, 165, 67], [0, 4, 12, 180, 40, 684, 180, 316, 42], [0, 4, 13, 174, 55, 664, 195, 310, 43], [0, 4, 14, 168, 70, 644, 210, 304, 44], [0, 4, 15, 162, 85, 624, 225, 298, 45], [0, 4, 16, 156, 100, 604, 240, 292, 46], [0, 4, 17, 150, 115, 584, 255, 286, 47], [0, 4, 18, 144, 130, 564, 270, 280, 48], [0, 4, 19, 138, 145, 544, 285, 274, 49], [0, 4, 20, 132, 160, 524, 300, 268, 50], [0, 4, 21, 126, 175, 504, 315, 262, 51], [0, 4, 22, 120, 190, 484, 330, 256, 52], [0, 4, 23, 114, 205, 464, 345, 250, 53], [0, 4, 24, 108, 220, 444, 360, 244, 54], [0, 4, 25, 102, 235, 424, 375, 238, 55], [0, 4, 26, 96, 250, 404, 390, 232, 56], [0, 4, 27, 90, 265, 384, 405, 226, 57], [0, 4, 28, 84, 280, 364, 420, 220, 58], [0, 4, 29, 78, 295, 344, 435, 214, 59], [0, 4, 30, 72, 310, 324, 450, 208, 60], [0, 4, 31, 66, 325, 304, 465, 202, 61], [0, 4, 32, 60, 340, 284, 480, 196, 62], [0, 4, 33, 54, 355, 264, 495, 190, 63], [0, 4, 34, 48, 370, 244, 510, 184, 64], [0, 4, 35, 42, 385, 224, 525, 178, 65], [0, 4, 36, 36, 400, 204, 540, 172, 66], [0, 4, 37, 30, 415, 184, 555, 166, 67], [0, 4, 38, 24, 430, 164, 570, 160, 68], [0, 4, 39, 18, 445, 144, 585, 154, 69], [0, 4, 40, 12, 460, 124, 600, 148, 70], [0, 4, 41, 6, 475, 104, 615, 142, 71], [0, 4, 42, 0, 490, 84, 630, 136, 72], [0, 5, 6, 195, 20, 699, 174, 317, 42], [0, 5, 7, 189, 35, 679, 189, 311, 43], [0, 5, 8, 183, 50, 659, 204, 305, 44], [0, 5, 9, 177, 65, 639, 219, 299, 45], [0, 5, 10, 171, 80, 619, 234, 293, 46], [0, 5, 11, 165, 95, 599, 249, 287, 47], [0, 5, 12, 159, 110, 579, 264, 281, 48], [0, 5, 13, 153, 125, 559, 279, 275, 49], [0, 5, 14, 147, 140, 539, 294, 269, 50], [0, 5, 15, 141, 155, 519, 309, 263, 51], [0, 5, 16, 135, 170, 499, 324, 257, 52], [0, 5, 17, 129, 185, 479, 339, 251, 53], [0, 5, 18, 123, 200, 459, 354, 245, 54], [0, 5, 19, 117, 215, 439, 369, 239, 55], [0, 5, 20, 111, 230, 419, 384, 233, 56], [0, 5, 21, 105, 245, 399, 399, 227, 57], [0, 5, 22, 99, 260, 379, 414, 221, 58], [0, 5, 23, 93, 275, 359, 429, 215, 59], [0, 5, 24, 87, 290, 339, 444, 209, 60], [0, 5, 25, 81, 305, 319, 459, 203, 61], [0, 5, 26, 75, 320, 299, 474, 197, 62], [0, 5, 27, 69, 335, 279, 489, 191, 63], [0, 5, 28, 63, 350, 259, 504, 185, 64], [0, 5, 29, 57, 365, 239, 519, 179, 65], [0, 5, 30, 51, 380, 219, 534, 173, 66], [0, 5, 31, 45, 395, 199, 549, 167, 67], [0, 5, 32, 39, 410, 179, 564, 161, 68], [0, 5, 33, 33, 425, 159, 579, 155, 69], [0, 5, 34, 27, 440, 139, 594, 149, 70], [0, 5, 35, 21, 455, 119, 609, 143, 71], [0, 5, 36, 15, 470, 99, 624, 137, 72], [0, 6, 2, 198, 30, 674, 198, 306, 44], [0, 6, 3, 192, 45, 654, 213, 300, 45], [0, 6, 4, 186, 60, 634, 228, 294, 46], [0, 6, 5, 180, 75, 614, 243, 288, 47], [0, 6, 6, 174, 90, 594, 258, 282, 48], [0, 6, 7, 168, 105, 574, 273, 276, 49], [0, 6, 8, 162, 120, 554, 288, 270, 50], [0, 6, 9, 156, 135, 534, 303, 264, 51], [0, 6, 10, 150, 150, 514, 318, 258, 52], [0, 6, 11, 144, 165, 494, 333, 252, 53], [0, 6, 12, 138, 180, 474, 348, 246, 54], [0, 6, 13, 132, 195, 454, 363, 240, 55], [0, 6, 14, 126, 210, 434, 378, 234, 56], [0, 6, 15, 120, 225, 414, 393, 228, 57], [0, 6, 16, 114, 240, 394, 408, 222, 58], [0, 6, 17, 108, 255, 374, 423, 216, 59], [0, 6, 18, 102, 270, 354, 438, 210, 60], [0, 6, 19, 96, 285, 334, 453, 204, 61], [0, 6, 20, 90, 300, 314, 468, 198, 62], [0, 6, 21, 84, 315, 294, 483, 192, 63], [0, 6, 22, 78, 330, 274, 498, 186, 64], [0, 6, 23, 72, 345, 254, 513, 180, 65], [0, 6, 24, 66, 360, 234, 528, 174, 66], [0, 6, 25, 60, 375, 214, 543, 168, 67], [0, 6, 26, 54, 390, 194, 558, 162, 68], [0, 6, 27, 48, 405, 174, 573, 156, 69], [0, 6, 28, 42, 420, 154, 588, 150, 70], [0, 6, 29, 36, 435, 134, 603, 144, 71], [0, 6, 30, 30, 450, 114, 618, 138, 72], [0, 6, 31, 24, 465, 94, 633, 132, 73], [0, 6, 32, 18, 480, 74, 648, 126, 74], [0, 6, 33, 12, 495, 54, 663, 120, 75], [0, 7, 0, 189, 70, 609, 252, 283, 48], [0, 7, 1, 183, 85, 589, 267, 277, 49], [0, 7, 2, 177, 100, 569, 282, 271, 50], [0, 7, 3, 171, 115, 549, 297, 265, 51], [0, 7, 4, 165, 130, 529, 312, 259, 52], [0, 7, 5, 159, 145, 509, 327, 253, 53], [0, 7, 6, 153, 160, 489, 342, 247, 54], [0, 7, 7, 147, 175, 469, 357, 241, 55], [0, 7, 8, 141, 190, 449, 372, 235, 56], [0, 7, 9, 135, 205, 429, 387, 229, 57], [0, 7, 10, 129, 220, 409, 402, 223, 58], [0, 7, 11, 123, 235, 389, 417, 217, 59], [0, 7, 12, 117, 250, 369, 432, 211, 60], [0, 7, 13, 111, 265, 349, 447, 205, 61], [0, 7, 14, 105, 280, 329, 462, 199, 62], [0, 7, 15, 99, 295, 309, 477, 193, 63], [0, 7, 16, 93, 310, 289, 492, 187, 64], [0, 7, 17, 87, 325, 269, 507, 181, 65], [0, 7, 18, 81, 340, 249, 522, 175, 66], [0, 7, 19, 75, 355, 229, 537, 169, 67], [0, 7, 20, 69, 370, 209, 552, 163, 68], [0, 7, 21, 63, 385, 189, 567, 157, 69], [0, 7, 22, 57, 400, 169, 582, 151, 70], [0, 7, 23, 51, 415, 149, 597, 145, 71], [0, 7, 24, 45, 430, 129, 612, 139, 72], [0, 7, 25, 39, 445, 109, 627, 133, 73], [0, 7, 26, 33, 460, 89, 642, 127, 74], [0, 7, 27, 27, 475, 69, 657, 121, 75], [0, 8, 0, 168, 140, 504, 336, 248, 54], [0, 8, 1, 162, 155, 484, 351, 242, 55], [0, 8, 2, 156, 170, 464, 366, 236, 56], [0, 8, 3, 150, 185, 444, 381, 230, 57], [0, 8, 4, 144, 200, 424, 396, 224, 58], [0, 8, 5, 138, 215, 404, 411, 218, 59], [0, 8, 6, 132, 230, 384, 426, 212, 60], [0, 8, 7, 126, 245, 364, 441, 206, 61], [0, 8, 8, 120, 260, 344, 456, 200, 62], [0, 8, 9, 114, 275, 324, 471, 194, 63], [0, 8, 10, 108, 290, 304, 486, 188, 64], [0, 8, 11, 102, 305, 284, 501, 182, 65], [0, 8, 12, 96, 320, 264, 516, 176, 66], [0, 8, 13, 90, 335, 244, 531, 170, 67], [0, 8, 14, 84, 350, 224, 546, 164, 68], [0, 8, 15, 78, 365, 204, 561, 158, 69], [0, 8, 16, 72, 380, 184, 576, 152, 70], [0, 8, 17, 66, 395, 164, 591, 146, 71], [0, 8, 18, 60, 410, 144, 606, 140, 72], [0, 8, 19, 54, 425, 124, 621, 134, 73], [0, 8, 20, 48, 440, 104, 636, 128, 74], [0, 8, 21, 42, 455, 84, 651, 122, 75], [0, 8, 22, 36, 470, 64, 666, 116, 76], [0, 8, 23, 30, 485, 44, 681, 110, 77], [0, 9, 0, 147, 210, 399, 420, 213, 60], [0, 9, 1, 141, 225, 379, 435, 207, 61], [0, 9, 2, 135, 240, 359, 450, 201, 62], [0, 9, 3, 129, 255, 339, 465, 195, 63], [0, 9, 4, 123, 270, 319, 480, 189, 64], [0, 9, 5, 117, 285, 299, 495, 183, 65], [0, 9, 6, 111, 300, 279, 510, 177, 66], [0, 9, 7, 105, 315, 259, 525, 171, 67], [0, 9, 8, 99, 330, 239, 540, 165, 68], [0, 9, 9, 93, 345, 219, 555, 159, 69], [0, 9, 10, 87, 360, 199, 570, 153, 70], [0, 9, 11, 81, 375, 179, 585, 147, 71], [0, 9, 12, 75, 390, 159, 600, 141, 72], [0, 9, 13, 69, 405, 139, 615, 135, 73], [0, 9, 14, 63, 420, 119, 630, 129, 74], [0, 9, 15, 57, 435, 99, 645, 123, 75], [0, 9, 16, 51, 450, 79, 660, 117, 76], [0, 9, 17, 45, 465, 59, 675, 111, 77], [0, 9, 18, 39, 480, 39, 690, 105, 78], [0, 10, 0, 126, 280, 294, 504, 178, 66], [0, 10, 1, 120, 295, 274, 519, 172, 67], [0, 10, 2, 114, 310, 254, 534, 166, 68], [0, 10, 3, 108, 325, 234, 549, 160, 69], [0, 10, 4, 102, 340, 214, 564, 154, 70], [0, 10, 5, 96, 355, 194, 579, 148, 71], [0, 10, 6, 90, 370, 174, 594, 142, 72], [0, 10, 7, 84, 385, 154, 609, 136, 73], [0, 10, 8, 78, 400, 134, 624, 130, 74], [0, 10, 9, 72, 415, 114, 639, 124, 75], [0, 10, 10, 66, 430, 94, 654, 118, 76], [0, 10, 11, 60, 445, 74, 669, 112, 77], [0, 10, 12, 54, 460, 54, 684, 106, 78], [0, 11, 0, 105, 350, 189, 588, 143, 72]}