-------
(15, 12288, 10) ALL distance distributions for EXTERNAL point
(10, 12288, 10) has 0 possible DDs: {}
(11, 12288, 10) has 1 possible DDs: {[0, 132, 0, 1980, 0, 5544, 0, 3960, 0, 660, 0, 12]}
(12, 12288, 10) has 7 possible DDs: {[0, 66, 66, 990, 990, 2772, 2772, 1980, 1980, 330, 330, 6, 6], [0, 67, 55, 1045, 825, 3102, 2310, 2442, 1650, 495, 275, 17, 5], [0, 68, 44, 1100, 660, 3432, 1848, 2904, 1320, 660, 220, 28, 4], [0, 69, 33, 1155, 495, 3762, 1386, 3366, 990, 825, 165, 39, 3], [0, 70, 22, 1210, 330, 4092, 924, 3828, 660, 990, 110, 50, 2], [0, 71, 11, 1265, 165, 4422, 462, 4290, 330, 1155, 55, 61, 1], [0, 72, 0, 1320, 0, 4752, 0, 4752, 0, 1320, 0, 72, 0]}
(13, 12288, 10) has 42 possible DDs: {[0, 27, 131, 209, 1925, 66, 5214, 66, 3498, 495, 495, 157, 1, 4], [0, 28, 120, 264, 1760, 396, 4752, 528, 3168, 660, 440, 168, 0, 4], [0, 28, 121, 253, 1815, 231, 5082, 66, 3630, 330, 605, 113, 11, 3], [0, 29, 110, 308, 1650, 561, 4620, 528, 3300, 495, 550, 124, 10, 3], [0, 29, 111, 297, 1705, 396, 4950, 66, 3762, 165, 715, 69, 21, 2], [0, 30, 99, 363, 1485, 891, 4158, 990, 2970, 660, 495, 135, 9, 3], [0, 30, 100, 352, 1540, 726, 4488, 528, 3432, 330, 660, 80, 20, 2], [0, 30, 101, 341, 1595, 561, 4818, 66, 3894, 0, 825, 25, 31, 1], [0, 31, 88, 418, 1320, 1221, 3696, 1452, 2640, 825, 440, 146, 8, 3], [0, 31, 89, 407, 1375, 1056, 4026, 990, 3102, 495, 605, 91, 19, 2], [0, 31, 90, 396, 1430, 891, 4356, 528, 3564, 165, 770, 36, 30, 1], [0, 32, 77, 473, 1155, 1551, 3234, 1914, 2310, 990, 385, 157, 7, 3], [0, 32, 78, 462, 1210, 1386, 3564, 1452, 2772, 660, 550, 102, 18, 2], [0, 32, 79, 451, 1265, 1221, 3894, 990, 3234, 330, 715, 47, 29, 1], [0, 33, 66, 528, 990, 1881, 2772, 2376, 1980, 1155, 330, 168, 6, 3], [0, 33, 67, 517, 1045, 1716, 3102, 1914, 2442, 825, 495, 113, 17, 2], [0, 33, 68, 506, 1100, 1551, 3432, 1452, 2904, 495, 660, 58, 28, 1], [0, 33, 69, 495, 1155, 1386, 3762, 990, 3366, 165, 825, 3, 39, 0], [0, 34, 55, 583, 825, 2211, 2310, 2838, 1650, 1320, 275, 179, 5, 3], [0, 34, 56, 572, 880, 2046, 2640, 2376, 2112, 990, 440, 124, 16, 2], [0, 34, 57, 561, 935, 1881, 2970, 1914, 2574, 660, 605, 69, 27, 1], [0, 34, 58, 550, 990, 1716, 3300, 1452, 3036, 330, 770, 14, 38, 0], [0, 35, 44, 638, 660, 2541, 1848, 3300, 1320, 1485, 220, 190, 4, 3], [0, 35, 45, 627, 715, 2376, 2178, 2838, 1782, 1155, 385, 135, 15, 2], [0, 35, 46, 616, 770, 2211, 2508, 2376, 2244, 825, 550, 80, 26, 1], [0, 35, 47, 605, 825, 2046, 2838, 1914, 2706, 495, 715, 25, 37, 0], [0, 36, 33, 693, 495, 2871, 1386, 3762, 990, 1650, 165, 201, 3, 3], [0, 36, 34, 682, 550, 2706, 1716, 3300, 1452, 1320, 330, 146, 14, 2], [0, 36, 35, 671, 605, 2541, 2046, 2838, 1914, 990, 495, 91, 25, 1], [0, 36, 36, 660, 660, 2376, 2376, 2376, 2376, 660, 660, 36, 36, 0], [0, 37, 22, 748, 330, 3201, 924, 4224, 660, 1815, 110, 212, 2, 3], [0, 37, 23, 737, 385, 3036, 1254, 3762, 1122, 1485, 275, 157, 13, 2], [0, 37, 24, 726, 440, 2871, 1584, 3300, 1584, 1155, 440, 102, 24, 1], [0, 37, 25, 715, 495, 2706, 1914, 2838, 2046, 825, 605, 47, 35, 0], [0, 38, 11, 803, 165, 3531, 462, 4686, 330, 1980, 55, 223, 1, 3], [0, 38, 12, 792, 220, 3366, 792, 4224, 792, 1650, 220, 168, 12, 2], [0, 38, 13, 781, 275, 3201, 1122, 3762, 1254, 1320, 385, 113, 23, 1], [0, 38, 14, 770, 330, 3036, 1452, 3300, 1716, 990, 550, 58, 34, 0], [0, 39, 0, 858, 0, 3861, 0, 5148, 0, 2145, 0, 234, 0, 3], [0, 39, 1, 847, 55, 3696, 330, 4686, 462, 1815, 165, 179, 11, 2], [0, 39, 2, 836, 110, 3531, 660, 4224, 924, 1485, 330, 124, 22, 1], [0, 39, 3, 825, 165, 3366, 990, 3762, 1386, 1155, 495, 69, 33, 0]}
(14, 12288, 10) has 199 possible DDs: {[0, 10, 114, 16, 1452, 418, 3102, 2640, 1320, 2574, 110, 480, 44, 6, 2], [0, 10, 115, 5, 1507, 253, 3432, 2178, 1782, 2244, 275, 425, 55, 5, 2], [0, 11, 103, 71, 1287, 748, 2640, 3102, 990, 2739, 55, 491, 43, 6, 2], [0, 11, 104, 60, 1342, 583, 2970, 2640, 1452, 2409, 220, 436, 54, 5, 2], [0, 11, 105, 49, 1397, 418, 3300, 2178, 1914, 2079, 385, 381, 65, 4, 2], [0, 11, 105, 50, 1386, 473, 3135, 2508, 1452, 2541, 55, 546, 10, 15, 1], [0, 11, 106, 38, 1452, 253, 3630, 1716, 2376, 1749, 550, 326, 76, 3, 2], [0, 11, 106, 39, 1441, 308, 3465, 2046, 1914, 2211, 220, 491, 21, 14, 1], [0, 11, 107, 27, 1507, 88, 3960, 1254, 2838, 1419, 715, 271, 87, 2, 2], [0, 11, 107, 28, 1496, 143, 3795, 1584, 2376, 1881, 385, 436, 32, 13, 1], [0, 12, 92, 126, 1122, 1078, 2178, 3564, 660, 2904, 0, 502, 42, 6, 2], [0, 12, 93, 115, 1177, 913, 2508, 3102, 1122, 2574, 165, 447, 53, 5, 2], [0, 12, 94, 104, 1232, 748, 2838, 2640, 1584, 2244, 330, 392, 64, 4, 2], [0, 12, 94, 105, 1221, 803, 2673, 2970, 1122, 2706, 0, 557, 9, 15, 1], [0, 12, 95, 93, 1287, 583, 3168, 2178, 2046, 1914, 495, 337, 75, 3, 2], [0, 12, 95, 94, 1276, 638, 3003, 2508, 1584, 2376, 165, 502, 20, 14, 1], [0, 12, 96, 82, 1342, 418, 3498, 1716, 2508, 1584, 660, 282, 86, 2, 2], [0, 12, 96, 83, 1331, 473, 3333, 2046, 2046, 2046, 330, 447, 31, 13, 1], [0, 12, 97, 71, 1397, 253, 3828, 1254, 2970, 1254, 825, 227, 97, 1, 2], [0, 12, 97, 72, 1386, 308, 3663, 1584, 2508, 1716, 495, 392, 42, 12, 1], [0, 12, 98, 60, 1452, 88, 4158, 792, 3432, 924, 990, 172, 108, 0, 2], [0, 12, 98, 61, 1441, 143, 3993, 1122, 2970, 1386, 660, 337, 53, 11, 1], [0, 12, 99, 51, 1485, 33, 4158, 990, 2970, 1518, 495, 447, 9, 21, 0], [0, 13, 82, 170, 1012, 1243, 2046, 3564, 792, 2739, 110, 458, 52, 5, 2], [0, 13, 83, 159, 1067, 1078, 2376, 3102, 1254, 2409, 275, 403, 63, 4, 2], [0, 13, 84, 148, 1122, 913, 2706, 2640, 1716, 2079, 440, 348, 74, 3, 2], [0, 13, 84, 149, 1111, 968, 2541, 2970, 1254, 2541, 110, 513, 19, 14, 1], [0, 13, 85, 137, 1177, 748, 3036, 2178, 2178, 1749, 605, 293, 85, 2, 2], [0, 13, 85, 138, 1166, 803, 2871, 2508, 1716, 2211, 275, 458, 30, 13, 1], [0, 13, 86, 126, 1232, 583, 3366, 1716, 2640, 1419, 770, 238, 96, 1, 2], [0, 13, 86, 127, 1221, 638, 3201, 2046, 2178, 1881, 440, 403, 41, 12, 1], [0, 13, 87, 115, 1287, 418, 3696, 1254, 3102, 1089, 935, 183, 107, 0, 2], [0, 13, 87, 116, 1276, 473, 3531, 1584, 2640, 1551, 605, 348, 52, 11, 1], [0, 13, 88, 105, 1331, 308, 3861, 1122, 3102, 1221, 770, 293, 63, 10, 1], [0, 13, 88, 106, 1320, 363, 3696, 1452, 2640, 1683, 440, 458, 8, 21, 0], [0, 13, 89, 94, 1386, 143, 4191, 660, 3564, 891, 935, 238, 74, 9, 1], [0, 13, 89, 95, 1375, 198, 4026, 990, 3102, 1353, 605, 403, 19, 20, 0], [0, 13, 90, 84, 1430, 33, 4356, 528, 3564, 1023, 770, 348, 30, 19, 0], [0, 14, 71, 225, 847, 1573, 1584, 4026, 462, 2904, 55, 469, 51, 5, 2], [0, 14, 72, 214, 902, 1408, 1914, 3564, 924, 2574, 220, 414, 62, 4, 2], [0, 14, 73, 203, 957, 1243, 2244, 3102, 1386, 2244, 385, 359, 73, 3, 2], [0, 14, 73, 204, 946, 1298, 2079, 3432, 924, 2706, 55, 524, 18, 14, 1], [0, 14, 74, 192, 1012, 1078, 2574, 2640, 1848, 1914, 550, 304, 84, 2, 2], [0, 14, 74, 193, 1001, 1133, 2409, 2970, 1386, 2376, 220, 469, 29, 13, 1], [0, 14, 75, 181, 1067, 913, 2904, 2178, 2310, 1584, 715, 249, 95, 1, 2], [0, 14, 75, 182, 1056, 968, 2739, 2508, 1848, 2046, 385, 414, 40, 12, 1], [0, 14, 76, 170, 1122, 748, 3234, 1716, 2772, 1254, 880, 194, 106, 0, 2], [0, 14, 76, 171, 1111, 803, 3069, 2046, 2310, 1716, 550, 359, 51, 11, 1], [0, 14, 77, 160, 1166, 638, 3399, 1584, 2772, 1386, 715, 304, 62, 10, 1], [0, 14, 77, 161, 1155, 693, 3234, 1914, 2310, 1848, 385, 469, 7, 21, 0], [0, 14, 78, 149, 1221, 473, 3729, 1122, 3234, 1056, 880, 249, 73, 9, 1], [0, 14, 78, 150, 1210, 528, 3564, 1452, 2772, 1518, 550, 414, 18, 20, 0], [0, 14, 79, 138, 1276, 308, 4059, 660, 3696, 726, 1045, 194, 84, 8, 1], [0, 14, 79, 139, 1265, 363, 3894, 990, 3234, 1188, 715, 359, 29, 19, 0], [0, 14, 80, 127, 1331, 143, 4389, 198, 4158, 396, 1210, 139, 95, 7, 1], [0, 14, 80, 128, 1320, 198, 4224, 528, 3696, 858, 880, 304, 40, 18, 0], [0, 14, 81, 117, 1375, 33, 4554, 66, 4158, 528, 1045, 249, 51, 17, 0], [0, 15, 60, 280, 682, 1903, 1122, 4488, 132, 3069, 0, 480, 50, 5, 2], [0, 15, 61, 269, 737, 1738, 1452, 4026, 594, 2739, 165, 425, 61, 4, 2], [0, 15, 62, 258, 792, 1573, 1782, 3564, 1056, 2409, 330, 370, 72, 3, 2], [0, 15, 62, 259, 781, 1628, 1617, 3894, 594, 2871, 0, 535, 17, 14, 1], [0, 15, 63, 247, 847, 1408, 2112, 3102, 1518, 2079, 495, 315, 83, 2, 2], [0, 15, 63, 248, 836, 1463, 1947, 3432, 1056, 2541, 165, 480, 28, 13, 1], [0, 15, 64, 236, 902, 1243, 2442, 2640, 1980, 1749, 660, 260, 94, 1, 2], [0, 15, 64, 237, 891, 1298, 2277, 2970, 1518, 2211, 330, 425, 39, 12, 1], [0, 15, 65, 225, 957, 1078, 2772, 2178, 2442, 1419, 825, 205, 105, 0, 2], [0, 15, 65, 226, 946, 1133, 2607, 2508, 1980, 1881, 495, 370, 50, 11, 1], [0, 15, 66, 215, 1001, 968, 2937, 2046, 2442, 1551, 660, 315, 61, 10, 1], [0, 15, 66, 216, 990, 1023, 2772, 2376, 1980, 2013, 330, 480, 6, 21, 0], [0, 15, 67, 204, 1056, 803, 3267, 1584, 2904, 1221, 825, 260, 72, 9, 1], [0, 15, 67, 205, 1045, 858, 3102, 1914, 2442, 1683, 495, 425, 17, 20, 0], [0, 15, 68, 193, 1111, 638, 3597, 1122, 3366, 891, 990, 205, 83, 8, 1], [0, 15, 68, 194, 1100, 693, 3432, 1452, 2904, 1353, 660, 370, 28, 19, 0], [0, 15, 69, 182, 1166, 473, 3927, 660, 3828, 561, 1155, 150, 94, 7, 1], [0, 15, 69, 183, 1155, 528, 3762, 990, 3366, 1023, 825, 315, 39, 18, 0], [0, 15, 70, 171, 1221, 308, 4257, 198, 4290, 231, 1320, 95, 105, 6, 1], [0, 15, 70, 172, 1210, 363, 4092, 528, 3828, 693, 990, 260, 50, 17, 0], [0, 15, 71, 161, 1265, 198, 4422, 66, 4290, 363, 1155, 205, 61, 16, 0], [0, 16, 50, 324, 572, 2068, 990, 4488, 264, 2904, 110, 436, 60, 4, 2], [0, 16, 51, 313, 627, 1903, 1320, 4026, 726, 2574, 275, 381, 71, 3, 2], [0, 16, 52, 302, 682, 1738, 1650, 3564, 1188, 2244, 440, 326, 82, 2, 2], [0, 16, 52, 303, 671, 1793, 1485, 3894, 726, 2706, 110, 491, 27, 13, 1], [0, 16, 53, 291, 737, 1573, 1980, 3102, 1650, 1914, 605, 271, 93, 1, 2], [0, 16, 53, 292, 726, 1628, 1815, 3432, 1188, 2376, 275, 436, 38, 12, 1], [0, 16, 54, 280, 792, 1408, 2310, 2640, 2112, 1584, 770, 216, 104, 0, 2], [0, 16, 54, 281, 781, 1463, 2145, 2970, 1650, 2046, 440, 381, 49, 11, 1], [0, 16, 55, 270, 836, 1298, 2475, 2508, 2112, 1716, 605, 326, 60, 10, 1], [0, 16, 55, 271, 825, 1353, 2310, 2838, 1650, 2178, 275, 491, 5, 21, 0], [0, 16, 56, 259, 891, 1133, 2805, 2046, 2574, 1386, 770, 271, 71, 9, 1], [0, 16, 56, 260, 880, 1188, 2640, 2376, 2112, 1848, 440, 436, 16, 20, 0], [0, 16, 57, 248, 946, 968, 3135, 1584, 3036, 1056, 935, 216, 82, 8, 1], [0, 16, 57, 249, 935, 1023, 2970, 1914, 2574, 1518, 605, 381, 27, 19, 0], [0, 16, 58, 237, 1001, 803, 3465, 1122, 3498, 726, 1100, 161, 93, 7, 1], [0, 16, 58, 238, 990, 858, 3300, 1452, 3036, 1188, 770, 326, 38, 18, 0], [0, 16, 59, 226, 1056, 638, 3795, 660, 3960, 396, 1265, 106, 104, 6, 1], [0, 16, 59, 227, 1045, 693, 3630, 990, 3498, 858, 935, 271, 49, 17, 0], [0, 16, 60, 215, 1111, 473, 4125, 198, 4422, 66, 1430, 51, 115, 5, 1], [0, 16, 60, 216, 1100, 528, 3960, 528, 3960, 528, 1100, 216, 60, 16, 0], [0, 16, 61, 205, 1155, 363, 4290, 66, 4422, 198, 1265, 161, 71, 15, 0], [0, 17, 40, 368, 462, 2233, 858, 4488, 396, 2739, 220, 392, 70, 3, 2], [0, 17, 41, 357, 517, 2068, 1188, 4026, 858, 2409, 385, 337, 81, 2, 2], [0, 17, 41, 358, 506, 2123, 1023, 4356, 396, 2871, 55, 502, 26, 13, 1], [0, 17, 42, 346, 572, 1903, 1518, 3564, 1320, 2079, 550, 282, 92, 1, 2], [0, 17, 42, 347, 561, 1958, 1353, 3894, 858, 2541, 220, 447, 37, 12, 1], [0, 17, 43, 335, 627, 1738, 1848, 3102, 1782, 1749, 715, 227, 103, 0, 2], [0, 17, 43, 336, 616, 1793, 1683, 3432, 1320, 2211, 385, 392, 48, 11, 1], [0, 17, 44, 325, 671, 1628, 2013, 2970, 1782, 1881, 550, 337, 59, 10, 1], [0, 17, 44, 326, 660, 1683, 1848, 3300, 1320, 2343, 220, 502, 4, 21, 0], [0, 17, 45, 314, 726, 1463, 2343, 2508, 2244, 1551, 715, 282, 70, 9, 1], [0, 17, 45, 315, 715, 1518, 2178, 2838, 1782, 2013, 385, 447, 15, 20, 0], [0, 17, 46, 303, 781, 1298, 2673, 2046, 2706, 1221, 880, 227, 81, 8, 1], [0, 17, 46, 304, 770, 1353, 2508, 2376, 2244, 1683, 550, 392, 26, 19, 0], [0, 17, 47, 292, 836, 1133, 3003, 1584, 3168, 891, 1045, 172, 92, 7, 1], [0, 17, 47, 293, 825, 1188, 2838, 1914, 2706, 1353, 715, 337, 37, 18, 0], [0, 17, 48, 281, 891, 968, 3333, 1122, 3630, 561, 1210, 117, 103, 6, 1], [0, 17, 48, 282, 880, 1023, 3168, 1452, 3168, 1023, 880, 282, 48, 17, 0], [0, 17, 49, 270, 946, 803, 3663, 660, 4092, 231, 1375, 62, 114, 5, 1], [0, 17, 49, 271, 935, 858, 3498, 990, 3630, 693, 1045, 227, 59, 16, 0], [0, 17, 50, 260, 990, 693, 3828, 528, 4092, 363, 1210, 172, 70, 15, 0], [0, 17, 51, 249, 1045, 528, 4158, 66, 4554, 33, 1375, 117, 81, 14, 0], [0, 18, 29, 423, 297, 2563, 396, 4950, 66, 2904, 165, 403, 69, 3, 2], [0, 18, 30, 412, 352, 2398, 726, 4488, 528, 2574, 330, 348, 80, 2, 2], [0, 18, 30, 413, 341, 2453, 561, 4818, 66, 3036, 0, 513, 25, 13, 1], [0, 18, 31, 401, 407, 2233, 1056, 4026, 990, 2244, 495, 293, 91, 1, 2], [0, 18, 31, 402, 396, 2288, 891, 4356, 528, 2706, 165, 458, 36, 12, 1], [0, 18, 32, 390, 462, 2068, 1386, 3564, 1452, 1914, 660, 238, 102, 0, 2], [0, 18, 32, 391, 451, 2123, 1221, 3894, 990, 2376, 330, 403, 47, 11, 1], [0, 18, 33, 380, 506, 1958, 1551, 3432, 1452, 2046, 495, 348, 58, 10, 1], [0, 18, 33, 381, 495, 2013, 1386, 3762, 990, 2508, 165, 513, 3, 21, 0], [0, 18, 34, 369, 561, 1793, 1881, 2970, 1914, 1716, 660, 293, 69, 9, 1], [0, 18, 34, 370, 550, 1848, 1716, 3300, 1452, 2178, 330, 458, 14, 20, 0], [0, 18, 35, 358, 616, 1628, 2211, 2508, 2376, 1386, 825, 238, 80, 8, 1], [0, 18, 35, 359, 605, 1683, 2046, 2838, 1914, 1848, 495, 403, 25, 19, 0], [0, 18, 36, 347, 671, 1463, 2541, 2046, 2838, 1056, 990, 183, 91, 7, 1], [0, 18, 36, 348, 660, 1518, 2376, 2376, 2376, 1518, 660, 348, 36, 18, 0], [0, 18, 37, 336, 726, 1298, 2871, 1584, 3300, 726, 1155, 128, 102, 6, 1], [0, 18, 37, 337, 715, 1353, 2706, 1914, 2838, 1188, 825, 293, 47, 17, 0], [0, 18, 38, 325, 781, 1133, 3201, 1122, 3762, 396, 1320, 73, 113, 5, 1], [0, 18, 38, 326, 770, 1188, 3036, 1452, 3300, 858, 990, 238, 58, 16, 0], [0, 18, 39, 314, 836, 968, 3531, 660, 4224, 66, 1485, 18, 124, 4, 1], [0, 18, 39, 315, 825, 1023, 3366, 990, 3762, 528, 1155, 183, 69, 15, 0], [0, 18, 40, 304, 880, 858, 3696, 528, 4224, 198, 1320, 128, 80, 14, 0], [0, 19, 19, 467, 187, 2728, 264, 4950, 198, 2739, 275, 359, 79, 2, 2], [0, 19, 20, 456, 242, 2563, 594, 4488, 660, 2409, 440, 304, 90, 1, 2], [0, 19, 20, 457, 231, 2618, 429, 4818, 198, 2871, 110, 469, 35, 12, 1], [0, 19, 21, 445, 297, 2398, 924, 4026, 1122, 2079, 605, 249, 101, 0, 2], [0, 19, 21, 446, 286, 2453, 759, 4356, 660, 2541, 275, 414, 46, 11, 1], [0, 19, 22, 435, 341, 2288, 1089, 3894, 1122, 2211, 440, 359, 57, 10, 1], [0, 19, 22, 436, 330, 2343, 924, 4224, 660, 2673, 110, 524, 2, 21, 0], [0, 19, 23, 424, 396, 2123, 1419, 3432, 1584, 1881, 605, 304, 68, 9, 1], [0, 19, 23, 425, 385, 2178, 1254, 3762, 1122, 2343, 275, 469, 13, 20, 0], [0, 19, 24, 413, 451, 1958, 1749, 2970, 2046, 1551, 770, 249, 79, 8, 1], [0, 19, 24, 414, 440, 2013, 1584, 3300, 1584, 2013, 440, 414, 24, 19, 0], [0, 19, 25, 402, 506, 1793, 2079, 2508, 2508, 1221, 935, 194, 90, 7, 1], [0, 19, 25, 403, 495, 1848, 1914, 2838, 2046, 1683, 605, 359, 35, 18, 0], [0, 19, 26, 391, 561, 1628, 2409, 2046, 2970, 891, 1100, 139, 101, 6, 1], [0, 19, 26, 392, 550, 1683, 2244, 2376, 2508, 1353, 770, 304, 46, 17, 0], [0, 19, 27, 380, 616, 1463, 2739, 1584, 3432, 561, 1265, 84, 112, 5, 1], [0, 19, 27, 381, 605, 1518, 2574, 1914, 2970, 1023, 935, 249, 57, 16, 0], [0, 19, 28, 369, 671, 1298, 3069, 1122, 3894, 231, 1430, 29, 123, 4, 1], [0, 19, 28, 370, 660, 1353, 2904, 1452, 3432, 693, 1100, 194, 68, 15, 0], [0, 19, 29, 359, 715, 1188, 3234, 990, 3894, 363, 1265, 139, 79, 14, 0], [0, 19, 30, 348, 770, 1023, 3564, 528, 4356, 33, 1430, 84, 90, 13, 0], [0, 20, 9, 511, 77, 2893, 132, 4950, 330, 2574, 385, 315, 89, 1, 2], [0, 20, 10, 500, 132, 2728, 462, 4488, 792, 2244, 550, 260, 100, 0, 2], [0, 20, 10, 501, 121, 2783, 297, 4818, 330, 2706, 220, 425, 45, 11, 1], [0, 20, 11, 490, 176, 2618, 627, 4356, 792, 2376, 385, 370, 56, 10, 1], [0, 20, 11, 491, 165, 2673, 462, 4686, 330, 2838, 55, 535, 1, 21, 0], [0, 20, 12, 479, 231, 2453, 957, 3894, 1254, 2046, 550, 315, 67, 9, 1], [0, 20, 12, 480, 220, 2508, 792, 4224, 792, 2508, 220, 480, 12, 20, 0], [0, 20, 13, 468, 286, 2288, 1287, 3432, 1716, 1716, 715, 260, 78, 8, 1], [0, 20, 13, 469, 275, 2343, 1122, 3762, 1254, 2178, 385, 425, 23, 19, 0], [0, 20, 14, 457, 341, 2123, 1617, 2970, 2178, 1386, 880, 205, 89, 7, 1], [0, 20, 14, 458, 330, 2178, 1452, 3300, 1716, 1848, 550, 370, 34, 18, 0], [0, 20, 15, 446, 396, 1958, 1947, 2508, 2640, 1056, 1045, 150, 100, 6, 1], [0, 20, 15, 447, 385, 2013, 1782, 2838, 2178, 1518, 715, 315, 45, 17, 0], [0, 20, 16, 435, 451, 1793, 2277, 2046, 3102, 726, 1210, 95, 111, 5, 1], [0, 20, 16, 436, 440, 1848, 2112, 2376, 2640, 1188, 880, 260, 56, 16, 0], [0, 20, 17, 424, 506, 1628, 2607, 1584, 3564, 396, 1375, 40, 122, 4, 1], [0, 20, 17, 425, 495, 1683, 2442, 1914, 3102, 858, 1045, 205, 67, 15, 0], [0, 20, 18, 414, 550, 1518, 2772, 1452, 3564, 528, 1210, 150, 78, 14, 0], [0, 20, 19, 403, 605, 1353, 3102, 990, 4026, 198, 1375, 95, 89, 13, 0], [0, 21, 0, 545, 11, 2948, 165, 4818, 462, 2541, 330, 381, 55, 10, 1], [0, 21, 0, 546, 0, 3003, 0, 5148, 0, 3003, 0, 546, 0, 21, 0], [0, 21, 1, 534, 66, 2783, 495, 4356, 924, 2211, 495, 326, 66, 9, 1], [0, 21, 1, 535, 55, 2838, 330, 4686, 462, 2673, 165, 491, 11, 20, 0], [0, 21, 2, 523, 121, 2618, 825, 3894, 1386, 1881, 660, 271, 77, 8, 1], [0, 21, 2, 524, 110, 2673, 660, 4224, 924, 2343, 330, 436, 22, 19, 0], [0, 21, 3, 512, 176, 2453, 1155, 3432, 1848, 1551, 825, 216, 88, 7, 1], [0, 21, 3, 513, 165, 2508, 990, 3762, 1386, 2013, 495, 381, 33, 18, 0], [0, 21, 4, 501, 231, 2288, 1485, 2970, 2310, 1221, 990, 161, 99, 6, 1], [0, 21, 4, 502, 220, 2343, 1320, 3300, 1848, 1683, 660, 326, 44, 17, 0], [0, 21, 5, 490, 286, 2123, 1815, 2508, 2772, 891, 1155, 106, 110, 5, 1], [0, 21, 5, 491, 275, 2178, 1650, 2838, 2310, 1353, 825, 271, 55, 16, 0], [0, 21, 6, 479, 341, 1958, 2145, 2046, 3234, 561, 1320, 51, 121, 4, 1], [0, 21, 6, 480, 330, 2013, 1980, 2376, 2772, 1023, 990, 216, 66, 15, 0], [0, 21, 7, 469, 385, 1848, 2310, 1914, 3234, 693, 1155, 161, 77, 14, 0], [0, 21, 8, 458, 440, 1683, 2640, 1452, 3696, 363, 1320, 106, 88, 13, 0], [0, 21, 9, 447, 495, 1518, 2970, 990, 4158, 33, 1485, 51, 99, 12, 0]}
(15, 12288, 10) has 829 possible DDs: {[0, 2, 83, 25, 645, 1551, 286, 4884, 330, 2640, 1375, 97, 353, 15, 0, 2], [0, 2, 84, 14, 700, 1386, 616, 4422, 792, 2310, 1540, 42, 364, 14, 0, 2], [0, 3, 73, 69, 535, 1716, 154, 4884, 462, 2475, 1485, 53, 363, 14, 0, 2], [0, 3, 76, 40, 657, 1430, 539, 4653, 330, 2871, 1122, 218, 341, 0, 7, 1], [0, 3, 77, 30, 701, 1320, 704, 4521, 330, 3003, 957, 328, 297, 10, 6, 1], [0, 3, 78, 19, 756, 1155, 1034, 4059, 792, 2673, 1122, 273, 308, 9, 6, 1], [0, 3, 78, 20, 745, 1210, 869, 4389, 330, 3135, 792, 438, 253, 20, 5, 1], [0, 3, 79, 8, 811, 990, 1364, 3597, 1254, 2343, 1287, 218, 319, 8, 6, 1], [0, 3, 79, 9, 800, 1045, 1199, 3927, 792, 2805, 957, 383, 264, 19, 5, 1], [0, 3, 79, 10, 789, 1100, 1034, 4257, 330, 3267, 627, 548, 209, 30, 4, 1], [0, 3, 80, 0, 833, 990, 1199, 4125, 330, 3399, 462, 658, 165, 40, 3, 1], [0, 4, 63, 113, 425, 1881, 22, 4884, 594, 2310, 1595, 9, 373, 13, 0, 2], [0, 4, 65, 95, 492, 1760, 77, 5115, 0, 3036, 1067, 229, 340, 0, 7, 1], [0, 4, 66, 85, 536, 1650, 242, 4983, 0, 3168, 902, 339, 296, 10, 6, 1], [0, 4, 67, 74, 591, 1485, 572, 4521, 462, 2838, 1067, 284, 307, 9, 6, 1], [0, 4, 67, 75, 580, 1540, 407, 4851, 0, 3300, 737, 449, 252, 20, 5, 1], [0, 4, 68, 63, 646, 1320, 902, 4059, 924, 2508, 1232, 229, 318, 8, 6, 1], [0, 4, 68, 64, 635, 1375, 737, 4389, 462, 2970, 902, 394, 263, 19, 5, 1], [0, 4, 68, 65, 624, 1430, 572, 4719, 0, 3432, 572, 559, 208, 30, 4, 1], [0, 4, 69, 52, 701, 1155, 1232, 3597, 1386, 2178, 1397, 174, 329, 7, 6, 1], [0, 4, 69, 53, 690, 1210, 1067, 3927, 924, 2640, 1067, 339, 274, 18, 5, 1], [0, 4, 69, 54, 679, 1265, 902, 4257, 462, 3102, 737, 504, 219, 29, 4, 1], [0, 4, 69, 55, 668, 1320, 737, 4587, 0, 3564, 407, 669, 164, 40, 3, 1], [0, 4, 70, 41, 756, 990, 1562, 3135, 1848, 1848, 1562, 119, 340, 6, 6, 1], [0, 4, 70, 42, 745, 1045, 1397, 3465, 1386, 2310, 1232, 284, 285, 17, 5, 1], [0, 4, 70, 43, 734, 1100, 1232, 3795, 924, 2772, 902, 449, 230, 28, 4, 1], [0, 4, 70, 44, 723, 1155, 1067, 4125, 462, 3234, 572, 614, 175, 39, 3, 1], [0, 4, 70, 45, 712, 1210, 902, 4455, 0, 3696, 242, 779, 120, 50, 2, 1], [0, 4, 71, 30, 811, 825, 1892, 2673, 2310, 1518, 1727, 64, 351, 5, 6, 1], [0, 4, 71, 31, 800, 880, 1727, 3003, 1848, 1980, 1397, 229, 296, 16, 5, 1], [0, 4, 71, 32, 789, 935, 1562, 3333, 1386, 2442, 1067, 394, 241, 27, 4, 1], [0, 4, 71, 33, 778, 990, 1397, 3663, 924, 2904, 737, 559, 186, 38, 3, 1], [0, 4, 71, 34, 767, 1045, 1232, 3993, 462, 3366, 407, 724, 131, 49, 2, 1], [0, 4, 71, 35, 756, 1100, 1067, 4323, 0, 3828, 77, 889, 76, 60, 1, 1], [0, 4, 71, 35, 757, 1089, 1122, 4158, 330, 3366, 539, 559, 241, 5, 12, 0], [0, 4, 72, 19, 866, 660, 2222, 2211, 2772, 1188, 1892, 9, 362, 4, 6, 1], [0, 4, 72, 20, 855, 715, 2057, 2541, 2310, 1650, 1562, 174, 307, 15, 5, 1], [0, 4, 72, 21, 844, 770, 1892, 2871, 1848, 2112, 1232, 339, 252, 26, 4, 1], [0, 4, 72, 22, 833, 825, 1727, 3201, 1386, 2574, 902, 504, 197, 37, 3, 1], [0, 4, 72, 23, 822, 880, 1562, 3531, 924, 3036, 572, 669, 142, 48, 2, 1], [0, 4, 72, 24, 811, 935, 1397, 3861, 462, 3498, 242, 834, 87, 59, 1, 1], [0, 4, 72, 24, 812, 924, 1452, 3696, 792, 3036, 704, 504, 252, 4, 12, 0], [0, 4, 72, 25, 801, 979, 1287, 4026, 330, 3498, 374, 669, 197, 15, 11, 0], [0, 4, 73, 9, 910, 550, 2387, 2079, 2772, 1320, 1727, 119, 318, 14, 5, 1], [0, 4, 73, 10, 899, 605, 2222, 2409, 2310, 1782, 1397, 284, 263, 25, 4, 1], [0, 4, 73, 11, 888, 660, 2057, 2739, 1848, 2244, 1067, 449, 208, 36, 3, 1], [0, 4, 73, 12, 877, 715, 1892, 3069, 1386, 2706, 737, 614, 153, 47, 2, 1], [0, 4, 73, 13, 866, 770, 1727, 3399, 924, 3168, 407, 779, 98, 58, 1, 1], [0, 4, 73, 13, 867, 759, 1782, 3234, 1254, 2706, 869, 449, 263, 3, 12, 0], [0, 4, 73, 14, 855, 825, 1562, 3729, 462, 3630, 77, 944, 43, 69, 0, 1], [0, 4, 73, 14, 856, 814, 1617, 3564, 792, 3168, 539, 614, 208, 14, 11, 0], [0, 4, 73, 15, 845, 869, 1452, 3894, 330, 3630, 209, 779, 153, 25, 10, 0], [0, 4, 74, 0, 943, 495, 2387, 2277, 2310, 1914, 1232, 394, 219, 35, 3, 1], [0, 4, 74, 1, 932, 550, 2222, 2607, 1848, 2376, 902, 559, 164, 46, 2, 1], [0, 4, 74, 2, 921, 605, 2057, 2937, 1386, 2838, 572, 724, 109, 57, 1, 1], [0, 4, 74, 2, 922, 594, 2112, 2772, 1716, 2376, 1034, 394, 274, 2, 12, 0], [0, 4, 74, 3, 910, 660, 1892, 3267, 924, 3300, 242, 889, 54, 68, 0, 1], [0, 4, 74, 3, 911, 649, 1947, 3102, 1254, 2838, 704, 559, 219, 13, 11, 0], [0, 4, 74, 4, 900, 704, 1782, 3432, 792, 3300, 374, 724, 164, 24, 10, 0], [0, 4, 74, 5, 889, 759, 1617, 3762, 330, 3762, 44, 889, 109, 35, 9, 0], [0, 5, 56, 129, 426, 1815, 110, 4983, 132, 3003, 1012, 295, 306, 9, 6, 1], [0, 5, 57, 118, 481, 1650, 440, 4521, 594, 2673, 1177, 240, 317, 8, 6, 1], [0, 5, 57, 119, 470, 1705, 275, 4851, 132, 3135, 847, 405, 262, 19, 5, 1], [0, 5, 58, 107, 536, 1485, 770, 4059, 1056, 2343, 1342, 185, 328, 7, 6, 1], [0, 5, 58, 108, 525, 1540, 605, 4389, 594, 2805, 1012, 350, 273, 18, 5, 1], [0, 5, 58, 109, 514, 1595, 440, 4719, 132, 3267, 682, 515, 218, 29, 4, 1], [0, 5, 59, 96, 591, 1320, 1100, 3597, 1518, 2013, 1507, 130, 339, 6, 6, 1], [0, 5, 59, 97, 580, 1375, 935, 3927, 1056, 2475, 1177, 295, 284, 17, 5, 1], [0, 5, 59, 98, 569, 1430, 770, 4257, 594, 2937, 847, 460, 229, 28, 4, 1], [0, 5, 59, 99, 558, 1485, 605, 4587, 132, 3399, 517, 625, 174, 39, 3, 1], [0, 5, 60, 85, 646, 1155, 1430, 3135, 1980, 1683, 1672, 75, 350, 5, 6, 1], [0, 5, 60, 86, 635, 1210, 1265, 3465, 1518, 2145, 1342, 240, 295, 16, 5, 1], [0, 5, 60, 87, 624, 1265, 1100, 3795, 1056, 2607, 1012, 405, 240, 27, 4, 1], [0, 5, 60, 88, 613, 1320, 935, 4125, 594, 3069, 682, 570, 185, 38, 3, 1], [0, 5, 60, 89, 602, 1375, 770, 4455, 132, 3531, 352, 735, 130, 49, 2, 1], [0, 5, 60, 90, 592, 1419, 660, 4620, 0, 3531, 484, 570, 240, 5, 12, 0], [0, 5, 61, 74, 701, 990, 1760, 2673, 2442, 1353, 1837, 20, 361, 4, 6, 1], [0, 5, 61, 75, 690, 1045, 1595, 3003, 1980, 1815, 1507, 185, 306, 15, 5, 1], [0, 5, 61, 76, 679, 1100, 1430, 3333, 1518, 2277, 1177, 350, 251, 26, 4, 1], [0, 5, 61, 77, 668, 1155, 1265, 3663, 1056, 2739, 847, 515, 196, 37, 3, 1], [0, 5, 61, 78, 657, 1210, 1100, 3993, 594, 3201, 517, 680, 141, 48, 2, 1], [0, 5, 61, 79, 646, 1265, 935, 4323, 132, 3663, 187, 845, 86, 59, 1, 1], [0, 5, 61, 79, 647, 1254, 990, 4158, 462, 3201, 649, 515, 251, 4, 12, 0], [0, 5, 61, 80, 636, 1309, 825, 4488, 0, 3663, 319, 680, 196, 15, 11, 0], [0, 5, 62, 64, 745, 880, 1925, 2541, 2442, 1485, 1672, 130, 317, 14, 5, 1], [0, 5, 62, 65, 734, 935, 1760, 2871, 1980, 1947, 1342, 295, 262, 25, 4, 1], [0, 5, 62, 66, 723, 990, 1595, 3201, 1518, 2409, 1012, 460, 207, 36, 3, 1], [0, 5, 62, 67, 712, 1045, 1430, 3531, 1056, 2871, 682, 625, 152, 47, 2, 1], [0, 5, 62, 68, 701, 1100, 1265, 3861, 594, 3333, 352, 790, 97, 58, 1, 1], [0, 5, 62, 68, 702, 1089, 1320, 3696, 924, 2871, 814, 460, 262, 3, 12, 0], [0, 5, 62, 69, 690, 1155, 1100, 4191, 132, 3795, 22, 955, 42, 69, 0, 1], [0, 5, 62, 69, 691, 1144, 1155, 4026, 462, 3333, 484, 625, 207, 14, 11, 0], [0, 5, 62, 70, 680, 1199, 990, 4356, 0, 3795, 154, 790, 152, 25, 10, 0], [0, 5, 63, 53, 800, 715, 2255, 2079, 2904, 1155, 1837, 75, 328, 13, 5, 1], [0, 5, 63, 54, 789, 770, 2090, 2409, 2442, 1617, 1507, 240, 273, 24, 4, 1], [0, 5, 63, 55, 778, 825, 1925, 2739, 1980, 2079, 1177, 405, 218, 35, 3, 1], [0, 5, 63, 56, 767, 880, 1760, 3069, 1518, 2541, 847, 570, 163, 46, 2, 1], [0, 5, 63, 57, 756, 935, 1595, 3399, 1056, 3003, 517, 735, 108, 57, 1, 1], [0, 5, 63, 57, 757, 924, 1650, 3234, 1386, 2541, 979, 405, 273, 2, 12, 0], [0, 5, 63, 58, 745, 990, 1430, 3729, 594, 3465, 187, 900, 53, 68, 0, 1], [0, 5, 63, 58, 746, 979, 1485, 3564, 924, 3003, 649, 570, 218, 13, 11, 0], [0, 5, 63, 59, 735, 1034, 1320, 3894, 462, 3465, 319, 735, 163, 24, 10, 0], [0, 5, 64, 42, 855, 550, 2585, 1617, 3366, 825, 2002, 20, 339, 12, 5, 1], [0, 5, 64, 43, 844, 605, 2420, 1947, 2904, 1287, 1672, 185, 284, 23, 4, 1], [0, 5, 64, 44, 833, 660, 2255, 2277, 2442, 1749, 1342, 350, 229, 34, 3, 1], [0, 5, 64, 45, 822, 715, 2090, 2607, 1980, 2211, 1012, 515, 174, 45, 2, 1], [0, 5, 64, 46, 811, 770, 1925, 2937, 1518, 2673, 682, 680, 119, 56, 1, 1], [0, 5, 64, 46, 812, 759, 1980, 2772, 1848, 2211, 1144, 350, 284, 1, 12, 0], [0, 5, 64, 47, 800, 825, 1760, 3267, 1056, 3135, 352, 845, 64, 67, 0, 1], [0, 5, 64, 47, 801, 814, 1815, 3102, 1386, 2673, 814, 515, 229, 12, 11, 0], [0, 5, 64, 48, 790, 869, 1650, 3432, 924, 3135, 484, 680, 174, 23, 10, 0], [0, 5, 64, 49, 779, 924, 1485, 3762, 462, 3597, 154, 845, 119, 34, 9, 0], [0, 5, 65, 32, 899, 440, 2750, 1485, 3366, 957, 1837, 130, 295, 22, 4, 1], [0, 5, 65, 33, 888, 495, 2585, 1815, 2904, 1419, 1507, 295, 240, 33, 3, 1], [0, 5, 65, 34, 877, 550, 2420, 2145, 2442, 1881, 1177, 460, 185, 44, 2, 1], [0, 5, 65, 35, 866, 605, 2255, 2475, 1980, 2343, 847, 625, 130, 55, 1, 1], [0, 5, 65, 35, 867, 594, 2310, 2310, 2310, 1881, 1309, 295, 295, 0, 12, 0], [0, 5, 65, 36, 855, 660, 2090, 2805, 1518, 2805, 517, 790, 75, 66, 0, 1], [0, 5, 65, 36, 856, 649, 2145, 2640, 1848, 2343, 979, 460, 240, 11, 11, 0], [0, 5, 65, 37, 845, 704, 1980, 2970, 1386, 2805, 649, 625, 185, 22, 10, 0], [0, 5, 65, 38, 834, 759, 1815, 3300, 924, 3267, 319, 790, 130, 33, 9, 0], [0, 5, 66, 21, 954, 275, 3080, 1023, 3828, 627, 2002, 75, 306, 21, 4, 1], [0, 5, 66, 22, 943, 330, 2915, 1353, 3366, 1089, 1672, 240, 251, 32, 3, 1], [0, 5, 66, 23, 932, 385, 2750, 1683, 2904, 1551, 1342, 405, 196, 43, 2, 1], [0, 5, 66, 24, 921, 440, 2585, 2013, 2442, 2013, 1012, 570, 141, 54, 1, 1], [0, 5, 66, 25, 910, 495, 2420, 2343, 1980, 2475, 682, 735, 86, 65, 0, 1], [0, 5, 66, 25, 911, 484, 2475, 2178, 2310, 2013, 1144, 405, 251, 10, 11, 0], [0, 5, 66, 26, 900, 539, 2310, 2508, 1848, 2475, 814, 570, 196, 21, 10, 0], [0, 5, 66, 27, 889, 594, 2145, 2838, 1386, 2937, 484, 735, 141, 32, 9, 0], [0, 5, 66, 28, 878, 649, 1980, 3168, 924, 3399, 154, 900, 86, 43, 8, 0], [0, 5, 67, 10, 1009, 110, 3410, 561, 4290, 297, 2167, 20, 317, 20, 4, 1], [0, 5, 67, 11, 998, 165, 3245, 891, 3828, 759, 1837, 185, 262, 31, 3, 1], [0, 5, 67, 12, 987, 220, 3080, 1221, 3366, 1221, 1507, 350, 207, 42, 2, 1], [0, 5, 67, 13, 976, 275, 2915, 1551, 2904, 1683, 1177, 515, 152, 53, 1, 1], [0, 5, 67, 14, 965, 330, 2750, 1881, 2442, 2145, 847, 680, 97, 64, 0, 1], [0, 5, 67, 14, 966, 319, 2805, 1716, 2772, 1683, 1309, 350, 262, 9, 11, 0], [0, 5, 67, 15, 955, 374, 2640, 2046, 2310, 2145, 979, 515, 207, 20, 10, 0], [0, 5, 67, 16, 944, 429, 2475, 2376, 1848, 2607, 649, 680, 152, 31, 9, 0], [0, 5, 67, 17, 933, 484, 2310, 2706, 1386, 3069, 319, 845, 97, 42, 8, 0], [0, 5, 68, 0, 1053, 0, 3575, 429, 4290, 429, 2002, 130, 273, 30, 3, 1], [0, 5, 68, 1, 1042, 55, 3410, 759, 3828, 891, 1672, 295, 218, 41, 2, 1], [0, 5, 68, 2, 1031, 110, 3245, 1089, 3366, 1353, 1342, 460, 163, 52, 1, 1], [0, 5, 68, 3, 1020, 165, 3080, 1419, 2904, 1815, 1012, 625, 108, 63, 0, 1], [0, 5, 68, 3, 1021, 154, 3135, 1254, 3234, 1353, 1474, 295, 273, 8, 11, 0], [0, 5, 68, 4, 1010, 209, 2970, 1584, 2772, 1815, 1144, 460, 218, 19, 10, 0], [0, 5, 68, 5, 999, 264, 2805, 1914, 2310, 2277, 814, 625, 163, 30, 9, 0], [0, 5, 68, 6, 988, 319, 2640, 2244, 1848, 2739, 484, 790, 108, 41, 8, 0], [0, 5, 68, 7, 977, 374, 2475, 2574, 1386, 3201, 154, 955, 53, 52, 7, 0], [0, 6, 47, 162, 371, 1815, 308, 4521, 726, 2508, 1287, 196, 327, 7, 6, 1], [0, 6, 47, 163, 360, 1870, 143, 4851, 264, 2970, 957, 361, 272, 18, 5, 1], [0, 6, 48, 151, 426, 1650, 638, 4059, 1188, 2178, 1452, 141, 338, 6, 6, 1], [0, 6, 48, 152, 415, 1705, 473, 4389, 726, 2640, 1122, 306, 283, 17, 5, 1], [0, 6, 48, 153, 404, 1760, 308, 4719, 264, 3102, 792, 471, 228, 28, 4, 1], [0, 6, 49, 140, 481, 1485, 968, 3597, 1650, 1848, 1617, 86, 349, 5, 6, 1], [0, 6, 49, 141, 470, 1540, 803, 3927, 1188, 2310, 1287, 251, 294, 16, 5, 1], [0, 6, 49, 142, 459, 1595, 638, 4257, 726, 2772, 957, 416, 239, 27, 4, 1], [0, 6, 49, 143, 448, 1650, 473, 4587, 264, 3234, 627, 581, 184, 38, 3, 1], [0, 6, 50, 129, 536, 1320, 1298, 3135, 2112, 1518, 1782, 31, 360, 4, 6, 1], [0, 6, 50, 130, 525, 1375, 1133, 3465, 1650, 1980, 1452, 196, 305, 15, 5, 1], [0, 6, 50, 131, 514, 1430, 968, 3795, 1188, 2442, 1122, 361, 250, 26, 4, 1], [0, 6, 50, 132, 503, 1485, 803, 4125, 726, 2904, 792, 526, 195, 37, 3, 1], [0, 6, 50, 133, 492, 1540, 638, 4455, 264, 3366, 462, 691, 140, 48, 2, 1], [0, 6, 50, 134, 482, 1584, 528, 4620, 132, 3366, 594, 526, 250, 4, 12, 0], [0, 6, 51, 119, 580, 1210, 1463, 3003, 2112, 1650, 1617, 141, 316, 14, 5, 1], [0, 6, 51, 120, 569, 1265, 1298, 3333, 1650, 2112, 1287, 306, 261, 25, 4, 1], [0, 6, 51, 121, 558, 1320, 1133, 3663, 1188, 2574, 957, 471, 206, 36, 3, 1], [0, 6, 51, 122, 547, 1375, 968, 3993, 726, 3036, 627, 636, 151, 47, 2, 1], [0, 6, 51, 123, 536, 1430, 803, 4323, 264, 3498, 297, 801, 96, 58, 1, 1], [0, 6, 51, 123, 537, 1419, 858, 4158, 594, 3036, 759, 471, 261, 3, 12, 0], [0, 6, 51, 124, 526, 1474, 693, 4488, 132, 3498, 429, 636, 206, 14, 11, 0], [0, 6, 52, 108, 635, 1045, 1793, 2541, 2574, 1320, 1782, 86, 327, 13, 5, 1], [0, 6, 52, 109, 624, 1100, 1628, 2871, 2112, 1782, 1452, 251, 272, 24, 4, 1], [0, 6, 52, 110, 613, 1155, 1463, 3201, 1650, 2244, 1122, 416, 217, 35, 3, 1], [0, 6, 52, 111, 602, 1210, 1298, 3531, 1188, 2706, 792, 581, 162, 46, 2, 1], [0, 6, 52, 112, 591, 1265, 1133, 3861, 726, 3168, 462, 746, 107, 57, 1, 1], [0, 6, 52, 112, 592, 1254, 1188, 3696, 1056, 2706, 924, 416, 272, 2, 12, 0], [0, 6, 52, 113, 580, 1320, 968, 4191, 264, 3630, 132, 911, 52, 68, 0, 1], [0, 6, 52, 113, 581, 1309, 1023, 4026, 594, 3168, 594, 581, 217, 13, 11, 0], [0, 6, 52, 114, 570, 1364, 858, 4356, 132, 3630, 264, 746, 162, 24, 10, 0], [0, 6, 53, 97, 690, 880, 2123, 2079, 3036, 990, 1947, 31, 338, 12, 5, 1], [0, 6, 53, 98, 679, 935, 1958, 2409, 2574, 1452, 1617, 196, 283, 23, 4, 1], [0, 6, 53, 99, 668, 990, 1793, 2739, 2112, 1914, 1287, 361, 228, 34, 3, 1], [0, 6, 53, 100, 657, 1045, 1628, 3069, 1650, 2376, 957, 526, 173, 45, 2, 1], [0, 6, 53, 101, 646, 1100, 1463, 3399, 1188, 2838, 627, 691, 118, 56, 1, 1], [0, 6, 53, 101, 647, 1089, 1518, 3234, 1518, 2376, 1089, 361, 283, 1, 12, 0], [0, 6, 53, 102, 635, 1155, 1298, 3729, 726, 3300, 297, 856, 63, 67, 0, 1], [0, 6, 53, 102, 636, 1144, 1353, 3564, 1056, 2838, 759, 526, 228, 12, 11, 0], [0, 6, 53, 103, 625, 1199, 1188, 3894, 594, 3300, 429, 691, 173, 23, 10, 0], [0, 6, 53, 104, 614, 1254, 1023, 4224, 132, 3762, 99, 856, 118, 34, 9, 0], [0, 6, 54, 87, 734, 770, 2288, 1947, 3036, 1122, 1782, 141, 294, 22, 4, 1], [0, 6, 54, 88, 723, 825, 2123, 2277, 2574, 1584, 1452, 306, 239, 33, 3, 1], [0, 6, 54, 89, 712, 880, 1958, 2607, 2112, 2046, 1122, 471, 184, 44, 2, 1], [0, 6, 54, 90, 701, 935, 1793, 2937, 1650, 2508, 792, 636, 129, 55, 1, 1], [0, 6, 54, 90, 702, 924, 1848, 2772, 1980, 2046, 1254, 306, 294, 0, 12, 0], [0, 6, 54, 91, 690, 990, 1628, 3267, 1188, 2970, 462, 801, 74, 66, 0, 1], [0, 6, 54, 91, 691, 979, 1683, 3102, 1518, 2508, 924, 471, 239, 11, 11, 0], [0, 6, 54, 92, 680, 1034, 1518, 3432, 1056, 2970, 594, 636, 184, 22, 10, 0], [0, 6, 54, 93, 669, 1089, 1353, 3762, 594, 3432, 264, 801, 129, 33, 9, 0], [0, 6, 55, 76, 789, 605, 2618, 1485, 3498, 792, 1947, 86, 305, 21, 4, 1], [0, 6, 55, 77, 778, 660, 2453, 1815, 3036, 1254, 1617, 251, 250, 32, 3, 1], [0, 6, 55, 78, 767, 715, 2288, 2145, 2574, 1716, 1287, 416, 195, 43, 2, 1], [0, 6, 55, 79, 756, 770, 2123, 2475, 2112, 2178, 957, 581, 140, 54, 1, 1], [0, 6, 55, 80, 745, 825, 1958, 2805, 1650, 2640, 627, 746, 85, 65, 0, 1], [0, 6, 55, 80, 746, 814, 2013, 2640, 1980, 2178, 1089, 416, 250, 10, 11, 0], [0, 6, 55, 81, 735, 869, 1848, 2970, 1518, 2640, 759, 581, 195, 21, 10, 0], [0, 6, 55, 82, 724, 924, 1683, 3300, 1056, 3102, 429, 746, 140, 32, 9, 0], [0, 6, 55, 83, 713, 979, 1518, 3630, 594, 3564, 99, 911, 85, 43, 8, 0], [0, 6, 56, 65, 844, 440, 2948, 1023, 3960, 462, 2112, 31, 316, 20, 4, 1], [0, 6, 56, 66, 833, 495, 2783, 1353, 3498, 924, 1782, 196, 261, 31, 3, 1], [0, 6, 56, 67, 822, 550, 2618, 1683, 3036, 1386, 1452, 361, 206, 42, 2, 1], [0, 6, 56, 68, 811, 605, 2453, 2013, 2574, 1848, 1122, 526, 151, 53, 1, 1], [0, 6, 56, 69, 800, 660, 2288, 2343, 2112, 2310, 792, 691, 96, 64, 0, 1], [0, 6, 56, 69, 801, 649, 2343, 2178, 2442, 1848, 1254, 361, 261, 9, 11, 0], [0, 6, 56, 70, 790, 704, 2178, 2508, 1980, 2310, 924, 526, 206, 20, 10, 0], [0, 6, 56, 71, 779, 759, 2013, 2838, 1518, 2772, 594, 691, 151, 31, 9, 0], [0, 6, 56, 72, 768, 814, 1848, 3168, 1056, 3234, 264, 856, 96, 42, 8, 0], [0, 6, 57, 55, 888, 330, 3113, 891, 3960, 594, 1947, 141, 272, 30, 3, 1], [0, 6, 57, 56, 877, 385, 2948, 1221, 3498, 1056, 1617, 306, 217, 41, 2, 1], [0, 6, 57, 57, 866, 440, 2783, 1551, 3036, 1518, 1287, 471, 162, 52, 1, 1], [0, 6, 57, 58, 855, 495, 2618, 1881, 2574, 1980, 957, 636, 107, 63, 0, 1], [0, 6, 57, 58, 856, 484, 2673, 1716, 2904, 1518, 1419, 306, 272, 8, 11, 0], [0, 6, 57, 59, 845, 539, 2508, 2046, 2442, 1980, 1089, 471, 217, 19, 10, 0], [0, 6, 57, 60, 834, 594, 2343, 2376, 1980, 2442, 759, 636, 162, 30, 9, 0], [0, 6, 57, 61, 823, 649, 2178, 2706, 1518, 2904, 429, 801, 107, 41, 8, 0], [0, 6, 57, 62, 812, 704, 2013, 3036, 1056, 3366, 99, 966, 52, 52, 7, 0], [0, 6, 58, 44, 943, 165, 3443, 429, 4422, 264, 2112, 86, 283, 29, 3, 1], [0, 6, 58, 45, 932, 220, 3278, 759, 3960, 726, 1782, 251, 228, 40, 2, 1], [0, 6, 58, 46, 921, 275, 3113, 1089, 3498, 1188, 1452, 416, 173, 51, 1, 1], [0, 6, 58, 47, 910, 330, 2948, 1419, 3036, 1650, 1122, 581, 118, 62, 0, 1], [0, 6, 58, 47, 911, 319, 3003, 1254, 3366, 1188, 1584, 251, 283, 7, 11, 0], [0, 6, 58, 48, 900, 374, 2838, 1584, 2904, 1650, 1254, 416, 228, 18, 10, 0], [0, 6, 58, 49, 889, 429, 2673, 1914, 2442, 2112, 924, 581, 173, 29, 9, 0], [0, 6, 58, 50, 878, 484, 2508, 2244, 1980, 2574, 594, 746, 118, 40, 8, 0], [0, 6, 58, 51, 867, 539, 2343, 2574, 1518, 3036, 264, 911, 63, 51, 7, 0], [0, 6, 59, 34, 987, 55, 3608, 297, 4422, 396, 1947, 196, 239, 39, 2, 1], [0, 6, 59, 35, 976, 110, 3443, 627, 3960, 858, 1617, 361, 184, 50, 1, 1], [0, 6, 59, 36, 965, 165, 3278, 957, 3498, 1320, 1287, 526, 129, 61, 0, 1], [0, 6, 59, 36, 966, 154, 3333, 792, 3828, 858, 1749, 196, 294, 6, 11, 0], [0, 6, 59, 37, 955, 209, 3168, 1122, 3366, 1320, 1419, 361, 239, 17, 10, 0], [0, 6, 59, 38, 944, 264, 3003, 1452, 2904, 1782, 1089, 526, 184, 28, 9, 0], [0, 6, 59, 39, 933, 319, 2838, 1782, 2442, 2244, 759, 691, 129, 39, 8, 0], [0, 6, 59, 40, 922, 374, 2673, 2112, 1980, 2706, 429, 856, 74, 50, 7, 0], [0, 6, 59, 41, 911, 429, 2508, 2442, 1518, 3168, 99, 1021, 19, 61, 6, 0], [0, 6, 60, 25, 1020, 0, 3608, 495, 3960, 990, 1452, 471, 140, 60, 0, 1], [0, 6, 60, 26, 1010, 44, 3498, 660, 3828, 990, 1584, 306, 250, 16, 10, 0], [0, 6, 60, 27, 999, 99, 3333, 990, 3366, 1452, 1254, 471, 195, 27, 9, 0], [0, 6, 60, 28, 988, 154, 3168, 1320, 2904, 1914, 924, 636, 140, 38, 8, 0], [0, 6, 60, 29, 977, 209, 3003, 1650, 2442, 2376, 594, 801, 85, 49, 7, 0], [0, 6, 60, 30, 966, 264, 2838, 1980, 1980, 2838, 264, 966, 30, 60, 6, 0], [0, 6, 61, 18, 1032, 44, 3333, 1188, 2904, 2046, 759, 746, 96, 48, 7, 0], [0, 6, 61, 19, 1021, 99, 3168, 1518, 2442, 2508, 429, 911, 41, 59, 6, 0], [0, 7, 37, 206, 261, 1980, 176, 4521, 858, 2343, 1397, 152, 337, 6, 6, 1], [0, 7, 37, 207, 250, 2035, 11, 4851, 396, 2805, 1067, 317, 282, 17, 5, 1], [0, 7, 38, 195, 316, 1815, 506, 4059, 1320, 2013, 1562, 97, 348, 5, 6, 1], [0, 7, 38, 196, 305, 1870, 341, 4389, 858, 2475, 1232, 262, 293, 16, 5, 1], [0, 7, 38, 197, 294, 1925, 176, 4719, 396, 2937, 902, 427, 238, 27, 4, 1], [0, 7, 39, 184, 371, 1650, 836, 3597, 1782, 1683, 1727, 42, 359, 4, 6, 1], [0, 7, 39, 185, 360, 1705, 671, 3927, 1320, 2145, 1397, 207, 304, 15, 5, 1], [0, 7, 39, 186, 349, 1760, 506, 4257, 858, 2607, 1067, 372, 249, 26, 4, 1], [0, 7, 39, 187, 338, 1815, 341, 4587, 396, 3069, 737, 537, 194, 37, 3, 1], [0, 7, 40, 174, 415, 1540, 1001, 3465, 1782, 1815, 1562, 152, 315, 14, 5, 1], [0, 7, 40, 175, 404, 1595, 836, 3795, 1320, 2277, 1232, 317, 260, 25, 4, 1], [0, 7, 40, 176, 393, 1650, 671, 4125, 858, 2739, 902, 482, 205, 36, 3, 1], [0, 7, 40, 177, 382, 1705, 506, 4455, 396, 3201, 572, 647, 150, 47, 2, 1], [0, 7, 40, 178, 372, 1749, 396, 4620, 264, 3201, 704, 482, 260, 3, 12, 0], [0, 7, 41, 163, 470, 1375, 1331, 3003, 2244, 1485, 1727, 97, 326, 13, 5, 1], [0, 7, 41, 164, 459, 1430, 1166, 3333, 1782, 1947, 1397, 262, 271, 24, 4, 1], [0, 7, 41, 165, 448, 1485, 1001, 3663, 1320, 2409, 1067, 427, 216, 35, 3, 1], [0, 7, 41, 166, 437, 1540, 836, 3993, 858, 2871, 737, 592, 161, 46, 2, 1], [0, 7, 41, 167, 426, 1595, 671, 4323, 396, 3333, 407, 757, 106, 57, 1, 1], [0, 7, 41, 167, 427, 1584, 726, 4158, 726, 2871, 869, 427, 271, 2, 12, 0], [0, 7, 41, 168, 416, 1639, 561, 4488, 264, 3333, 539, 592, 216, 13, 11, 0], [0, 7, 42, 152, 525, 1210, 1661, 2541, 2706, 1155, 1892, 42, 337, 12, 5, 1], [0, 7, 42, 153, 514, 1265, 1496, 2871, 2244, 1617, 1562, 207, 282, 23, 4, 1], [0, 7, 42, 154, 503, 1320, 1331, 3201, 1782, 2079, 1232, 372, 227, 34, 3, 1], [0, 7, 42, 155, 492, 1375, 1166, 3531, 1320, 2541, 902, 537, 172, 45, 2, 1], [0, 7, 42, 156, 481, 1430, 1001, 3861, 858, 3003, 572, 702, 117, 56, 1, 1], [0, 7, 42, 156, 482, 1419, 1056, 3696, 1188, 2541, 1034, 372, 282, 1, 12, 0], [0, 7, 42, 157, 470, 1485, 836, 4191, 396, 3465, 242, 867, 62, 67, 0, 1], [0, 7, 42, 157, 471, 1474, 891, 4026, 726, 3003, 704, 537, 227, 12, 11, 0], [0, 7, 42, 158, 460, 1529, 726, 4356, 264, 3465, 374, 702, 172, 23, 10, 0], [0, 7, 43, 142, 569, 1100, 1826, 2409, 2706, 1287, 1727, 152, 293, 22, 4, 1], [0, 7, 43, 143, 558, 1155, 1661, 2739, 2244, 1749, 1397, 317, 238, 33, 3, 1], [0, 7, 43, 144, 547, 1210, 1496, 3069, 1782, 2211, 1067, 482, 183, 44, 2, 1], [0, 7, 43, 145, 536, 1265, 1331, 3399, 1320, 2673, 737, 647, 128, 55, 1, 1], [0, 7, 43, 145, 537, 1254, 1386, 3234, 1650, 2211, 1199, 317, 293, 0, 12, 0], [0, 7, 43, 146, 525, 1320, 1166, 3729, 858, 3135, 407, 812, 73, 66, 0, 1], [0, 7, 43, 146, 526, 1309, 1221, 3564, 1188, 2673, 869, 482, 238, 11, 11, 0], [0, 7, 43, 147, 515, 1364, 1056, 3894, 726, 3135, 539, 647, 183, 22, 10, 0], [0, 7, 43, 148, 504, 1419, 891, 4224, 264, 3597, 209, 812, 128, 33, 9, 0], [0, 7, 44, 131, 624, 935, 2156, 1947, 3168, 957, 1892, 97, 304, 21, 4, 1], [0, 7, 44, 132, 613, 990, 1991, 2277, 2706, 1419, 1562, 262, 249, 32, 3, 1], [0, 7, 44, 133, 602, 1045, 1826, 2607, 2244, 1881, 1232, 427, 194, 43, 2, 1], [0, 7, 44, 134, 591, 1100, 1661, 2937, 1782, 2343, 902, 592, 139, 54, 1, 1], [0, 7, 44, 135, 580, 1155, 1496, 3267, 1320, 2805, 572, 757, 84, 65, 0, 1], [0, 7, 44, 135, 581, 1144, 1551, 3102, 1650, 2343, 1034, 427, 249, 10, 11, 0], [0, 7, 44, 136, 570, 1199, 1386, 3432, 1188, 2805, 704, 592, 194, 21, 10, 0], [0, 7, 44, 137, 559, 1254, 1221, 3762, 726, 3267, 374, 757, 139, 32, 9, 0], [0, 7, 44, 138, 548, 1309, 1056, 4092, 264, 3729, 44, 922, 84, 43, 8, 0], [0, 7, 45, 120, 679, 770, 2486, 1485, 3630, 627, 2057, 42, 315, 20, 4, 1], [0, 7, 45, 121, 668, 825, 2321, 1815, 3168, 1089, 1727, 207, 260, 31, 3, 1], [0, 7, 45, 122, 657, 880, 2156, 2145, 2706, 1551, 1397, 372, 205, 42, 2, 1], [0, 7, 45, 123, 646, 935, 1991, 2475, 2244, 2013, 1067, 537, 150, 53, 1, 1], [0, 7, 45, 124, 635, 990, 1826, 2805, 1782, 2475, 737, 702, 95, 64, 0, 1], [0, 7, 45, 124, 636, 979, 1881, 2640, 2112, 2013, 1199, 372, 260, 9, 11, 0], [0, 7, 45, 125, 625, 1034, 1716, 2970, 1650, 2475, 869, 537, 205, 20, 10, 0], [0, 7, 45, 126, 614, 1089, 1551, 3300, 1188, 2937, 539, 702, 150, 31, 9, 0], [0, 7, 45, 127, 603, 1144, 1386, 3630, 726, 3399, 209, 867, 95, 42, 8, 0], [0, 7, 46, 110, 723, 660, 2651, 1353, 3630, 759, 1892, 152, 271, 30, 3, 1], [0, 7, 46, 111, 712, 715, 2486, 1683, 3168, 1221, 1562, 317, 216, 41, 2, 1], [0, 7, 46, 112, 701, 770, 2321, 2013, 2706, 1683, 1232, 482, 161, 52, 1, 1], [0, 7, 46, 113, 690, 825, 2156, 2343, 2244, 2145, 902, 647, 106, 63, 0, 1], [0, 7, 46, 113, 691, 814, 2211, 2178, 2574, 1683, 1364, 317, 271, 8, 11, 0], [0, 7, 46, 114, 680, 869, 2046, 2508, 2112, 2145, 1034, 482, 216, 19, 10, 0], [0, 7, 46, 115, 669, 924, 1881, 2838, 1650, 2607, 704, 647, 161, 30, 9, 0], [0, 7, 46, 116, 658, 979, 1716, 3168, 1188, 3069, 374, 812, 106, 41, 8, 0], [0, 7, 46, 117, 647, 1034, 1551, 3498, 726, 3531, 44, 977, 51, 52, 7, 0], [0, 7, 47, 99, 778, 495, 2981, 891, 4092, 429, 2057, 97, 282, 29, 3, 1], [0, 7, 47, 100, 767, 550, 2816, 1221, 3630, 891, 1727, 262, 227, 40, 2, 1], [0, 7, 47, 101, 756, 605, 2651, 1551, 3168, 1353, 1397, 427, 172, 51, 1, 1], [0, 7, 47, 102, 745, 660, 2486, 1881, 2706, 1815, 1067, 592, 117, 62, 0, 1], [0, 7, 47, 102, 746, 649, 2541, 1716, 3036, 1353, 1529, 262, 282, 7, 11, 0], [0, 7, 47, 103, 735, 704, 2376, 2046, 2574, 1815, 1199, 427, 227, 18, 10, 0], [0, 7, 47, 104, 724, 759, 2211, 2376, 2112, 2277, 869, 592, 172, 29, 9, 0], [0, 7, 47, 105, 713, 814, 2046, 2706, 1650, 2739, 539, 757, 117, 40, 8, 0], [0, 7, 47, 106, 702, 869, 1881, 3036, 1188, 3201, 209, 922, 62, 51, 7, 0], [0, 7, 48, 88, 833, 330, 3311, 429, 4554, 99, 2222, 42, 293, 28, 3, 1], [0, 7, 48, 89, 822, 385, 3146, 759, 4092, 561, 1892, 207, 238, 39, 2, 1], [0, 7, 48, 90, 811, 440, 2981, 1089, 3630, 1023, 1562, 372, 183, 50, 1, 1], [0, 7, 48, 91, 800, 495, 2816, 1419, 3168, 1485, 1232, 537, 128, 61, 0, 1], [0, 7, 48, 91, 801, 484, 2871, 1254, 3498, 1023, 1694, 207, 293, 6, 11, 0], [0, 7, 48, 92, 790, 539, 2706, 1584, 3036, 1485, 1364, 372, 238, 17, 10, 0], [0, 7, 48, 93, 779, 594, 2541, 1914, 2574, 1947, 1034, 537, 183, 28, 9, 0], [0, 7, 48, 94, 768, 649, 2376, 2244, 2112, 2409, 704, 702, 128, 39, 8, 0], [0, 7, 48, 95, 757, 704, 2211, 2574, 1650, 2871, 374, 867, 73, 50, 7, 0], [0, 7, 48, 96, 746, 759, 2046, 2904, 1188, 3333, 44, 1032, 18, 61, 6, 0], [0, 7, 49, 78, 877, 220, 3476, 297, 4554, 231, 2057, 152, 249, 38, 2, 1], [0, 7, 49, 79, 866, 275, 3311, 627, 4092, 693, 1727, 317, 194, 49, 1, 1], [0, 7, 49, 80, 855, 330, 3146, 957, 3630, 1155, 1397, 482, 139, 60, 0, 1], [0, 7, 49, 80, 856, 319, 3201, 792, 3960, 693, 1859, 152, 304, 5, 11, 0], [0, 7, 49, 81, 845, 374, 3036, 1122, 3498, 1155, 1529, 317, 249, 16, 10, 0], [0, 7, 49, 82, 834, 429, 2871, 1452, 3036, 1617, 1199, 482, 194, 27, 9, 0], [0, 7, 49, 83, 823, 484, 2706, 1782, 2574, 2079, 869, 647, 139, 38, 8, 0], [0, 7, 49, 84, 812, 539, 2541, 2112, 2112, 2541, 539, 812, 84, 49, 7, 0], [0, 7, 49, 85, 801, 594, 2376, 2442, 1650, 3003, 209, 977, 29, 60, 6, 0], [0, 7, 50, 68, 921, 110, 3641, 165, 4554, 363, 1892, 262, 205, 48, 1, 1], [0, 7, 50, 69, 910, 165, 3476, 495, 4092, 825, 1562, 427, 150, 59, 0, 1], [0, 7, 50, 69, 911, 154, 3531, 330, 4422, 363, 2024, 97, 315, 4, 11, 0], [0, 7, 50, 70, 900, 209, 3366, 660, 3960, 825, 1694, 262, 260, 15, 10, 0], [0, 7, 50, 71, 889, 264, 3201, 990, 3498, 1287, 1364, 427, 205, 26, 9, 0], [0, 7, 50, 72, 878, 319, 3036, 1320, 3036, 1749, 1034, 592, 150, 37, 8, 0], [0, 7, 50, 73, 867, 374, 2871, 1650, 2574, 2211, 704, 757, 95, 48, 7, 0], [0, 7, 50, 74, 856, 429, 2706, 1980, 2112, 2673, 374, 922, 40, 59, 6, 0], [0, 7, 51, 58, 965, 0, 3806, 33, 4554, 495, 1727, 372, 161, 58, 0, 1], [0, 7, 51, 59, 955, 44, 3696, 198, 4422, 495, 1859, 207, 271, 14, 10, 0], [0, 7, 51, 60, 944, 99, 3531, 528, 3960, 957, 1529, 372, 216, 25, 9, 0], [0, 7, 51, 61, 933, 154, 3366, 858, 3498, 1419, 1199, 537, 161, 36, 8, 0], [0, 7, 51, 62, 922, 209, 3201, 1188, 3036, 1881, 869, 702, 106, 47, 7, 0], [0, 7, 51, 63, 911, 264, 3036, 1518, 2574, 2343, 539, 867, 51, 58, 6, 0], [0, 7, 52, 51, 977, 44, 3531, 726, 3498, 1551, 1034, 647, 117, 46, 7, 0], [0, 7, 52, 52, 966, 99, 3366, 1056, 3036, 2013, 704, 812, 62, 57, 6, 0], [0, 7, 52, 53, 955, 154, 3201, 1386, 2574, 2475, 374, 977, 7, 68, 5, 0], [0, 8, 27, 250, 151, 2145, 44, 4521, 990, 2178, 1507, 108, 347, 5, 6, 1], [0, 8, 28, 239, 206, 1980, 374, 4059, 1452, 1848, 1672, 53, 358, 4, 6, 1], [0, 8, 28, 240, 195, 2035, 209, 4389, 990, 2310, 1342, 218, 303, 15, 5, 1], [0, 8, 28, 241, 184, 2090, 44, 4719, 528, 2772, 1012, 383, 248, 26, 4, 1], [0, 8, 29, 229, 250, 1870, 539, 3927, 1452, 1980, 1507, 163, 314, 14, 5, 1], [0, 8, 29, 230, 239, 1925, 374, 4257, 990, 2442, 1177, 328, 259, 25, 4, 1], [0, 8, 29, 231, 228, 1980, 209, 4587, 528, 2904, 847, 493, 204, 36, 3, 1], [0, 8, 29, 232, 217, 2035, 44, 4917, 66, 3366, 517, 658, 149, 47, 2, 1], [0, 8, 30, 218, 305, 1705, 869, 3465, 1914, 1650, 1672, 108, 325, 13, 5, 1], [0, 8, 30, 219, 294, 1760, 704, 3795, 1452, 2112, 1342, 273, 270, 24, 4, 1], [0, 8, 30, 220, 283, 1815, 539, 4125, 990, 2574, 1012, 438, 215, 35, 3, 1], [0, 8, 30, 221, 272, 1870, 374, 4455, 528, 3036, 682, 603, 160, 46, 2, 1], [0, 8, 30, 222, 261, 1925, 209, 4785, 66, 3498, 352, 768, 105, 57, 1, 1], [0, 8, 30, 222, 262, 1914, 264, 4620, 396, 3036, 814, 438, 270, 2, 12, 0], [0, 8, 31, 207, 360, 1540, 1199, 3003, 2376, 1320, 1837, 53, 336, 12, 5, 1], [0, 8, 31, 208, 349, 1595, 1034, 3333, 1914, 1782, 1507, 218, 281, 23, 4, 1], [0, 8, 31, 209, 338, 1650, 869, 3663, 1452, 2244, 1177, 383, 226, 34, 3, 1], [0, 8, 31, 210, 327, 1705, 704, 3993, 990, 2706, 847, 548, 171, 45, 2, 1], [0, 8, 31, 211, 316, 1760, 539, 4323, 528, 3168, 517, 713, 116, 56, 1, 1], [0, 8, 31, 211, 317, 1749, 594, 4158, 858, 2706, 979, 383, 281, 1, 12, 0], [0, 8, 31, 212, 305, 1815, 374, 4653, 66, 3630, 187, 878, 61, 67, 0, 1], [0, 8, 31, 212, 306, 1804, 429, 4488, 396, 3168, 649, 548, 226, 12, 11, 0], [0, 8, 32, 197, 404, 1430, 1364, 2871, 2376, 1452, 1672, 163, 292, 22, 4, 1], [0, 8, 32, 198, 393, 1485, 1199, 3201, 1914, 1914, 1342, 328, 237, 33, 3, 1], [0, 8, 32, 199, 382, 1540, 1034, 3531, 1452, 2376, 1012, 493, 182, 44, 2, 1], [0, 8, 32, 200, 371, 1595, 869, 3861, 990, 2838, 682, 658, 127, 55, 1, 1], [0, 8, 32, 200, 372, 1584, 924, 3696, 1320, 2376, 1144, 328, 292, 0, 12, 0], [0, 8, 32, 201, 360, 1650, 704, 4191, 528, 3300, 352, 823, 72, 66, 0, 1], [0, 8, 32, 201, 361, 1639, 759, 4026, 858, 2838, 814, 493, 237, 11, 11, 0], [0, 8, 32, 202, 350, 1694, 594, 4356, 396, 3300, 484, 658, 182, 22, 10, 0], [0, 8, 33, 186, 459, 1265, 1694, 2409, 2838, 1122, 1837, 108, 303, 21, 4, 1], [0, 8, 33, 187, 448, 1320, 1529, 2739, 2376, 1584, 1507, 273, 248, 32, 3, 1], [0, 8, 33, 188, 437, 1375, 1364, 3069, 1914, 2046, 1177, 438, 193, 43, 2, 1], [0, 8, 33, 189, 426, 1430, 1199, 3399, 1452, 2508, 847, 603, 138, 54, 1, 1], [0, 8, 33, 190, 415, 1485, 1034, 3729, 990, 2970, 517, 768, 83, 65, 0, 1], [0, 8, 33, 190, 416, 1474, 1089, 3564, 1320, 2508, 979, 438, 248, 10, 11, 0], [0, 8, 33, 191, 405, 1529, 924, 3894, 858, 2970, 649, 603, 193, 21, 10, 0], [0, 8, 33, 192, 394, 1584, 759, 4224, 396, 3432, 319, 768, 138, 32, 9, 0], [0, 8, 34, 175, 514, 1100, 2024, 1947, 3300, 792, 2002, 53, 314, 20, 4, 1], [0, 8, 34, 176, 503, 1155, 1859, 2277, 2838, 1254, 1672, 218, 259, 31, 3, 1], [0, 8, 34, 177, 492, 1210, 1694, 2607, 2376, 1716, 1342, 383, 204, 42, 2, 1], [0, 8, 34, 178, 481, 1265, 1529, 2937, 1914, 2178, 1012, 548, 149, 53, 1, 1], [0, 8, 34, 179, 470, 1320, 1364, 3267, 1452, 2640, 682, 713, 94, 64, 0, 1], [0, 8, 34, 179, 471, 1309, 1419, 3102, 1782, 2178, 1144, 383, 259, 9, 11, 0], [0, 8, 34, 180, 460, 1364, 1254, 3432, 1320, 2640, 814, 548, 204, 20, 10, 0], [0, 8, 34, 181, 449, 1419, 1089, 3762, 858, 3102, 484, 713, 149, 31, 9, 0], [0, 8, 34, 182, 438, 1474, 924, 4092, 396, 3564, 154, 878, 94, 42, 8, 0], [0, 8, 35, 165, 558, 990, 2189, 1815, 3300, 924, 1837, 163, 270, 30, 3, 1], [0, 8, 35, 166, 547, 1045, 2024, 2145, 2838, 1386, 1507, 328, 215, 41, 2, 1], [0, 8, 35, 167, 536, 1100, 1859, 2475, 2376, 1848, 1177, 493, 160, 52, 1, 1], [0, 8, 35, 168, 525, 1155, 1694, 2805, 1914, 2310, 847, 658, 105, 63, 0, 1], [0, 8, 35, 168, 526, 1144, 1749, 2640, 2244, 1848, 1309, 328, 270, 8, 11, 0], [0, 8, 35, 169, 515, 1199, 1584, 2970, 1782, 2310, 979, 493, 215, 19, 10, 0], [0, 8, 35, 170, 504, 1254, 1419, 3300, 1320, 2772, 649, 658, 160, 30, 9, 0], [0, 8, 35, 171, 493, 1309, 1254, 3630, 858, 3234, 319, 823, 105, 41, 8, 0], [0, 8, 36, 154, 613, 825, 2519, 1353, 3762, 594, 2002, 108, 281, 29, 3, 1], [0, 8, 36, 155, 602, 880, 2354, 1683, 3300, 1056, 1672, 273, 226, 40, 2, 1], [0, 8, 36, 156, 591, 935, 2189, 2013, 2838, 1518, 1342, 438, 171, 51, 1, 1], [0, 8, 36, 157, 580, 990, 2024, 2343, 2376, 1980, 1012, 603, 116, 62, 0, 1], [0, 8, 36, 157, 581, 979, 2079, 2178, 2706, 1518, 1474, 273, 281, 7, 11, 0], [0, 8, 36, 158, 570, 1034, 1914, 2508, 2244, 1980, 1144, 438, 226, 18, 10, 0], [0, 8, 36, 159, 559, 1089, 1749, 2838, 1782, 2442, 814, 603, 171, 29, 9, 0], [0, 8, 36, 160, 548, 1144, 1584, 3168, 1320, 2904, 484, 768, 116, 40, 8, 0], [0, 8, 36, 161, 537, 1199, 1419, 3498, 858, 3366, 154, 933, 61, 51, 7, 0], [0, 8, 37, 143, 668, 660, 2849, 891, 4224, 264, 2167, 53, 292, 28, 3, 1], [0, 8, 37, 144, 657, 715, 2684, 1221, 3762, 726, 1837, 218, 237, 39, 2, 1], [0, 8, 37, 145, 646, 770, 2519, 1551, 3300, 1188, 1507, 383, 182, 50, 1, 1], [0, 8, 37, 146, 635, 825, 2354, 1881, 2838, 1650, 1177, 548, 127, 61, 0, 1], [0, 8, 37, 146, 636, 814, 2409, 1716, 3168, 1188, 1639, 218, 292, 6, 11, 0], [0, 8, 37, 147, 625, 869, 2244, 2046, 2706, 1650, 1309, 383, 237, 17, 10, 0], [0, 8, 37, 148, 614, 924, 2079, 2376, 2244, 2112, 979, 548, 182, 28, 9, 0], [0, 8, 37, 149, 603, 979, 1914, 2706, 1782, 2574, 649, 713, 127, 39, 8, 0], [0, 8, 37, 150, 592, 1034, 1749, 3036, 1320, 3036, 319, 878, 72, 50, 7, 0], [0, 8, 38, 133, 712, 550, 3014, 759, 4224, 396, 2002, 163, 248, 38, 2, 1], [0, 8, 38, 134, 701, 605, 2849, 1089, 3762, 858, 1672, 328, 193, 49, 1, 1], [0, 8, 38, 135, 690, 660, 2684, 1419, 3300, 1320, 1342, 493, 138, 60, 0, 1], [0, 8, 38, 135, 691, 649, 2739, 1254, 3630, 858, 1804, 163, 303, 5, 11, 0], [0, 8, 38, 136, 680, 704, 2574, 1584, 3168, 1320, 1474, 328, 248, 16, 10, 0], [0, 8, 38, 137, 669, 759, 2409, 1914, 2706, 1782, 1144, 493, 193, 27, 9, 0], [0, 8, 38, 138, 658, 814, 2244, 2244, 2244, 2244, 814, 658, 138, 38, 8, 0], [0, 8, 38, 139, 647, 869, 2079, 2574, 1782, 2706, 484, 823, 83, 49, 7, 0], [0, 8, 38, 140, 636, 924, 1914, 2904, 1320, 3168, 154, 988, 28, 60, 6, 0], [0, 8, 39, 122, 767, 385, 3344, 297, 4686, 66, 2167, 108, 259, 37, 2, 1], [0, 8, 39, 123, 756, 440, 3179, 627, 4224, 528, 1837, 273, 204, 48, 1, 1], [0, 8, 39, 124, 745, 495, 3014, 957, 3762, 990, 1507, 438, 149, 59, 0, 1], [0, 8, 39, 124, 746, 484, 3069, 792, 4092, 528, 1969, 108, 314, 4, 11, 0], [0, 8, 39, 125, 735, 539, 2904, 1122, 3630, 990, 1639, 273, 259, 15, 10, 0], [0, 8, 39, 126, 724, 594, 2739, 1452, 3168, 1452, 1309, 438, 204, 26, 9, 0], [0, 8, 39, 127, 713, 649, 2574, 1782, 2706, 1914, 979, 603, 149, 37, 8, 0], [0, 8, 39, 128, 702, 704, 2409, 2112, 2244, 2376, 649, 768, 94, 48, 7, 0], [0, 8, 39, 129, 691, 759, 2244, 2442, 1782, 2838, 319, 933, 39, 59, 6, 0], [0, 8, 40, 112, 811, 275, 3509, 165, 4686, 198, 2002, 218, 215, 47, 1, 1], [0, 8, 40, 113, 800, 330, 3344, 495, 4224, 660, 1672, 383, 160, 58, 0, 1], [0, 8, 40, 113, 801, 319, 3399, 330, 4554, 198, 2134, 53, 325, 3, 11, 0], [0, 8, 40, 114, 790, 374, 3234, 660, 4092, 660, 1804, 218, 270, 14, 10, 0], [0, 8, 40, 115, 779, 429, 3069, 990, 3630, 1122, 1474, 383, 215, 25, 9, 0], [0, 8, 40, 116, 768, 484, 2904, 1320, 3168, 1584, 1144, 548, 160, 36, 8, 0], [0, 8, 40, 117, 757, 539, 2739, 1650, 2706, 2046, 814, 713, 105, 47, 7, 0], [0, 8, 40, 118, 746, 594, 2574, 1980, 2244, 2508, 484, 878, 50, 58, 6, 0], [0, 8, 41, 102, 855, 165, 3674, 33, 4686, 330, 1837, 328, 171, 57, 0, 1], [0, 8, 41, 103, 845, 209, 3564, 198, 4554, 330, 1969, 163, 281, 13, 10, 0], [0, 8, 41, 104, 834, 264, 3399, 528, 4092, 792, 1639, 328, 226, 24, 9, 0], [0, 8, 41, 105, 823, 319, 3234, 858, 3630, 1254, 1309, 493, 171, 35, 8, 0], [0, 8, 41, 106, 812, 374, 3069, 1188, 3168, 1716, 979, 658, 116, 46, 7, 0], [0, 8, 41, 107, 801, 429, 2904, 1518, 2706, 2178, 649, 823, 61, 57, 6, 0], [0, 8, 41, 108, 790, 484, 2739, 1848, 2244, 2640, 319, 988, 6, 68, 5, 0], [0, 8, 42, 93, 889, 99, 3729, 66, 4554, 462, 1804, 273, 237, 23, 9, 0], [0, 8, 42, 94, 878, 154, 3564, 396, 4092, 924, 1474, 438, 182, 34, 8, 0], [0, 8, 42, 95, 867, 209, 3399, 726, 3630, 1386, 1144, 603, 127, 45, 7, 0], [0, 8, 42, 96, 856, 264, 3234, 1056, 3168, 1848, 814, 768, 72, 56, 6, 0], [0, 8, 42, 97, 845, 319, 3069, 1386, 2706, 2310, 484, 933, 17, 67, 5, 0], [0, 8, 43, 84, 922, 44, 3729, 264, 4092, 1056, 1309, 548, 138, 44, 7, 0], [0, 8, 43, 85, 911, 99, 3564, 594, 3630, 1518, 979, 713, 83, 55, 6, 0], [0, 8, 43, 86, 900, 154, 3399, 924, 3168, 1980, 649, 878, 28, 66, 5, 0], [0, 9, 18, 283, 96, 2145, 242, 4059, 1584, 1683, 1782, 9, 368, 3, 6, 1], [0, 9, 18, 284, 85, 2200, 77, 4389, 1122, 2145, 1452, 174, 313, 14, 5, 1], [0, 9, 19, 273, 140, 2035, 407, 3927, 1584, 1815, 1617, 119, 324, 13, 5, 1], [0, 9, 19, 274, 129, 2090, 242, 4257, 1122, 2277, 1287, 284, 269, 24, 4, 1], [0, 9, 19, 275, 118, 2145, 77, 4587, 660, 2739, 957, 449, 214, 35, 3, 1], [0, 9, 20, 262, 195, 1870, 737, 3465, 2046, 1485, 1782, 64, 335, 12, 5, 1], [0, 9, 20, 263, 184, 1925, 572, 3795, 1584, 1947, 1452, 229, 280, 23, 4, 1], [0, 9, 20, 264, 173, 1980, 407, 4125, 1122, 2409, 1122, 394, 225, 34, 3, 1], [0, 9, 20, 265, 162, 2035, 242, 4455, 660, 2871, 792, 559, 170, 45, 2, 1], [0, 9, 20, 266, 151, 2090, 77, 4785, 198, 3333, 462, 724, 115, 56, 1, 1], [0, 9, 20, 266, 152, 2079, 132, 4620, 528, 2871, 924, 394, 280, 1, 12, 0], [0, 9, 21, 251, 250, 1705, 1067, 3003, 2508, 1155, 1947, 9, 346, 11, 5, 1], [0, 9, 21, 252, 239, 1760, 902, 3333, 2046, 1617, 1617, 174, 291, 22, 4, 1], [0, 9, 21, 253, 228, 1815, 737, 3663, 1584, 2079, 1287, 339, 236, 33, 3, 1], [0, 9, 21, 254, 217, 1870, 572, 3993, 1122, 2541, 957, 504, 181, 44, 2, 1], [0, 9, 21, 255, 206, 1925, 407, 4323, 660, 3003, 627, 669, 126, 55, 1, 1], [0, 9, 21, 255, 207, 1914, 462, 4158, 990, 2541, 1089, 339, 291, 0, 12, 0], [0, 9, 21, 256, 195, 1980, 242, 4653, 198, 3465, 297, 834, 71, 66, 0, 1], [0, 9, 21, 256, 196, 1969, 297, 4488, 528, 3003, 759, 504, 236, 11, 11, 0], [0, 9, 21, 257, 185, 2024, 132, 4818, 66, 3465, 429, 669, 181, 22, 10, 0], [0, 9, 22, 241, 294, 1595, 1232, 2871, 2508, 1287, 1782, 119, 302, 21, 4, 1], [0, 9, 22, 242, 283, 1650, 1067, 3201, 2046, 1749, 1452, 284, 247, 32, 3, 1], [0, 9, 22, 243, 272, 1705, 902, 3531, 1584, 2211, 1122, 449, 192, 43, 2, 1], [0, 9, 22, 244, 261, 1760, 737, 3861, 1122, 2673, 792, 614, 137, 54, 1, 1], [0, 9, 22, 245, 250, 1815, 572, 4191, 660, 3135, 462, 779, 82, 65, 0, 1], [0, 9, 22, 245, 251, 1804, 627, 4026, 990, 2673, 924, 449, 247, 10, 11, 0], [0, 9, 22, 246, 240, 1859, 462, 4356, 528, 3135, 594, 614, 192, 21, 10, 0], [0, 9, 22, 247, 229, 1914, 297, 4686, 66, 3597, 264, 779, 137, 32, 9, 0], [0, 9, 23, 230, 349, 1430, 1562, 2409, 2970, 957, 1947, 64, 313, 20, 4, 1], [0, 9, 23, 231, 338, 1485, 1397, 2739, 2508, 1419, 1617, 229, 258, 31, 3, 1], [0, 9, 23, 232, 327, 1540, 1232, 3069, 2046, 1881, 1287, 394, 203, 42, 2, 1], [0, 9, 23, 233, 316, 1595, 1067, 3399, 1584, 2343, 957, 559, 148, 53, 1, 1], [0, 9, 23, 234, 305, 1650, 902, 3729, 1122, 2805, 627, 724, 93, 64, 0, 1], [0, 9, 23, 234, 306, 1639, 957, 3564, 1452, 2343, 1089, 394, 258, 9, 11, 0], [0, 9, 23, 235, 295, 1694, 792, 3894, 990, 2805, 759, 559, 203, 20, 10, 0], [0, 9, 23, 236, 284, 1749, 627, 4224, 528, 3267, 429, 724, 148, 31, 9, 0], [0, 9, 23, 237, 273, 1804, 462, 4554, 66, 3729, 99, 889, 93, 42, 8, 0], [0, 9, 24, 219, 404, 1265, 1892, 1947, 3432, 627, 2112, 9, 324, 19, 4, 1], [0, 9, 24, 220, 393, 1320, 1727, 2277, 2970, 1089, 1782, 174, 269, 30, 3, 1], [0, 9, 24, 221, 382, 1375, 1562, 2607, 2508, 1551, 1452, 339, 214, 41, 2, 1], [0, 9, 24, 222, 371, 1430, 1397, 2937, 2046, 2013, 1122, 504, 159, 52, 1, 1], [0, 9, 24, 223, 360, 1485, 1232, 3267, 1584, 2475, 792, 669, 104, 63, 0, 1], [0, 9, 24, 223, 361, 1474, 1287, 3102, 1914, 2013, 1254, 339, 269, 8, 11, 0], [0, 9, 24, 224, 350, 1529, 1122, 3432, 1452, 2475, 924, 504, 214, 19, 10, 0], [0, 9, 24, 225, 339, 1584, 957, 3762, 990, 2937, 594, 669, 159, 30, 9, 0], [0, 9, 24, 226, 328, 1639, 792, 4092, 528, 3399, 264, 834, 104, 41, 8, 0], [0, 9, 25, 209, 448, 1155, 2057, 1815, 3432, 759, 1947, 119, 280, 29, 3, 1], [0, 9, 25, 210, 437, 1210, 1892, 2145, 2970, 1221, 1617, 284, 225, 40, 2, 1], [0, 9, 25, 211, 426, 1265, 1727, 2475, 2508, 1683, 1287, 449, 170, 51, 1, 1], [0, 9, 25, 212, 415, 1320, 1562, 2805, 2046, 2145, 957, 614, 115, 62, 0, 1], [0, 9, 25, 212, 416, 1309, 1617, 2640, 2376, 1683, 1419, 284, 280, 7, 11, 0], [0, 9, 25, 213, 405, 1364, 1452, 2970, 1914, 2145, 1089, 449, 225, 18, 10, 0], [0, 9, 25, 214, 394, 1419, 1287, 3300, 1452, 2607, 759, 614, 170, 29, 9, 0], [0, 9, 25, 215, 383, 1474, 1122, 3630, 990, 3069, 429, 779, 115, 40, 8, 0], [0, 9, 25, 216, 372, 1529, 957, 3960, 528, 3531, 99, 944, 60, 51, 7, 0], [0, 9, 26, 198, 503, 990, 2387, 1353, 3894, 429, 2112, 64, 291, 28, 3, 1], [0, 9, 26, 199, 492, 1045, 2222, 1683, 3432, 891, 1782, 229, 236, 39, 2, 1], [0, 9, 26, 200, 481, 1100, 2057, 2013, 2970, 1353, 1452, 394, 181, 50, 1, 1], [0, 9, 26, 201, 470, 1155, 1892, 2343, 2508, 1815, 1122, 559, 126, 61, 0, 1], [0, 9, 26, 201, 471, 1144, 1947, 2178, 2838, 1353, 1584, 229, 291, 6, 11, 0], [0, 9, 26, 202, 460, 1199, 1782, 2508, 2376, 1815, 1254, 394, 236, 17, 10, 0], [0, 9, 26, 203, 449, 1254, 1617, 2838, 1914, 2277, 924, 559, 181, 28, 9, 0], [0, 9, 26, 204, 438, 1309, 1452, 3168, 1452, 2739, 594, 724, 126, 39, 8, 0], [0, 9, 26, 205, 427, 1364, 1287, 3498, 990, 3201, 264, 889, 71, 50, 7, 0], [0, 9, 27, 187, 558, 825, 2717, 891, 4356, 99, 2277, 9, 302, 27, 3, 1], [0, 9, 27, 188, 547, 880, 2552, 1221, 3894, 561, 1947, 174, 247, 38, 2, 1], [0, 9, 27, 189, 536, 935, 2387, 1551, 3432, 1023, 1617, 339, 192, 49, 1, 1], [0, 9, 27, 190, 525, 990, 2222, 1881, 2970, 1485, 1287, 504, 137, 60, 0, 1], [0, 9, 27, 190, 526, 979, 2277, 1716, 3300, 1023, 1749, 174, 302, 5, 11, 0], [0, 9, 27, 191, 515, 1034, 2112, 2046, 2838, 1485, 1419, 339, 247, 16, 10, 0], [0, 9, 27, 192, 504, 1089, 1947, 2376, 2376, 1947, 1089, 504, 192, 27, 9, 0], [0, 9, 27, 193, 493, 1144, 1782, 2706, 1914, 2409, 759, 669, 137, 38, 8, 0], [0, 9, 27, 194, 482, 1199, 1617, 3036, 1452, 2871, 429, 834, 82, 49, 7, 0], [0, 9, 27, 195, 471, 1254, 1452, 3366, 990, 3333, 99, 999, 27, 60, 6, 0], [0, 9, 28, 177, 602, 715, 2882, 759, 4356, 231, 2112, 119, 258, 37, 2, 1], [0, 9, 28, 178, 591, 770, 2717, 1089, 3894, 693, 1782, 284, 203, 48, 1, 1], [0, 9, 28, 179, 580, 825, 2552, 1419, 3432, 1155, 1452, 449, 148, 59, 0, 1], [0, 9, 28, 179, 581, 814, 2607, 1254, 3762, 693, 1914, 119, 313, 4, 11, 0], [0, 9, 28, 180, 570, 869, 2442, 1584, 3300, 1155, 1584, 284, 258, 15, 10, 0], [0, 9, 28, 181, 559, 924, 2277, 1914, 2838, 1617, 1254, 449, 203, 26, 9, 0], [0, 9, 28, 182, 548, 979, 2112, 2244, 2376, 2079, 924, 614, 148, 37, 8, 0], [0, 9, 28, 183, 537, 1034, 1947, 2574, 1914, 2541, 594, 779, 93, 48, 7, 0], [0, 9, 28, 184, 526, 1089, 1782, 2904, 1452, 3003, 264, 944, 38, 59, 6, 0], [0, 9, 29, 167, 646, 605, 3047, 627, 4356, 363, 1947, 229, 214, 47, 1, 1], [0, 9, 29, 168, 635, 660, 2882, 957, 3894, 825, 1617, 394, 159, 58, 0, 1], [0, 9, 29, 168, 636, 649, 2937, 792, 4224, 363, 2079, 64, 324, 3, 11, 0], [0, 9, 29, 169, 625, 704, 2772, 1122, 3762, 825, 1749, 229, 269, 14, 10, 0], [0, 9, 29, 170, 614, 759, 2607, 1452, 3300, 1287, 1419, 394, 214, 25, 9, 0], [0, 9, 29, 171, 603, 814, 2442, 1782, 2838, 1749, 1089, 559, 159, 36, 8, 0], [0, 9, 29, 172, 592, 869, 2277, 2112, 2376, 2211, 759, 724, 104, 47, 7, 0], [0, 9, 29, 173, 581, 924, 2112, 2442, 1914, 2673, 429, 889, 49, 58, 6, 0], [0, 9, 30, 156, 701, 440, 3377, 165, 4818, 33, 2112, 174, 225, 46, 1, 1], [0, 9, 30, 157, 690, 495, 3212, 495, 4356, 495, 1782, 339, 170, 57, 0, 1], [0, 9, 30, 157, 691, 484, 3267, 330, 4686, 33, 2244, 9, 335, 2, 11, 0], [0, 9, 30, 158, 680, 539, 3102, 660, 4224, 495, 1914, 174, 280, 13, 10, 0], [0, 9, 30, 159, 669, 594, 2937, 990, 3762, 957, 1584, 339, 225, 24, 9, 0], [0, 9, 30, 160, 658, 649, 2772, 1320, 3300, 1419, 1254, 504, 170, 35, 8, 0], [0, 9, 30, 161, 647, 704, 2607, 1650, 2838, 1881, 924, 669, 115, 46, 7, 0], [0, 9, 30, 162, 636, 759, 2442, 1980, 2376, 2343, 594, 834, 60, 57, 6, 0], [0, 9, 30, 163, 625, 814, 2277, 2310, 1914, 2805, 264, 999, 5, 68, 5, 0], [0, 9, 31, 146, 745, 330, 3542, 33, 4818, 165, 1947, 284, 181, 56, 0, 1], [0, 9, 31, 147, 735, 374, 3432, 198, 4686, 165, 2079, 119, 291, 12, 10, 0], [0, 9, 31, 148, 724, 429, 3267, 528, 4224, 627, 1749, 284, 236, 23, 9, 0], [0, 9, 31, 149, 713, 484, 3102, 858, 3762, 1089, 1419, 449, 181, 34, 8, 0], [0, 9, 31, 150, 702, 539, 2937, 1188, 3300, 1551, 1089, 614, 126, 45, 7, 0], [0, 9, 31, 151, 691, 594, 2772, 1518, 2838, 2013, 759, 779, 71, 56, 6, 0], [0, 9, 31, 152, 680, 649, 2607, 1848, 2376, 2475, 429, 944, 16, 67, 5, 0], [0, 9, 32, 137, 779, 264, 3597, 66, 4686, 297, 1914, 229, 247, 22, 9, 0], [0, 9, 32, 138, 768, 319, 3432, 396, 4224, 759, 1584, 394, 192, 33, 8, 0], [0, 9, 32, 139, 757, 374, 3267, 726, 3762, 1221, 1254, 559, 137, 44, 7, 0], [0, 9, 32, 140, 746, 429, 3102, 1056, 3300, 1683, 924, 724, 82, 55, 6, 0], [0, 9, 32, 141, 735, 484, 2937, 1386, 2838, 2145, 594, 889, 27, 66, 5, 0], [0, 9, 33, 128, 812, 209, 3597, 264, 4224, 891, 1419, 504, 148, 43, 7, 0], [0, 9, 33, 129, 801, 264, 3432, 594, 3762, 1353, 1089, 669, 93, 54, 6, 0], [0, 9, 33, 130, 790, 319, 3267, 924, 3300, 1815, 759, 834, 38, 65, 5, 0], [0, 9, 34, 118, 856, 99, 3762, 132, 4224, 1023, 1254, 614, 104, 53, 6, 0], [0, 9, 34, 119, 845, 154, 3597, 462, 3762, 1485, 924, 779, 49, 64, 5, 0], [0, 9, 35, 109, 889, 44, 3762, 330, 3762, 1617, 759, 889, 5, 74, 4, 0], [0, 10, 9, 317, 30, 2200, 275, 3927, 1716, 1650, 1727, 75, 334, 12, 5, 1], [0, 10, 9, 318, 19, 2255, 110, 4257, 1254, 2112, 1397, 240, 279, 23, 4, 1], [0, 10, 10, 306, 85, 2035, 605, 3465, 2178, 1320, 1892, 20, 345, 11, 5, 1], [0, 10, 10, 307, 74, 2090, 440, 3795, 1716, 1782, 1562, 185, 290, 22, 4, 1], [0, 10, 10, 308, 63, 2145, 275, 4125, 1254, 2244, 1232, 350, 235, 33, 3, 1], [0, 10, 10, 309, 52, 2200, 110, 4455, 792, 2706, 902, 515, 180, 44, 2, 1], [0, 10, 10, 310, 42, 2244, 0, 4620, 660, 2706, 1034, 350, 290, 0, 12, 0], [0, 10, 11, 296, 129, 1925, 770, 3333, 2178, 1452, 1727, 130, 301, 21, 4, 1], [0, 10, 11, 297, 118, 1980, 605, 3663, 1716, 1914, 1397, 295, 246, 32, 3, 1], [0, 10, 11, 298, 107, 2035, 440, 3993, 1254, 2376, 1067, 460, 191, 43, 2, 1], [0, 10, 11, 299, 96, 2090, 275, 4323, 792, 2838, 737, 625, 136, 54, 1, 1], [0, 10, 11, 300, 85, 2145, 110, 4653, 330, 3300, 407, 790, 81, 65, 0, 1], [0, 10, 11, 300, 86, 2134, 165, 4488, 660, 2838, 869, 460, 246, 10, 11, 0], [0, 10, 11, 301, 75, 2189, 0, 4818, 198, 3300, 539, 625, 191, 21, 10, 0], [0, 10, 12, 285, 184, 1760, 1100, 2871, 2640, 1122, 1892, 75, 312, 20, 4, 1], [0, 10, 12, 286, 173, 1815, 935, 3201, 2178, 1584, 1562, 240, 257, 31, 3, 1], [0, 10, 12, 287, 162, 1870, 770, 3531, 1716, 2046, 1232, 405, 202, 42, 2, 1], [0, 10, 12, 288, 151, 1925, 605, 3861, 1254, 2508, 902, 570, 147, 53, 1, 1], [0, 10, 12, 289, 140, 1980, 440, 4191, 792, 2970, 572, 735, 92, 64, 0, 1], [0, 10, 12, 289, 141, 1969, 495, 4026, 1122, 2508, 1034, 405, 257, 9, 11, 0], [0, 10, 12, 290, 130, 2024, 330, 4356, 660, 2970, 704, 570, 202, 20, 10, 0], [0, 10, 12, 291, 119, 2079, 165, 4686, 198, 3432, 374, 735, 147, 31, 9, 0], [0, 10, 13, 274, 239, 1595, 1430, 2409, 3102, 792, 2057, 20, 323, 19, 4, 1], [0, 10, 13, 275, 228, 1650, 1265, 2739, 2640, 1254, 1727, 185, 268, 30, 3, 1], [0, 10, 13, 276, 217, 1705, 1100, 3069, 2178, 1716, 1397, 350, 213, 41, 2, 1], [0, 10, 13, 277, 206, 1760, 935, 3399, 1716, 2178, 1067, 515, 158, 52, 1, 1], [0, 10, 13, 278, 195, 1815, 770, 3729, 1254, 2640, 737, 680, 103, 63, 0, 1], [0, 10, 13, 278, 196, 1804, 825, 3564, 1584, 2178, 1199, 350, 268, 8, 11, 0], [0, 10, 13, 279, 185, 1859, 660, 3894, 1122, 2640, 869, 515, 213, 19, 10, 0], [0, 10, 13, 280, 174, 1914, 495, 4224, 660, 3102, 539, 680, 158, 30, 9, 0], [0, 10, 13, 281, 163, 1969, 330, 4554, 198, 3564, 209, 845, 103, 41, 8, 0], [0, 10, 14, 264, 283, 1485, 1595, 2277, 3102, 924, 1892, 130, 279, 29, 3, 1], [0, 10, 14, 265, 272, 1540, 1430, 2607, 2640, 1386, 1562, 295, 224, 40, 2, 1], [0, 10, 14, 266, 261, 1595, 1265, 2937, 2178, 1848, 1232, 460, 169, 51, 1, 1], [0, 10, 14, 267, 250, 1650, 1100, 3267, 1716, 2310, 902, 625, 114, 62, 0, 1], [0, 10, 14, 267, 251, 1639, 1155, 3102, 2046, 1848, 1364, 295, 279, 7, 11, 0], [0, 10, 14, 268, 240, 1694, 990, 3432, 1584, 2310, 1034, 460, 224, 18, 10, 0], [0, 10, 14, 269, 229, 1749, 825, 3762, 1122, 2772, 704, 625, 169, 29, 9, 0], [0, 10, 14, 270, 218, 1804, 660, 4092, 660, 3234, 374, 790, 114, 40, 8, 0], [0, 10, 14, 271, 207, 1859, 495, 4422, 198, 3696, 44, 955, 59, 51, 7, 0], [0, 10, 15, 253, 338, 1320, 1925, 1815, 3564, 594, 2057, 75, 290, 28, 3, 1], [0, 10, 15, 254, 327, 1375, 1760, 2145, 3102, 1056, 1727, 240, 235, 39, 2, 1], [0, 10, 15, 255, 316, 1430, 1595, 2475, 2640, 1518, 1397, 405, 180, 50, 1, 1], [0, 10, 15, 256, 305, 1485, 1430, 2805, 2178, 1980, 1067, 570, 125, 61, 0, 1], [0, 10, 15, 256, 306, 1474, 1485, 2640, 2508, 1518, 1529, 240, 290, 6, 11, 0], [0, 10, 15, 257, 295, 1529, 1320, 2970, 2046, 1980, 1199, 405, 235, 17, 10, 0], [0, 10, 15, 258, 284, 1584, 1155, 3300, 1584, 2442, 869, 570, 180, 28, 9, 0], [0, 10, 15, 259, 273, 1639, 990, 3630, 1122, 2904, 539, 735, 125, 39, 8, 0], [0, 10, 15, 260, 262, 1694, 825, 3960, 660, 3366, 209, 900, 70, 50, 7, 0], [0, 10, 16, 242, 393, 1155, 2255, 1353, 4026, 264, 2222, 20, 301, 27, 3, 1], [0, 10, 16, 243, 382, 1210, 2090, 1683, 3564, 726, 1892, 185, 246, 38, 2, 1], [0, 10, 16, 244, 371, 1265, 1925, 2013, 3102, 1188, 1562, 350, 191, 49, 1, 1], [0, 10, 16, 245, 360, 1320, 1760, 2343, 2640, 1650, 1232, 515, 136, 60, 0, 1], [0, 10, 16, 245, 361, 1309, 1815, 2178, 2970, 1188, 1694, 185, 301, 5, 11, 0], [0, 10, 16, 246, 350, 1364, 1650, 2508, 2508, 1650, 1364, 350, 246, 16, 10, 0], [0, 10, 16, 247, 339, 1419, 1485, 2838, 2046, 2112, 1034, 515, 191, 27, 9, 0], [0, 10, 16, 248, 328, 1474, 1320, 3168, 1584, 2574, 704, 680, 136, 38, 8, 0], [0, 10, 16, 249, 317, 1529, 1155, 3498, 1122, 3036, 374, 845, 81, 49, 7, 0], [0, 10, 16, 250, 306, 1584, 990, 3828, 660, 3498, 44, 1010, 26, 60, 6, 0], [0, 10, 17, 232, 437, 1045, 2420, 1221, 4026, 396, 2057, 130, 257, 37, 2, 1], [0, 10, 17, 233, 426, 1100, 2255, 1551, 3564, 858, 1727, 295, 202, 48, 1, 1], [0, 10, 17, 234, 415, 1155, 2090, 1881, 3102, 1320, 1397, 460, 147, 59, 0, 1], [0, 10, 17, 234, 416, 1144, 2145, 1716, 3432, 858, 1859, 130, 312, 4, 11, 0], [0, 10, 17, 235, 405, 1199, 1980, 2046, 2970, 1320, 1529, 295, 257, 15, 10, 0], [0, 10, 17, 236, 394, 1254, 1815, 2376, 2508, 1782, 1199, 460, 202, 26, 9, 0], [0, 10, 17, 237, 383, 1309, 1650, 2706, 2046, 2244, 869, 625, 147, 37, 8, 0], [0, 10, 17, 238, 372, 1364, 1485, 3036, 1584, 2706, 539, 790, 92, 48, 7, 0], [0, 10, 17, 239, 361, 1419, 1320, 3366, 1122, 3168, 209, 955, 37, 59, 6, 0], [0, 10, 18, 221, 492, 880, 2750, 759, 4488, 66, 2222, 75, 268, 36, 2, 1], [0, 10, 18, 222, 481, 935, 2585, 1089, 4026, 528, 1892, 240, 213, 47, 1, 1], [0, 10, 18, 223, 470, 990, 2420, 1419, 3564, 990, 1562, 405, 158, 58, 0, 1], [0, 10, 18, 223, 471, 979, 2475, 1254, 3894, 528, 2024, 75, 323, 3, 11, 0], [0, 10, 18, 224, 460, 1034, 2310, 1584, 3432, 990, 1694, 240, 268, 14, 10, 0], [0, 10, 18, 225, 449, 1089, 2145, 1914, 2970, 1452, 1364, 405, 213, 25, 9, 0], [0, 10, 18, 226, 438, 1144, 1980, 2244, 2508, 1914, 1034, 570, 158, 36, 8, 0], [0, 10, 18, 227, 427, 1199, 1815, 2574, 2046, 2376, 704, 735, 103, 47, 7, 0], [0, 10, 18, 228, 416, 1254, 1650, 2904, 1584, 2838, 374, 900, 48, 58, 6, 0], [0, 10, 19, 211, 536, 770, 2915, 627, 4488, 198, 2057, 185, 224, 46, 1, 1], [0, 10, 19, 212, 525, 825, 2750, 957, 4026, 660, 1727, 350, 169, 57, 0, 1], [0, 10, 19, 212, 526, 814, 2805, 792, 4356, 198, 2189, 20, 334, 2, 11, 0], [0, 10, 19, 213, 515, 869, 2640, 1122, 3894, 660, 1859, 185, 279, 13, 10, 0], [0, 10, 19, 214, 504, 924, 2475, 1452, 3432, 1122, 1529, 350, 224, 24, 9, 0], [0, 10, 19, 215, 493, 979, 2310, 1782, 2970, 1584, 1199, 515, 169, 35, 8, 0], [0, 10, 19, 216, 482, 1034, 2145, 2112, 2508, 2046, 869, 680, 114, 46, 7, 0], [0, 10, 19, 217, 471, 1089, 1980, 2442, 2046, 2508, 539, 845, 59, 57, 6, 0], [0, 10, 19, 218, 460, 1144, 1815, 2772, 1584, 2970, 209, 1010, 4, 68, 5, 0], [0, 10, 20, 201, 580, 660, 3080, 495, 4488, 330, 1892, 295, 180, 56, 0, 1], [0, 10, 20, 202, 570, 704, 2970, 660, 4356, 330, 2024, 130, 290, 12, 10, 0], [0, 10, 20, 203, 559, 759, 2805, 990, 3894, 792, 1694, 295, 235, 23, 9, 0], [0, 10, 20, 204, 548, 814, 2640, 1320, 3432, 1254, 1364, 460, 180, 34, 8, 0], [0, 10, 20, 205, 537, 869, 2475, 1650, 2970, 1716, 1034, 625, 125, 45, 7, 0], [0, 10, 20, 206, 526, 924, 2310, 1980, 2508, 2178, 704, 790, 70, 56, 6, 0], [0, 10, 20, 207, 515, 979, 2145, 2310, 2046, 2640, 374, 955, 15, 67, 5, 0], [0, 10, 21, 190, 635, 495, 3410, 33, 4950, 0, 2057, 240, 191, 55, 0, 1], [0, 10, 21, 191, 625, 539, 3300, 198, 4818, 0, 2189, 75, 301, 11, 10, 0], [0, 10, 21, 192, 614, 594, 3135, 528, 4356, 462, 1859, 240, 246, 22, 9, 0], [0, 10, 21, 193, 603, 649, 2970, 858, 3894, 924, 1529, 405, 191, 33, 8, 0], [0, 10, 21, 194, 592, 704, 2805, 1188, 3432, 1386, 1199, 570, 136, 44, 7, 0], [0, 10, 21, 195, 581, 759, 2640, 1518, 2970, 1848, 869, 735, 81, 55, 6, 0], [0, 10, 21, 196, 570, 814, 2475, 1848, 2508, 2310, 539, 900, 26, 66, 5, 0], [0, 10, 22, 181, 669, 429, 3465, 66, 4818, 132, 2024, 185, 257, 21, 9, 0], [0, 10, 22, 182, 658, 484, 3300, 396, 4356, 594, 1694, 350, 202, 32, 8, 0], [0, 10, 22, 183, 647, 539, 3135, 726, 3894, 1056, 1364, 515, 147, 43, 7, 0], [0, 10, 22, 184, 636, 594, 2970, 1056, 3432, 1518, 1034, 680, 92, 54, 6, 0], [0, 10, 22, 185, 625, 649, 2805, 1386, 2970, 1980, 704, 845, 37, 65, 5, 0], [0, 10, 23, 172, 702, 374, 3465, 264, 4356, 726, 1529, 460, 158, 42, 7, 0], [0, 10, 23, 173, 691, 429, 3300, 594, 3894, 1188, 1199, 625, 103, 53, 6, 0], [0, 10, 23, 174, 680, 484, 3135, 924, 3432, 1650, 869, 790, 48, 64, 5, 0], [0, 10, 24, 162, 746, 264, 3630, 132, 4356, 858, 1364, 570, 114, 52, 6, 0], [0, 10, 24, 163, 735, 319, 3465, 462, 3894, 1320, 1034, 735, 59, 63, 5, 0], [0, 10, 24, 164, 724, 374, 3300, 792, 3432, 1782, 704, 900, 4, 74, 4, 0], [0, 10, 25, 152, 790, 154, 3795, 0, 4356, 990, 1199, 680, 70, 62, 5, 0], [0, 10, 25, 153, 779, 209, 3630, 330, 3894, 1452, 869, 845, 15, 73, 4, 0], [0, 11, 1, 340, 19, 2090, 638, 3333, 2310, 1287, 1837, 86, 311, 20, 4, 1], [0, 11, 1, 341, 8, 2145, 473, 3663, 1848, 1749, 1507, 251, 256, 31, 3, 1], [0, 11, 2, 329, 74, 1925, 968, 2871, 2772, 957, 2002, 31, 322, 19, 4, 1], [0, 11, 2, 330, 63, 1980, 803, 3201, 2310, 1419, 1672, 196, 267, 30, 3, 1], [0, 11, 2, 331, 52, 2035, 638, 3531, 1848, 1881, 1342, 361, 212, 41, 2, 1], [0, 11, 2, 332, 41, 2090, 473, 3861, 1386, 2343, 1012, 526, 157, 52, 1, 1], [0, 11, 2, 333, 30, 2145, 308, 4191, 924, 2805, 682, 691, 102, 63, 0, 1], [0, 11, 2, 333, 31, 2134, 363, 4026, 1254, 2343, 1144, 361, 267, 8, 11, 0], [0, 11, 2, 334, 20, 2189, 198, 4356, 792, 2805, 814, 526, 212, 19, 10, 0], [0, 11, 2, 335, 9, 2244, 33, 4686, 330, 3267, 484, 691, 157, 30, 9, 0], [0, 11, 3, 319, 118, 1815, 1133, 2739, 2772, 1089, 1837, 141, 278, 29, 3, 1], [0, 11, 3, 320, 107, 1870, 968, 3069, 2310, 1551, 1507, 306, 223, 40, 2, 1], [0, 11, 3, 321, 96, 1925, 803, 3399, 1848, 2013, 1177, 471, 168, 51, 1, 1], [0, 11, 3, 322, 85, 1980, 638, 3729, 1386, 2475, 847, 636, 113, 62, 0, 1], [0, 11, 3, 322, 86, 1969, 693, 3564, 1716, 2013, 1309, 306, 278, 7, 11, 0], [0, 11, 3, 323, 75, 2024, 528, 3894, 1254, 2475, 979, 471, 223, 18, 10, 0], [0, 11, 3, 324, 64, 2079, 363, 4224, 792, 2937, 649, 636, 168, 29, 9, 0], [0, 11, 3, 325, 53, 2134, 198, 4554, 330, 3399, 319, 801, 113, 40, 8, 0], [0, 11, 4, 308, 173, 1650, 1463, 2277, 3234, 759, 2002, 86, 289, 28, 3, 1], [0, 11, 4, 309, 162, 1705, 1298, 2607, 2772, 1221, 1672, 251, 234, 39, 2, 1], [0, 11, 4, 310, 151, 1760, 1133, 2937, 2310, 1683, 1342, 416, 179, 50, 1, 1], [0, 11, 4, 311, 140, 1815, 968, 3267, 1848, 2145, 1012, 581, 124, 61, 0, 1], [0, 11, 4, 311, 141, 1804, 1023, 3102, 2178, 1683, 1474, 251, 289, 6, 11, 0], [0, 11, 4, 312, 130, 1859, 858, 3432, 1716, 2145, 1144, 416, 234, 17, 10, 0], [0, 11, 4, 313, 119, 1914, 693, 3762, 1254, 2607, 814, 581, 179, 28, 9, 0], [0, 11, 4, 314, 108, 1969, 528, 4092, 792, 3069, 484, 746, 124, 39, 8, 0], [0, 11, 4, 315, 97, 2024, 363, 4422, 330, 3531, 154, 911, 69, 50, 7, 0], [0, 11, 5, 297, 228, 1485, 1793, 1815, 3696, 429, 2167, 31, 300, 27, 3, 1], [0, 11, 5, 298, 217, 1540, 1628, 2145, 3234, 891, 1837, 196, 245, 38, 2, 1], [0, 11, 5, 299, 206, 1595, 1463, 2475, 2772, 1353, 1507, 361, 190, 49, 1, 1], [0, 11, 5, 300, 195, 1650, 1298, 2805, 2310, 1815, 1177, 526, 135, 60, 0, 1], [0, 11, 5, 300, 196, 1639, 1353, 2640, 2640, 1353, 1639, 196, 300, 5, 11, 0], [0, 11, 5, 301, 185, 1694, 1188, 2970, 2178, 1815, 1309, 361, 245, 16, 10, 0], [0, 11, 5, 302, 174, 1749, 1023, 3300, 1716, 2277, 979, 526, 190, 27, 9, 0], [0, 11, 5, 303, 163, 1804, 858, 3630, 1254, 2739, 649, 691, 135, 38, 8, 0], [0, 11, 5, 304, 152, 1859, 693, 3960, 792, 3201, 319, 856, 80, 49, 7, 0], [0, 11, 6, 287, 272, 1375, 1958, 1683, 3696, 561, 2002, 141, 256, 37, 2, 1], [0, 11, 6, 288, 261, 1430, 1793, 2013, 3234, 1023, 1672, 306, 201, 48, 1, 1], [0, 11, 6, 289, 250, 1485, 1628, 2343, 2772, 1485, 1342, 471, 146, 59, 0, 1], [0, 11, 6, 289, 251, 1474, 1683, 2178, 3102, 1023, 1804, 141, 311, 4, 11, 0], [0, 11, 6, 290, 240, 1529, 1518, 2508, 2640, 1485, 1474, 306, 256, 15, 10, 0], [0, 11, 6, 291, 229, 1584, 1353, 2838, 2178, 1947, 1144, 471, 201, 26, 9, 0], [0, 11, 6, 292, 218, 1639, 1188, 3168, 1716, 2409, 814, 636, 146, 37, 8, 0], [0, 11, 6, 293, 207, 1694, 1023, 3498, 1254, 2871, 484, 801, 91, 48, 7, 0], [0, 11, 6, 294, 196, 1749, 858, 3828, 792, 3333, 154, 966, 36, 59, 6, 0], [0, 11, 7, 276, 327, 1210, 2288, 1221, 4158, 231, 2167, 86, 267, 36, 2, 1], [0, 11, 7, 277, 316, 1265, 2123, 1551, 3696, 693, 1837, 251, 212, 47, 1, 1], [0, 11, 7, 278, 305, 1320, 1958, 1881, 3234, 1155, 1507, 416, 157, 58, 0, 1], [0, 11, 7, 278, 306, 1309, 2013, 1716, 3564, 693, 1969, 86, 322, 3, 11, 0], [0, 11, 7, 279, 295, 1364, 1848, 2046, 3102, 1155, 1639, 251, 267, 14, 10, 0], [0, 11, 7, 280, 284, 1419, 1683, 2376, 2640, 1617, 1309, 416, 212, 25, 9, 0], [0, 11, 7, 281, 273, 1474, 1518, 2706, 2178, 2079, 979, 581, 157, 36, 8, 0], [0, 11, 7, 282, 262, 1529, 1353, 3036, 1716, 2541, 649, 746, 102, 47, 7, 0], [0, 11, 7, 283, 251, 1584, 1188, 3366, 1254, 3003, 319, 911, 47, 58, 6, 0], [0, 11, 8, 266, 371, 1100, 2453, 1089, 4158, 363, 2002, 196, 223, 46, 1, 1], [0, 11, 8, 267, 360, 1155, 2288, 1419, 3696, 825, 1672, 361, 168, 57, 0, 1], [0, 11, 8, 267, 361, 1144, 2343, 1254, 4026, 363, 2134, 31, 333, 2, 11, 0], [0, 11, 8, 268, 350, 1199, 2178, 1584, 3564, 825, 1804, 196, 278, 13, 10, 0], [0, 11, 8, 269, 339, 1254, 2013, 1914, 3102, 1287, 1474, 361, 223, 24, 9, 0], [0, 11, 8, 270, 328, 1309, 1848, 2244, 2640, 1749, 1144, 526, 168, 35, 8, 0], [0, 11, 8, 271, 317, 1364, 1683, 2574, 2178, 2211, 814, 691, 113, 46, 7, 0], [0, 11, 8, 272, 306, 1419, 1518, 2904, 1716, 2673, 484, 856, 58, 57, 6, 0], [0, 11, 8, 273, 295, 1474, 1353, 3234, 1254, 3135, 154, 1021, 3, 68, 5, 0], [0, 11, 9, 255, 426, 935, 2783, 627, 4620, 33, 2167, 141, 234, 45, 1, 1], [0, 11, 9, 256, 415, 990, 2618, 957, 4158, 495, 1837, 306, 179, 56, 0, 1], [0, 11, 9, 257, 405, 1034, 2508, 1122, 4026, 495, 1969, 141, 289, 12, 10, 0], [0, 11, 9, 258, 394, 1089, 2343, 1452, 3564, 957, 1639, 306, 234, 23, 9, 0], [0, 11, 9, 259, 383, 1144, 2178, 1782, 3102, 1419, 1309, 471, 179, 34, 8, 0], [0, 11, 9, 260, 372, 1199, 2013, 2112, 2640, 1881, 979, 636, 124, 45, 7, 0], [0, 11, 9, 261, 361, 1254, 1848, 2442, 2178, 2343, 649, 801, 69, 56, 6, 0], [0, 11, 9, 262, 350, 1309, 1683, 2772, 1716, 2805, 319, 966, 14, 67, 5, 0], [0, 11, 10, 245, 470, 825, 2948, 495, 4620, 165, 2002, 251, 190, 55, 0, 1], [0, 11, 10, 246, 460, 869, 2838, 660, 4488, 165, 2134, 86, 300, 11, 10, 0], [0, 11, 10, 247, 449, 924, 2673, 990, 4026, 627, 1804, 251, 245, 22, 9, 0], [0, 11, 10, 248, 438, 979, 2508, 1320, 3564, 1089, 1474, 416, 190, 33, 8, 0], [0, 11, 10, 249, 427, 1034, 2343, 1650, 3102, 1551, 1144, 581, 135, 44, 7, 0], [0, 11, 10, 250, 416, 1089, 2178, 1980, 2640, 2013, 814, 746, 80, 55, 6, 0], [0, 11, 10, 251, 405, 1144, 2013, 2310, 2178, 2475, 484, 911, 25, 66, 5, 0], [0, 11, 11, 236, 504, 759, 3003, 528, 4488, 297, 1969, 196, 256, 21, 9, 0], [0, 11, 11, 237, 493, 814, 2838, 858, 4026, 759, 1639, 361, 201, 32, 8, 0], [0, 11, 11, 238, 482, 869, 2673, 1188, 3564, 1221, 1309, 526, 146, 43, 7, 0], [0, 11, 11, 239, 471, 924, 2508, 1518, 3102, 1683, 979, 691, 91, 54, 6, 0], [0, 11, 11, 240, 460, 979, 2343, 1848, 2640, 2145, 649, 856, 36, 65, 5, 0], [0, 11, 12, 226, 548, 649, 3168, 396, 4488, 429, 1804, 306, 212, 31, 8, 0], [0, 11, 12, 227, 537, 704, 3003, 726, 4026, 891, 1474, 471, 157, 42, 7, 0], [0, 11, 12, 228, 526, 759, 2838, 1056, 3564, 1353, 1144, 636, 102, 53, 6, 0], [0, 11, 12, 229, 515, 814, 2673, 1386, 3102, 1815, 814, 801, 47, 64, 5, 0], [0, 11, 13, 216, 592, 539, 3333, 264, 4488, 561, 1639, 416, 168, 41, 7, 0], [0, 11, 13, 217, 581, 594, 3168, 594, 4026, 1023, 1309, 581, 113, 52, 6, 0], [0, 11, 13, 218, 570, 649, 3003, 924, 3564, 1485, 979, 746, 58, 63, 5, 0], [0, 11, 13, 219, 559, 704, 2838, 1254, 3102, 1947, 649, 911, 3, 74, 4, 0], [0, 11, 14, 206, 636, 429, 3498, 132, 4488, 693, 1474, 526, 124, 51, 6, 0], [0, 11, 14, 207, 625, 484, 3333, 462, 4026, 1155, 1144, 691, 69, 62, 5, 0], [0, 11, 14, 208, 614, 539, 3168, 792, 3564, 1617, 814, 856, 14, 73, 4, 0], [0, 11, 15, 196, 680, 319, 3663, 0, 4488, 825, 1309, 636, 80, 61, 5, 0], [0, 11, 15, 197, 669, 374, 3498, 330, 4026, 1287, 979, 801, 25, 72, 4, 0], [0, 12, 0, 289, 360, 990, 2816, 495, 4752, 0, 2112, 207, 200, 54, 0, 1], [0, 12, 0, 290, 350, 1034, 2706, 660, 4620, 0, 2244, 42, 310, 10, 10, 0], [0, 12, 0, 291, 339, 1089, 2541, 990, 4158, 462, 1914, 207, 255, 21, 9, 0], [0, 12, 0, 292, 328, 1144, 2376, 1320, 3696, 924, 1584, 372, 200, 32, 8, 0], [0, 12, 0, 293, 317, 1199, 2211, 1650, 3234, 1386, 1254, 537, 145, 43, 7, 0], [0, 12, 0, 294, 306, 1254, 2046, 1980, 2772, 1848, 924, 702, 90, 54, 6, 0], [0, 12, 0, 295, 295, 1309, 1881, 2310, 2310, 2310, 594, 867, 35, 65, 5, 0], [0, 12, 1, 280, 394, 924, 2871, 528, 4620, 132, 2079, 152, 266, 20, 9, 0], [0, 12, 1, 281, 383, 979, 2706, 858, 4158, 594, 1749, 317, 211, 31, 8, 0], [0, 12, 1, 282, 372, 1034, 2541, 1188, 3696, 1056, 1419, 482, 156, 42, 7, 0], [0, 12, 1, 283, 361, 1089, 2376, 1518, 3234, 1518, 1089, 647, 101, 53, 6, 0], [0, 12, 1, 284, 350, 1144, 2211, 1848, 2772, 1980, 759, 812, 46, 64, 5, 0], [0, 12, 2, 270, 438, 814, 3036, 396, 4620, 264, 1914, 262, 222, 30, 8, 0], [0, 12, 2, 271, 427, 869, 2871, 726, 4158, 726, 1584, 427, 167, 41, 7, 0], [0, 12, 2, 272, 416, 924, 2706, 1056, 3696, 1188, 1254, 592, 112, 52, 6, 0], [0, 12, 2, 273, 405, 979, 2541, 1386, 3234, 1650, 924, 757, 57, 63, 5, 0], [0, 12, 2, 274, 394, 1034, 2376, 1716, 2772, 2112, 594, 922, 2, 74, 4, 0], [0, 12, 3, 260, 482, 704, 3201, 264, 4620, 396, 1749, 372, 178, 40, 7, 0], [0, 12, 3, 261, 471, 759, 3036, 594, 4158, 858, 1419, 537, 123, 51, 6, 0], [0, 12, 3, 262, 460, 814, 2871, 924, 3696, 1320, 1089, 702, 68, 62, 5, 0], [0, 12, 3, 263, 449, 869, 2706, 1254, 3234, 1782, 759, 867, 13, 73, 4, 0], [0, 12, 4, 250, 526, 594, 3366, 132, 4620, 528, 1584, 482, 134, 50, 6, 0], [0, 12, 4, 251, 515, 649, 3201, 462, 4158, 990, 1254, 647, 79, 61, 5, 0], [0, 12, 4, 252, 504, 704, 3036, 792, 3696, 1452, 924, 812, 24, 72, 4, 0], [0, 12, 5, 240, 570, 484, 3531, 0, 4620, 660, 1419, 592, 90, 60, 5, 0], [0, 12, 5, 241, 559, 539, 3366, 330, 4158, 1122, 1089, 757, 35, 71, 4, 0]}