-------
(15, 13312, 10) ALL distance distributions for EXTERNAL point
(10, 13312, 10) has 0 possible DDs: {}
(11, 13312, 10) has 1 possible DDs: {[0, 143, 0, 2145, 0, 6006, 0, 4290, 0, 715, 0, 13]}
(12, 13312, 10) has 8 possible DDs: {[0, 71, 77, 1045, 1155, 2838, 3234, 1914, 2310, 275, 385, 1, 7], [0, 72, 66, 1100, 990, 3168, 2772, 2376, 1980, 440, 330, 12, 6], [0, 73, 55, 1155, 825, 3498, 2310, 2838, 1650, 605, 275, 23, 5], [0, 74, 44, 1210, 660, 3828, 1848, 3300, 1320, 770, 220, 34, 4], [0, 75, 33, 1265, 495, 4158, 1386, 3762, 990, 935, 165, 45, 3], [0, 76, 22, 1320, 330, 4488, 924, 4224, 660, 1100, 110, 56, 2], [0, 77, 11, 1375, 165, 4818, 462, 4686, 330, 1265, 55, 67, 1], [0, 78, 0, 1430, 0, 5148, 0, 5148, 0, 1430, 0, 78, 0]}
(13, 13312, 10) has 45 possible DDs: {[0, 30, 134, 264, 1980, 264, 5412, 264, 3696, 550, 550, 160, 4, 4], [0, 31, 123, 319, 1815, 594, 4950, 726, 3366, 715, 495, 171, 3, 4], [0, 31, 124, 308, 1870, 429, 5280, 264, 3828, 385, 660, 116, 14, 3], [0, 32, 112, 374, 1650, 924, 4488, 1188, 3036, 880, 440, 182, 2, 4], [0, 32, 113, 363, 1705, 759, 4818, 726, 3498, 550, 605, 127, 13, 3], [0, 32, 114, 352, 1760, 594, 5148, 264, 3960, 220, 770, 72, 24, 2], [0, 33, 101, 429, 1485, 1254, 4026, 1650, 2706, 1045, 385, 193, 1, 4], [0, 33, 102, 418, 1540, 1089, 4356, 1188, 3168, 715, 550, 138, 12, 3], [0, 33, 103, 407, 1595, 924, 4686, 726, 3630, 385, 715, 83, 23, 2], [0, 33, 104, 396, 1650, 759, 5016, 264, 4092, 55, 880, 28, 34, 1], [0, 34, 90, 484, 1320, 1584, 3564, 2112, 2376, 1210, 330, 204, 0, 4], [0, 34, 91, 473, 1375, 1419, 3894, 1650, 2838, 880, 495, 149, 11, 3], [0, 34, 92, 462, 1430, 1254, 4224, 1188, 3300, 550, 660, 94, 22, 2], [0, 34, 93, 451, 1485, 1089, 4554, 726, 3762, 220, 825, 39, 33, 1], [0, 35, 80, 528, 1210, 1749, 3432, 2112, 2508, 1045, 440, 160, 10, 3], [0, 35, 81, 517, 1265, 1584, 3762, 1650, 2970, 715, 605, 105, 21, 2], [0, 35, 82, 506, 1320, 1419, 4092, 1188, 3432, 385, 770, 50, 32, 1], [0, 36, 69, 583, 1045, 2079, 2970, 2574, 2178, 1210, 385, 171, 9, 3], [0, 36, 70, 572, 1100, 1914, 3300, 2112, 2640, 880, 550, 116, 20, 2], [0, 36, 71, 561, 1155, 1749, 3630, 1650, 3102, 550, 715, 61, 31, 1], [0, 36, 72, 550, 1210, 1584, 3960, 1188, 3564, 220, 880, 6, 42, 0], [0, 37, 58, 638, 880, 2409, 2508, 3036, 1848, 1375, 330, 182, 8, 3], [0, 37, 59, 627, 935, 2244, 2838, 2574, 2310, 1045, 495, 127, 19, 2], [0, 37, 60, 616, 990, 2079, 3168, 2112, 2772, 715, 660, 72, 30, 1], [0, 37, 61, 605, 1045, 1914, 3498, 1650, 3234, 385, 825, 17, 41, 0], [0, 38, 47, 693, 715, 2739, 2046, 3498, 1518, 1540, 275, 193, 7, 3], [0, 38, 48, 682, 770, 2574, 2376, 3036, 1980, 1210, 440, 138, 18, 2], [0, 38, 49, 671, 825, 2409, 2706, 2574, 2442, 880, 605, 83, 29, 1], [0, 38, 50, 660, 880, 2244, 3036, 2112, 2904, 550, 770, 28, 40, 0], [0, 39, 36, 748, 550, 3069, 1584, 3960, 1188, 1705, 220, 204, 6, 3], [0, 39, 37, 737, 605, 2904, 1914, 3498, 1650, 1375, 385, 149, 17, 2], [0, 39, 38, 726, 660, 2739, 2244, 3036, 2112, 1045, 550, 94, 28, 1], [0, 39, 39, 715, 715, 2574, 2574, 2574, 2574, 715, 715, 39, 39, 0], [0, 40, 25, 803, 385, 3399, 1122, 4422, 858, 1870, 165, 215, 5, 3], [0, 40, 26, 792, 440, 3234, 1452, 3960, 1320, 1540, 330, 160, 16, 2], [0, 40, 27, 781, 495, 3069, 1782, 3498, 1782, 1210, 495, 105, 27, 1], [0, 40, 28, 770, 550, 2904, 2112, 3036, 2244, 880, 660, 50, 38, 0], [0, 41, 14, 858, 220, 3729, 660, 4884, 528, 2035, 110, 226, 4, 3], [0, 41, 15, 847, 275, 3564, 990, 4422, 990, 1705, 275, 171, 15, 2], [0, 41, 16, 836, 330, 3399, 1320, 3960, 1452, 1375, 440, 116, 26, 1], [0, 41, 17, 825, 385, 3234, 1650, 3498, 1914, 1045, 605, 61, 37, 0], [0, 42, 3, 913, 55, 4059, 198, 5346, 198, 2200, 55, 237, 3, 3], [0, 42, 4, 902, 110, 3894, 528, 4884, 660, 1870, 220, 182, 14, 2], [0, 42, 5, 891, 165, 3729, 858, 4422, 1122, 1540, 385, 127, 25, 1], [0, 42, 6, 880, 220, 3564, 1188, 3960, 1584, 1210, 550, 72, 36, 0]}
(14, 13312, 10) has 246 possible DDs: {[0, 10, 130, 0, 1573, 572, 3003, 3432, 858, 3146, 0, 520, 65, 0, 3], [0, 11, 122, 23, 1562, 462, 3366, 2838, 1452, 2783, 110, 531, 42, 8, 2], [0, 11, 123, 12, 1617, 297, 3696, 2376, 1914, 2453, 275, 476, 53, 7, 2], [0, 11, 124, 1, 1672, 132, 4026, 1914, 2376, 2123, 440, 421, 64, 6, 2], [0, 11, 124, 2, 1661, 187, 3861, 2244, 1914, 2585, 110, 586, 9, 17, 1], [0, 12, 111, 78, 1397, 792, 2904, 3300, 1122, 2948, 55, 542, 41, 8, 2], [0, 12, 112, 67, 1452, 627, 3234, 2838, 1584, 2618, 220, 487, 52, 7, 2], [0, 12, 113, 56, 1507, 462, 3564, 2376, 2046, 2288, 385, 432, 63, 6, 2], [0, 12, 113, 57, 1496, 517, 3399, 2706, 1584, 2750, 55, 597, 8, 17, 1], [0, 12, 114, 45, 1562, 297, 3894, 1914, 2508, 1958, 550, 377, 74, 5, 2], [0, 12, 114, 46, 1551, 352, 3729, 2244, 2046, 2420, 220, 542, 19, 16, 1], [0, 12, 115, 34, 1617, 132, 4224, 1452, 2970, 1628, 715, 322, 85, 4, 2], [0, 12, 115, 35, 1606, 187, 4059, 1782, 2508, 2090, 385, 487, 30, 15, 1], [0, 12, 116, 24, 1661, 22, 4389, 1320, 2970, 1760, 550, 432, 41, 14, 1], [0, 13, 100, 133, 1232, 1122, 2442, 3762, 792, 3113, 0, 553, 40, 8, 2], [0, 13, 101, 122, 1287, 957, 2772, 3300, 1254, 2783, 165, 498, 51, 7, 2], [0, 13, 102, 111, 1342, 792, 3102, 2838, 1716, 2453, 330, 443, 62, 6, 2], [0, 13, 102, 112, 1331, 847, 2937, 3168, 1254, 2915, 0, 608, 7, 17, 1], [0, 13, 103, 100, 1397, 627, 3432, 2376, 2178, 2123, 495, 388, 73, 5, 2], [0, 13, 103, 101, 1386, 682, 3267, 2706, 1716, 2585, 165, 553, 18, 16, 1], [0, 13, 104, 89, 1452, 462, 3762, 1914, 2640, 1793, 660, 333, 84, 4, 2], [0, 13, 104, 90, 1441, 517, 3597, 2244, 2178, 2255, 330, 498, 29, 15, 1], [0, 13, 105, 78, 1507, 297, 4092, 1452, 3102, 1463, 825, 278, 95, 3, 2], [0, 13, 105, 79, 1496, 352, 3927, 1782, 2640, 1925, 495, 443, 40, 14, 1], [0, 13, 106, 67, 1562, 132, 4422, 990, 3564, 1133, 990, 223, 106, 2, 2], [0, 13, 106, 68, 1551, 187, 4257, 1320, 3102, 1595, 660, 388, 51, 13, 1], [0, 13, 107, 57, 1606, 22, 4587, 858, 3564, 1265, 825, 333, 62, 12, 1], [0, 13, 107, 58, 1595, 77, 4422, 1188, 3102, 1727, 495, 498, 7, 23, 0], [0, 14, 90, 177, 1122, 1287, 2310, 3762, 924, 2948, 110, 509, 50, 7, 2], [0, 14, 91, 166, 1177, 1122, 2640, 3300, 1386, 2618, 275, 454, 61, 6, 2], [0, 14, 92, 155, 1232, 957, 2970, 2838, 1848, 2288, 440, 399, 72, 5, 2], [0, 14, 92, 156, 1221, 1012, 2805, 3168, 1386, 2750, 110, 564, 17, 16, 1], [0, 14, 93, 144, 1287, 792, 3300, 2376, 2310, 1958, 605, 344, 83, 4, 2], [0, 14, 93, 145, 1276, 847, 3135, 2706, 1848, 2420, 275, 509, 28, 15, 1], [0, 14, 94, 133, 1342, 627, 3630, 1914, 2772, 1628, 770, 289, 94, 3, 2], [0, 14, 94, 134, 1331, 682, 3465, 2244, 2310, 2090, 440, 454, 39, 14, 1], [0, 14, 95, 122, 1397, 462, 3960, 1452, 3234, 1298, 935, 234, 105, 2, 2], [0, 14, 95, 123, 1386, 517, 3795, 1782, 2772, 1760, 605, 399, 50, 13, 1], [0, 14, 96, 111, 1452, 297, 4290, 990, 3696, 968, 1100, 179, 116, 1, 2], [0, 14, 96, 112, 1441, 352, 4125, 1320, 3234, 1430, 770, 344, 61, 12, 1], [0, 14, 96, 113, 1430, 407, 3960, 1650, 2772, 1892, 440, 509, 6, 23, 0], [0, 14, 97, 100, 1507, 132, 4620, 528, 4158, 638, 1265, 124, 127, 0, 2], [0, 14, 97, 101, 1496, 187, 4455, 858, 3696, 1100, 935, 289, 72, 11, 1], [0, 14, 97, 102, 1485, 242, 4290, 1188, 3234, 1562, 605, 454, 17, 22, 0], [0, 14, 98, 90, 1551, 22, 4785, 396, 4158, 770, 1100, 234, 83, 10, 1], [0, 14, 98, 91, 1540, 77, 4620, 726, 3696, 1232, 770, 399, 28, 21, 0], [0, 15, 79, 232, 957, 1617, 1848, 4224, 594, 3113, 55, 520, 49, 7, 2], [0, 15, 80, 221, 1012, 1452, 2178, 3762, 1056, 2783, 220, 465, 60, 6, 2], [0, 15, 81, 210, 1067, 1287, 2508, 3300, 1518, 2453, 385, 410, 71, 5, 2], [0, 15, 81, 211, 1056, 1342, 2343, 3630, 1056, 2915, 55, 575, 16, 16, 1], [0, 15, 82, 199, 1122, 1122, 2838, 2838, 1980, 2123, 550, 355, 82, 4, 2], [0, 15, 82, 200, 1111, 1177, 2673, 3168, 1518, 2585, 220, 520, 27, 15, 1], [0, 15, 83, 188, 1177, 957, 3168, 2376, 2442, 1793, 715, 300, 93, 3, 2], [0, 15, 83, 189, 1166, 1012, 3003, 2706, 1980, 2255, 385, 465, 38, 14, 1], [0, 15, 84, 177, 1232, 792, 3498, 1914, 2904, 1463, 880, 245, 104, 2, 2], [0, 15, 84, 178, 1221, 847, 3333, 2244, 2442, 1925, 550, 410, 49, 13, 1], [0, 15, 85, 166, 1287, 627, 3828, 1452, 3366, 1133, 1045, 190, 115, 1, 2], [0, 15, 85, 167, 1276, 682, 3663, 1782, 2904, 1595, 715, 355, 60, 12, 1], [0, 15, 85, 168, 1265, 737, 3498, 2112, 2442, 2057, 385, 520, 5, 23, 0], [0, 15, 86, 155, 1342, 462, 4158, 990, 3828, 803, 1210, 135, 126, 0, 2], [0, 15, 86, 156, 1331, 517, 3993, 1320, 3366, 1265, 880, 300, 71, 11, 1], [0, 15, 86, 157, 1320, 572, 3828, 1650, 2904, 1727, 550, 465, 16, 22, 0], [0, 15, 87, 145, 1386, 352, 4323, 858, 3828, 935, 1045, 245, 82, 10, 1], [0, 15, 87, 146, 1375, 407, 4158, 1188, 3366, 1397, 715, 410, 27, 21, 0], [0, 15, 88, 134, 1441, 187, 4653, 396, 4290, 605, 1210, 190, 93, 9, 1], [0, 15, 88, 135, 1430, 242, 4488, 726, 3828, 1067, 880, 355, 38, 20, 0], [0, 15, 89, 124, 1485, 77, 4818, 264, 4290, 737, 1045, 300, 49, 19, 0], [0, 16, 68, 287, 792, 1947, 1386, 4686, 264, 3278, 0, 531, 48, 7, 2], [0, 16, 69, 276, 847, 1782, 1716, 4224, 726, 2948, 165, 476, 59, 6, 2], [0, 16, 70, 265, 902, 1617, 2046, 3762, 1188, 2618, 330, 421, 70, 5, 2], [0, 16, 70, 266, 891, 1672, 1881, 4092, 726, 3080, 0, 586, 15, 16, 1], [0, 16, 71, 254, 957, 1452, 2376, 3300, 1650, 2288, 495, 366, 81, 4, 2], [0, 16, 71, 255, 946, 1507, 2211, 3630, 1188, 2750, 165, 531, 26, 15, 1], [0, 16, 72, 243, 1012, 1287, 2706, 2838, 2112, 1958, 660, 311, 92, 3, 2], [0, 16, 72, 244, 1001, 1342, 2541, 3168, 1650, 2420, 330, 476, 37, 14, 1], [0, 16, 73, 232, 1067, 1122, 3036, 2376, 2574, 1628, 825, 256, 103, 2, 2], [0, 16, 73, 233, 1056, 1177, 2871, 2706, 2112, 2090, 495, 421, 48, 13, 1], [0, 16, 74, 221, 1122, 957, 3366, 1914, 3036, 1298, 990, 201, 114, 1, 2], [0, 16, 74, 222, 1111, 1012, 3201, 2244, 2574, 1760, 660, 366, 59, 12, 1], [0, 16, 74, 223, 1100, 1067, 3036, 2574, 2112, 2222, 330, 531, 4, 23, 0], [0, 16, 75, 210, 1177, 792, 3696, 1452, 3498, 968, 1155, 146, 125, 0, 2], [0, 16, 75, 211, 1166, 847, 3531, 1782, 3036, 1430, 825, 311, 70, 11, 1], [0, 16, 75, 212, 1155, 902, 3366, 2112, 2574, 1892, 495, 476, 15, 22, 0], [0, 16, 76, 200, 1221, 682, 3861, 1320, 3498, 1100, 990, 256, 81, 10, 1], [0, 16, 76, 201, 1210, 737, 3696, 1650, 3036, 1562, 660, 421, 26, 21, 0], [0, 16, 77, 189, 1276, 517, 4191, 858, 3960, 770, 1155, 201, 92, 9, 1], [0, 16, 77, 190, 1265, 572, 4026, 1188, 3498, 1232, 825, 366, 37, 20, 0], [0, 16, 78, 178, 1331, 352, 4521, 396, 4422, 440, 1320, 146, 103, 8, 1], [0, 16, 78, 179, 1320, 407, 4356, 726, 3960, 902, 990, 311, 48, 19, 0], [0, 16, 79, 168, 1375, 242, 4686, 264, 4422, 572, 1155, 256, 59, 18, 0], [0, 17, 58, 331, 682, 2112, 1254, 4686, 396, 3113, 110, 487, 58, 6, 2], [0, 17, 59, 320, 737, 1947, 1584, 4224, 858, 2783, 275, 432, 69, 5, 2], [0, 17, 60, 309, 792, 1782, 1914, 3762, 1320, 2453, 440, 377, 80, 4, 2], [0, 17, 60, 310, 781, 1837, 1749, 4092, 858, 2915, 110, 542, 25, 15, 1], [0, 17, 61, 298, 847, 1617, 2244, 3300, 1782, 2123, 605, 322, 91, 3, 2], [0, 17, 61, 299, 836, 1672, 2079, 3630, 1320, 2585, 275, 487, 36, 14, 1], [0, 17, 62, 287, 902, 1452, 2574, 2838, 2244, 1793, 770, 267, 102, 2, 2], [0, 17, 62, 288, 891, 1507, 2409, 3168, 1782, 2255, 440, 432, 47, 13, 1], [0, 17, 63, 276, 957, 1287, 2904, 2376, 2706, 1463, 935, 212, 113, 1, 2], [0, 17, 63, 277, 946, 1342, 2739, 2706, 2244, 1925, 605, 377, 58, 12, 1], [0, 17, 63, 278, 935, 1397, 2574, 3036, 1782, 2387, 275, 542, 3, 23, 0], [0, 17, 64, 265, 1012, 1122, 3234, 1914, 3168, 1133, 1100, 157, 124, 0, 2], [0, 17, 64, 266, 1001, 1177, 3069, 2244, 2706, 1595, 770, 322, 69, 11, 1], [0, 17, 64, 267, 990, 1232, 2904, 2574, 2244, 2057, 440, 487, 14, 22, 0], [0, 17, 65, 255, 1056, 1012, 3399, 1782, 3168, 1265, 935, 267, 80, 10, 1], [0, 17, 65, 256, 1045, 1067, 3234, 2112, 2706, 1727, 605, 432, 25, 21, 0], [0, 17, 66, 244, 1111, 847, 3729, 1320, 3630, 935, 1100, 212, 91, 9, 1], [0, 17, 66, 245, 1100, 902, 3564, 1650, 3168, 1397, 770, 377, 36, 20, 0], [0, 17, 67, 233, 1166, 682, 4059, 858, 4092, 605, 1265, 157, 102, 8, 1], [0, 17, 67, 234, 1155, 737, 3894, 1188, 3630, 1067, 935, 322, 47, 19, 0], [0, 17, 68, 222, 1221, 517, 4389, 396, 4554, 275, 1430, 102, 113, 7, 1], [0, 17, 68, 223, 1210, 572, 4224, 726, 4092, 737, 1100, 267, 58, 18, 0], [0, 17, 69, 212, 1265, 407, 4554, 264, 4554, 407, 1265, 212, 69, 17, 0], [0, 18, 47, 386, 517, 2442, 792, 5148, 66, 3278, 55, 498, 57, 6, 2], [0, 18, 48, 375, 572, 2277, 1122, 4686, 528, 2948, 220, 443, 68, 5, 2], [0, 18, 49, 364, 627, 2112, 1452, 4224, 990, 2618, 385, 388, 79, 4, 2], [0, 18, 49, 365, 616, 2167, 1287, 4554, 528, 3080, 55, 553, 24, 15, 1], [0, 18, 50, 353, 682, 1947, 1782, 3762, 1452, 2288, 550, 333, 90, 3, 2], [0, 18, 50, 354, 671, 2002, 1617, 4092, 990, 2750, 220, 498, 35, 14, 1], [0, 18, 51, 342, 737, 1782, 2112, 3300, 1914, 1958, 715, 278, 101, 2, 2], [0, 18, 51, 343, 726, 1837, 1947, 3630, 1452, 2420, 385, 443, 46, 13, 1], [0, 18, 52, 331, 792, 1617, 2442, 2838, 2376, 1628, 880, 223, 112, 1, 2], [0, 18, 52, 332, 781, 1672, 2277, 3168, 1914, 2090, 550, 388, 57, 12, 1], [0, 18, 52, 333, 770, 1727, 2112, 3498, 1452, 2552, 220, 553, 2, 23, 0], [0, 18, 53, 320, 847, 1452, 2772, 2376, 2838, 1298, 1045, 168, 123, 0, 2], [0, 18, 53, 321, 836, 1507, 2607, 2706, 2376, 1760, 715, 333, 68, 11, 1], [0, 18, 53, 322, 825, 1562, 2442, 3036, 1914, 2222, 385, 498, 13, 22, 0], [0, 18, 54, 310, 891, 1342, 2937, 2244, 2838, 1430, 880, 278, 79, 10, 1], [0, 18, 54, 311, 880, 1397, 2772, 2574, 2376, 1892, 550, 443, 24, 21, 0], [0, 18, 55, 299, 946, 1177, 3267, 1782, 3300, 1100, 1045, 223, 90, 9, 1], [0, 18, 55, 300, 935, 1232, 3102, 2112, 2838, 1562, 715, 388, 35, 20, 0], [0, 18, 56, 288, 1001, 1012, 3597, 1320, 3762, 770, 1210, 168, 101, 8, 1], [0, 18, 56, 289, 990, 1067, 3432, 1650, 3300, 1232, 880, 333, 46, 19, 0], [0, 18, 57, 277, 1056, 847, 3927, 858, 4224, 440, 1375, 113, 112, 7, 1], [0, 18, 57, 278, 1045, 902, 3762, 1188, 3762, 902, 1045, 278, 57, 18, 0], [0, 18, 58, 266, 1111, 682, 4257, 396, 4686, 110, 1540, 58, 123, 6, 1], [0, 18, 58, 267, 1100, 737, 4092, 726, 4224, 572, 1210, 223, 68, 17, 0], [0, 18, 59, 256, 1155, 572, 4422, 264, 4686, 242, 1375, 168, 79, 16, 0], [0, 19, 37, 430, 407, 2607, 660, 5148, 198, 3113, 165, 454, 67, 5, 2], [0, 19, 38, 419, 462, 2442, 990, 4686, 660, 2783, 330, 399, 78, 4, 2], [0, 19, 38, 420, 451, 2497, 825, 5016, 198, 3245, 0, 564, 23, 15, 1], [0, 19, 39, 408, 517, 2277, 1320, 4224, 1122, 2453, 495, 344, 89, 3, 2], [0, 19, 39, 409, 506, 2332, 1155, 4554, 660, 2915, 165, 509, 34, 14, 1], [0, 19, 40, 397, 572, 2112, 1650, 3762, 1584, 2123, 660, 289, 100, 2, 2], [0, 19, 40, 398, 561, 2167, 1485, 4092, 1122, 2585, 330, 454, 45, 13, 1], [0, 19, 41, 386, 627, 1947, 1980, 3300, 2046, 1793, 825, 234, 111, 1, 2], [0, 19, 41, 387, 616, 2002, 1815, 3630, 1584, 2255, 495, 399, 56, 12, 1], [0, 19, 41, 388, 605, 2057, 1650, 3960, 1122, 2717, 165, 564, 1, 23, 0], [0, 19, 42, 375, 682, 1782, 2310, 2838, 2508, 1463, 990, 179, 122, 0, 2], [0, 19, 42, 376, 671, 1837, 2145, 3168, 2046, 1925, 660, 344, 67, 11, 1], [0, 19, 42, 377, 660, 1892, 1980, 3498, 1584, 2387, 330, 509, 12, 22, 0], [0, 19, 43, 365, 726, 1672, 2475, 2706, 2508, 1595, 825, 289, 78, 10, 1], [0, 19, 43, 366, 715, 1727, 2310, 3036, 2046, 2057, 495, 454, 23, 21, 0], [0, 19, 44, 354, 781, 1507, 2805, 2244, 2970, 1265, 990, 234, 89, 9, 1], [0, 19, 44, 355, 770, 1562, 2640, 2574, 2508, 1727, 660, 399, 34, 20, 0], [0, 19, 45, 343, 836, 1342, 3135, 1782, 3432, 935, 1155, 179, 100, 8, 1], [0, 19, 45, 344, 825, 1397, 2970, 2112, 2970, 1397, 825, 344, 45, 19, 0], [0, 19, 46, 332, 891, 1177, 3465, 1320, 3894, 605, 1320, 124, 111, 7, 1], [0, 19, 46, 333, 880, 1232, 3300, 1650, 3432, 1067, 990, 289, 56, 18, 0], [0, 19, 47, 321, 946, 1012, 3795, 858, 4356, 275, 1485, 69, 122, 6, 1], [0, 19, 47, 322, 935, 1067, 3630, 1188, 3894, 737, 1155, 234, 67, 17, 0], [0, 19, 48, 311, 990, 902, 3960, 726, 4356, 407, 1320, 179, 78, 16, 0], [0, 19, 49, 300, 1045, 737, 4290, 264, 4818, 77, 1485, 124, 89, 15, 0], [0, 20, 27, 474, 297, 2772, 528, 5148, 330, 2948, 275, 410, 77, 4, 2], [0, 20, 28, 463, 352, 2607, 858, 4686, 792, 2618, 440, 355, 88, 3, 2], [0, 20, 28, 464, 341, 2662, 693, 5016, 330, 3080, 110, 520, 33, 14, 1], [0, 20, 29, 452, 407, 2442, 1188, 4224, 1254, 2288, 605, 300, 99, 2, 2], [0, 20, 29, 453, 396, 2497, 1023, 4554, 792, 2750, 275, 465, 44, 13, 1], [0, 20, 30, 441, 462, 2277, 1518, 3762, 1716, 1958, 770, 245, 110, 1, 2], [0, 20, 30, 442, 451, 2332, 1353, 4092, 1254, 2420, 440, 410, 55, 12, 1], [0, 20, 30, 443, 440, 2387, 1188, 4422, 792, 2882, 110, 575, 0, 23, 0], [0, 20, 31, 430, 517, 2112, 1848, 3300, 2178, 1628, 935, 190, 121, 0, 2], [0, 20, 31, 431, 506, 2167, 1683, 3630, 1716, 2090, 605, 355, 66, 11, 1], [0, 20, 31, 432, 495, 2222, 1518, 3960, 1254, 2552, 275, 520, 11, 22, 0], [0, 20, 32, 420, 561, 2002, 2013, 3168, 2178, 1760, 770, 300, 77, 10, 1], [0, 20, 32, 421, 550, 2057, 1848, 3498, 1716, 2222, 440, 465, 22, 21, 0], [0, 20, 33, 409, 616, 1837, 2343, 2706, 2640, 1430, 935, 245, 88, 9, 1], [0, 20, 33, 410, 605, 1892, 2178, 3036, 2178, 1892, 605, 410, 33, 20, 0], [0, 20, 34, 398, 671, 1672, 2673, 2244, 3102, 1100, 1100, 190, 99, 8, 1], [0, 20, 34, 399, 660, 1727, 2508, 2574, 2640, 1562, 770, 355, 44, 19, 0], [0, 20, 35, 387, 726, 1507, 3003, 1782, 3564, 770, 1265, 135, 110, 7, 1], [0, 20, 35, 388, 715, 1562, 2838, 2112, 3102, 1232, 935, 300, 55, 18, 0], [0, 20, 36, 376, 781, 1342, 3333, 1320, 4026, 440, 1430, 80, 121, 6, 1], [0, 20, 36, 377, 770, 1397, 3168, 1650, 3564, 902, 1100, 245, 66, 17, 0], [0, 20, 37, 365, 836, 1177, 3663, 858, 4488, 110, 1595, 25, 132, 5, 1], [0, 20, 37, 366, 825, 1232, 3498, 1188, 4026, 572, 1265, 190, 77, 16, 0], [0, 20, 38, 355, 880, 1067, 3828, 726, 4488, 242, 1430, 135, 88, 15, 0], [0, 21, 16, 529, 132, 3102, 66, 5610, 0, 3113, 220, 421, 76, 4, 2], [0, 21, 17, 518, 187, 2937, 396, 5148, 462, 2783, 385, 366, 87, 3, 2], [0, 21, 17, 519, 176, 2992, 231, 5478, 0, 3245, 55, 531, 32, 14, 1], [0, 21, 18, 507, 242, 2772, 726, 4686, 924, 2453, 550, 311, 98, 2, 2], [0, 21, 18, 508, 231, 2827, 561, 5016, 462, 2915, 220, 476, 43, 13, 1], [0, 21, 19, 496, 297, 2607, 1056, 4224, 1386, 2123, 715, 256, 109, 1, 2], [0, 21, 19, 497, 286, 2662, 891, 4554, 924, 2585, 385, 421, 54, 12, 1], [0, 21, 20, 485, 352, 2442, 1386, 3762, 1848, 1793, 880, 201, 120, 0, 2], [0, 21, 20, 486, 341, 2497, 1221, 4092, 1386, 2255, 550, 366, 65, 11, 1], [0, 21, 20, 487, 330, 2552, 1056, 4422, 924, 2717, 220, 531, 10, 22, 0], [0, 21, 21, 475, 396, 2332, 1551, 3630, 1848, 1925, 715, 311, 76, 10, 1], [0, 21, 21, 476, 385, 2387, 1386, 3960, 1386, 2387, 385, 476, 21, 21, 0], [0, 21, 22, 464, 451, 2167, 1881, 3168, 2310, 1595, 880, 256, 87, 9, 1], [0, 21, 22, 465, 440, 2222, 1716, 3498, 1848, 2057, 550, 421, 32, 20, 0], [0, 21, 23, 453, 506, 2002, 2211, 2706, 2772, 1265, 1045, 201, 98, 8, 1], [0, 21, 23, 454, 495, 2057, 2046, 3036, 2310, 1727, 715, 366, 43, 19, 0], [0, 21, 24, 442, 561, 1837, 2541, 2244, 3234, 935, 1210, 146, 109, 7, 1], [0, 21, 24, 443, 550, 1892, 2376, 2574, 2772, 1397, 880, 311, 54, 18, 0], [0, 21, 25, 431, 616, 1672, 2871, 1782, 3696, 605, 1375, 91, 120, 6, 1], [0, 21, 25, 432, 605, 1727, 2706, 2112, 3234, 1067, 1045, 256, 65, 17, 0], [0, 21, 26, 420, 671, 1507, 3201, 1320, 4158, 275, 1540, 36, 131, 5, 1], [0, 21, 26, 421, 660, 1562, 3036, 1650, 3696, 737, 1210, 201, 76, 16, 0], [0, 21, 27, 410, 715, 1397, 3366, 1188, 4158, 407, 1375, 146, 87, 15, 0], [0, 21, 28, 399, 770, 1232, 3696, 726, 4620, 77, 1540, 91, 98, 14, 0], [0, 22, 7, 562, 77, 3102, 264, 5148, 594, 2618, 495, 322, 97, 2, 2], [0, 22, 7, 563, 66, 3157, 99, 5478, 132, 3080, 165, 487, 42, 13, 1], [0, 22, 8, 551, 132, 2937, 594, 4686, 1056, 2288, 660, 267, 108, 1, 2], [0, 22, 8, 552, 121, 2992, 429, 5016, 594, 2750, 330, 432, 53, 12, 1], [0, 22, 9, 540, 187, 2772, 924, 4224, 1518, 1958, 825, 212, 119, 0, 2], [0, 22, 9, 541, 176, 2827, 759, 4554, 1056, 2420, 495, 377, 64, 11, 1], [0, 22, 9, 542, 165, 2882, 594, 4884, 594, 2882, 165, 542, 9, 22, 0], [0, 22, 10, 530, 231, 2662, 1089, 4092, 1518, 2090, 660, 322, 75, 10, 1], [0, 22, 10, 531, 220, 2717, 924, 4422, 1056, 2552, 330, 487, 20, 21, 0], [0, 22, 11, 519, 286, 2497, 1419, 3630, 1980, 1760, 825, 267, 86, 9, 1], [0, 22, 11, 520, 275, 2552, 1254, 3960, 1518, 2222, 495, 432, 31, 20, 0], [0, 22, 12, 508, 341, 2332, 1749, 3168, 2442, 1430, 990, 212, 97, 8, 1], [0, 22, 12, 509, 330, 2387, 1584, 3498, 1980, 1892, 660, 377, 42, 19, 0], [0, 22, 13, 497, 396, 2167, 2079, 2706, 2904, 1100, 1155, 157, 108, 7, 1], [0, 22, 13, 498, 385, 2222, 1914, 3036, 2442, 1562, 825, 322, 53, 18, 0], [0, 22, 14, 486, 451, 2002, 2409, 2244, 3366, 770, 1320, 102, 119, 6, 1], [0, 22, 14, 487, 440, 2057, 2244, 2574, 2904, 1232, 990, 267, 64, 17, 0], [0, 22, 15, 475, 506, 1837, 2739, 1782, 3828, 440, 1485, 47, 130, 5, 1], [0, 22, 15, 476, 495, 1892, 2574, 2112, 3366, 902, 1155, 212, 75, 16, 0], [0, 22, 16, 465, 550, 1727, 2904, 1650, 3828, 572, 1320, 157, 86, 15, 0], [0, 22, 17, 454, 605, 1562, 3234, 1188, 4290, 242, 1485, 102, 97, 14, 0], [0, 23, 0, 574, 121, 2827, 957, 4092, 1650, 1925, 770, 278, 85, 9, 1], [0, 23, 0, 575, 110, 2882, 792, 4422, 1188, 2387, 440, 443, 30, 20, 0], [0, 23, 1, 563, 176, 2662, 1287, 3630, 2112, 1595, 935, 223, 96, 8, 1], [0, 23, 1, 564, 165, 2717, 1122, 3960, 1650, 2057, 605, 388, 41, 19, 0], [0, 23, 2, 552, 231, 2497, 1617, 3168, 2574, 1265, 1100, 168, 107, 7, 1], [0, 23, 2, 553, 220, 2552, 1452, 3498, 2112, 1727, 770, 333, 52, 18, 0], [0, 23, 3, 541, 286, 2332, 1947, 2706, 3036, 935, 1265, 113, 118, 6, 1], [0, 23, 3, 542, 275, 2387, 1782, 3036, 2574, 1397, 935, 278, 63, 17, 0], [0, 23, 4, 530, 341, 2167, 2277, 2244, 3498, 605, 1430, 58, 129, 5, 1], [0, 23, 4, 531, 330, 2222, 2112, 2574, 3036, 1067, 1100, 223, 74, 16, 0], [0, 23, 5, 519, 396, 2002, 2607, 1782, 3960, 275, 1595, 3, 140, 4, 1], [0, 23, 5, 520, 385, 2057, 2442, 2112, 3498, 737, 1265, 168, 85, 15, 0], [0, 23, 6, 509, 440, 1892, 2772, 1650, 3960, 407, 1430, 113, 96, 14, 0], [0, 23, 7, 498, 495, 1727, 3102, 1188, 4422, 77, 1595, 58, 107, 13, 0]}
(15, 13312, 10) has 1117 possible DDs: {[0, 2, 91, 26, 687, 1738, 176, 5478, 198, 2926, 1507, 62, 411, 6, 2, 2], [0, 2, 92, 15, 742, 1573, 506, 5016, 660, 2596, 1672, 7, 422, 5, 2, 2], [0, 2, 92, 16, 731, 1628, 341, 5346, 198, 3058, 1342, 172, 367, 16, 1, 2], [0, 2, 93, 5, 786, 1463, 671, 4884, 660, 2728, 1507, 117, 378, 15, 1, 2], [0, 2, 93, 6, 775, 1518, 506, 5214, 198, 3190, 1177, 282, 323, 26, 0, 2], [0, 3, 81, 70, 577, 1903, 44, 5478, 330, 2761, 1617, 18, 421, 5, 2, 2], [0, 3, 82, 60, 621, 1793, 209, 5346, 330, 2893, 1452, 128, 377, 15, 1, 2], [0, 3, 83, 49, 676, 1628, 539, 4884, 792, 2563, 1617, 73, 388, 14, 1, 2], [0, 3, 83, 50, 665, 1683, 374, 5214, 330, 3025, 1287, 238, 333, 25, 0, 2], [0, 3, 84, 38, 731, 1463, 869, 4422, 1254, 2233, 1782, 18, 399, 13, 1, 2], [0, 3, 84, 39, 720, 1518, 704, 4752, 792, 2695, 1452, 183, 344, 24, 0, 2], [0, 3, 85, 28, 775, 1353, 1034, 4290, 1254, 2365, 1617, 128, 355, 23, 0, 2], [0, 3, 85, 31, 743, 1507, 594, 5115, 198, 3289, 1089, 293, 355, 1, 8, 1], [0, 3, 86, 17, 830, 1188, 1364, 3828, 1716, 2035, 1782, 73, 366, 22, 0, 2], [0, 3, 86, 20, 798, 1342, 924, 4653, 660, 2959, 1254, 238, 366, 0, 8, 1], [0, 3, 86, 21, 787, 1397, 759, 4983, 198, 3421, 924, 403, 311, 11, 7, 1], [0, 3, 87, 6, 885, 1023, 1694, 3366, 2178, 1705, 1947, 18, 377, 21, 0, 2], [0, 3, 87, 10, 842, 1232, 1089, 4521, 660, 3091, 1089, 348, 322, 10, 7, 1], [0, 3, 87, 11, 831, 1287, 924, 4851, 198, 3553, 759, 513, 267, 21, 6, 1], [0, 3, 88, 0, 886, 1122, 1254, 4389, 660, 3223, 924, 458, 278, 20, 6, 1], [0, 3, 88, 1, 875, 1177, 1089, 4719, 198, 3685, 594, 623, 223, 31, 5, 1], [0, 4, 72, 104, 511, 1958, 77, 5346, 462, 2728, 1562, 84, 387, 14, 1, 2], [0, 4, 73, 93, 566, 1793, 407, 4884, 924, 2398, 1727, 29, 398, 13, 1, 2], [0, 4, 73, 94, 555, 1848, 242, 5214, 462, 2860, 1397, 194, 343, 24, 0, 2], [0, 4, 74, 83, 610, 1683, 572, 4752, 924, 2530, 1562, 139, 354, 23, 0, 2], [0, 4, 75, 72, 665, 1518, 902, 4290, 1386, 2200, 1727, 84, 365, 22, 0, 2], [0, 4, 75, 75, 633, 1672, 462, 5115, 330, 3124, 1199, 249, 365, 0, 8, 1], [0, 4, 76, 61, 720, 1353, 1232, 3828, 1848, 1870, 1892, 29, 376, 21, 0, 2], [0, 4, 76, 65, 677, 1562, 627, 4983, 330, 3256, 1034, 359, 321, 10, 7, 1], [0, 4, 77, 54, 732, 1397, 957, 4521, 792, 2926, 1199, 304, 332, 9, 7, 1], [0, 4, 77, 55, 721, 1452, 792, 4851, 330, 3388, 869, 469, 277, 20, 6, 1], [0, 4, 78, 43, 787, 1232, 1287, 4059, 1254, 2596, 1364, 249, 343, 8, 7, 1], [0, 4, 78, 44, 776, 1287, 1122, 4389, 792, 3058, 1034, 414, 288, 19, 6, 1], [0, 4, 78, 45, 765, 1342, 957, 4719, 330, 3520, 704, 579, 233, 30, 5, 1], [0, 4, 79, 32, 842, 1067, 1617, 3597, 1716, 2266, 1529, 194, 354, 7, 7, 1], [0, 4, 79, 33, 831, 1122, 1452, 3927, 1254, 2728, 1199, 359, 299, 18, 6, 1], [0, 4, 79, 34, 820, 1177, 1287, 4257, 792, 3190, 869, 524, 244, 29, 5, 1], [0, 4, 79, 35, 809, 1232, 1122, 4587, 330, 3652, 539, 689, 189, 40, 4, 1], [0, 4, 80, 21, 897, 902, 1947, 3135, 2178, 1936, 1694, 139, 365, 6, 7, 1], [0, 4, 80, 22, 886, 957, 1782, 3465, 1716, 2398, 1364, 304, 310, 17, 6, 1], [0, 4, 80, 23, 875, 1012, 1617, 3795, 1254, 2860, 1034, 469, 255, 28, 5, 1], [0, 4, 80, 24, 864, 1067, 1452, 4125, 792, 3322, 704, 634, 200, 39, 4, 1], [0, 4, 80, 25, 853, 1122, 1287, 4455, 330, 3784, 374, 799, 145, 50, 3, 1], [0, 4, 80, 26, 843, 1166, 1177, 4620, 198, 3784, 506, 634, 255, 6, 13, 0], [0, 4, 81, 10, 952, 737, 2277, 2673, 2640, 1606, 1859, 84, 376, 5, 7, 1], [0, 4, 81, 11, 941, 792, 2112, 3003, 2178, 2068, 1529, 249, 321, 16, 6, 1], [0, 4, 81, 12, 930, 847, 1947, 3333, 1716, 2530, 1199, 414, 266, 27, 5, 1], [0, 4, 81, 13, 919, 902, 1782, 3663, 1254, 2992, 869, 579, 211, 38, 4, 1], [0, 4, 81, 14, 908, 957, 1617, 3993, 792, 3454, 539, 744, 156, 49, 3, 1], [0, 4, 81, 15, 897, 1012, 1452, 4323, 330, 3916, 209, 909, 101, 60, 2, 1], [0, 4, 81, 15, 898, 1001, 1507, 4158, 660, 3454, 671, 579, 266, 5, 13, 0], [0, 4, 81, 16, 887, 1056, 1342, 4488, 198, 3916, 341, 744, 211, 16, 12, 0], [0, 4, 82, 0, 996, 627, 2442, 2541, 2640, 1738, 1694, 194, 332, 15, 6, 1], [0, 4, 82, 1, 985, 682, 2277, 2871, 2178, 2200, 1364, 359, 277, 26, 5, 1], [0, 4, 82, 2, 974, 737, 2112, 3201, 1716, 2662, 1034, 524, 222, 37, 4, 1], [0, 4, 82, 3, 963, 792, 1947, 3531, 1254, 3124, 704, 689, 167, 48, 3, 1], [0, 4, 82, 4, 952, 847, 1782, 3861, 792, 3586, 374, 854, 112, 59, 2, 1], [0, 4, 82, 4, 953, 836, 1837, 3696, 1122, 3124, 836, 524, 277, 4, 13, 0], [0, 4, 82, 5, 941, 902, 1617, 4191, 330, 4048, 44, 1019, 57, 70, 1, 1], [0, 4, 82, 5, 942, 891, 1672, 4026, 660, 3586, 506, 689, 222, 15, 12, 0], [0, 4, 82, 6, 931, 946, 1507, 4356, 198, 4048, 176, 854, 167, 26, 11, 0], [0, 5, 63, 138, 445, 2013, 110, 5214, 594, 2695, 1507, 150, 353, 23, 0, 2], [0, 5, 64, 127, 500, 1848, 440, 4752, 1056, 2365, 1672, 95, 364, 22, 0, 2], [0, 5, 64, 130, 468, 2002, 0, 5577, 0, 3289, 1144, 260, 364, 0, 8, 1], [0, 5, 65, 116, 555, 1683, 770, 4290, 1518, 2035, 1837, 40, 375, 21, 0, 2], [0, 5, 65, 120, 512, 1892, 165, 5445, 0, 3421, 979, 370, 320, 10, 7, 1], [0, 5, 66, 109, 567, 1727, 495, 4983, 462, 3091, 1144, 315, 331, 9, 7, 1], [0, 5, 66, 110, 556, 1782, 330, 5313, 0, 3553, 814, 480, 276, 20, 6, 1], [0, 5, 67, 98, 622, 1562, 825, 4521, 924, 2761, 1309, 260, 342, 8, 7, 1], [0, 5, 67, 99, 611, 1617, 660, 4851, 462, 3223, 979, 425, 287, 19, 6, 1], [0, 5, 67, 100, 600, 1672, 495, 5181, 0, 3685, 649, 590, 232, 30, 5, 1], [0, 5, 68, 87, 677, 1397, 1155, 4059, 1386, 2431, 1474, 205, 353, 7, 7, 1], [0, 5, 68, 88, 666, 1452, 990, 4389, 924, 2893, 1144, 370, 298, 18, 6, 1], [0, 5, 68, 89, 655, 1507, 825, 4719, 462, 3355, 814, 535, 243, 29, 5, 1], [0, 5, 68, 90, 644, 1562, 660, 5049, 0, 3817, 484, 700, 188, 40, 4, 1], [0, 5, 69, 76, 732, 1232, 1485, 3597, 1848, 2101, 1639, 150, 364, 6, 7, 1], [0, 5, 69, 77, 721, 1287, 1320, 3927, 1386, 2563, 1309, 315, 309, 17, 6, 1], [0, 5, 69, 78, 710, 1342, 1155, 4257, 924, 3025, 979, 480, 254, 28, 5, 1], [0, 5, 69, 79, 699, 1397, 990, 4587, 462, 3487, 649, 645, 199, 39, 4, 1], [0, 5, 69, 80, 688, 1452, 825, 4917, 0, 3949, 319, 810, 144, 50, 3, 1], [0, 5, 70, 65, 787, 1067, 1815, 3135, 2310, 1771, 1804, 95, 375, 5, 7, 1], [0, 5, 70, 66, 776, 1122, 1650, 3465, 1848, 2233, 1474, 260, 320, 16, 6, 1], [0, 5, 70, 67, 765, 1177, 1485, 3795, 1386, 2695, 1144, 425, 265, 27, 5, 1], [0, 5, 70, 68, 754, 1232, 1320, 4125, 924, 3157, 814, 590, 210, 38, 4, 1], [0, 5, 70, 69, 743, 1287, 1155, 4455, 462, 3619, 484, 755, 155, 49, 3, 1], [0, 5, 70, 70, 732, 1342, 990, 4785, 0, 4081, 154, 920, 100, 60, 2, 1], [0, 5, 70, 70, 733, 1331, 1045, 4620, 330, 3619, 616, 590, 265, 5, 13, 0], [0, 5, 71, 54, 842, 902, 2145, 2673, 2772, 1441, 1969, 40, 386, 4, 7, 1], [0, 5, 71, 55, 831, 957, 1980, 3003, 2310, 1903, 1639, 205, 331, 15, 6, 1], [0, 5, 71, 56, 820, 1012, 1815, 3333, 1848, 2365, 1309, 370, 276, 26, 5, 1], [0, 5, 71, 57, 809, 1067, 1650, 3663, 1386, 2827, 979, 535, 221, 37, 4, 1], [0, 5, 71, 58, 798, 1122, 1485, 3993, 924, 3289, 649, 700, 166, 48, 3, 1], [0, 5, 71, 59, 787, 1177, 1320, 4323, 462, 3751, 319, 865, 111, 59, 2, 1], [0, 5, 71, 59, 788, 1166, 1375, 4158, 792, 3289, 781, 535, 276, 4, 13, 0], [0, 5, 71, 60, 777, 1221, 1210, 4488, 330, 3751, 451, 700, 221, 15, 12, 0], [0, 5, 72, 44, 886, 792, 2310, 2541, 2772, 1573, 1804, 150, 342, 14, 6, 1], [0, 5, 72, 45, 875, 847, 2145, 2871, 2310, 2035, 1474, 315, 287, 25, 5, 1], [0, 5, 72, 46, 864, 902, 1980, 3201, 1848, 2497, 1144, 480, 232, 36, 4, 1], [0, 5, 72, 47, 853, 957, 1815, 3531, 1386, 2959, 814, 645, 177, 47, 3, 1], [0, 5, 72, 48, 842, 1012, 1650, 3861, 924, 3421, 484, 810, 122, 58, 2, 1], [0, 5, 72, 48, 843, 1001, 1705, 3696, 1254, 2959, 946, 480, 287, 3, 13, 0], [0, 5, 72, 49, 831, 1067, 1485, 4191, 462, 3883, 154, 975, 67, 69, 1, 1], [0, 5, 72, 49, 832, 1056, 1540, 4026, 792, 3421, 616, 645, 232, 14, 12, 0], [0, 5, 72, 50, 821, 1111, 1375, 4356, 330, 3883, 286, 810, 177, 25, 11, 0], [0, 5, 73, 33, 941, 627, 2640, 2079, 3234, 1243, 1969, 95, 353, 13, 6, 1], [0, 5, 73, 34, 930, 682, 2475, 2409, 2772, 1705, 1639, 260, 298, 24, 5, 1], [0, 5, 73, 35, 919, 737, 2310, 2739, 2310, 2167, 1309, 425, 243, 35, 4, 1], [0, 5, 73, 36, 908, 792, 2145, 3069, 1848, 2629, 979, 590, 188, 46, 3, 1], [0, 5, 73, 37, 897, 847, 1980, 3399, 1386, 3091, 649, 755, 133, 57, 2, 1], [0, 5, 73, 37, 898, 836, 2035, 3234, 1716, 2629, 1111, 425, 298, 2, 13, 0], [0, 5, 73, 38, 886, 902, 1815, 3729, 924, 3553, 319, 920, 78, 68, 1, 1], [0, 5, 73, 38, 887, 891, 1870, 3564, 1254, 3091, 781, 590, 243, 13, 12, 0], [0, 5, 73, 39, 876, 946, 1705, 3894, 792, 3553, 451, 755, 188, 24, 11, 0], [0, 5, 73, 40, 865, 1001, 1540, 4224, 330, 4015, 121, 920, 133, 35, 10, 0], [0, 5, 74, 22, 996, 462, 2970, 1617, 3696, 913, 2134, 40, 364, 12, 6, 1], [0, 5, 74, 23, 985, 517, 2805, 1947, 3234, 1375, 1804, 205, 309, 23, 5, 1], [0, 5, 74, 24, 974, 572, 2640, 2277, 2772, 1837, 1474, 370, 254, 34, 4, 1], [0, 5, 74, 25, 963, 627, 2475, 2607, 2310, 2299, 1144, 535, 199, 45, 3, 1], [0, 5, 74, 26, 952, 682, 2310, 2937, 1848, 2761, 814, 700, 144, 56, 2, 1], [0, 5, 74, 26, 953, 671, 2365, 2772, 2178, 2299, 1276, 370, 309, 1, 13, 0], [0, 5, 74, 27, 941, 737, 2145, 3267, 1386, 3223, 484, 865, 89, 67, 1, 1], [0, 5, 74, 27, 942, 726, 2200, 3102, 1716, 2761, 946, 535, 254, 12, 12, 0], [0, 5, 74, 28, 930, 792, 1980, 3597, 924, 3685, 154, 1030, 34, 78, 0, 1], [0, 5, 74, 28, 931, 781, 2035, 3432, 1254, 3223, 616, 700, 199, 23, 11, 0], [0, 5, 74, 29, 920, 836, 1870, 3762, 792, 3685, 286, 865, 144, 34, 10, 0], [0, 5, 75, 12, 1040, 352, 3135, 1485, 3696, 1045, 1969, 150, 320, 22, 5, 1], [0, 5, 75, 13, 1029, 407, 2970, 1815, 3234, 1507, 1639, 315, 265, 33, 4, 1], [0, 5, 75, 14, 1018, 462, 2805, 2145, 2772, 1969, 1309, 480, 210, 44, 3, 1], [0, 5, 75, 15, 1007, 517, 2640, 2475, 2310, 2431, 979, 645, 155, 55, 2, 1], [0, 5, 75, 15, 1008, 506, 2695, 2310, 2640, 1969, 1441, 315, 320, 0, 13, 0], [0, 5, 75, 16, 996, 572, 2475, 2805, 1848, 2893, 649, 810, 100, 66, 1, 1], [0, 5, 75, 16, 997, 561, 2530, 2640, 2178, 2431, 1111, 480, 265, 11, 12, 0], [0, 5, 75, 17, 985, 627, 2310, 3135, 1386, 3355, 319, 975, 45, 77, 0, 1], [0, 5, 75, 17, 986, 616, 2365, 2970, 1716, 2893, 781, 645, 210, 22, 11, 0], [0, 5, 75, 18, 975, 671, 2200, 3300, 1254, 3355, 451, 810, 155, 33, 10, 0], [0, 5, 75, 19, 964, 726, 2035, 3630, 792, 3817, 121, 975, 100, 44, 9, 0], [0, 5, 76, 1, 1095, 187, 3465, 1023, 4158, 715, 2134, 95, 331, 21, 5, 1], [0, 5, 76, 2, 1084, 242, 3300, 1353, 3696, 1177, 1804, 260, 276, 32, 4, 1], [0, 5, 76, 3, 1073, 297, 3135, 1683, 3234, 1639, 1474, 425, 221, 43, 3, 1], [0, 5, 76, 4, 1062, 352, 2970, 2013, 2772, 2101, 1144, 590, 166, 54, 2, 1], [0, 5, 76, 5, 1051, 407, 2805, 2343, 2310, 2563, 814, 755, 111, 65, 1, 1], [0, 5, 76, 5, 1052, 396, 2860, 2178, 2640, 2101, 1276, 425, 276, 10, 12, 0], [0, 5, 76, 6, 1040, 462, 2640, 2673, 1848, 3025, 484, 920, 56, 76, 0, 1], [0, 5, 76, 6, 1041, 451, 2695, 2508, 2178, 2563, 946, 590, 221, 21, 11, 0], [0, 5, 76, 7, 1030, 506, 2530, 2838, 1716, 3025, 616, 755, 166, 32, 10, 0], [0, 5, 76, 8, 1019, 561, 2365, 3168, 1254, 3487, 286, 920, 111, 43, 9, 0], [0, 6, 54, 171, 390, 2013, 308, 4752, 1188, 2200, 1782, 51, 374, 21, 0, 2], [0, 6, 55, 164, 402, 2057, 33, 5445, 132, 3256, 1089, 326, 330, 9, 7, 1], [0, 6, 56, 153, 457, 1892, 363, 4983, 594, 2926, 1254, 271, 341, 8, 7, 1], [0, 6, 56, 154, 446, 1947, 198, 5313, 132, 3388, 924, 436, 286, 19, 6, 1], [0, 6, 57, 142, 512, 1727, 693, 4521, 1056, 2596, 1419, 216, 352, 7, 7, 1], [0, 6, 57, 143, 501, 1782, 528, 4851, 594, 3058, 1089, 381, 297, 18, 6, 1], [0, 6, 57, 144, 490, 1837, 363, 5181, 132, 3520, 759, 546, 242, 29, 5, 1], [0, 6, 58, 131, 567, 1562, 1023, 4059, 1518, 2266, 1584, 161, 363, 6, 7, 1], [0, 6, 58, 132, 556, 1617, 858, 4389, 1056, 2728, 1254, 326, 308, 17, 6, 1], [0, 6, 58, 133, 545, 1672, 693, 4719, 594, 3190, 924, 491, 253, 28, 5, 1], [0, 6, 58, 134, 534, 1727, 528, 5049, 132, 3652, 594, 656, 198, 39, 4, 1], [0, 6, 59, 120, 622, 1397, 1353, 3597, 1980, 1936, 1749, 106, 374, 5, 7, 1], [0, 6, 59, 121, 611, 1452, 1188, 3927, 1518, 2398, 1419, 271, 319, 16, 6, 1], [0, 6, 59, 122, 600, 1507, 1023, 4257, 1056, 2860, 1089, 436, 264, 27, 5, 1], [0, 6, 59, 123, 589, 1562, 858, 4587, 594, 3322, 759, 601, 209, 38, 4, 1], [0, 6, 59, 124, 578, 1617, 693, 4917, 132, 3784, 429, 766, 154, 49, 3, 1], [0, 6, 59, 125, 568, 1661, 583, 5082, 0, 3784, 561, 601, 264, 5, 13, 0], [0, 6, 60, 109, 677, 1232, 1683, 3135, 2442, 1606, 1914, 51, 385, 4, 7, 1], [0, 6, 60, 110, 666, 1287, 1518, 3465, 1980, 2068, 1584, 216, 330, 15, 6, 1], [0, 6, 60, 111, 655, 1342, 1353, 3795, 1518, 2530, 1254, 381, 275, 26, 5, 1], [0, 6, 60, 112, 644, 1397, 1188, 4125, 1056, 2992, 924, 546, 220, 37, 4, 1], [0, 6, 60, 113, 633, 1452, 1023, 4455, 594, 3454, 594, 711, 165, 48, 3, 1], [0, 6, 60, 114, 622, 1507, 858, 4785, 132, 3916, 264, 876, 110, 59, 2, 1], [0, 6, 60, 114, 623, 1496, 913, 4620, 462, 3454, 726, 546, 275, 4, 13, 0], [0, 6, 60, 115, 612, 1551, 748, 4950, 0, 3916, 396, 711, 220, 15, 12, 0], [0, 6, 61, 99, 721, 1122, 1848, 3003, 2442, 1738, 1749, 161, 341, 14, 6, 1], [0, 6, 61, 100, 710, 1177, 1683, 3333, 1980, 2200, 1419, 326, 286, 25, 5, 1], [0, 6, 61, 101, 699, 1232, 1518, 3663, 1518, 2662, 1089, 491, 231, 36, 4, 1], [0, 6, 61, 102, 688, 1287, 1353, 3993, 1056, 3124, 759, 656, 176, 47, 3, 1], [0, 6, 61, 103, 677, 1342, 1188, 4323, 594, 3586, 429, 821, 121, 58, 2, 1], [0, 6, 61, 103, 678, 1331, 1243, 4158, 924, 3124, 891, 491, 286, 3, 13, 0], [0, 6, 61, 104, 666, 1397, 1023, 4653, 132, 4048, 99, 986, 66, 69, 1, 1], [0, 6, 61, 104, 667, 1386, 1078, 4488, 462, 3586, 561, 656, 231, 14, 12, 0], [0, 6, 61, 105, 656, 1441, 913, 4818, 0, 4048, 231, 821, 176, 25, 11, 0], [0, 6, 62, 88, 776, 957, 2178, 2541, 2904, 1408, 1914, 106, 352, 13, 6, 1], [0, 6, 62, 89, 765, 1012, 2013, 2871, 2442, 1870, 1584, 271, 297, 24, 5, 1], [0, 6, 62, 90, 754, 1067, 1848, 3201, 1980, 2332, 1254, 436, 242, 35, 4, 1], [0, 6, 62, 91, 743, 1122, 1683, 3531, 1518, 2794, 924, 601, 187, 46, 3, 1], [0, 6, 62, 92, 732, 1177, 1518, 3861, 1056, 3256, 594, 766, 132, 57, 2, 1], [0, 6, 62, 92, 733, 1166, 1573, 3696, 1386, 2794, 1056, 436, 297, 2, 13, 0], [0, 6, 62, 93, 721, 1232, 1353, 4191, 594, 3718, 264, 931, 77, 68, 1, 1], [0, 6, 62, 93, 722, 1221, 1408, 4026, 924, 3256, 726, 601, 242, 13, 12, 0], [0, 6, 62, 94, 711, 1276, 1243, 4356, 462, 3718, 396, 766, 187, 24, 11, 0], [0, 6, 62, 95, 700, 1331, 1078, 4686, 0, 4180, 66, 931, 132, 35, 10, 0], [0, 6, 63, 77, 831, 792, 2508, 2079, 3366, 1078, 2079, 51, 363, 12, 6, 1], [0, 6, 63, 78, 820, 847, 2343, 2409, 2904, 1540, 1749, 216, 308, 23, 5, 1], [0, 6, 63, 79, 809, 902, 2178, 2739, 2442, 2002, 1419, 381, 253, 34, 4, 1], [0, 6, 63, 80, 798, 957, 2013, 3069, 1980, 2464, 1089, 546, 198, 45, 3, 1], [0, 6, 63, 81, 787, 1012, 1848, 3399, 1518, 2926, 759, 711, 143, 56, 2, 1], [0, 6, 63, 81, 788, 1001, 1903, 3234, 1848, 2464, 1221, 381, 308, 1, 13, 0], [0, 6, 63, 82, 776, 1067, 1683, 3729, 1056, 3388, 429, 876, 88, 67, 1, 1], [0, 6, 63, 82, 777, 1056, 1738, 3564, 1386, 2926, 891, 546, 253, 12, 12, 0], [0, 6, 63, 83, 765, 1122, 1518, 4059, 594, 3850, 99, 1041, 33, 78, 0, 1], [0, 6, 63, 83, 766, 1111, 1573, 3894, 924, 3388, 561, 711, 198, 23, 11, 0], [0, 6, 63, 84, 755, 1166, 1408, 4224, 462, 3850, 231, 876, 143, 34, 10, 0], [0, 6, 64, 67, 875, 682, 2673, 1947, 3366, 1210, 1914, 161, 319, 22, 5, 1], [0, 6, 64, 68, 864, 737, 2508, 2277, 2904, 1672, 1584, 326, 264, 33, 4, 1], [0, 6, 64, 69, 853, 792, 2343, 2607, 2442, 2134, 1254, 491, 209, 44, 3, 1], [0, 6, 64, 70, 842, 847, 2178, 2937, 1980, 2596, 924, 656, 154, 55, 2, 1], [0, 6, 64, 70, 843, 836, 2233, 2772, 2310, 2134, 1386, 326, 319, 0, 13, 0], [0, 6, 64, 71, 831, 902, 2013, 3267, 1518, 3058, 594, 821, 99, 66, 1, 1], [0, 6, 64, 71, 832, 891, 2068, 3102, 1848, 2596, 1056, 491, 264, 11, 12, 0], [0, 6, 64, 72, 820, 957, 1848, 3597, 1056, 3520, 264, 986, 44, 77, 0, 1], [0, 6, 64, 72, 821, 946, 1903, 3432, 1386, 3058, 726, 656, 209, 22, 11, 0], [0, 6, 64, 73, 810, 1001, 1738, 3762, 924, 3520, 396, 821, 154, 33, 10, 0], [0, 6, 64, 74, 799, 1056, 1573, 4092, 462, 3982, 66, 986, 99, 44, 9, 0], [0, 6, 65, 56, 930, 517, 3003, 1485, 3828, 880, 2079, 106, 330, 21, 5, 1], [0, 6, 65, 57, 919, 572, 2838, 1815, 3366, 1342, 1749, 271, 275, 32, 4, 1], [0, 6, 65, 58, 908, 627, 2673, 2145, 2904, 1804, 1419, 436, 220, 43, 3, 1], [0, 6, 65, 59, 897, 682, 2508, 2475, 2442, 2266, 1089, 601, 165, 54, 2, 1], [0, 6, 65, 60, 886, 737, 2343, 2805, 1980, 2728, 759, 766, 110, 65, 1, 1], [0, 6, 65, 60, 887, 726, 2398, 2640, 2310, 2266, 1221, 436, 275, 10, 12, 0], [0, 6, 65, 61, 875, 792, 2178, 3135, 1518, 3190, 429, 931, 55, 76, 0, 1], [0, 6, 65, 61, 876, 781, 2233, 2970, 1848, 2728, 891, 601, 220, 21, 11, 0], [0, 6, 65, 62, 865, 836, 2068, 3300, 1386, 3190, 561, 766, 165, 32, 10, 0], [0, 6, 65, 63, 854, 891, 1903, 3630, 924, 3652, 231, 931, 110, 43, 9, 0], [0, 6, 66, 45, 985, 352, 3333, 1023, 4290, 550, 2244, 51, 341, 20, 5, 1], [0, 6, 66, 46, 974, 407, 3168, 1353, 3828, 1012, 1914, 216, 286, 31, 4, 1], [0, 6, 66, 47, 963, 462, 3003, 1683, 3366, 1474, 1584, 381, 231, 42, 3, 1], [0, 6, 66, 48, 952, 517, 2838, 2013, 2904, 1936, 1254, 546, 176, 53, 2, 1], [0, 6, 66, 49, 941, 572, 2673, 2343, 2442, 2398, 924, 711, 121, 64, 1, 1], [0, 6, 66, 49, 942, 561, 2728, 2178, 2772, 1936, 1386, 381, 286, 9, 12, 0], [0, 6, 66, 50, 930, 627, 2508, 2673, 1980, 2860, 594, 876, 66, 75, 0, 1], [0, 6, 66, 50, 931, 616, 2563, 2508, 2310, 2398, 1056, 546, 231, 20, 11, 0], [0, 6, 66, 51, 920, 671, 2398, 2838, 1848, 2860, 726, 711, 176, 31, 10, 0], [0, 6, 66, 52, 909, 726, 2233, 3168, 1386, 3322, 396, 876, 121, 42, 9, 0], [0, 6, 66, 53, 898, 781, 2068, 3498, 924, 3784, 66, 1041, 66, 53, 8, 0], [0, 6, 67, 35, 1029, 242, 3498, 891, 4290, 682, 2079, 161, 297, 30, 4, 1], [0, 6, 67, 36, 1018, 297, 3333, 1221, 3828, 1144, 1749, 326, 242, 41, 3, 1], [0, 6, 67, 37, 1007, 352, 3168, 1551, 3366, 1606, 1419, 491, 187, 52, 2, 1], [0, 6, 67, 38, 996, 407, 3003, 1881, 2904, 2068, 1089, 656, 132, 63, 1, 1], [0, 6, 67, 38, 997, 396, 3058, 1716, 3234, 1606, 1551, 326, 297, 8, 12, 0], [0, 6, 67, 39, 985, 462, 2838, 2211, 2442, 2530, 759, 821, 77, 74, 0, 1], [0, 6, 67, 39, 986, 451, 2893, 2046, 2772, 2068, 1221, 491, 242, 19, 11, 0], [0, 6, 67, 40, 975, 506, 2728, 2376, 2310, 2530, 891, 656, 187, 30, 10, 0], [0, 6, 67, 41, 964, 561, 2563, 2706, 1848, 2992, 561, 821, 132, 41, 9, 0], [0, 6, 67, 42, 953, 616, 2398, 3036, 1386, 3454, 231, 986, 77, 52, 8, 0], [0, 6, 68, 24, 1084, 77, 3828, 429, 4752, 352, 2244, 106, 308, 29, 4, 1], [0, 6, 68, 25, 1073, 132, 3663, 759, 4290, 814, 1914, 271, 253, 40, 3, 1], [0, 6, 68, 26, 1062, 187, 3498, 1089, 3828, 1276, 1584, 436, 198, 51, 2, 1], [0, 6, 68, 27, 1051, 242, 3333, 1419, 3366, 1738, 1254, 601, 143, 62, 1, 1], [0, 6, 68, 27, 1052, 231, 3388, 1254, 3696, 1276, 1716, 271, 308, 7, 12, 0], [0, 6, 68, 28, 1040, 297, 3168, 1749, 2904, 2200, 924, 766, 88, 73, 0, 1], [0, 6, 68, 28, 1041, 286, 3223, 1584, 3234, 1738, 1386, 436, 253, 18, 11, 0], [0, 6, 68, 29, 1030, 341, 3058, 1914, 2772, 2200, 1056, 601, 198, 29, 10, 0], [0, 6, 68, 30, 1019, 396, 2893, 2244, 2310, 2662, 726, 766, 143, 40, 9, 0], [0, 6, 68, 31, 1008, 451, 2728, 2574, 1848, 3124, 396, 931, 88, 51, 8, 0], [0, 6, 68, 32, 997, 506, 2563, 2904, 1386, 3586, 66, 1096, 33, 62, 7, 0], [0, 6, 69, 15, 1117, 22, 3828, 627, 4290, 946, 1749, 381, 209, 50, 2, 1], [0, 6, 69, 16, 1106, 77, 3663, 957, 3828, 1408, 1419, 546, 154, 61, 1, 1], [0, 6, 69, 16, 1107, 66, 3718, 792, 4158, 946, 1881, 216, 319, 6, 12, 0], [0, 6, 69, 17, 1095, 132, 3498, 1287, 3366, 1870, 1089, 711, 99, 72, 0, 1], [0, 6, 69, 17, 1096, 121, 3553, 1122, 3696, 1408, 1551, 381, 264, 17, 11, 0], [0, 6, 69, 18, 1085, 176, 3388, 1452, 3234, 1870, 1221, 546, 209, 28, 10, 0], [0, 6, 69, 19, 1074, 231, 3223, 1782, 2772, 2332, 891, 711, 154, 39, 9, 0], [0, 6, 69, 20, 1063, 286, 3058, 2112, 2310, 2794, 561, 876, 99, 50, 8, 0], [0, 6, 69, 21, 1052, 341, 2893, 2442, 1848, 3256, 231, 1041, 44, 61, 7, 0], [0, 6, 70, 7, 1140, 11, 3718, 990, 3696, 1540, 1386, 491, 220, 27, 10, 0], [0, 6, 70, 8, 1129, 66, 3553, 1320, 3234, 2002, 1056, 656, 165, 38, 9, 0], [0, 6, 70, 9, 1118, 121, 3388, 1650, 2772, 2464, 726, 821, 110, 49, 8, 0], [0, 6, 70, 10, 1107, 176, 3223, 1980, 2310, 2926, 396, 986, 55, 60, 7, 0], [0, 6, 70, 11, 1096, 231, 3058, 2310, 1848, 3388, 66, 1151, 0, 71, 6, 0], [0, 6, 71, 0, 1151, 66, 3388, 1848, 2310, 3058, 231, 1096, 11, 70, 6, 0], [0, 7, 44, 215, 280, 2178, 176, 4752, 1320, 2035, 1892, 7, 384, 20, 0, 2], [0, 7, 46, 197, 347, 2057, 231, 4983, 726, 2761, 1364, 227, 351, 7, 7, 1], [0, 7, 46, 198, 336, 2112, 66, 5313, 264, 3223, 1034, 392, 296, 18, 6, 1], [0, 7, 47, 186, 402, 1892, 561, 4521, 1188, 2431, 1529, 172, 362, 6, 7, 1], [0, 7, 47, 187, 391, 1947, 396, 4851, 726, 2893, 1199, 337, 307, 17, 6, 1], [0, 7, 47, 188, 380, 2002, 231, 5181, 264, 3355, 869, 502, 252, 28, 5, 1], [0, 7, 48, 175, 457, 1727, 891, 4059, 1650, 2101, 1694, 117, 373, 5, 7, 1], [0, 7, 48, 176, 446, 1782, 726, 4389, 1188, 2563, 1364, 282, 318, 16, 6, 1], [0, 7, 48, 177, 435, 1837, 561, 4719, 726, 3025, 1034, 447, 263, 27, 5, 1], [0, 7, 48, 178, 424, 1892, 396, 5049, 264, 3487, 704, 612, 208, 38, 4, 1], [0, 7, 49, 164, 512, 1562, 1221, 3597, 2112, 1771, 1859, 62, 384, 4, 7, 1], [0, 7, 49, 165, 501, 1617, 1056, 3927, 1650, 2233, 1529, 227, 329, 15, 6, 1], [0, 7, 49, 166, 490, 1672, 891, 4257, 1188, 2695, 1199, 392, 274, 26, 5, 1], [0, 7, 49, 167, 479, 1727, 726, 4587, 726, 3157, 869, 557, 219, 37, 4, 1], [0, 7, 49, 168, 468, 1782, 561, 4917, 264, 3619, 539, 722, 164, 48, 3, 1], [0, 7, 49, 169, 458, 1826, 451, 5082, 132, 3619, 671, 557, 274, 4, 13, 0], [0, 7, 50, 153, 567, 1397, 1551, 3135, 2574, 1441, 2024, 7, 395, 3, 7, 1], [0, 7, 50, 154, 556, 1452, 1386, 3465, 2112, 1903, 1694, 172, 340, 14, 6, 1], [0, 7, 50, 155, 545, 1507, 1221, 3795, 1650, 2365, 1364, 337, 285, 25, 5, 1], [0, 7, 50, 156, 534, 1562, 1056, 4125, 1188, 2827, 1034, 502, 230, 36, 4, 1], [0, 7, 50, 157, 523, 1617, 891, 4455, 726, 3289, 704, 667, 175, 47, 3, 1], [0, 7, 50, 158, 512, 1672, 726, 4785, 264, 3751, 374, 832, 120, 58, 2, 1], [0, 7, 50, 158, 513, 1661, 781, 4620, 594, 3289, 836, 502, 285, 3, 13, 0], [0, 7, 50, 159, 502, 1716, 616, 4950, 132, 3751, 506, 667, 230, 14, 12, 0], [0, 7, 51, 143, 611, 1287, 1716, 3003, 2574, 1573, 1859, 117, 351, 13, 6, 1], [0, 7, 51, 144, 600, 1342, 1551, 3333, 2112, 2035, 1529, 282, 296, 24, 5, 1], [0, 7, 51, 145, 589, 1397, 1386, 3663, 1650, 2497, 1199, 447, 241, 35, 4, 1], [0, 7, 51, 146, 578, 1452, 1221, 3993, 1188, 2959, 869, 612, 186, 46, 3, 1], [0, 7, 51, 147, 567, 1507, 1056, 4323, 726, 3421, 539, 777, 131, 57, 2, 1], [0, 7, 51, 147, 568, 1496, 1111, 4158, 1056, 2959, 1001, 447, 296, 2, 13, 0], [0, 7, 51, 148, 556, 1562, 891, 4653, 264, 3883, 209, 942, 76, 68, 1, 1], [0, 7, 51, 148, 557, 1551, 946, 4488, 594, 3421, 671, 612, 241, 13, 12, 0], [0, 7, 51, 149, 546, 1606, 781, 4818, 132, 3883, 341, 777, 186, 24, 11, 0], [0, 7, 52, 132, 666, 1122, 2046, 2541, 3036, 1243, 2024, 62, 362, 12, 6, 1], [0, 7, 52, 133, 655, 1177, 1881, 2871, 2574, 1705, 1694, 227, 307, 23, 5, 1], [0, 7, 52, 134, 644, 1232, 1716, 3201, 2112, 2167, 1364, 392, 252, 34, 4, 1], [0, 7, 52, 135, 633, 1287, 1551, 3531, 1650, 2629, 1034, 557, 197, 45, 3, 1], [0, 7, 52, 136, 622, 1342, 1386, 3861, 1188, 3091, 704, 722, 142, 56, 2, 1], [0, 7, 52, 136, 623, 1331, 1441, 3696, 1518, 2629, 1166, 392, 307, 1, 13, 0], [0, 7, 52, 137, 611, 1397, 1221, 4191, 726, 3553, 374, 887, 87, 67, 1, 1], [0, 7, 52, 137, 612, 1386, 1276, 4026, 1056, 3091, 836, 557, 252, 12, 12, 0], [0, 7, 52, 138, 600, 1452, 1056, 4521, 264, 4015, 44, 1052, 32, 78, 0, 1], [0, 7, 52, 138, 601, 1441, 1111, 4356, 594, 3553, 506, 722, 197, 23, 11, 0], [0, 7, 52, 139, 590, 1496, 946, 4686, 132, 4015, 176, 887, 142, 34, 10, 0], [0, 7, 53, 121, 721, 957, 2376, 2079, 3498, 913, 2189, 7, 373, 11, 6, 1], [0, 7, 53, 122, 710, 1012, 2211, 2409, 3036, 1375, 1859, 172, 318, 22, 5, 1], [0, 7, 53, 123, 699, 1067, 2046, 2739, 2574, 1837, 1529, 337, 263, 33, 4, 1], [0, 7, 53, 124, 688, 1122, 1881, 3069, 2112, 2299, 1199, 502, 208, 44, 3, 1], [0, 7, 53, 125, 677, 1177, 1716, 3399, 1650, 2761, 869, 667, 153, 55, 2, 1], [0, 7, 53, 125, 678, 1166, 1771, 3234, 1980, 2299, 1331, 337, 318, 0, 13, 0], [0, 7, 53, 126, 666, 1232, 1551, 3729, 1188, 3223, 539, 832, 98, 66, 1, 1], [0, 7, 53, 126, 667, 1221, 1606, 3564, 1518, 2761, 1001, 502, 263, 11, 12, 0], [0, 7, 53, 127, 655, 1287, 1386, 4059, 726, 3685, 209, 997, 43, 77, 0, 1], [0, 7, 53, 127, 656, 1276, 1441, 3894, 1056, 3223, 671, 667, 208, 22, 11, 0], [0, 7, 53, 128, 645, 1331, 1276, 4224, 594, 3685, 341, 832, 153, 33, 10, 0], [0, 7, 53, 129, 634, 1386, 1111, 4554, 132, 4147, 11, 997, 98, 44, 9, 0], [0, 7, 54, 111, 765, 847, 2541, 1947, 3498, 1045, 2024, 117, 329, 21, 5, 1], [0, 7, 54, 112, 754, 902, 2376, 2277, 3036, 1507, 1694, 282, 274, 32, 4, 1], [0, 7, 54, 113, 743, 957, 2211, 2607, 2574, 1969, 1364, 447, 219, 43, 3, 1], [0, 7, 54, 114, 732, 1012, 2046, 2937, 2112, 2431, 1034, 612, 164, 54, 2, 1], [0, 7, 54, 115, 721, 1067, 1881, 3267, 1650, 2893, 704, 777, 109, 65, 1, 1], [0, 7, 54, 115, 722, 1056, 1936, 3102, 1980, 2431, 1166, 447, 274, 10, 12, 0], [0, 7, 54, 116, 710, 1122, 1716, 3597, 1188, 3355, 374, 942, 54, 76, 0, 1], [0, 7, 54, 116, 711, 1111, 1771, 3432, 1518, 2893, 836, 612, 219, 21, 11, 0], [0, 7, 54, 117, 700, 1166, 1606, 3762, 1056, 3355, 506, 777, 164, 32, 10, 0], [0, 7, 54, 118, 689, 1221, 1441, 4092, 594, 3817, 176, 942, 109, 43, 9, 0], [0, 7, 55, 100, 820, 682, 2871, 1485, 3960, 715, 2189, 62, 340, 20, 5, 1], [0, 7, 55, 101, 809, 737, 2706, 1815, 3498, 1177, 1859, 227, 285, 31, 4, 1], [0, 7, 55, 102, 798, 792, 2541, 2145, 3036, 1639, 1529, 392, 230, 42, 3, 1], [0, 7, 55, 103, 787, 847, 2376, 2475, 2574, 2101, 1199, 557, 175, 53, 2, 1], [0, 7, 55, 104, 776, 902, 2211, 2805, 2112, 2563, 869, 722, 120, 64, 1, 1], [0, 7, 55, 104, 777, 891, 2266, 2640, 2442, 2101, 1331, 392, 285, 9, 12, 0], [0, 7, 55, 105, 765, 957, 2046, 3135, 1650, 3025, 539, 887, 65, 75, 0, 1], [0, 7, 55, 105, 766, 946, 2101, 2970, 1980, 2563, 1001, 557, 230, 20, 11, 0], [0, 7, 55, 106, 755, 1001, 1936, 3300, 1518, 3025, 671, 722, 175, 31, 10, 0], [0, 7, 55, 107, 744, 1056, 1771, 3630, 1056, 3487, 341, 887, 120, 42, 9, 0], [0, 7, 55, 108, 733, 1111, 1606, 3960, 594, 3949, 11, 1052, 65, 53, 8, 0], [0, 7, 56, 89, 875, 517, 3201, 1023, 4422, 385, 2354, 7, 351, 19, 5, 1], [0, 7, 56, 90, 864, 572, 3036, 1353, 3960, 847, 2024, 172, 296, 30, 4, 1], [0, 7, 56, 91, 853, 627, 2871, 1683, 3498, 1309, 1694, 337, 241, 41, 3, 1], [0, 7, 56, 92, 842, 682, 2706, 2013, 3036, 1771, 1364, 502, 186, 52, 2, 1], [0, 7, 56, 93, 831, 737, 2541, 2343, 2574, 2233, 1034, 667, 131, 63, 1, 1], [0, 7, 56, 93, 832, 726, 2596, 2178, 2904, 1771, 1496, 337, 296, 8, 12, 0], [0, 7, 56, 94, 820, 792, 2376, 2673, 2112, 2695, 704, 832, 76, 74, 0, 1], [0, 7, 56, 94, 821, 781, 2431, 2508, 2442, 2233, 1166, 502, 241, 19, 11, 0], [0, 7, 56, 95, 810, 836, 2266, 2838, 1980, 2695, 836, 667, 186, 30, 10, 0], [0, 7, 56, 96, 799, 891, 2101, 3168, 1518, 3157, 506, 832, 131, 41, 9, 0], [0, 7, 56, 97, 788, 946, 1936, 3498, 1056, 3619, 176, 997, 76, 52, 8, 0], [0, 7, 57, 79, 919, 407, 3366, 891, 4422, 517, 2189, 117, 307, 29, 4, 1], [0, 7, 57, 80, 908, 462, 3201, 1221, 3960, 979, 1859, 282, 252, 40, 3, 1], [0, 7, 57, 81, 897, 517, 3036, 1551, 3498, 1441, 1529, 447, 197, 51, 2, 1], [0, 7, 57, 82, 886, 572, 2871, 1881, 3036, 1903, 1199, 612, 142, 62, 1, 1], [0, 7, 57, 82, 887, 561, 2926, 1716, 3366, 1441, 1661, 282, 307, 7, 12, 0], [0, 7, 57, 83, 875, 627, 2706, 2211, 2574, 2365, 869, 777, 87, 73, 0, 1], [0, 7, 57, 83, 876, 616, 2761, 2046, 2904, 1903, 1331, 447, 252, 18, 11, 0], [0, 7, 57, 84, 865, 671, 2596, 2376, 2442, 2365, 1001, 612, 197, 29, 10, 0], [0, 7, 57, 85, 854, 726, 2431, 2706, 1980, 2827, 671, 777, 142, 40, 9, 0], [0, 7, 57, 86, 843, 781, 2266, 3036, 1518, 3289, 341, 942, 87, 51, 8, 0], [0, 7, 57, 87, 832, 836, 2101, 3366, 1056, 3751, 11, 1107, 32, 62, 7, 0], [0, 7, 58, 68, 974, 242, 3696, 429, 4884, 187, 2354, 62, 318, 28, 4, 1], [0, 7, 58, 69, 963, 297, 3531, 759, 4422, 649, 2024, 227, 263, 39, 3, 1], [0, 7, 58, 70, 952, 352, 3366, 1089, 3960, 1111, 1694, 392, 208, 50, 2, 1], [0, 7, 58, 71, 941, 407, 3201, 1419, 3498, 1573, 1364, 557, 153, 61, 1, 1], [0, 7, 58, 71, 942, 396, 3256, 1254, 3828, 1111, 1826, 227, 318, 6, 12, 0], [0, 7, 58, 72, 930, 462, 3036, 1749, 3036, 2035, 1034, 722, 98, 72, 0, 1], [0, 7, 58, 72, 931, 451, 3091, 1584, 3366, 1573, 1496, 392, 263, 17, 11, 0], [0, 7, 58, 73, 920, 506, 2926, 1914, 2904, 2035, 1166, 557, 208, 28, 10, 0], [0, 7, 58, 74, 909, 561, 2761, 2244, 2442, 2497, 836, 722, 153, 39, 9, 0], [0, 7, 58, 75, 898, 616, 2596, 2574, 1980, 2959, 506, 887, 98, 50, 8, 0], [0, 7, 58, 76, 887, 671, 2431, 2904, 1518, 3421, 176, 1052, 43, 61, 7, 0], [0, 7, 59, 58, 1018, 132, 3861, 297, 4884, 319, 2189, 172, 274, 38, 3, 1], [0, 7, 59, 59, 1007, 187, 3696, 627, 4422, 781, 1859, 337, 219, 49, 2, 1], [0, 7, 59, 60, 996, 242, 3531, 957, 3960, 1243, 1529, 502, 164, 60, 1, 1], [0, 7, 59, 60, 997, 231, 3586, 792, 4290, 781, 1991, 172, 329, 5, 12, 0], [0, 7, 59, 61, 985, 297, 3366, 1287, 3498, 1705, 1199, 667, 109, 71, 0, 1], [0, 7, 59, 61, 986, 286, 3421, 1122, 3828, 1243, 1661, 337, 274, 16, 11, 0], [0, 7, 59, 62, 975, 341, 3256, 1452, 3366, 1705, 1331, 502, 219, 27, 10, 0], [0, 7, 59, 63, 964, 396, 3091, 1782, 2904, 2167, 1001, 667, 164, 38, 9, 0], [0, 7, 59, 64, 953, 451, 2926, 2112, 2442, 2629, 671, 832, 109, 49, 8, 0], [0, 7, 59, 65, 942, 506, 2761, 2442, 1980, 3091, 341, 997, 54, 60, 7, 0], [0, 7, 60, 48, 1062, 22, 4026, 165, 4884, 451, 2024, 282, 230, 48, 2, 1], [0, 7, 60, 49, 1051, 77, 3861, 495, 4422, 913, 1694, 447, 175, 59, 1, 1], [0, 7, 60, 49, 1052, 66, 3916, 330, 4752, 451, 2156, 117, 340, 4, 12, 0], [0, 7, 60, 50, 1040, 132, 3696, 825, 3960, 1375, 1364, 612, 120, 70, 0, 1], [0, 7, 60, 50, 1041, 121, 3751, 660, 4290, 913, 1826, 282, 285, 15, 11, 0], [0, 7, 60, 51, 1030, 176, 3586, 990, 3828, 1375, 1496, 447, 230, 26, 10, 0], [0, 7, 60, 52, 1019, 231, 3421, 1320, 3366, 1837, 1166, 612, 175, 37, 9, 0], [0, 7, 60, 53, 1008, 286, 3256, 1650, 2904, 2299, 836, 777, 120, 48, 8, 0], [0, 7, 60, 54, 997, 341, 3091, 1980, 2442, 2761, 506, 942, 65, 59, 7, 0], [0, 7, 60, 55, 986, 396, 2926, 2310, 1980, 3223, 176, 1107, 10, 70, 6, 0], [0, 7, 61, 40, 1085, 11, 3916, 528, 4290, 1045, 1661, 392, 241, 25, 10, 0], [0, 7, 61, 41, 1074, 66, 3751, 858, 3828, 1507, 1331, 557, 186, 36, 9, 0], [0, 7, 61, 42, 1063, 121, 3586, 1188, 3366, 1969, 1001, 722, 131, 47, 8, 0], [0, 7, 61, 43, 1052, 176, 3421, 1518, 2904, 2431, 671, 887, 76, 58, 7, 0], [0, 7, 61, 44, 1041, 231, 3256, 1848, 2442, 2893, 341, 1052, 21, 69, 6, 0], [0, 7, 62, 32, 1107, 11, 3751, 1056, 3366, 2101, 836, 832, 87, 57, 7, 0], [0, 7, 62, 33, 1096, 66, 3586, 1386, 2904, 2563, 506, 997, 32, 68, 6, 0], [0, 8, 36, 241, 237, 2222, 99, 4983, 858, 2596, 1474, 183, 361, 6, 7, 1], [0, 8, 37, 230, 292, 2057, 429, 4521, 1320, 2266, 1639, 128, 372, 5, 7, 1], [0, 8, 37, 231, 281, 2112, 264, 4851, 858, 2728, 1309, 293, 317, 16, 6, 1], [0, 8, 37, 232, 270, 2167, 99, 5181, 396, 3190, 979, 458, 262, 27, 5, 1], [0, 8, 38, 219, 347, 1892, 759, 4059, 1782, 1936, 1804, 73, 383, 4, 7, 1], [0, 8, 38, 220, 336, 1947, 594, 4389, 1320, 2398, 1474, 238, 328, 15, 6, 1], [0, 8, 38, 221, 325, 2002, 429, 4719, 858, 2860, 1144, 403, 273, 26, 5, 1], [0, 8, 38, 222, 314, 2057, 264, 5049, 396, 3322, 814, 568, 218, 37, 4, 1], [0, 8, 39, 208, 402, 1727, 1089, 3597, 2244, 1606, 1969, 18, 394, 3, 7, 1], [0, 8, 39, 209, 391, 1782, 924, 3927, 1782, 2068, 1639, 183, 339, 14, 6, 1], [0, 8, 39, 210, 380, 1837, 759, 4257, 1320, 2530, 1309, 348, 284, 25, 5, 1], [0, 8, 39, 211, 369, 1892, 594, 4587, 858, 2992, 979, 513, 229, 36, 4, 1], [0, 8, 39, 212, 358, 1947, 429, 4917, 396, 3454, 649, 678, 174, 47, 3, 1], [0, 8, 39, 213, 348, 1991, 319, 5082, 264, 3454, 781, 513, 284, 3, 13, 0], [0, 8, 40, 198, 446, 1617, 1254, 3465, 2244, 1738, 1804, 128, 350, 13, 6, 1], [0, 8, 40, 199, 435, 1672, 1089, 3795, 1782, 2200, 1474, 293, 295, 24, 5, 1], [0, 8, 40, 200, 424, 1727, 924, 4125, 1320, 2662, 1144, 458, 240, 35, 4, 1], [0, 8, 40, 201, 413, 1782, 759, 4455, 858, 3124, 814, 623, 185, 46, 3, 1], [0, 8, 40, 202, 402, 1837, 594, 4785, 396, 3586, 484, 788, 130, 57, 2, 1], [0, 8, 40, 202, 403, 1826, 649, 4620, 726, 3124, 946, 458, 295, 2, 13, 0], [0, 8, 40, 203, 392, 1881, 484, 4950, 264, 3586, 616, 623, 240, 13, 12, 0], [0, 8, 41, 187, 501, 1452, 1584, 3003, 2706, 1408, 1969, 73, 361, 12, 6, 1], [0, 8, 41, 188, 490, 1507, 1419, 3333, 2244, 1870, 1639, 238, 306, 23, 5, 1], [0, 8, 41, 189, 479, 1562, 1254, 3663, 1782, 2332, 1309, 403, 251, 34, 4, 1], [0, 8, 41, 190, 468, 1617, 1089, 3993, 1320, 2794, 979, 568, 196, 45, 3, 1], [0, 8, 41, 191, 457, 1672, 924, 4323, 858, 3256, 649, 733, 141, 56, 2, 1], [0, 8, 41, 191, 458, 1661, 979, 4158, 1188, 2794, 1111, 403, 306, 1, 13, 0], [0, 8, 41, 192, 446, 1727, 759, 4653, 396, 3718, 319, 898, 86, 67, 1, 1], [0, 8, 41, 192, 447, 1716, 814, 4488, 726, 3256, 781, 568, 251, 12, 12, 0], [0, 8, 41, 193, 436, 1771, 649, 4818, 264, 3718, 451, 733, 196, 23, 11, 0], [0, 8, 42, 176, 556, 1287, 1914, 2541, 3168, 1078, 2134, 18, 372, 11, 6, 1], [0, 8, 42, 177, 545, 1342, 1749, 2871, 2706, 1540, 1804, 183, 317, 22, 5, 1], [0, 8, 42, 178, 534, 1397, 1584, 3201, 2244, 2002, 1474, 348, 262, 33, 4, 1], [0, 8, 42, 179, 523, 1452, 1419, 3531, 1782, 2464, 1144, 513, 207, 44, 3, 1], [0, 8, 42, 180, 512, 1507, 1254, 3861, 1320, 2926, 814, 678, 152, 55, 2, 1], [0, 8, 42, 180, 513, 1496, 1309, 3696, 1650, 2464, 1276, 348, 317, 0, 13, 0], [0, 8, 42, 181, 501, 1562, 1089, 4191, 858, 3388, 484, 843, 97, 66, 1, 1], [0, 8, 42, 181, 502, 1551, 1144, 4026, 1188, 2926, 946, 513, 262, 11, 12, 0], [0, 8, 42, 182, 490, 1617, 924, 4521, 396, 3850, 154, 1008, 42, 77, 0, 1], [0, 8, 42, 182, 491, 1606, 979, 4356, 726, 3388, 616, 678, 207, 22, 11, 0], [0, 8, 42, 183, 480, 1661, 814, 4686, 264, 3850, 286, 843, 152, 33, 10, 0], [0, 8, 43, 166, 600, 1177, 2079, 2409, 3168, 1210, 1969, 128, 328, 21, 5, 1], [0, 8, 43, 167, 589, 1232, 1914, 2739, 2706, 1672, 1639, 293, 273, 32, 4, 1], [0, 8, 43, 168, 578, 1287, 1749, 3069, 2244, 2134, 1309, 458, 218, 43, 3, 1], [0, 8, 43, 169, 567, 1342, 1584, 3399, 1782, 2596, 979, 623, 163, 54, 2, 1], [0, 8, 43, 170, 556, 1397, 1419, 3729, 1320, 3058, 649, 788, 108, 65, 1, 1], [0, 8, 43, 170, 557, 1386, 1474, 3564, 1650, 2596, 1111, 458, 273, 10, 12, 0], [0, 8, 43, 171, 545, 1452, 1254, 4059, 858, 3520, 319, 953, 53, 76, 0, 1], [0, 8, 43, 171, 546, 1441, 1309, 3894, 1188, 3058, 781, 623, 218, 21, 11, 0], [0, 8, 43, 172, 535, 1496, 1144, 4224, 726, 3520, 451, 788, 163, 32, 10, 0], [0, 8, 43, 173, 524, 1551, 979, 4554, 264, 3982, 121, 953, 108, 43, 9, 0], [0, 8, 44, 155, 655, 1012, 2409, 1947, 3630, 880, 2134, 73, 339, 20, 5, 1], [0, 8, 44, 156, 644, 1067, 2244, 2277, 3168, 1342, 1804, 238, 284, 31, 4, 1], [0, 8, 44, 157, 633, 1122, 2079, 2607, 2706, 1804, 1474, 403, 229, 42, 3, 1], [0, 8, 44, 158, 622, 1177, 1914, 2937, 2244, 2266, 1144, 568, 174, 53, 2, 1], [0, 8, 44, 159, 611, 1232, 1749, 3267, 1782, 2728, 814, 733, 119, 64, 1, 1], [0, 8, 44, 159, 612, 1221, 1804, 3102, 2112, 2266, 1276, 403, 284, 9, 12, 0], [0, 8, 44, 160, 600, 1287, 1584, 3597, 1320, 3190, 484, 898, 64, 75, 0, 1], [0, 8, 44, 160, 601, 1276, 1639, 3432, 1650, 2728, 946, 568, 229, 20, 11, 0], [0, 8, 44, 161, 590, 1331, 1474, 3762, 1188, 3190, 616, 733, 174, 31, 10, 0], [0, 8, 44, 162, 579, 1386, 1309, 4092, 726, 3652, 286, 898, 119, 42, 9, 0], [0, 8, 45, 144, 710, 847, 2739, 1485, 4092, 550, 2299, 18, 350, 19, 5, 1], [0, 8, 45, 145, 699, 902, 2574, 1815, 3630, 1012, 1969, 183, 295, 30, 4, 1], [0, 8, 45, 146, 688, 957, 2409, 2145, 3168, 1474, 1639, 348, 240, 41, 3, 1], [0, 8, 45, 147, 677, 1012, 2244, 2475, 2706, 1936, 1309, 513, 185, 52, 2, 1], [0, 8, 45, 148, 666, 1067, 2079, 2805, 2244, 2398, 979, 678, 130, 63, 1, 1], [0, 8, 45, 148, 667, 1056, 2134, 2640, 2574, 1936, 1441, 348, 295, 8, 12, 0], [0, 8, 45, 149, 655, 1122, 1914, 3135, 1782, 2860, 649, 843, 75, 74, 0, 1], [0, 8, 45, 149, 656, 1111, 1969, 2970, 2112, 2398, 1111, 513, 240, 19, 11, 0], [0, 8, 45, 150, 645, 1166, 1804, 3300, 1650, 2860, 781, 678, 185, 30, 10, 0], [0, 8, 45, 151, 634, 1221, 1639, 3630, 1188, 3322, 451, 843, 130, 41, 9, 0], [0, 8, 45, 152, 623, 1276, 1474, 3960, 726, 3784, 121, 1008, 75, 52, 8, 0], [0, 8, 46, 134, 754, 737, 2904, 1353, 4092, 682, 2134, 128, 306, 29, 4, 1], [0, 8, 46, 135, 743, 792, 2739, 1683, 3630, 1144, 1804, 293, 251, 40, 3, 1], [0, 8, 46, 136, 732, 847, 2574, 2013, 3168, 1606, 1474, 458, 196, 51, 2, 1], [0, 8, 46, 137, 721, 902, 2409, 2343, 2706, 2068, 1144, 623, 141, 62, 1, 1], [0, 8, 46, 137, 722, 891, 2464, 2178, 3036, 1606, 1606, 293, 306, 7, 12, 0], [0, 8, 46, 138, 710, 957, 2244, 2673, 2244, 2530, 814, 788, 86, 73, 0, 1], [0, 8, 46, 138, 711, 946, 2299, 2508, 2574, 2068, 1276, 458, 251, 18, 11, 0], [0, 8, 46, 139, 700, 1001, 2134, 2838, 2112, 2530, 946, 623, 196, 29, 10, 0], [0, 8, 46, 140, 689, 1056, 1969, 3168, 1650, 2992, 616, 788, 141, 40, 9, 0], [0, 8, 46, 141, 678, 1111, 1804, 3498, 1188, 3454, 286, 953, 86, 51, 8, 0], [0, 8, 47, 123, 809, 572, 3234, 891, 4554, 352, 2299, 73, 317, 28, 4, 1], [0, 8, 47, 124, 798, 627, 3069, 1221, 4092, 814, 1969, 238, 262, 39, 3, 1], [0, 8, 47, 125, 787, 682, 2904, 1551, 3630, 1276, 1639, 403, 207, 50, 2, 1], [0, 8, 47, 126, 776, 737, 2739, 1881, 3168, 1738, 1309, 568, 152, 61, 1, 1], [0, 8, 47, 126, 777, 726, 2794, 1716, 3498, 1276, 1771, 238, 317, 6, 12, 0], [0, 8, 47, 127, 765, 792, 2574, 2211, 2706, 2200, 979, 733, 97, 72, 0, 1], [0, 8, 47, 127, 766, 781, 2629, 2046, 3036, 1738, 1441, 403, 262, 17, 11, 0], [0, 8, 47, 128, 755, 836, 2464, 2376, 2574, 2200, 1111, 568, 207, 28, 10, 0], [0, 8, 47, 129, 744, 891, 2299, 2706, 2112, 2662, 781, 733, 152, 39, 9, 0], [0, 8, 47, 130, 733, 946, 2134, 3036, 1650, 3124, 451, 898, 97, 50, 8, 0], [0, 8, 47, 131, 722, 1001, 1969, 3366, 1188, 3586, 121, 1063, 42, 61, 7, 0], [0, 8, 48, 112, 864, 407, 3564, 429, 5016, 22, 2464, 18, 328, 27, 4, 1], [0, 8, 48, 113, 853, 462, 3399, 759, 4554, 484, 2134, 183, 273, 38, 3, 1], [0, 8, 48, 114, 842, 517, 3234, 1089, 4092, 946, 1804, 348, 218, 49, 2, 1], [0, 8, 48, 115, 831, 572, 3069, 1419, 3630, 1408, 1474, 513, 163, 60, 1, 1], [0, 8, 48, 115, 832, 561, 3124, 1254, 3960, 946, 1936, 183, 328, 5, 12, 0], [0, 8, 48, 116, 820, 627, 2904, 1749, 3168, 1870, 1144, 678, 108, 71, 0, 1], [0, 8, 48, 116, 821, 616, 2959, 1584, 3498, 1408, 1606, 348, 273, 16, 11, 0], [0, 8, 48, 117, 810, 671, 2794, 1914, 3036, 1870, 1276, 513, 218, 27, 10, 0], [0, 8, 48, 118, 799, 726, 2629, 2244, 2574, 2332, 946, 678, 163, 38, 9, 0], [0, 8, 48, 119, 788, 781, 2464, 2574, 2112, 2794, 616, 843, 108, 49, 8, 0], [0, 8, 48, 120, 777, 836, 2299, 2904, 1650, 3256, 286, 1008, 53, 60, 7, 0], [0, 8, 49, 102, 908, 297, 3729, 297, 5016, 154, 2299, 128, 284, 37, 3, 1], [0, 8, 49, 103, 897, 352, 3564, 627, 4554, 616, 1969, 293, 229, 48, 2, 1], [0, 8, 49, 104, 886, 407, 3399, 957, 4092, 1078, 1639, 458, 174, 59, 1, 1], [0, 8, 49, 104, 887, 396, 3454, 792, 4422, 616, 2101, 128, 339, 4, 12, 0], [0, 8, 49, 105, 875, 462, 3234, 1287, 3630, 1540, 1309, 623, 119, 70, 0, 1], [0, 8, 49, 105, 876, 451, 3289, 1122, 3960, 1078, 1771, 293, 284, 15, 11, 0], [0, 8, 49, 106, 865, 506, 3124, 1452, 3498, 1540, 1441, 458, 229, 26, 10, 0], [0, 8, 49, 107, 854, 561, 2959, 1782, 3036, 2002, 1111, 623, 174, 37, 9, 0], [0, 8, 49, 108, 843, 616, 2794, 2112, 2574, 2464, 781, 788, 119, 48, 8, 0], [0, 8, 49, 109, 832, 671, 2629, 2442, 2112, 2926, 451, 953, 64, 59, 7, 0], [0, 8, 49, 110, 821, 726, 2464, 2772, 1650, 3388, 121, 1118, 9, 70, 6, 0], [0, 8, 50, 92, 952, 187, 3894, 165, 5016, 286, 2134, 238, 240, 47, 2, 1], [0, 8, 50, 93, 941, 242, 3729, 495, 4554, 748, 1804, 403, 185, 58, 1, 1], [0, 8, 50, 93, 942, 231, 3784, 330, 4884, 286, 2266, 73, 350, 3, 12, 0], [0, 8, 50, 94, 930, 297, 3564, 825, 4092, 1210, 1474, 568, 130, 69, 0, 1], [0, 8, 50, 94, 931, 286, 3619, 660, 4422, 748, 1936, 238, 295, 14, 11, 0], [0, 8, 50, 95, 920, 341, 3454, 990, 3960, 1210, 1606, 403, 240, 25, 10, 0], [0, 8, 50, 96, 909, 396, 3289, 1320, 3498, 1672, 1276, 568, 185, 36, 9, 0], [0, 8, 50, 97, 898, 451, 3124, 1650, 3036, 2134, 946, 733, 130, 47, 8, 0], [0, 8, 50, 98, 887, 506, 2959, 1980, 2574, 2596, 616, 898, 75, 58, 7, 0], [0, 8, 50, 99, 876, 561, 2794, 2310, 2112, 3058, 286, 1063, 20, 69, 6, 0], [0, 8, 51, 82, 996, 77, 4059, 33, 5016, 418, 1969, 348, 196, 57, 1, 1], [0, 8, 51, 83, 985, 132, 3894, 363, 4554, 880, 1639, 513, 141, 68, 0, 1], [0, 8, 51, 83, 986, 121, 3949, 198, 4884, 418, 2101, 183, 306, 13, 11, 0], [0, 8, 51, 84, 975, 176, 3784, 528, 4422, 880, 1771, 348, 251, 24, 10, 0], [0, 8, 51, 85, 964, 231, 3619, 858, 3960, 1342, 1441, 513, 196, 35, 9, 0], [0, 8, 51, 86, 953, 286, 3454, 1188, 3498, 1804, 1111, 678, 141, 46, 8, 0], [0, 8, 51, 87, 942, 341, 3289, 1518, 3036, 2266, 781, 843, 86, 57, 7, 0], [0, 8, 51, 88, 931, 396, 3124, 1848, 2574, 2728, 451, 1008, 31, 68, 6, 0], [0, 8, 52, 73, 1030, 11, 4114, 66, 4884, 550, 1936, 293, 262, 23, 10, 0], [0, 8, 52, 74, 1019, 66, 3949, 396, 4422, 1012, 1606, 458, 207, 34, 9, 0], [0, 8, 52, 75, 1008, 121, 3784, 726, 3960, 1474, 1276, 623, 152, 45, 8, 0], [0, 8, 52, 76, 997, 176, 3619, 1056, 3498, 1936, 946, 788, 97, 56, 7, 0], [0, 8, 52, 77, 986, 231, 3454, 1386, 3036, 2398, 616, 953, 42, 67, 6, 0], [0, 8, 53, 65, 1052, 11, 3949, 594, 3960, 1606, 1111, 733, 108, 55, 7, 0], [0, 8, 53, 66, 1041, 66, 3784, 924, 3498, 2068, 781, 898, 53, 66, 6, 0], [0, 9, 27, 274, 182, 2222, 297, 4521, 1452, 2101, 1749, 84, 382, 4, 7, 1], [0, 9, 27, 275, 171, 2277, 132, 4851, 990, 2563, 1419, 249, 327, 15, 6, 1], [0, 9, 28, 263, 237, 2057, 627, 4059, 1914, 1771, 1914, 29, 393, 3, 7, 1], [0, 9, 28, 264, 226, 2112, 462, 4389, 1452, 2233, 1584, 194, 338, 14, 6, 1], [0, 9, 28, 265, 215, 2167, 297, 4719, 990, 2695, 1254, 359, 283, 25, 5, 1], [0, 9, 28, 266, 204, 2222, 132, 5049, 528, 3157, 924, 524, 228, 36, 4, 1], [0, 9, 29, 253, 281, 1947, 792, 3927, 1914, 1903, 1749, 139, 349, 13, 6, 1], [0, 9, 29, 254, 270, 2002, 627, 4257, 1452, 2365, 1419, 304, 294, 24, 5, 1], [0, 9, 29, 255, 259, 2057, 462, 4587, 990, 2827, 1089, 469, 239, 35, 4, 1], [0, 9, 29, 256, 248, 2112, 297, 4917, 528, 3289, 759, 634, 184, 46, 3, 1], [0, 9, 29, 257, 237, 2167, 132, 5247, 66, 3751, 429, 799, 129, 57, 2, 1], [0, 9, 29, 257, 238, 2156, 187, 5082, 396, 3289, 891, 469, 294, 2, 13, 0], [0, 9, 30, 242, 336, 1782, 1122, 3465, 2376, 1573, 1914, 84, 360, 12, 6, 1], [0, 9, 30, 243, 325, 1837, 957, 3795, 1914, 2035, 1584, 249, 305, 23, 5, 1], [0, 9, 30, 244, 314, 1892, 792, 4125, 1452, 2497, 1254, 414, 250, 34, 4, 1], [0, 9, 30, 245, 303, 1947, 627, 4455, 990, 2959, 924, 579, 195, 45, 3, 1], [0, 9, 30, 246, 292, 2002, 462, 4785, 528, 3421, 594, 744, 140, 56, 2, 1], [0, 9, 30, 246, 293, 1991, 517, 4620, 858, 2959, 1056, 414, 305, 1, 13, 0], [0, 9, 30, 247, 281, 2057, 297, 5115, 66, 3883, 264, 909, 85, 67, 1, 1], [0, 9, 30, 247, 282, 2046, 352, 4950, 396, 3421, 726, 579, 250, 12, 12, 0], [0, 9, 31, 231, 391, 1617, 1452, 3003, 2838, 1243, 2079, 29, 371, 11, 6, 1], [0, 9, 31, 232, 380, 1672, 1287, 3333, 2376, 1705, 1749, 194, 316, 22, 5, 1], [0, 9, 31, 233, 369, 1727, 1122, 3663, 1914, 2167, 1419, 359, 261, 33, 4, 1], [0, 9, 31, 234, 358, 1782, 957, 3993, 1452, 2629, 1089, 524, 206, 44, 3, 1], [0, 9, 31, 235, 347, 1837, 792, 4323, 990, 3091, 759, 689, 151, 55, 2, 1], [0, 9, 31, 235, 348, 1826, 847, 4158, 1320, 2629, 1221, 359, 316, 0, 13, 0], [0, 9, 31, 236, 336, 1892, 627, 4653, 528, 3553, 429, 854, 96, 66, 1, 1], [0, 9, 31, 236, 337, 1881, 682, 4488, 858, 3091, 891, 524, 261, 11, 12, 0], [0, 9, 31, 237, 325, 1947, 462, 4983, 66, 4015, 99, 1019, 41, 77, 0, 1], [0, 9, 31, 237, 326, 1936, 517, 4818, 396, 3553, 561, 689, 206, 22, 11, 0], [0, 9, 32, 221, 435, 1507, 1617, 2871, 2838, 1375, 1914, 139, 327, 21, 5, 1], [0, 9, 32, 222, 424, 1562, 1452, 3201, 2376, 1837, 1584, 304, 272, 32, 4, 1], [0, 9, 32, 223, 413, 1617, 1287, 3531, 1914, 2299, 1254, 469, 217, 43, 3, 1], [0, 9, 32, 224, 402, 1672, 1122, 3861, 1452, 2761, 924, 634, 162, 54, 2, 1], [0, 9, 32, 225, 391, 1727, 957, 4191, 990, 3223, 594, 799, 107, 65, 1, 1], [0, 9, 32, 225, 392, 1716, 1012, 4026, 1320, 2761, 1056, 469, 272, 10, 12, 0], [0, 9, 32, 226, 380, 1782, 792, 4521, 528, 3685, 264, 964, 52, 76, 0, 1], [0, 9, 32, 226, 381, 1771, 847, 4356, 858, 3223, 726, 634, 217, 21, 11, 0], [0, 9, 32, 227, 370, 1826, 682, 4686, 396, 3685, 396, 799, 162, 32, 10, 0], [0, 9, 33, 210, 490, 1342, 1947, 2409, 3300, 1045, 2079, 84, 338, 20, 5, 1], [0, 9, 33, 211, 479, 1397, 1782, 2739, 2838, 1507, 1749, 249, 283, 31, 4, 1], [0, 9, 33, 212, 468, 1452, 1617, 3069, 2376, 1969, 1419, 414, 228, 42, 3, 1], [0, 9, 33, 213, 457, 1507, 1452, 3399, 1914, 2431, 1089, 579, 173, 53, 2, 1], [0, 9, 33, 214, 446, 1562, 1287, 3729, 1452, 2893, 759, 744, 118, 64, 1, 1], [0, 9, 33, 214, 447, 1551, 1342, 3564, 1782, 2431, 1221, 414, 283, 9, 12, 0], [0, 9, 33, 215, 435, 1617, 1122, 4059, 990, 3355, 429, 909, 63, 75, 0, 1], [0, 9, 33, 215, 436, 1606, 1177, 3894, 1320, 2893, 891, 579, 228, 20, 11, 0], [0, 9, 33, 216, 425, 1661, 1012, 4224, 858, 3355, 561, 744, 173, 31, 10, 0], [0, 9, 33, 217, 414, 1716, 847, 4554, 396, 3817, 231, 909, 118, 42, 9, 0], [0, 9, 34, 199, 545, 1177, 2277, 1947, 3762, 715, 2244, 29, 349, 19, 5, 1], [0, 9, 34, 200, 534, 1232, 2112, 2277, 3300, 1177, 1914, 194, 294, 30, 4, 1], [0, 9, 34, 201, 523, 1287, 1947, 2607, 2838, 1639, 1584, 359, 239, 41, 3, 1], [0, 9, 34, 202, 512, 1342, 1782, 2937, 2376, 2101, 1254, 524, 184, 52, 2, 1], [0, 9, 34, 203, 501, 1397, 1617, 3267, 1914, 2563, 924, 689, 129, 63, 1, 1], [0, 9, 34, 203, 502, 1386, 1672, 3102, 2244, 2101, 1386, 359, 294, 8, 12, 0], [0, 9, 34, 204, 490, 1452, 1452, 3597, 1452, 3025, 594, 854, 74, 74, 0, 1], [0, 9, 34, 204, 491, 1441, 1507, 3432, 1782, 2563, 1056, 524, 239, 19, 11, 0], [0, 9, 34, 205, 480, 1496, 1342, 3762, 1320, 3025, 726, 689, 184, 30, 10, 0], [0, 9, 34, 206, 469, 1551, 1177, 4092, 858, 3487, 396, 854, 129, 41, 9, 0], [0, 9, 34, 207, 458, 1606, 1012, 4422, 396, 3949, 66, 1019, 74, 52, 8, 0], [0, 9, 35, 189, 589, 1067, 2442, 1815, 3762, 847, 2079, 139, 305, 29, 4, 1], [0, 9, 35, 190, 578, 1122, 2277, 2145, 3300, 1309, 1749, 304, 250, 40, 3, 1], [0, 9, 35, 191, 567, 1177, 2112, 2475, 2838, 1771, 1419, 469, 195, 51, 2, 1], [0, 9, 35, 192, 556, 1232, 1947, 2805, 2376, 2233, 1089, 634, 140, 62, 1, 1], [0, 9, 35, 192, 557, 1221, 2002, 2640, 2706, 1771, 1551, 304, 305, 7, 12, 0], [0, 9, 35, 193, 545, 1287, 1782, 3135, 1914, 2695, 759, 799, 85, 73, 0, 1], [0, 9, 35, 193, 546, 1276, 1837, 2970, 2244, 2233, 1221, 469, 250, 18, 11, 0], [0, 9, 35, 194, 535, 1331, 1672, 3300, 1782, 2695, 891, 634, 195, 29, 10, 0], [0, 9, 35, 195, 524, 1386, 1507, 3630, 1320, 3157, 561, 799, 140, 40, 9, 0], [0, 9, 35, 196, 513, 1441, 1342, 3960, 858, 3619, 231, 964, 85, 51, 8, 0], [0, 9, 36, 178, 644, 902, 2772, 1353, 4224, 517, 2244, 84, 316, 28, 4, 1], [0, 9, 36, 179, 633, 957, 2607, 1683, 3762, 979, 1914, 249, 261, 39, 3, 1], [0, 9, 36, 180, 622, 1012, 2442, 2013, 3300, 1441, 1584, 414, 206, 50, 2, 1], [0, 9, 36, 181, 611, 1067, 2277, 2343, 2838, 1903, 1254, 579, 151, 61, 1, 1], [0, 9, 36, 181, 612, 1056, 2332, 2178, 3168, 1441, 1716, 249, 316, 6, 12, 0], [0, 9, 36, 182, 600, 1122, 2112, 2673, 2376, 2365, 924, 744, 96, 72, 0, 1], [0, 9, 36, 182, 601, 1111, 2167, 2508, 2706, 1903, 1386, 414, 261, 17, 11, 0], [0, 9, 36, 183, 590, 1166, 2002, 2838, 2244, 2365, 1056, 579, 206, 28, 10, 0], [0, 9, 36, 184, 579, 1221, 1837, 3168, 1782, 2827, 726, 744, 151, 39, 9, 0], [0, 9, 36, 185, 568, 1276, 1672, 3498, 1320, 3289, 396, 909, 96, 50, 8, 0], [0, 9, 36, 186, 557, 1331, 1507, 3828, 858, 3751, 66, 1074, 41, 61, 7, 0], [0, 9, 37, 167, 699, 737, 3102, 891, 4686, 187, 2409, 29, 327, 27, 4, 1], [0, 9, 37, 168, 688, 792, 2937, 1221, 4224, 649, 2079, 194, 272, 38, 3, 1], [0, 9, 37, 169, 677, 847, 2772, 1551, 3762, 1111, 1749, 359, 217, 49, 2, 1], [0, 9, 37, 170, 666, 902, 2607, 1881, 3300, 1573, 1419, 524, 162, 60, 1, 1], [0, 9, 37, 170, 667, 891, 2662, 1716, 3630, 1111, 1881, 194, 327, 5, 12, 0], [0, 9, 37, 171, 655, 957, 2442, 2211, 2838, 2035, 1089, 689, 107, 71, 0, 1], [0, 9, 37, 171, 656, 946, 2497, 2046, 3168, 1573, 1551, 359, 272, 16, 11, 0], [0, 9, 37, 172, 645, 1001, 2332, 2376, 2706, 2035, 1221, 524, 217, 27, 10, 0], [0, 9, 37, 173, 634, 1056, 2167, 2706, 2244, 2497, 891, 689, 162, 38, 9, 0], [0, 9, 37, 174, 623, 1111, 2002, 3036, 1782, 2959, 561, 854, 107, 49, 8, 0], [0, 9, 37, 175, 612, 1166, 1837, 3366, 1320, 3421, 231, 1019, 52, 60, 7, 0], [0, 9, 38, 157, 743, 627, 3267, 759, 4686, 319, 2244, 139, 283, 37, 3, 1], [0, 9, 38, 158, 732, 682, 3102, 1089, 4224, 781, 1914, 304, 228, 48, 2, 1], [0, 9, 38, 159, 721, 737, 2937, 1419, 3762, 1243, 1584, 469, 173, 59, 1, 1], [0, 9, 38, 159, 722, 726, 2992, 1254, 4092, 781, 2046, 139, 338, 4, 12, 0], [0, 9, 38, 160, 710, 792, 2772, 1749, 3300, 1705, 1254, 634, 118, 70, 0, 1], [0, 9, 38, 160, 711, 781, 2827, 1584, 3630, 1243, 1716, 304, 283, 15, 11, 0], [0, 9, 38, 161, 700, 836, 2662, 1914, 3168, 1705, 1386, 469, 228, 26, 10, 0], [0, 9, 38, 162, 689, 891, 2497, 2244, 2706, 2167, 1056, 634, 173, 37, 9, 0], [0, 9, 38, 163, 678, 946, 2332, 2574, 2244, 2629, 726, 799, 118, 48, 8, 0], [0, 9, 38, 164, 667, 1001, 2167, 2904, 1782, 3091, 396, 964, 63, 59, 7, 0], [0, 9, 38, 165, 656, 1056, 2002, 3234, 1320, 3553, 66, 1129, 8, 70, 6, 0], [0, 9, 39, 147, 787, 517, 3432, 627, 4686, 451, 2079, 249, 239, 47, 2, 1], [0, 9, 39, 148, 776, 572, 3267, 957, 4224, 913, 1749, 414, 184, 58, 1, 1], [0, 9, 39, 148, 777, 561, 3322, 792, 4554, 451, 2211, 84, 349, 3, 12, 0], [0, 9, 39, 149, 765, 627, 3102, 1287, 3762, 1375, 1419, 579, 129, 69, 0, 1], [0, 9, 39, 149, 766, 616, 3157, 1122, 4092, 913, 1881, 249, 294, 14, 11, 0], [0, 9, 39, 150, 755, 671, 2992, 1452, 3630, 1375, 1551, 414, 239, 25, 10, 0], [0, 9, 39, 151, 744, 726, 2827, 1782, 3168, 1837, 1221, 579, 184, 36, 9, 0], [0, 9, 39, 152, 733, 781, 2662, 2112, 2706, 2299, 891, 744, 129, 47, 8, 0], [0, 9, 39, 153, 722, 836, 2497, 2442, 2244, 2761, 561, 909, 74, 58, 7, 0], [0, 9, 39, 154, 711, 891, 2332, 2772, 1782, 3223, 231, 1074, 19, 69, 6, 0], [0, 9, 40, 136, 842, 352, 3762, 165, 5148, 121, 2244, 194, 250, 46, 2, 1], [0, 9, 40, 137, 831, 407, 3597, 495, 4686, 583, 1914, 359, 195, 57, 1, 1], [0, 9, 40, 137, 832, 396, 3652, 330, 5016, 121, 2376, 29, 360, 2, 12, 0], [0, 9, 40, 138, 820, 462, 3432, 825, 4224, 1045, 1584, 524, 140, 68, 0, 1], [0, 9, 40, 138, 821, 451, 3487, 660, 4554, 583, 2046, 194, 305, 13, 11, 0], [0, 9, 40, 139, 810, 506, 3322, 990, 4092, 1045, 1716, 359, 250, 24, 10, 0], [0, 9, 40, 140, 799, 561, 3157, 1320, 3630, 1507, 1386, 524, 195, 35, 9, 0], [0, 9, 40, 141, 788, 616, 2992, 1650, 3168, 1969, 1056, 689, 140, 46, 8, 0], [0, 9, 40, 142, 777, 671, 2827, 1980, 2706, 2431, 726, 854, 85, 57, 7, 0], [0, 9, 40, 143, 766, 726, 2662, 2310, 2244, 2893, 396, 1019, 30, 68, 6, 0], [0, 9, 41, 126, 886, 242, 3927, 33, 5148, 253, 2079, 304, 206, 56, 1, 1], [0, 9, 41, 127, 875, 297, 3762, 363, 4686, 715, 1749, 469, 151, 67, 0, 1], [0, 9, 41, 127, 876, 286, 3817, 198, 5016, 253, 2211, 139, 316, 12, 11, 0], [0, 9, 41, 128, 865, 341, 3652, 528, 4554, 715, 1881, 304, 261, 23, 10, 0], [0, 9, 41, 129, 854, 396, 3487, 858, 4092, 1177, 1551, 469, 206, 34, 9, 0], [0, 9, 41, 130, 843, 451, 3322, 1188, 3630, 1639, 1221, 634, 151, 45, 8, 0], [0, 9, 41, 131, 832, 506, 3157, 1518, 3168, 2101, 891, 799, 96, 56, 7, 0], [0, 9, 41, 132, 821, 561, 2992, 1848, 2706, 2563, 561, 964, 41, 67, 6, 0], [0, 9, 42, 117, 920, 176, 3982, 66, 5016, 385, 2046, 249, 272, 22, 10, 0], [0, 9, 42, 118, 909, 231, 3817, 396, 4554, 847, 1716, 414, 217, 33, 9, 0], [0, 9, 42, 119, 898, 286, 3652, 726, 4092, 1309, 1386, 579, 162, 44, 8, 0], [0, 9, 42, 120, 887, 341, 3487, 1056, 3630, 1771, 1056, 744, 107, 55, 7, 0], [0, 9, 42, 121, 876, 396, 3322, 1386, 3168, 2233, 726, 909, 52, 66, 6, 0], [0, 9, 43, 108, 953, 121, 3982, 264, 4554, 979, 1551, 524, 173, 43, 8, 0], [0, 9, 43, 109, 942, 176, 3817, 594, 4092, 1441, 1221, 689, 118, 54, 7, 0], [0, 9, 43, 110, 931, 231, 3652, 924, 3630, 1903, 891, 854, 63, 65, 6, 0], [0, 9, 43, 111, 920, 286, 3487, 1254, 3168, 2365, 561, 1019, 8, 76, 5, 0], [0, 9, 44, 98, 997, 11, 4147, 132, 4554, 1111, 1386, 634, 129, 53, 7, 0], [0, 9, 44, 99, 986, 66, 3982, 462, 4092, 1573, 1056, 799, 74, 64, 6, 0], [0, 9, 44, 100, 975, 121, 3817, 792, 3630, 2035, 726, 964, 19, 75, 5, 0], [0, 10, 17, 318, 72, 2387, 165, 4521, 1584, 1936, 1859, 40, 392, 3, 7, 1], [0, 10, 17, 319, 61, 2442, 0, 4851, 1122, 2398, 1529, 205, 337, 14, 6, 1], [0, 10, 18, 308, 116, 2277, 330, 4389, 1584, 2068, 1694, 150, 348, 13, 6, 1], [0, 10, 18, 309, 105, 2332, 165, 4719, 1122, 2530, 1364, 315, 293, 24, 5, 1], [0, 10, 18, 310, 94, 2387, 0, 5049, 660, 2992, 1034, 480, 238, 35, 4, 1], [0, 10, 19, 297, 171, 2112, 660, 3927, 2046, 1738, 1859, 95, 359, 12, 6, 1], [0, 10, 19, 298, 160, 2167, 495, 4257, 1584, 2200, 1529, 260, 304, 23, 5, 1], [0, 10, 19, 299, 149, 2222, 330, 4587, 1122, 2662, 1199, 425, 249, 34, 4, 1], [0, 10, 19, 300, 138, 2277, 165, 4917, 660, 3124, 869, 590, 194, 45, 3, 1], [0, 10, 19, 301, 127, 2332, 0, 5247, 198, 3586, 539, 755, 139, 56, 2, 1], [0, 10, 19, 301, 128, 2321, 55, 5082, 528, 3124, 1001, 425, 304, 1, 13, 0], [0, 10, 20, 286, 226, 1947, 990, 3465, 2508, 1408, 2024, 40, 370, 11, 6, 1], [0, 10, 20, 287, 215, 2002, 825, 3795, 2046, 1870, 1694, 205, 315, 22, 5, 1], [0, 10, 20, 288, 204, 2057, 660, 4125, 1584, 2332, 1364, 370, 260, 33, 4, 1], [0, 10, 20, 289, 193, 2112, 495, 4455, 1122, 2794, 1034, 535, 205, 44, 3, 1], [0, 10, 20, 290, 182, 2167, 330, 4785, 660, 3256, 704, 700, 150, 55, 2, 1], [0, 10, 20, 290, 183, 2156, 385, 4620, 990, 2794, 1166, 370, 315, 0, 13, 0], [0, 10, 20, 291, 171, 2222, 165, 5115, 198, 3718, 374, 865, 95, 66, 1, 1], [0, 10, 20, 291, 172, 2211, 220, 4950, 528, 3256, 836, 535, 260, 11, 12, 0], [0, 10, 20, 292, 161, 2266, 55, 5280, 66, 3718, 506, 700, 205, 22, 11, 0], [0, 10, 21, 276, 270, 1837, 1155, 3333, 2508, 1540, 1859, 150, 326, 21, 5, 1], [0, 10, 21, 277, 259, 1892, 990, 3663, 2046, 2002, 1529, 315, 271, 32, 4, 1], [0, 10, 21, 278, 248, 1947, 825, 3993, 1584, 2464, 1199, 480, 216, 43, 3, 1], [0, 10, 21, 279, 237, 2002, 660, 4323, 1122, 2926, 869, 645, 161, 54, 2, 1], [0, 10, 21, 280, 226, 2057, 495, 4653, 660, 3388, 539, 810, 106, 65, 1, 1], [0, 10, 21, 280, 227, 2046, 550, 4488, 990, 2926, 1001, 480, 271, 10, 12, 0], [0, 10, 21, 281, 215, 2112, 330, 4983, 198, 3850, 209, 975, 51, 76, 0, 1], [0, 10, 21, 281, 216, 2101, 385, 4818, 528, 3388, 671, 645, 216, 21, 11, 0], [0, 10, 21, 282, 205, 2156, 220, 5148, 66, 3850, 341, 810, 161, 32, 10, 0], [0, 10, 22, 265, 325, 1672, 1485, 2871, 2970, 1210, 2024, 95, 337, 20, 5, 1], [0, 10, 22, 266, 314, 1727, 1320, 3201, 2508, 1672, 1694, 260, 282, 31, 4, 1], [0, 10, 22, 267, 303, 1782, 1155, 3531, 2046, 2134, 1364, 425, 227, 42, 3, 1], [0, 10, 22, 268, 292, 1837, 990, 3861, 1584, 2596, 1034, 590, 172, 53, 2, 1], [0, 10, 22, 269, 281, 1892, 825, 4191, 1122, 3058, 704, 755, 117, 64, 1, 1], [0, 10, 22, 269, 282, 1881, 880, 4026, 1452, 2596, 1166, 425, 282, 9, 12, 0], [0, 10, 22, 270, 270, 1947, 660, 4521, 660, 3520, 374, 920, 62, 75, 0, 1], [0, 10, 22, 270, 271, 1936, 715, 4356, 990, 3058, 836, 590, 227, 20, 11, 0], [0, 10, 22, 271, 260, 1991, 550, 4686, 528, 3520, 506, 755, 172, 31, 10, 0], [0, 10, 22, 272, 249, 2046, 385, 5016, 66, 3982, 176, 920, 117, 42, 9, 0], [0, 10, 23, 254, 380, 1507, 1815, 2409, 3432, 880, 2189, 40, 348, 19, 5, 1], [0, 10, 23, 255, 369, 1562, 1650, 2739, 2970, 1342, 1859, 205, 293, 30, 4, 1], [0, 10, 23, 256, 358, 1617, 1485, 3069, 2508, 1804, 1529, 370, 238, 41, 3, 1], [0, 10, 23, 257, 347, 1672, 1320, 3399, 2046, 2266, 1199, 535, 183, 52, 2, 1], [0, 10, 23, 258, 336, 1727, 1155, 3729, 1584, 2728, 869, 700, 128, 63, 1, 1], [0, 10, 23, 258, 337, 1716, 1210, 3564, 1914, 2266, 1331, 370, 293, 8, 12, 0], [0, 10, 23, 259, 325, 1782, 990, 4059, 1122, 3190, 539, 865, 73, 74, 0, 1], [0, 10, 23, 259, 326, 1771, 1045, 3894, 1452, 2728, 1001, 535, 238, 19, 11, 0], [0, 10, 23, 260, 315, 1826, 880, 4224, 990, 3190, 671, 700, 183, 30, 10, 0], [0, 10, 23, 261, 304, 1881, 715, 4554, 528, 3652, 341, 865, 128, 41, 9, 0], [0, 10, 23, 262, 293, 1936, 550, 4884, 66, 4114, 11, 1030, 73, 52, 8, 0], [0, 10, 24, 244, 424, 1397, 1980, 2277, 3432, 1012, 2024, 150, 304, 29, 4, 1], [0, 10, 24, 245, 413, 1452, 1815, 2607, 2970, 1474, 1694, 315, 249, 40, 3, 1], [0, 10, 24, 246, 402, 1507, 1650, 2937, 2508, 1936, 1364, 480, 194, 51, 2, 1], [0, 10, 24, 247, 391, 1562, 1485, 3267, 2046, 2398, 1034, 645, 139, 62, 1, 1], [0, 10, 24, 247, 392, 1551, 1540, 3102, 2376, 1936, 1496, 315, 304, 7, 12, 0], [0, 10, 24, 248, 380, 1617, 1320, 3597, 1584, 2860, 704, 810, 84, 73, 0, 1], [0, 10, 24, 248, 381, 1606, 1375, 3432, 1914, 2398, 1166, 480, 249, 18, 11, 0], [0, 10, 24, 249, 370, 1661, 1210, 3762, 1452, 2860, 836, 645, 194, 29, 10, 0], [0, 10, 24, 250, 359, 1716, 1045, 4092, 990, 3322, 506, 810, 139, 40, 9, 0], [0, 10, 24, 251, 348, 1771, 880, 4422, 528, 3784, 176, 975, 84, 51, 8, 0], [0, 10, 25, 233, 479, 1232, 2310, 1815, 3894, 682, 2189, 95, 315, 28, 4, 1], [0, 10, 25, 234, 468, 1287, 2145, 2145, 3432, 1144, 1859, 260, 260, 39, 3, 1], [0, 10, 25, 235, 457, 1342, 1980, 2475, 2970, 1606, 1529, 425, 205, 50, 2, 1], [0, 10, 25, 236, 446, 1397, 1815, 2805, 2508, 2068, 1199, 590, 150, 61, 1, 1], [0, 10, 25, 236, 447, 1386, 1870, 2640, 2838, 1606, 1661, 260, 315, 6, 12, 0], [0, 10, 25, 237, 435, 1452, 1650, 3135, 2046, 2530, 869, 755, 95, 72, 0, 1], [0, 10, 25, 237, 436, 1441, 1705, 2970, 2376, 2068, 1331, 425, 260, 17, 11, 0], [0, 10, 25, 238, 425, 1496, 1540, 3300, 1914, 2530, 1001, 590, 205, 28, 10, 0], [0, 10, 25, 239, 414, 1551, 1375, 3630, 1452, 2992, 671, 755, 150, 39, 9, 0], [0, 10, 25, 240, 403, 1606, 1210, 3960, 990, 3454, 341, 920, 95, 50, 8, 0], [0, 10, 25, 241, 392, 1661, 1045, 4290, 528, 3916, 11, 1085, 40, 61, 7, 0], [0, 10, 26, 222, 534, 1067, 2640, 1353, 4356, 352, 2354, 40, 326, 27, 4, 1], [0, 10, 26, 223, 523, 1122, 2475, 1683, 3894, 814, 2024, 205, 271, 38, 3, 1], [0, 10, 26, 224, 512, 1177, 2310, 2013, 3432, 1276, 1694, 370, 216, 49, 2, 1], [0, 10, 26, 225, 501, 1232, 2145, 2343, 2970, 1738, 1364, 535, 161, 60, 1, 1], [0, 10, 26, 225, 502, 1221, 2200, 2178, 3300, 1276, 1826, 205, 326, 5, 12, 0], [0, 10, 26, 226, 490, 1287, 1980, 2673, 2508, 2200, 1034, 700, 106, 71, 0, 1], [0, 10, 26, 226, 491, 1276, 2035, 2508, 2838, 1738, 1496, 370, 271, 16, 11, 0], [0, 10, 26, 227, 480, 1331, 1870, 2838, 2376, 2200, 1166, 535, 216, 27, 10, 0], [0, 10, 26, 228, 469, 1386, 1705, 3168, 1914, 2662, 836, 700, 161, 38, 9, 0], [0, 10, 26, 229, 458, 1441, 1540, 3498, 1452, 3124, 506, 865, 106, 49, 8, 0], [0, 10, 26, 230, 447, 1496, 1375, 3828, 990, 3586, 176, 1030, 51, 60, 7, 0], [0, 10, 27, 212, 578, 957, 2805, 1221, 4356, 484, 2189, 150, 282, 37, 3, 1], [0, 10, 27, 213, 567, 1012, 2640, 1551, 3894, 946, 1859, 315, 227, 48, 2, 1], [0, 10, 27, 214, 556, 1067, 2475, 1881, 3432, 1408, 1529, 480, 172, 59, 1, 1], [0, 10, 27, 214, 557, 1056, 2530, 1716, 3762, 946, 1991, 150, 337, 4, 12, 0], [0, 10, 27, 215, 545, 1122, 2310, 2211, 2970, 1870, 1199, 645, 117, 70, 0, 1], [0, 10, 27, 215, 546, 1111, 2365, 2046, 3300, 1408, 1661, 315, 282, 15, 11, 0], [0, 10, 27, 216, 535, 1166, 2200, 2376, 2838, 1870, 1331, 480, 227, 26, 10, 0], [0, 10, 27, 217, 524, 1221, 2035, 2706, 2376, 2332, 1001, 645, 172, 37, 9, 0], [0, 10, 27, 218, 513, 1276, 1870, 3036, 1914, 2794, 671, 810, 117, 48, 8, 0], [0, 10, 27, 219, 502, 1331, 1705, 3366, 1452, 3256, 341, 975, 62, 59, 7, 0], [0, 10, 27, 220, 491, 1386, 1540, 3696, 990, 3718, 11, 1140, 7, 70, 6, 0], [0, 10, 28, 201, 633, 792, 3135, 759, 4818, 154, 2354, 95, 293, 36, 3, 1], [0, 10, 28, 202, 622, 847, 2970, 1089, 4356, 616, 2024, 260, 238, 47, 2, 1], [0, 10, 28, 203, 611, 902, 2805, 1419, 3894, 1078, 1694, 425, 183, 58, 1, 1], [0, 10, 28, 203, 612, 891, 2860, 1254, 4224, 616, 2156, 95, 348, 3, 12, 0], [0, 10, 28, 204, 600, 957, 2640, 1749, 3432, 1540, 1364, 590, 128, 69, 0, 1], [0, 10, 28, 204, 601, 946, 2695, 1584, 3762, 1078, 1826, 260, 293, 14, 11, 0], [0, 10, 28, 205, 590, 1001, 2530, 1914, 3300, 1540, 1496, 425, 238, 25, 10, 0], [0, 10, 28, 206, 579, 1056, 2365, 2244, 2838, 2002, 1166, 590, 183, 36, 9, 0], [0, 10, 28, 207, 568, 1111, 2200, 2574, 2376, 2464, 836, 755, 128, 47, 8, 0], [0, 10, 28, 208, 557, 1166, 2035, 2904, 1914, 2926, 506, 920, 73, 58, 7, 0], [0, 10, 28, 209, 546, 1221, 1870, 3234, 1452, 3388, 176, 1085, 18, 69, 6, 0], [0, 10, 29, 191, 677, 682, 3300, 627, 4818, 286, 2189, 205, 249, 46, 2, 1], [0, 10, 29, 192, 666, 737, 3135, 957, 4356, 748, 1859, 370, 194, 57, 1, 1], [0, 10, 29, 192, 667, 726, 3190, 792, 4686, 286, 2321, 40, 359, 2, 12, 0], [0, 10, 29, 193, 655, 792, 2970, 1287, 3894, 1210, 1529, 535, 139, 68, 0, 1], [0, 10, 29, 193, 656, 781, 3025, 1122, 4224, 748, 1991, 205, 304, 13, 11, 0], [0, 10, 29, 194, 645, 836, 2860, 1452, 3762, 1210, 1661, 370, 249, 24, 10, 0], [0, 10, 29, 195, 634, 891, 2695, 1782, 3300, 1672, 1331, 535, 194, 35, 9, 0], [0, 10, 29, 196, 623, 946, 2530, 2112, 2838, 2134, 1001, 700, 139, 46, 8, 0], [0, 10, 29, 197, 612, 1001, 2365, 2442, 2376, 2596, 671, 865, 84, 57, 7, 0], [0, 10, 29, 198, 601, 1056, 2200, 2772, 1914, 3058, 341, 1030, 29, 68, 6, 0], [0, 10, 30, 181, 721, 572, 3465, 495, 4818, 418, 2024, 315, 205, 56, 1, 1], [0, 10, 30, 182, 710, 627, 3300, 825, 4356, 880, 1694, 480, 150, 67, 0, 1], [0, 10, 30, 182, 711, 616, 3355, 660, 4686, 418, 2156, 150, 315, 12, 11, 0], [0, 10, 30, 183, 700, 671, 3190, 990, 4224, 880, 1826, 315, 260, 23, 10, 0], [0, 10, 30, 184, 689, 726, 3025, 1320, 3762, 1342, 1496, 480, 205, 34, 9, 0], [0, 10, 30, 185, 678, 781, 2860, 1650, 3300, 1804, 1166, 645, 150, 45, 8, 0], [0, 10, 30, 186, 667, 836, 2695, 1980, 2838, 2266, 836, 810, 95, 56, 7, 0], [0, 10, 30, 187, 656, 891, 2530, 2310, 2376, 2728, 506, 975, 40, 67, 6, 0], [0, 10, 31, 170, 776, 407, 3795, 33, 5280, 88, 2189, 260, 216, 55, 1, 1], [0, 10, 31, 171, 765, 462, 3630, 363, 4818, 550, 1859, 425, 161, 66, 0, 1], [0, 10, 31, 171, 766, 451, 3685, 198, 5148, 88, 2321, 95, 326, 11, 11, 0], [0, 10, 31, 172, 755, 506, 3520, 528, 4686, 550, 1991, 260, 271, 22, 10, 0], [0, 10, 31, 173, 744, 561, 3355, 858, 4224, 1012, 1661, 425, 216, 33, 9, 0], [0, 10, 31, 174, 733, 616, 3190, 1188, 3762, 1474, 1331, 590, 161, 44, 8, 0], [0, 10, 31, 175, 722, 671, 3025, 1518, 3300, 1936, 1001, 755, 106, 55, 7, 0], [0, 10, 31, 176, 711, 726, 2860, 1848, 2838, 2398, 671, 920, 51, 66, 6, 0], [0, 10, 32, 161, 810, 341, 3850, 66, 5148, 220, 2156, 205, 282, 21, 10, 0], [0, 10, 32, 162, 799, 396, 3685, 396, 4686, 682, 1826, 370, 227, 32, 9, 0], [0, 10, 32, 163, 788, 451, 3520, 726, 4224, 1144, 1496, 535, 172, 43, 8, 0], [0, 10, 32, 164, 777, 506, 3355, 1056, 3762, 1606, 1166, 700, 117, 54, 7, 0], [0, 10, 32, 165, 766, 561, 3190, 1386, 3300, 2068, 836, 865, 62, 65, 6, 0], [0, 10, 32, 166, 755, 616, 3025, 1716, 2838, 2530, 506, 1030, 7, 76, 5, 0], [0, 10, 33, 152, 843, 286, 3850, 264, 4686, 814, 1661, 480, 183, 42, 8, 0], [0, 10, 33, 153, 832, 341, 3685, 594, 4224, 1276, 1331, 645, 128, 53, 7, 0], [0, 10, 33, 154, 821, 396, 3520, 924, 3762, 1738, 1001, 810, 73, 64, 6, 0], [0, 10, 33, 155, 810, 451, 3355, 1254, 3300, 2200, 671, 975, 18, 75, 5, 0], [0, 10, 34, 142, 887, 176, 4015, 132, 4686, 946, 1496, 590, 139, 52, 7, 0], [0, 10, 34, 143, 876, 231, 3850, 462, 4224, 1408, 1166, 755, 84, 63, 6, 0], [0, 10, 34, 144, 865, 286, 3685, 792, 3762, 1870, 836, 920, 29, 74, 5, 0], [0, 10, 35, 132, 931, 66, 4180, 0, 4686, 1078, 1331, 700, 95, 62, 6, 0], [0, 10, 35, 133, 920, 121, 4015, 330, 4224, 1540, 1001, 865, 40, 73, 5, 0], [0, 11, 8, 352, 6, 2442, 198, 4389, 1716, 1903, 1804, 106, 358, 12, 6, 1], [0, 11, 9, 341, 61, 2277, 528, 3927, 2178, 1573, 1969, 51, 369, 11, 6, 1], [0, 11, 9, 342, 50, 2332, 363, 4257, 1716, 2035, 1639, 216, 314, 22, 5, 1], [0, 11, 9, 343, 39, 2387, 198, 4587, 1254, 2497, 1309, 381, 259, 33, 4, 1], [0, 11, 9, 344, 28, 2442, 33, 4917, 792, 2959, 979, 546, 204, 44, 3, 1], [0, 11, 10, 331, 105, 2167, 693, 3795, 2178, 1705, 1804, 161, 325, 21, 5, 1], [0, 11, 10, 332, 94, 2222, 528, 4125, 1716, 2167, 1474, 326, 270, 32, 4, 1], [0, 11, 10, 333, 83, 2277, 363, 4455, 1254, 2629, 1144, 491, 215, 43, 3, 1], [0, 11, 10, 334, 72, 2332, 198, 4785, 792, 3091, 814, 656, 160, 54, 2, 1], [0, 11, 10, 335, 61, 2387, 33, 5115, 330, 3553, 484, 821, 105, 65, 1, 1], [0, 11, 10, 335, 62, 2376, 88, 4950, 660, 3091, 946, 491, 270, 10, 12, 0], [0, 11, 11, 320, 160, 2002, 1023, 3333, 2640, 1375, 1969, 106, 336, 20, 5, 1], [0, 11, 11, 321, 149, 2057, 858, 3663, 2178, 1837, 1639, 271, 281, 31, 4, 1], [0, 11, 11, 322, 138, 2112, 693, 3993, 1716, 2299, 1309, 436, 226, 42, 3, 1], [0, 11, 11, 323, 127, 2167, 528, 4323, 1254, 2761, 979, 601, 171, 53, 2, 1], [0, 11, 11, 324, 116, 2222, 363, 4653, 792, 3223, 649, 766, 116, 64, 1, 1], [0, 11, 11, 324, 117, 2211, 418, 4488, 1122, 2761, 1111, 436, 281, 9, 12, 0], [0, 11, 11, 325, 105, 2277, 198, 4983, 330, 3685, 319, 931, 61, 75, 0, 1], [0, 11, 11, 325, 106, 2266, 253, 4818, 660, 3223, 781, 601, 226, 20, 11, 0], [0, 11, 11, 326, 95, 2321, 88, 5148, 198, 3685, 451, 766, 171, 31, 10, 0], [0, 11, 12, 309, 215, 1837, 1353, 2871, 3102, 1045, 2134, 51, 347, 19, 5, 1], [0, 11, 12, 310, 204, 1892, 1188, 3201, 2640, 1507, 1804, 216, 292, 30, 4, 1], [0, 11, 12, 311, 193, 1947, 1023, 3531, 2178, 1969, 1474, 381, 237, 41, 3, 1], [0, 11, 12, 312, 182, 2002, 858, 3861, 1716, 2431, 1144, 546, 182, 52, 2, 1], [0, 11, 12, 313, 171, 2057, 693, 4191, 1254, 2893, 814, 711, 127, 63, 1, 1], [0, 11, 12, 313, 172, 2046, 748, 4026, 1584, 2431, 1276, 381, 292, 8, 12, 0], [0, 11, 12, 314, 160, 2112, 528, 4521, 792, 3355, 484, 876, 72, 74, 0, 1], [0, 11, 12, 314, 161, 2101, 583, 4356, 1122, 2893, 946, 546, 237, 19, 11, 0], [0, 11, 12, 315, 150, 2156, 418, 4686, 660, 3355, 616, 711, 182, 30, 10, 0], [0, 11, 12, 316, 139, 2211, 253, 5016, 198, 3817, 286, 876, 127, 41, 9, 0], [0, 11, 13, 299, 259, 1727, 1518, 2739, 3102, 1177, 1969, 161, 303, 29, 4, 1], [0, 11, 13, 300, 248, 1782, 1353, 3069, 2640, 1639, 1639, 326, 248, 40, 3, 1], [0, 11, 13, 301, 237, 1837, 1188, 3399, 2178, 2101, 1309, 491, 193, 51, 2, 1], [0, 11, 13, 302, 226, 1892, 1023, 3729, 1716, 2563, 979, 656, 138, 62, 1, 1], [0, 11, 13, 302, 227, 1881, 1078, 3564, 2046, 2101, 1441, 326, 303, 7, 12, 0], [0, 11, 13, 303, 215, 1947, 858, 4059, 1254, 3025, 649, 821, 83, 73, 0, 1], [0, 11, 13, 303, 216, 1936, 913, 3894, 1584, 2563, 1111, 491, 248, 18, 11, 0], [0, 11, 13, 304, 205, 1991, 748, 4224, 1122, 3025, 781, 656, 193, 29, 10, 0], [0, 11, 13, 305, 194, 2046, 583, 4554, 660, 3487, 451, 821, 138, 40, 9, 0], [0, 11, 13, 306, 183, 2101, 418, 4884, 198, 3949, 121, 986, 83, 51, 8, 0], [0, 11, 14, 288, 314, 1562, 1848, 2277, 3564, 847, 2134, 106, 314, 28, 4, 1], [0, 11, 14, 289, 303, 1617, 1683, 2607, 3102, 1309, 1804, 271, 259, 39, 3, 1], [0, 11, 14, 290, 292, 1672, 1518, 2937, 2640, 1771, 1474, 436, 204, 50, 2, 1], [0, 11, 14, 291, 281, 1727, 1353, 3267, 2178, 2233, 1144, 601, 149, 61, 1, 1], [0, 11, 14, 291, 282, 1716, 1408, 3102, 2508, 1771, 1606, 271, 314, 6, 12, 0], [0, 11, 14, 292, 270, 1782, 1188, 3597, 1716, 2695, 814, 766, 94, 72, 0, 1], [0, 11, 14, 292, 271, 1771, 1243, 3432, 2046, 2233, 1276, 436, 259, 17, 11, 0], [0, 11, 14, 293, 260, 1826, 1078, 3762, 1584, 2695, 946, 601, 204, 28, 10, 0], [0, 11, 14, 294, 249, 1881, 913, 4092, 1122, 3157, 616, 766, 149, 39, 9, 0], [0, 11, 14, 295, 238, 1936, 748, 4422, 660, 3619, 286, 931, 94, 50, 8, 0], [0, 11, 15, 277, 369, 1397, 2178, 1815, 4026, 517, 2299, 51, 325, 27, 4, 1], [0, 11, 15, 278, 358, 1452, 2013, 2145, 3564, 979, 1969, 216, 270, 38, 3, 1], [0, 11, 15, 279, 347, 1507, 1848, 2475, 3102, 1441, 1639, 381, 215, 49, 2, 1], [0, 11, 15, 280, 336, 1562, 1683, 2805, 2640, 1903, 1309, 546, 160, 60, 1, 1], [0, 11, 15, 280, 337, 1551, 1738, 2640, 2970, 1441, 1771, 216, 325, 5, 12, 0], [0, 11, 15, 281, 325, 1617, 1518, 3135, 2178, 2365, 979, 711, 105, 71, 0, 1], [0, 11, 15, 281, 326, 1606, 1573, 2970, 2508, 1903, 1441, 381, 270, 16, 11, 0], [0, 11, 15, 282, 315, 1661, 1408, 3300, 2046, 2365, 1111, 546, 215, 27, 10, 0], [0, 11, 15, 283, 304, 1716, 1243, 3630, 1584, 2827, 781, 711, 160, 38, 9, 0], [0, 11, 15, 284, 293, 1771, 1078, 3960, 1122, 3289, 451, 876, 105, 49, 8, 0], [0, 11, 15, 285, 282, 1826, 913, 4290, 660, 3751, 121, 1041, 50, 60, 7, 0], [0, 11, 16, 267, 413, 1287, 2343, 1683, 4026, 649, 2134, 161, 281, 37, 3, 1], [0, 11, 16, 268, 402, 1342, 2178, 2013, 3564, 1111, 1804, 326, 226, 48, 2, 1], [0, 11, 16, 269, 391, 1397, 2013, 2343, 3102, 1573, 1474, 491, 171, 59, 1, 1], [0, 11, 16, 269, 392, 1386, 2068, 2178, 3432, 1111, 1936, 161, 336, 4, 12, 0], [0, 11, 16, 270, 380, 1452, 1848, 2673, 2640, 2035, 1144, 656, 116, 70, 0, 1], [0, 11, 16, 270, 381, 1441, 1903, 2508, 2970, 1573, 1606, 326, 281, 15, 11, 0], [0, 11, 16, 271, 370, 1496, 1738, 2838, 2508, 2035, 1276, 491, 226, 26, 10, 0], [0, 11, 16, 272, 359, 1551, 1573, 3168, 2046, 2497, 946, 656, 171, 37, 9, 0], [0, 11, 16, 273, 348, 1606, 1408, 3498, 1584, 2959, 616, 821, 116, 48, 8, 0], [0, 11, 16, 274, 337, 1661, 1243, 3828, 1122, 3421, 286, 986, 61, 59, 7, 0], [0, 11, 17, 256, 468, 1122, 2673, 1221, 4488, 319, 2299, 106, 292, 36, 3, 1], [0, 11, 17, 257, 457, 1177, 2508, 1551, 4026, 781, 1969, 271, 237, 47, 2, 1], [0, 11, 17, 258, 446, 1232, 2343, 1881, 3564, 1243, 1639, 436, 182, 58, 1, 1], [0, 11, 17, 258, 447, 1221, 2398, 1716, 3894, 781, 2101, 106, 347, 3, 12, 0], [0, 11, 17, 259, 435, 1287, 2178, 2211, 3102, 1705, 1309, 601, 127, 69, 0, 1], [0, 11, 17, 259, 436, 1276, 2233, 2046, 3432, 1243, 1771, 271, 292, 14, 11, 0], [0, 11, 17, 260, 425, 1331, 2068, 2376, 2970, 1705, 1441, 436, 237, 25, 10, 0], [0, 11, 17, 261, 414, 1386, 1903, 2706, 2508, 2167, 1111, 601, 182, 36, 9, 0], [0, 11, 17, 262, 403, 1441, 1738, 3036, 2046, 2629, 781, 766, 127, 47, 8, 0], [0, 11, 17, 263, 392, 1496, 1573, 3366, 1584, 3091, 451, 931, 72, 58, 7, 0], [0, 11, 17, 264, 381, 1551, 1408, 3696, 1122, 3553, 121, 1096, 17, 69, 6, 0], [0, 11, 18, 246, 512, 1012, 2838, 1089, 4488, 451, 2134, 216, 248, 46, 2, 1], [0, 11, 18, 247, 501, 1067, 2673, 1419, 4026, 913, 1804, 381, 193, 57, 1, 1], [0, 11, 18, 247, 502, 1056, 2728, 1254, 4356, 451, 2266, 51, 358, 2, 12, 0], [0, 11, 18, 248, 490, 1122, 2508, 1749, 3564, 1375, 1474, 546, 138, 68, 0, 1], [0, 11, 18, 248, 491, 1111, 2563, 1584, 3894, 913, 1936, 216, 303, 13, 11, 0], [0, 11, 18, 249, 480, 1166, 2398, 1914, 3432, 1375, 1606, 381, 248, 24, 10, 0], [0, 11, 18, 250, 469, 1221, 2233, 2244, 2970, 1837, 1276, 546, 193, 35, 9, 0], [0, 11, 18, 251, 458, 1276, 2068, 2574, 2508, 2299, 946, 711, 138, 46, 8, 0], [0, 11, 18, 252, 447, 1331, 1903, 2904, 2046, 2761, 616, 876, 83, 57, 7, 0], [0, 11, 18, 253, 436, 1386, 1738, 3234, 1584, 3223, 286, 1041, 28, 68, 6, 0], [0, 11, 19, 235, 567, 847, 3168, 627, 4950, 121, 2299, 161, 259, 45, 2, 1], [0, 11, 19, 236, 556, 902, 3003, 957, 4488, 583, 1969, 326, 204, 56, 1, 1], [0, 11, 19, 237, 545, 957, 2838, 1287, 4026, 1045, 1639, 491, 149, 67, 0, 1], [0, 11, 19, 237, 546, 946, 2893, 1122, 4356, 583, 2101, 161, 314, 12, 11, 0], [0, 11, 19, 238, 535, 1001, 2728, 1452, 3894, 1045, 1771, 326, 259, 23, 10, 0], [0, 11, 19, 239, 524, 1056, 2563, 1782, 3432, 1507, 1441, 491, 204, 34, 9, 0], [0, 11, 19, 240, 513, 1111, 2398, 2112, 2970, 1969, 1111, 656, 149, 45, 8, 0], [0, 11, 19, 241, 502, 1166, 2233, 2442, 2508, 2431, 781, 821, 94, 56, 7, 0], [0, 11, 19, 242, 491, 1221, 2068, 2772, 2046, 2893, 451, 986, 39, 67, 6, 0], [0, 11, 20, 225, 611, 737, 3333, 495, 4950, 253, 2134, 271, 215, 55, 1, 1], [0, 11, 20, 226, 600, 792, 3168, 825, 4488, 715, 1804, 436, 160, 66, 0, 1], [0, 11, 20, 226, 601, 781, 3223, 660, 4818, 253, 2266, 106, 325, 11, 11, 0], [0, 11, 20, 227, 590, 836, 3058, 990, 4356, 715, 1936, 271, 270, 22, 10, 0], [0, 11, 20, 228, 579, 891, 2893, 1320, 3894, 1177, 1606, 436, 215, 33, 9, 0], [0, 11, 20, 229, 568, 946, 2728, 1650, 3432, 1639, 1276, 601, 160, 44, 8, 0], [0, 11, 20, 230, 557, 1001, 2563, 1980, 2970, 2101, 946, 766, 105, 55, 7, 0], [0, 11, 20, 231, 546, 1056, 2398, 2310, 2508, 2563, 616, 931, 50, 66, 6, 0], [0, 11, 21, 215, 655, 627, 3498, 363, 4950, 385, 1969, 381, 171, 65, 0, 1], [0, 11, 21, 216, 645, 671, 3388, 528, 4818, 385, 2101, 216, 281, 21, 10, 0], [0, 11, 21, 217, 634, 726, 3223, 858, 4356, 847, 1771, 381, 226, 32, 9, 0], [0, 11, 21, 218, 623, 781, 3058, 1188, 3894, 1309, 1441, 546, 171, 43, 8, 0], [0, 11, 21, 219, 612, 836, 2893, 1518, 3432, 1771, 1111, 711, 116, 54, 7, 0], [0, 11, 21, 220, 601, 891, 2728, 1848, 2970, 2233, 781, 876, 61, 65, 6, 0], [0, 11, 21, 221, 590, 946, 2563, 2178, 2508, 2695, 451, 1041, 6, 76, 5, 0], [0, 11, 22, 205, 700, 506, 3718, 66, 5280, 55, 2266, 161, 292, 20, 10, 0], [0, 11, 22, 206, 689, 561, 3553, 396, 4818, 517, 1936, 326, 237, 31, 9, 0], [0, 11, 22, 207, 678, 616, 3388, 726, 4356, 979, 1606, 491, 182, 42, 8, 0], [0, 11, 22, 208, 667, 671, 3223, 1056, 3894, 1441, 1276, 656, 127, 53, 7, 0], [0, 11, 22, 209, 656, 726, 3058, 1386, 3432, 1903, 946, 821, 72, 64, 6, 0], [0, 11, 22, 210, 645, 781, 2893, 1716, 2970, 2365, 616, 986, 17, 75, 5, 0], [0, 11, 23, 196, 733, 451, 3718, 264, 4818, 649, 1771, 436, 193, 41, 8, 0], [0, 11, 23, 197, 722, 506, 3553, 594, 4356, 1111, 1441, 601, 138, 52, 7, 0], [0, 11, 23, 198, 711, 561, 3388, 924, 3894, 1573, 1111, 766, 83, 63, 6, 0], [0, 11, 23, 199, 700, 616, 3223, 1254, 3432, 2035, 781, 931, 28, 74, 5, 0], [0, 11, 24, 186, 777, 341, 3883, 132, 4818, 781, 1606, 546, 149, 51, 7, 0], [0, 11, 24, 187, 766, 396, 3718, 462, 4356, 1243, 1276, 711, 94, 62, 6, 0], [0, 11, 24, 188, 755, 451, 3553, 792, 3894, 1705, 946, 876, 39, 73, 5, 0], [0, 11, 25, 176, 821, 231, 4048, 0, 4818, 913, 1441, 656, 105, 61, 6, 0], [0, 11, 25, 177, 810, 286, 3883, 330, 4356, 1375, 1111, 821, 50, 72, 5, 0], [0, 11, 26, 167, 854, 176, 4048, 198, 4356, 1507, 946, 931, 6, 82, 4, 0], [0, 12, 1, 364, 50, 2167, 891, 3333, 2772, 1210, 2079, 62, 346, 19, 5, 1], [0, 12, 1, 365, 39, 2222, 726, 3663, 2310, 1672, 1749, 227, 291, 30, 4, 1], [0, 12, 1, 366, 28, 2277, 561, 3993, 1848, 2134, 1419, 392, 236, 41, 3, 1], [0, 12, 1, 367, 17, 2332, 396, 4323, 1386, 2596, 1089, 557, 181, 52, 2, 1], [0, 12, 1, 368, 6, 2387, 231, 4653, 924, 3058, 759, 722, 126, 63, 1, 1], [0, 12, 1, 368, 7, 2376, 286, 4488, 1254, 2596, 1221, 392, 291, 8, 12, 0], [0, 12, 2, 353, 105, 2002, 1221, 2871, 3234, 880, 2244, 7, 357, 18, 5, 1], [0, 12, 2, 354, 94, 2057, 1056, 3201, 2772, 1342, 1914, 172, 302, 29, 4, 1], [0, 12, 2, 355, 83, 2112, 891, 3531, 2310, 1804, 1584, 337, 247, 40, 3, 1], [0, 12, 2, 356, 72, 2167, 726, 3861, 1848, 2266, 1254, 502, 192, 51, 2, 1], [0, 12, 2, 357, 61, 2222, 561, 4191, 1386, 2728, 924, 667, 137, 62, 1, 1], [0, 12, 2, 357, 62, 2211, 616, 4026, 1716, 2266, 1386, 337, 302, 7, 12, 0], [0, 12, 2, 358, 50, 2277, 396, 4521, 924, 3190, 594, 832, 82, 73, 0, 1], [0, 12, 2, 358, 51, 2266, 451, 4356, 1254, 2728, 1056, 502, 247, 18, 11, 0], [0, 12, 2, 359, 40, 2321, 286, 4686, 792, 3190, 726, 667, 192, 29, 10, 0], [0, 12, 2, 360, 29, 2376, 121, 5016, 330, 3652, 396, 832, 137, 40, 9, 0], [0, 12, 3, 343, 149, 1892, 1386, 2739, 3234, 1012, 2079, 117, 313, 28, 4, 1], [0, 12, 3, 344, 138, 1947, 1221, 3069, 2772, 1474, 1749, 282, 258, 39, 3, 1], [0, 12, 3, 345, 127, 2002, 1056, 3399, 2310, 1936, 1419, 447, 203, 50, 2, 1], [0, 12, 3, 346, 116, 2057, 891, 3729, 1848, 2398, 1089, 612, 148, 61, 1, 1], [0, 12, 3, 346, 117, 2046, 946, 3564, 2178, 1936, 1551, 282, 313, 6, 12, 0], [0, 12, 3, 347, 105, 2112, 726, 4059, 1386, 2860, 759, 777, 93, 72, 0, 1], [0, 12, 3, 347, 106, 2101, 781, 3894, 1716, 2398, 1221, 447, 258, 17, 11, 0], [0, 12, 3, 348, 95, 2156, 616, 4224, 1254, 2860, 891, 612, 203, 28, 10, 0], [0, 12, 3, 349, 84, 2211, 451, 4554, 792, 3322, 561, 777, 148, 39, 9, 0], [0, 12, 3, 350, 73, 2266, 286, 4884, 330, 3784, 231, 942, 93, 50, 8, 0], [0, 12, 4, 332, 204, 1727, 1716, 2277, 3696, 682, 2244, 62, 324, 27, 4, 1], [0, 12, 4, 333, 193, 1782, 1551, 2607, 3234, 1144, 1914, 227, 269, 38, 3, 1], [0, 12, 4, 334, 182, 1837, 1386, 2937, 2772, 1606, 1584, 392, 214, 49, 2, 1], [0, 12, 4, 335, 171, 1892, 1221, 3267, 2310, 2068, 1254, 557, 159, 60, 1, 1], [0, 12, 4, 335, 172, 1881, 1276, 3102, 2640, 1606, 1716, 227, 324, 5, 12, 0], [0, 12, 4, 336, 160, 1947, 1056, 3597, 1848, 2530, 924, 722, 104, 71, 0, 1], [0, 12, 4, 336, 161, 1936, 1111, 3432, 2178, 2068, 1386, 392, 269, 16, 11, 0], [0, 12, 4, 337, 150, 1991, 946, 3762, 1716, 2530, 1056, 557, 214, 27, 10, 0], [0, 12, 4, 338, 139, 2046, 781, 4092, 1254, 2992, 726, 722, 159, 38, 9, 0], [0, 12, 4, 339, 128, 2101, 616, 4422, 792, 3454, 396, 887, 104, 49, 8, 0], [0, 12, 4, 340, 117, 2156, 451, 4752, 330, 3916, 66, 1052, 49, 60, 7, 0], [0, 12, 5, 321, 259, 1562, 2046, 1815, 4158, 352, 2409, 7, 335, 26, 4, 1], [0, 12, 5, 322, 248, 1617, 1881, 2145, 3696, 814, 2079, 172, 280, 37, 3, 1], [0, 12, 5, 323, 237, 1672, 1716, 2475, 3234, 1276, 1749, 337, 225, 48, 2, 1], [0, 12, 5, 324, 226, 1727, 1551, 2805, 2772, 1738, 1419, 502, 170, 59, 1, 1], [0, 12, 5, 324, 227, 1716, 1606, 2640, 3102, 1276, 1881, 172, 335, 4, 12, 0], [0, 12, 5, 325, 215, 1782, 1386, 3135, 2310, 2200, 1089, 667, 115, 70, 0, 1], [0, 12, 5, 325, 216, 1771, 1441, 2970, 2640, 1738, 1551, 337, 280, 15, 11, 0], [0, 12, 5, 326, 205, 1826, 1276, 3300, 2178, 2200, 1221, 502, 225, 26, 10, 0], [0, 12, 5, 327, 194, 1881, 1111, 3630, 1716, 2662, 891, 667, 170, 37, 9, 0], [0, 12, 5, 328, 183, 1936, 946, 3960, 1254, 3124, 561, 832, 115, 48, 8, 0], [0, 12, 5, 329, 172, 1991, 781, 4290, 792, 3586, 231, 997, 60, 59, 7, 0], [0, 12, 6, 311, 303, 1452, 2211, 1683, 4158, 484, 2244, 117, 291, 36, 3, 1], [0, 12, 6, 312, 292, 1507, 2046, 2013, 3696, 946, 1914, 282, 236, 47, 2, 1], [0, 12, 6, 313, 281, 1562, 1881, 2343, 3234, 1408, 1584, 447, 181, 58, 1, 1], [0, 12, 6, 313, 282, 1551, 1936, 2178, 3564, 946, 2046, 117, 346, 3, 12, 0], [0, 12, 6, 314, 270, 1617, 1716, 2673, 2772, 1870, 1254, 612, 126, 69, 0, 1], [0, 12, 6, 314, 271, 1606, 1771, 2508, 3102, 1408, 1716, 282, 291, 14, 11, 0], [0, 12, 6, 315, 260, 1661, 1606, 2838, 2640, 1870, 1386, 447, 236, 25, 10, 0], [0, 12, 6, 316, 249, 1716, 1441, 3168, 2178, 2332, 1056, 612, 181, 36, 9, 0], [0, 12, 6, 317, 238, 1771, 1276, 3498, 1716, 2794, 726, 777, 126, 47, 8, 0], [0, 12, 6, 318, 227, 1826, 1111, 3828, 1254, 3256, 396, 942, 71, 58, 7, 0], [0, 12, 6, 319, 216, 1881, 946, 4158, 792, 3718, 66, 1107, 16, 69, 6, 0], [0, 12, 7, 300, 358, 1287, 2541, 1221, 4620, 154, 2409, 62, 302, 35, 3, 1], [0, 12, 7, 301, 347, 1342, 2376, 1551, 4158, 616, 2079, 227, 247, 46, 2, 1], [0, 12, 7, 302, 336, 1397, 2211, 1881, 3696, 1078, 1749, 392, 192, 57, 1, 1], [0, 12, 7, 302, 337, 1386, 2266, 1716, 4026, 616, 2211, 62, 357, 2, 12, 0], [0, 12, 7, 303, 325, 1452, 2046, 2211, 3234, 1540, 1419, 557, 137, 68, 0, 1], [0, 12, 7, 303, 326, 1441, 2101, 2046, 3564, 1078, 1881, 227, 302, 13, 11, 0], [0, 12, 7, 304, 315, 1496, 1936, 2376, 3102, 1540, 1551, 392, 247, 24, 10, 0], [0, 12, 7, 305, 304, 1551, 1771, 2706, 2640, 2002, 1221, 557, 192, 35, 9, 0], [0, 12, 7, 306, 293, 1606, 1606, 3036, 2178, 2464, 891, 722, 137, 46, 8, 0], [0, 12, 7, 307, 282, 1661, 1441, 3366, 1716, 2926, 561, 887, 82, 57, 7, 0], [0, 12, 7, 308, 271, 1716, 1276, 3696, 1254, 3388, 231, 1052, 27, 68, 6, 0], [0, 12, 8, 290, 402, 1177, 2706, 1089, 4620, 286, 2244, 172, 258, 45, 2, 1], [0, 12, 8, 291, 391, 1232, 2541, 1419, 4158, 748, 1914, 337, 203, 56, 1, 1], [0, 12, 8, 291, 392, 1221, 2596, 1254, 4488, 286, 2376, 7, 368, 1, 12, 0], [0, 12, 8, 292, 380, 1287, 2376, 1749, 3696, 1210, 1584, 502, 148, 67, 0, 1], [0, 12, 8, 292, 381, 1276, 2431, 1584, 4026, 748, 2046, 172, 313, 12, 11, 0], [0, 12, 8, 293, 370, 1331, 2266, 1914, 3564, 1210, 1716, 337, 258, 23, 10, 0], [0, 12, 8, 294, 359, 1386, 2101, 2244, 3102, 1672, 1386, 502, 203, 34, 9, 0], [0, 12, 8, 295, 348, 1441, 1936, 2574, 2640, 2134, 1056, 667, 148, 45, 8, 0], [0, 12, 8, 296, 337, 1496, 1771, 2904, 2178, 2596, 726, 832, 93, 56, 7, 0], [0, 12, 8, 297, 326, 1551, 1606, 3234, 1716, 3058, 396, 997, 38, 67, 6, 0], [0, 12, 9, 280, 446, 1067, 2871, 957, 4620, 418, 2079, 282, 214, 55, 1, 1], [0, 12, 9, 281, 435, 1122, 2706, 1287, 4158, 880, 1749, 447, 159, 66, 0, 1], [0, 12, 9, 281, 436, 1111, 2761, 1122, 4488, 418, 2211, 117, 324, 11, 11, 0], [0, 12, 9, 282, 425, 1166, 2596, 1452, 4026, 880, 1881, 282, 269, 22, 10, 0], [0, 12, 9, 283, 414, 1221, 2431, 1782, 3564, 1342, 1551, 447, 214, 33, 9, 0], [0, 12, 9, 284, 403, 1276, 2266, 2112, 3102, 1804, 1221, 612, 159, 44, 8, 0], [0, 12, 9, 285, 392, 1331, 2101, 2442, 2640, 2266, 891, 777, 104, 55, 7, 0], [0, 12, 9, 286, 381, 1386, 1936, 2772, 2178, 2728, 561, 942, 49, 66, 6, 0], [0, 12, 10, 269, 501, 902, 3201, 495, 5082, 88, 2244, 227, 225, 54, 1, 1], [0, 12, 10, 270, 490, 957, 3036, 825, 4620, 550, 1914, 392, 170, 65, 0, 1], [0, 12, 10, 270, 491, 946, 3091, 660, 4950, 88, 2376, 62, 335, 10, 11, 0], [0, 12, 10, 271, 480, 1001, 2926, 990, 4488, 550, 2046, 227, 280, 21, 10, 0], [0, 12, 10, 272, 469, 1056, 2761, 1320, 4026, 1012, 1716, 392, 225, 32, 9, 0], [0, 12, 10, 273, 458, 1111, 2596, 1650, 3564, 1474, 1386, 557, 170, 43, 8, 0], [0, 12, 10, 274, 447, 1166, 2431, 1980, 3102, 1936, 1056, 722, 115, 54, 7, 0], [0, 12, 10, 275, 436, 1221, 2266, 2310, 2640, 2398, 726, 887, 60, 65, 6, 0], [0, 12, 10, 276, 425, 1276, 2101, 2640, 2178, 2860, 396, 1052, 5, 76, 5, 0], [0, 12, 11, 259, 545, 792, 3366, 363, 5082, 220, 2079, 337, 181, 64, 0, 1], [0, 12, 11, 260, 535, 836, 3256, 528, 4950, 220, 2211, 172, 291, 20, 10, 0], [0, 12, 11, 261, 524, 891, 3091, 858, 4488, 682, 1881, 337, 236, 31, 9, 0], [0, 12, 11, 262, 513, 946, 2926, 1188, 4026, 1144, 1551, 502, 181, 42, 8, 0], [0, 12, 11, 263, 502, 1001, 2761, 1518, 3564, 1606, 1221, 667, 126, 53, 7, 0], [0, 12, 11, 264, 491, 1056, 2596, 1848, 3102, 2068, 891, 832, 71, 64, 6, 0], [0, 12, 11, 265, 480, 1111, 2431, 2178, 2640, 2530, 561, 997, 16, 75, 5, 0], [0, 12, 12, 250, 579, 726, 3421, 396, 4950, 352, 2046, 282, 247, 30, 9, 0], [0, 12, 12, 251, 568, 781, 3256, 726, 4488, 814, 1716, 447, 192, 41, 8, 0], [0, 12, 12, 252, 557, 836, 3091, 1056, 4026, 1276, 1386, 612, 137, 52, 7, 0], [0, 12, 12, 253, 546, 891, 2926, 1386, 3564, 1738, 1056, 777, 82, 63, 6, 0], [0, 12, 12, 254, 535, 946, 2761, 1716, 3102, 2200, 726, 942, 27, 74, 5, 0], [0, 12, 13, 240, 623, 616, 3586, 264, 4950, 484, 1881, 392, 203, 40, 8, 0], [0, 12, 13, 241, 612, 671, 3421, 594, 4488, 946, 1551, 557, 148, 51, 7, 0], [0, 12, 13, 242, 601, 726, 3256, 924, 4026, 1408, 1221, 722, 93, 62, 6, 0], [0, 12, 13, 243, 590, 781, 3091, 1254, 3564, 1870, 891, 887, 38, 73, 5, 0], [0, 12, 14, 230, 667, 506, 3751, 132, 4950, 616, 1716, 502, 159, 50, 7, 0], [0, 12, 14, 231, 656, 561, 3586, 462, 4488, 1078, 1386, 667, 104, 61, 6, 0], [0, 12, 14, 232, 645, 616, 3421, 792, 4026, 1540, 1056, 832, 49, 72, 5, 0], [0, 12, 15, 220, 711, 396, 3916, 0, 4950, 748, 1551, 612, 115, 60, 6, 0], [0, 12, 15, 221, 700, 451, 3751, 330, 4488, 1210, 1221, 777, 60, 71, 5, 0], [0, 12, 15, 222, 689, 506, 3586, 660, 4026, 1672, 891, 942, 5, 82, 4, 0], [0, 12, 16, 211, 744, 341, 3916, 198, 4488, 1342, 1056, 887, 16, 81, 4, 0], [0, 13, 0, 314, 380, 1122, 2904, 825, 4752, 385, 2024, 348, 180, 64, 0, 1], [0, 13, 0, 315, 370, 1166, 2794, 990, 4620, 385, 2156, 183, 290, 20, 10, 0], [0, 13, 0, 316, 359, 1221, 2629, 1320, 4158, 847, 1826, 348, 235, 31, 9, 0], [0, 13, 0, 317, 348, 1276, 2464, 1650, 3696, 1309, 1496, 513, 180, 42, 8, 0], [0, 13, 0, 318, 337, 1331, 2299, 1980, 3234, 1771, 1166, 678, 125, 53, 7, 0], [0, 13, 0, 319, 326, 1386, 2134, 2310, 2772, 2233, 836, 843, 70, 64, 6, 0], [0, 13, 0, 320, 315, 1441, 1969, 2640, 2310, 2695, 506, 1008, 15, 75, 5, 0], [0, 13, 1, 303, 435, 957, 3234, 363, 5214, 55, 2189, 293, 191, 63, 0, 1], [0, 13, 1, 304, 425, 1001, 3124, 528, 5082, 55, 2321, 128, 301, 19, 10, 0], [0, 13, 1, 305, 414, 1056, 2959, 858, 4620, 517, 1991, 293, 246, 30, 9, 0], [0, 13, 1, 306, 403, 1111, 2794, 1188, 4158, 979, 1661, 458, 191, 41, 8, 0], [0, 13, 1, 307, 392, 1166, 2629, 1518, 3696, 1441, 1331, 623, 136, 52, 7, 0], [0, 13, 1, 308, 381, 1221, 2464, 1848, 3234, 1903, 1001, 788, 81, 63, 6, 0], [0, 13, 1, 309, 370, 1276, 2299, 2178, 2772, 2365, 671, 953, 26, 74, 5, 0], [0, 13, 2, 294, 469, 891, 3289, 396, 5082, 187, 2156, 238, 257, 29, 9, 0], [0, 13, 2, 295, 458, 946, 3124, 726, 4620, 649, 1826, 403, 202, 40, 8, 0], [0, 13, 2, 296, 447, 1001, 2959, 1056, 4158, 1111, 1496, 568, 147, 51, 7, 0], [0, 13, 2, 297, 436, 1056, 2794, 1386, 3696, 1573, 1166, 733, 92, 62, 6, 0], [0, 13, 2, 298, 425, 1111, 2629, 1716, 3234, 2035, 836, 898, 37, 73, 5, 0], [0, 13, 3, 284, 513, 781, 3454, 264, 5082, 319, 1991, 348, 213, 39, 8, 0], [0, 13, 3, 285, 502, 836, 3289, 594, 4620, 781, 1661, 513, 158, 50, 7, 0], [0, 13, 3, 286, 491, 891, 3124, 924, 4158, 1243, 1331, 678, 103, 61, 6, 0], [0, 13, 3, 287, 480, 946, 2959, 1254, 3696, 1705, 1001, 843, 48, 72, 5, 0], [0, 13, 4, 274, 557, 671, 3619, 132, 5082, 451, 1826, 458, 169, 49, 7, 0], [0, 13, 4, 275, 546, 726, 3454, 462, 4620, 913, 1496, 623, 114, 60, 6, 0], [0, 13, 4, 276, 535, 781, 3289, 792, 4158, 1375, 1166, 788, 59, 71, 5, 0], [0, 13, 4, 277, 524, 836, 3124, 1122, 3696, 1837, 836, 953, 4, 82, 4, 0], [0, 13, 5, 264, 601, 561, 3784, 0, 5082, 583, 1661, 568, 125, 59, 6, 0], [0, 13, 5, 265, 590, 616, 3619, 330, 4620, 1045, 1331, 733, 70, 70, 5, 0], [0, 13, 5, 266, 579, 671, 3454, 660, 4158, 1507, 1001, 898, 15, 81, 4, 0], [0, 13, 6, 255, 634, 506, 3784, 198, 4620, 1177, 1166, 843, 26, 80, 4, 0]}