-------
(15, 11264, 10) ALL distance distributions for EXTERNAL point
(10, 11264, 10) has 0 possible DDs: {}
(11, 11264, 10) has 1 possible DDs: {[0, 121, 0, 1815, 0, 5082, 0, 3630, 0, 605, 0, 11]}
(12, 11264, 10) has 7 possible DDs: {[0, 60, 66, 880, 990, 2376, 2772, 1584, 1980, 220, 330, 0, 6], [0, 61, 55, 935, 825, 2706, 2310, 2046, 1650, 385, 275, 11, 5], [0, 62, 44, 990, 660, 3036, 1848, 2508, 1320, 550, 220, 22, 4], [0, 63, 33, 1045, 495, 3366, 1386, 2970, 990, 715, 165, 33, 3], [0, 64, 22, 1100, 330, 3696, 924, 3432, 660, 880, 110, 44, 2], [0, 65, 11, 1155, 165, 4026, 462, 3894, 330, 1045, 55, 55, 1], [0, 66, 0, 1210, 0, 4356, 0, 4356, 0, 1210, 0, 66, 0]}
(13, 11264, 10) has 32 possible DDs: {[0, 26, 107, 253, 1595, 363, 4422, 330, 3102, 440, 495, 121, 7, 3], [0, 27, 96, 308, 1430, 693, 3960, 792, 2772, 605, 440, 132, 6, 3], [0, 27, 97, 297, 1485, 528, 4290, 330, 3234, 275, 605, 77, 17, 2], [0, 28, 85, 363, 1265, 1023, 3498, 1254, 2442, 770, 385, 143, 5, 3], [0, 28, 86, 352, 1320, 858, 3828, 792, 2904, 440, 550, 88, 16, 2], [0, 28, 87, 341, 1375, 693, 4158, 330, 3366, 110, 715, 33, 27, 1], [0, 29, 74, 418, 1100, 1353, 3036, 1716, 2112, 935, 330, 154, 4, 3], [0, 29, 75, 407, 1155, 1188, 3366, 1254, 2574, 605, 495, 99, 15, 2], [0, 29, 76, 396, 1210, 1023, 3696, 792, 3036, 275, 660, 44, 26, 1], [0, 30, 63, 473, 935, 1683, 2574, 2178, 1782, 1100, 275, 165, 3, 3], [0, 30, 64, 462, 990, 1518, 2904, 1716, 2244, 770, 440, 110, 14, 2], [0, 30, 65, 451, 1045, 1353, 3234, 1254, 2706, 440, 605, 55, 25, 1], [0, 30, 66, 440, 1100, 1188, 3564, 792, 3168, 110, 770, 0, 36, 0], [0, 31, 52, 528, 770, 2013, 2112, 2640, 1452, 1265, 220, 176, 2, 3], [0, 31, 53, 517, 825, 1848, 2442, 2178, 1914, 935, 385, 121, 13, 2], [0, 31, 54, 506, 880, 1683, 2772, 1716, 2376, 605, 550, 66, 24, 1], [0, 31, 55, 495, 935, 1518, 3102, 1254, 2838, 275, 715, 11, 35, 0], [0, 32, 41, 583, 605, 2343, 1650, 3102, 1122, 1430, 165, 187, 1, 3], [0, 32, 42, 572, 660, 2178, 1980, 2640, 1584, 1100, 330, 132, 12, 2], [0, 32, 43, 561, 715, 2013, 2310, 2178, 2046, 770, 495, 77, 23, 1], [0, 32, 44, 550, 770, 1848, 2640, 1716, 2508, 440, 660, 22, 34, 0], [0, 33, 30, 638, 440, 2673, 1188, 3564, 792, 1595, 110, 198, 0, 3], [0, 33, 31, 627, 495, 2508, 1518, 3102, 1254, 1265, 275, 143, 11, 2], [0, 33, 32, 616, 550, 2343, 1848, 2640, 1716, 935, 440, 88, 22, 1], [0, 33, 33, 605, 605, 2178, 2178, 2178, 2178, 605, 605, 33, 33, 0], [0, 34, 20, 682, 330, 2838, 1056, 3564, 924, 1430, 220, 154, 10, 2], [0, 34, 21, 671, 385, 2673, 1386, 3102, 1386, 1100, 385, 99, 21, 1], [0, 34, 22, 660, 440, 2508, 1716, 2640, 1848, 770, 550, 44, 32, 0], [0, 35, 9, 737, 165, 3168, 594, 4026, 594, 1595, 165, 165, 9, 2], [0, 35, 10, 726, 220, 3003, 924, 3564, 1056, 1265, 330, 110, 20, 1], [0, 35, 11, 715, 275, 2838, 1254, 3102, 1518, 935, 495, 55, 31, 0], [0, 36, 0, 770, 110, 3168, 792, 3564, 1188, 1100, 440, 66, 30, 0]}
(14, 11264, 10) has 150 possible DDs: {[0, 9, 106, 9, 1342, 374, 2838, 2442, 1188, 2365, 110, 429, 46, 4, 2], [0, 10, 95, 64, 1177, 704, 2376, 2904, 858, 2530, 55, 440, 45, 4, 2], [0, 10, 96, 53, 1232, 539, 2706, 2442, 1320, 2200, 220, 385, 56, 3, 2], [0, 10, 97, 42, 1287, 374, 3036, 1980, 1782, 1870, 385, 330, 67, 2, 2], [0, 10, 97, 43, 1276, 429, 2871, 2310, 1320, 2332, 55, 495, 12, 13, 1], [0, 10, 98, 31, 1342, 209, 3366, 1518, 2244, 1540, 550, 275, 78, 1, 2], [0, 10, 98, 32, 1331, 264, 3201, 1848, 1782, 2002, 220, 440, 23, 12, 1], [0, 10, 99, 20, 1397, 44, 3696, 1056, 2706, 1210, 715, 220, 89, 0, 2], [0, 10, 99, 21, 1386, 99, 3531, 1386, 2244, 1672, 385, 385, 34, 11, 1], [0, 11, 84, 119, 1012, 1034, 1914, 3366, 528, 2695, 0, 451, 44, 4, 2], [0, 11, 85, 108, 1067, 869, 2244, 2904, 990, 2365, 165, 396, 55, 3, 2], [0, 11, 86, 97, 1122, 704, 2574, 2442, 1452, 2035, 330, 341, 66, 2, 2], [0, 11, 86, 98, 1111, 759, 2409, 2772, 990, 2497, 0, 506, 11, 13, 1], [0, 11, 87, 86, 1177, 539, 2904, 1980, 1914, 1705, 495, 286, 77, 1, 2], [0, 11, 87, 87, 1166, 594, 2739, 2310, 1452, 2167, 165, 451, 22, 12, 1], [0, 11, 88, 75, 1232, 374, 3234, 1518, 2376, 1375, 660, 231, 88, 0, 2], [0, 11, 88, 76, 1221, 429, 3069, 1848, 1914, 1837, 330, 396, 33, 11, 1], [0, 11, 89, 65, 1276, 264, 3399, 1386, 2376, 1507, 495, 341, 44, 10, 1], [0, 11, 90, 54, 1331, 99, 3729, 924, 2838, 1177, 660, 286, 55, 9, 1], [0, 11, 90, 55, 1320, 154, 3564, 1254, 2376, 1639, 330, 451, 0, 20, 0], [0, 12, 74, 163, 902, 1199, 1782, 3366, 660, 2530, 110, 407, 54, 3, 2], [0, 12, 75, 152, 957, 1034, 2112, 2904, 1122, 2200, 275, 352, 65, 2, 2], [0, 12, 76, 141, 1012, 869, 2442, 2442, 1584, 1870, 440, 297, 76, 1, 2], [0, 12, 76, 142, 1001, 924, 2277, 2772, 1122, 2332, 110, 462, 21, 12, 1], [0, 12, 77, 130, 1067, 704, 2772, 1980, 2046, 1540, 605, 242, 87, 0, 2], [0, 12, 77, 131, 1056, 759, 2607, 2310, 1584, 2002, 275, 407, 32, 11, 1], [0, 12, 78, 120, 1111, 594, 2937, 1848, 2046, 1672, 440, 352, 43, 10, 1], [0, 12, 79, 109, 1166, 429, 3267, 1386, 2508, 1342, 605, 297, 54, 9, 1], [0, 12, 80, 98, 1221, 264, 3597, 924, 2970, 1012, 770, 242, 65, 8, 1], [0, 12, 80, 99, 1210, 319, 3432, 1254, 2508, 1474, 440, 407, 10, 19, 0], [0, 12, 81, 87, 1276, 99, 3927, 462, 3432, 682, 935, 187, 76, 7, 1], [0, 12, 81, 88, 1265, 154, 3762, 792, 2970, 1144, 605, 352, 21, 18, 0], [0, 13, 63, 218, 737, 1529, 1320, 3828, 330, 2695, 55, 418, 53, 3, 2], [0, 13, 64, 207, 792, 1364, 1650, 3366, 792, 2365, 220, 363, 64, 2, 2], [0, 13, 65, 196, 847, 1199, 1980, 2904, 1254, 2035, 385, 308, 75, 1, 2], [0, 13, 65, 197, 836, 1254, 1815, 3234, 792, 2497, 55, 473, 20, 12, 1], [0, 13, 66, 185, 902, 1034, 2310, 2442, 1716, 1705, 550, 253, 86, 0, 2], [0, 13, 66, 186, 891, 1089, 2145, 2772, 1254, 2167, 220, 418, 31, 11, 1], [0, 13, 67, 175, 946, 924, 2475, 2310, 1716, 1837, 385, 363, 42, 10, 1], [0, 13, 68, 164, 1001, 759, 2805, 1848, 2178, 1507, 550, 308, 53, 9, 1], [0, 13, 69, 153, 1056, 594, 3135, 1386, 2640, 1177, 715, 253, 64, 8, 1], [0, 13, 69, 154, 1045, 649, 2970, 1716, 2178, 1639, 385, 418, 9, 19, 0], [0, 13, 70, 142, 1111, 429, 3465, 924, 3102, 847, 880, 198, 75, 7, 1], [0, 13, 70, 143, 1100, 484, 3300, 1254, 2640, 1309, 550, 363, 20, 18, 0], [0, 13, 71, 131, 1166, 264, 3795, 462, 3564, 517, 1045, 143, 86, 6, 1], [0, 13, 71, 132, 1155, 319, 3630, 792, 3102, 979, 715, 308, 31, 17, 0], [0, 13, 72, 120, 1221, 99, 4125, 0, 4026, 187, 1210, 88, 97, 5, 1], [0, 13, 72, 121, 1210, 154, 3960, 330, 3564, 649, 880, 253, 42, 16, 0], [0, 14, 52, 273, 572, 1859, 858, 4290, 0, 2860, 0, 429, 52, 3, 2], [0, 14, 53, 262, 627, 1694, 1188, 3828, 462, 2530, 165, 374, 63, 2, 2], [0, 14, 54, 251, 682, 1529, 1518, 3366, 924, 2200, 330, 319, 74, 1, 2], [0, 14, 54, 252, 671, 1584, 1353, 3696, 462, 2662, 0, 484, 19, 12, 1], [0, 14, 55, 240, 737, 1364, 1848, 2904, 1386, 1870, 495, 264, 85, 0, 2], [0, 14, 55, 241, 726, 1419, 1683, 3234, 924, 2332, 165, 429, 30, 11, 1], [0, 14, 56, 230, 781, 1254, 2013, 2772, 1386, 2002, 330, 374, 41, 10, 1], [0, 14, 57, 219, 836, 1089, 2343, 2310, 1848, 1672, 495, 319, 52, 9, 1], [0, 14, 58, 208, 891, 924, 2673, 1848, 2310, 1342, 660, 264, 63, 8, 1], [0, 14, 58, 209, 880, 979, 2508, 2178, 1848, 1804, 330, 429, 8, 19, 0], [0, 14, 59, 197, 946, 759, 3003, 1386, 2772, 1012, 825, 209, 74, 7, 1], [0, 14, 59, 198, 935, 814, 2838, 1716, 2310, 1474, 495, 374, 19, 18, 0], [0, 14, 60, 186, 1001, 594, 3333, 924, 3234, 682, 990, 154, 85, 6, 1], [0, 14, 60, 187, 990, 649, 3168, 1254, 2772, 1144, 660, 319, 30, 17, 0], [0, 14, 61, 175, 1056, 429, 3663, 462, 3696, 352, 1155, 99, 96, 5, 1], [0, 14, 61, 176, 1045, 484, 3498, 792, 3234, 814, 825, 264, 41, 16, 0], [0, 14, 62, 164, 1111, 264, 3993, 0, 4158, 22, 1320, 44, 107, 4, 1], [0, 14, 62, 165, 1100, 319, 3828, 330, 3696, 484, 990, 209, 52, 15, 0], [0, 15, 42, 317, 462, 2024, 726, 4290, 132, 2695, 110, 385, 62, 2, 2], [0, 15, 43, 306, 517, 1859, 1056, 3828, 594, 2365, 275, 330, 73, 1, 2], [0, 15, 44, 295, 572, 1694, 1386, 3366, 1056, 2035, 440, 275, 84, 0, 2], [0, 15, 44, 296, 561, 1749, 1221, 3696, 594, 2497, 110, 440, 29, 11, 1], [0, 15, 45, 285, 616, 1584, 1551, 3234, 1056, 2167, 275, 385, 40, 10, 1], [0, 15, 46, 274, 671, 1419, 1881, 2772, 1518, 1837, 440, 330, 51, 9, 1], [0, 15, 47, 263, 726, 1254, 2211, 2310, 1980, 1507, 605, 275, 62, 8, 1], [0, 15, 47, 264, 715, 1309, 2046, 2640, 1518, 1969, 275, 440, 7, 19, 0], [0, 15, 48, 252, 781, 1089, 2541, 1848, 2442, 1177, 770, 220, 73, 7, 1], [0, 15, 48, 253, 770, 1144, 2376, 2178, 1980, 1639, 440, 385, 18, 18, 0], [0, 15, 49, 241, 836, 924, 2871, 1386, 2904, 847, 935, 165, 84, 6, 1], [0, 15, 49, 242, 825, 979, 2706, 1716, 2442, 1309, 605, 330, 29, 17, 0], [0, 15, 50, 230, 891, 759, 3201, 924, 3366, 517, 1100, 110, 95, 5, 1], [0, 15, 50, 231, 880, 814, 3036, 1254, 2904, 979, 770, 275, 40, 16, 0], [0, 15, 51, 219, 946, 594, 3531, 462, 3828, 187, 1265, 55, 106, 4, 1], [0, 15, 51, 220, 935, 649, 3366, 792, 3366, 649, 935, 220, 51, 15, 0], [0, 15, 52, 209, 990, 484, 3696, 330, 3828, 319, 1100, 165, 62, 14, 0], [0, 16, 32, 361, 352, 2189, 594, 4290, 264, 2530, 220, 341, 72, 1, 2], [0, 16, 33, 350, 407, 2024, 924, 3828, 726, 2200, 385, 286, 83, 0, 2], [0, 16, 33, 351, 396, 2079, 759, 4158, 264, 2662, 55, 451, 28, 11, 1], [0, 16, 34, 340, 451, 1914, 1089, 3696, 726, 2332, 220, 396, 39, 10, 1], [0, 16, 35, 329, 506, 1749, 1419, 3234, 1188, 2002, 385, 341, 50, 9, 1], [0, 16, 36, 318, 561, 1584, 1749, 2772, 1650, 1672, 550, 286, 61, 8, 1], [0, 16, 36, 319, 550, 1639, 1584, 3102, 1188, 2134, 220, 451, 6, 19, 0], [0, 16, 37, 307, 616, 1419, 2079, 2310, 2112, 1342, 715, 231, 72, 7, 1], [0, 16, 37, 308, 605, 1474, 1914, 2640, 1650, 1804, 385, 396, 17, 18, 0], [0, 16, 38, 296, 671, 1254, 2409, 1848, 2574, 1012, 880, 176, 83, 6, 1], [0, 16, 38, 297, 660, 1309, 2244, 2178, 2112, 1474, 550, 341, 28, 17, 0], [0, 16, 39, 285, 726, 1089, 2739, 1386, 3036, 682, 1045, 121, 94, 5, 1], [0, 16, 39, 286, 715, 1144, 2574, 1716, 2574, 1144, 715, 286, 39, 16, 0], [0, 16, 40, 274, 781, 924, 3069, 924, 3498, 352, 1210, 66, 105, 4, 1], [0, 16, 40, 275, 770, 979, 2904, 1254, 3036, 814, 880, 231, 50, 15, 0], [0, 16, 41, 263, 836, 759, 3399, 462, 3960, 22, 1375, 11, 116, 3, 1], [0, 16, 41, 264, 825, 814, 3234, 792, 3498, 484, 1045, 176, 61, 14, 0], [0, 16, 42, 253, 880, 649, 3564, 330, 3960, 154, 1210, 121, 72, 13, 0], [0, 17, 22, 405, 242, 2354, 462, 4290, 396, 2365, 330, 297, 82, 0, 2], [0, 17, 23, 395, 286, 2244, 627, 4158, 396, 2497, 165, 407, 38, 10, 1], [0, 17, 24, 384, 341, 2079, 957, 3696, 858, 2167, 330, 352, 49, 9, 1], [0, 17, 25, 373, 396, 1914, 1287, 3234, 1320, 1837, 495, 297, 60, 8, 1], [0, 17, 25, 374, 385, 1969, 1122, 3564, 858, 2299, 165, 462, 5, 19, 0], [0, 17, 26, 362, 451, 1749, 1617, 2772, 1782, 1507, 660, 242, 71, 7, 1], [0, 17, 26, 363, 440, 1804, 1452, 3102, 1320, 1969, 330, 407, 16, 18, 0], [0, 17, 27, 351, 506, 1584, 1947, 2310, 2244, 1177, 825, 187, 82, 6, 1], [0, 17, 27, 352, 495, 1639, 1782, 2640, 1782, 1639, 495, 352, 27, 17, 0], [0, 17, 28, 340, 561, 1419, 2277, 1848, 2706, 847, 990, 132, 93, 5, 1], [0, 17, 28, 341, 550, 1474, 2112, 2178, 2244, 1309, 660, 297, 38, 16, 0], [0, 17, 29, 329, 616, 1254, 2607, 1386, 3168, 517, 1155, 77, 104, 4, 1], [0, 17, 29, 330, 605, 1309, 2442, 1716, 2706, 979, 825, 242, 49, 15, 0], [0, 17, 30, 318, 671, 1089, 2937, 924, 3630, 187, 1320, 22, 115, 3, 1], [0, 17, 30, 319, 660, 1144, 2772, 1254, 3168, 649, 990, 187, 60, 14, 0], [0, 17, 31, 308, 715, 979, 3102, 792, 3630, 319, 1155, 132, 71, 13, 0], [0, 18, 11, 460, 77, 2684, 0, 4752, 66, 2530, 275, 308, 81, 0, 2], [0, 18, 12, 450, 121, 2574, 165, 4620, 66, 2662, 110, 418, 37, 10, 1], [0, 18, 13, 439, 176, 2409, 495, 4158, 528, 2332, 275, 363, 48, 9, 1], [0, 18, 14, 428, 231, 2244, 825, 3696, 990, 2002, 440, 308, 59, 8, 1], [0, 18, 14, 429, 220, 2299, 660, 4026, 528, 2464, 110, 473, 4, 19, 0], [0, 18, 15, 417, 286, 2079, 1155, 3234, 1452, 1672, 605, 253, 70, 7, 1], [0, 18, 15, 418, 275, 2134, 990, 3564, 990, 2134, 275, 418, 15, 18, 0], [0, 18, 16, 406, 341, 1914, 1485, 2772, 1914, 1342, 770, 198, 81, 6, 1], [0, 18, 16, 407, 330, 1969, 1320, 3102, 1452, 1804, 440, 363, 26, 17, 0], [0, 18, 17, 395, 396, 1749, 1815, 2310, 2376, 1012, 935, 143, 92, 5, 1], [0, 18, 17, 396, 385, 1804, 1650, 2640, 1914, 1474, 605, 308, 37, 16, 0], [0, 18, 18, 384, 451, 1584, 2145, 1848, 2838, 682, 1100, 88, 103, 4, 1], [0, 18, 18, 385, 440, 1639, 1980, 2178, 2376, 1144, 770, 253, 48, 15, 0], [0, 18, 19, 373, 506, 1419, 2475, 1386, 3300, 352, 1265, 33, 114, 3, 1], [0, 18, 19, 374, 495, 1474, 2310, 1716, 2838, 814, 935, 198, 59, 14, 0], [0, 18, 20, 363, 550, 1309, 2640, 1254, 3300, 484, 1100, 143, 70, 13, 0], [0, 18, 21, 352, 605, 1144, 2970, 792, 3762, 154, 1265, 88, 81, 12, 0], [0, 19, 2, 494, 11, 2739, 33, 4620, 198, 2497, 220, 374, 47, 9, 1], [0, 19, 3, 483, 66, 2574, 363, 4158, 660, 2167, 385, 319, 58, 8, 1], [0, 19, 3, 484, 55, 2629, 198, 4488, 198, 2629, 55, 484, 3, 19, 0], [0, 19, 4, 472, 121, 2409, 693, 3696, 1122, 1837, 550, 264, 69, 7, 1], [0, 19, 4, 473, 110, 2464, 528, 4026, 660, 2299, 220, 429, 14, 18, 0], [0, 19, 5, 461, 176, 2244, 1023, 3234, 1584, 1507, 715, 209, 80, 6, 1], [0, 19, 5, 462, 165, 2299, 858, 3564, 1122, 1969, 385, 374, 25, 17, 0], [0, 19, 6, 450, 231, 2079, 1353, 2772, 2046, 1177, 880, 154, 91, 5, 1], [0, 19, 6, 451, 220, 2134, 1188, 3102, 1584, 1639, 550, 319, 36, 16, 0], [0, 19, 7, 439, 286, 1914, 1683, 2310, 2508, 847, 1045, 99, 102, 4, 1], [0, 19, 7, 440, 275, 1969, 1518, 2640, 2046, 1309, 715, 264, 47, 15, 0], [0, 19, 8, 428, 341, 1749, 2013, 1848, 2970, 517, 1210, 44, 113, 3, 1], [0, 19, 8, 429, 330, 1804, 1848, 2178, 2508, 979, 880, 209, 58, 14, 0], [0, 19, 9, 418, 385, 1639, 2178, 1716, 2970, 649, 1045, 154, 69, 13, 0], [0, 19, 10, 407, 440, 1474, 2508, 1254, 3432, 319, 1210, 99, 80, 12, 0], [0, 20, 0, 451, 330, 1639, 2376, 1254, 3564, 154, 1320, 55, 90, 11, 0]}
(15, 11264, 10) has 607 possible DDs: {[0, 2, 77, 5, 681, 1188, 616, 4191, 330, 2618, 1045, 187, 317, 0, 6, 1], [0, 3, 66, 60, 516, 1518, 154, 4653, 0, 2783, 990, 198, 316, 0, 6, 1], [0, 3, 67, 50, 560, 1408, 319, 4521, 0, 2915, 825, 308, 272, 10, 5, 1], [0, 3, 68, 39, 615, 1243, 649, 4059, 462, 2585, 990, 253, 283, 9, 5, 1], [0, 3, 68, 40, 604, 1298, 484, 4389, 0, 3047, 660, 418, 228, 20, 4, 1], [0, 3, 69, 28, 670, 1078, 979, 3597, 924, 2255, 1155, 198, 294, 8, 5, 1], [0, 3, 69, 29, 659, 1133, 814, 3927, 462, 2717, 825, 363, 239, 19, 4, 1], [0, 3, 69, 30, 648, 1188, 649, 4257, 0, 3179, 495, 528, 184, 30, 3, 1], [0, 3, 70, 17, 725, 913, 1309, 3135, 1386, 1925, 1320, 143, 305, 7, 5, 1], [0, 3, 70, 18, 714, 968, 1144, 3465, 924, 2387, 990, 308, 250, 18, 4, 1], [0, 3, 70, 19, 703, 1023, 979, 3795, 462, 2849, 660, 473, 195, 29, 3, 1], [0, 3, 70, 20, 692, 1078, 814, 4125, 0, 3311, 330, 638, 140, 40, 2, 1], [0, 3, 71, 6, 780, 748, 1639, 2673, 1848, 1595, 1485, 88, 316, 6, 5, 1], [0, 3, 71, 7, 769, 803, 1474, 3003, 1386, 2057, 1155, 253, 261, 17, 4, 1], [0, 3, 71, 8, 758, 858, 1309, 3333, 924, 2519, 825, 418, 206, 28, 3, 1], [0, 3, 71, 9, 747, 913, 1144, 3663, 462, 2981, 495, 583, 151, 39, 2, 1], [0, 3, 71, 10, 736, 968, 979, 3993, 0, 3443, 165, 748, 96, 50, 1, 1], [0, 3, 72, 0, 780, 858, 1144, 3861, 0, 3575, 0, 858, 52, 60, 0, 1], [0, 3, 72, 0, 781, 847, 1199, 3696, 330, 3113, 462, 528, 217, 5, 11, 0], [0, 4, 57, 94, 450, 1573, 187, 4521, 132, 2750, 935, 264, 282, 9, 5, 1], [0, 4, 58, 83, 505, 1408, 517, 4059, 594, 2420, 1100, 209, 293, 8, 5, 1], [0, 4, 58, 84, 494, 1463, 352, 4389, 132, 2882, 770, 374, 238, 19, 4, 1], [0, 4, 59, 72, 560, 1243, 847, 3597, 1056, 2090, 1265, 154, 304, 7, 5, 1], [0, 4, 59, 73, 549, 1298, 682, 3927, 594, 2552, 935, 319, 249, 18, 4, 1], [0, 4, 59, 74, 538, 1353, 517, 4257, 132, 3014, 605, 484, 194, 29, 3, 1], [0, 4, 60, 61, 615, 1078, 1177, 3135, 1518, 1760, 1430, 99, 315, 6, 5, 1], [0, 4, 60, 62, 604, 1133, 1012, 3465, 1056, 2222, 1100, 264, 260, 17, 4, 1], [0, 4, 60, 63, 593, 1188, 847, 3795, 594, 2684, 770, 429, 205, 28, 3, 1], [0, 4, 60, 64, 582, 1243, 682, 4125, 132, 3146, 440, 594, 150, 39, 2, 1], [0, 4, 61, 50, 670, 913, 1507, 2673, 1980, 1430, 1595, 44, 326, 5, 5, 1], [0, 4, 61, 51, 659, 968, 1342, 3003, 1518, 1892, 1265, 209, 271, 16, 4, 1], [0, 4, 61, 52, 648, 1023, 1177, 3333, 1056, 2354, 935, 374, 216, 27, 3, 1], [0, 4, 61, 53, 637, 1078, 1012, 3663, 594, 2816, 605, 539, 161, 38, 2, 1], [0, 4, 61, 54, 626, 1133, 847, 3993, 132, 3278, 275, 704, 106, 49, 1, 1], [0, 4, 61, 55, 616, 1177, 737, 4158, 0, 3278, 407, 539, 216, 5, 11, 0], [0, 4, 62, 40, 714, 803, 1672, 2541, 1980, 1562, 1430, 154, 282, 15, 4, 1], [0, 4, 62, 41, 703, 858, 1507, 2871, 1518, 2024, 1100, 319, 227, 26, 3, 1], [0, 4, 62, 42, 692, 913, 1342, 3201, 1056, 2486, 770, 484, 172, 37, 2, 1], [0, 4, 62, 43, 681, 968, 1177, 3531, 594, 2948, 440, 649, 117, 48, 1, 1], [0, 4, 62, 44, 670, 1023, 1012, 3861, 132, 3410, 110, 814, 62, 59, 0, 1], [0, 4, 62, 44, 671, 1012, 1067, 3696, 462, 2948, 572, 484, 227, 4, 11, 0], [0, 4, 62, 45, 660, 1067, 902, 4026, 0, 3410, 242, 649, 172, 15, 10, 0], [0, 4, 63, 29, 769, 638, 2002, 2079, 2442, 1232, 1595, 99, 293, 14, 4, 1], [0, 4, 63, 30, 758, 693, 1837, 2409, 1980, 1694, 1265, 264, 238, 25, 3, 1], [0, 4, 63, 31, 747, 748, 1672, 2739, 1518, 2156, 935, 429, 183, 36, 2, 1], [0, 4, 63, 32, 736, 803, 1507, 3069, 1056, 2618, 605, 594, 128, 47, 1, 1], [0, 4, 63, 33, 725, 858, 1342, 3399, 594, 3080, 275, 759, 73, 58, 0, 1], [0, 4, 63, 33, 726, 847, 1397, 3234, 924, 2618, 737, 429, 238, 3, 11, 0], [0, 4, 63, 34, 715, 902, 1232, 3564, 462, 3080, 407, 594, 183, 14, 10, 0], [0, 4, 63, 35, 704, 957, 1067, 3894, 0, 3542, 77, 759, 128, 25, 9, 0], [0, 4, 64, 18, 824, 473, 2332, 1617, 2904, 902, 1760, 44, 304, 13, 4, 1], [0, 4, 64, 19, 813, 528, 2167, 1947, 2442, 1364, 1430, 209, 249, 24, 3, 1], [0, 4, 64, 20, 802, 583, 2002, 2277, 1980, 1826, 1100, 374, 194, 35, 2, 1], [0, 4, 64, 21, 791, 638, 1837, 2607, 1518, 2288, 770, 539, 139, 46, 1, 1], [0, 4, 64, 22, 780, 693, 1672, 2937, 1056, 2750, 440, 704, 84, 57, 0, 1], [0, 4, 64, 22, 781, 682, 1727, 2772, 1386, 2288, 902, 374, 249, 2, 11, 0], [0, 4, 64, 23, 770, 737, 1562, 3102, 924, 2750, 572, 539, 194, 13, 10, 0], [0, 4, 64, 24, 759, 792, 1397, 3432, 462, 3212, 242, 704, 139, 24, 9, 0], [0, 4, 65, 8, 868, 363, 2497, 1485, 2904, 1034, 1595, 154, 260, 23, 3, 1], [0, 4, 65, 9, 857, 418, 2332, 1815, 2442, 1496, 1265, 319, 205, 34, 2, 1], [0, 4, 65, 10, 846, 473, 2167, 2145, 1980, 1958, 935, 484, 150, 45, 1, 1], [0, 4, 65, 11, 835, 528, 2002, 2475, 1518, 2420, 605, 649, 95, 56, 0, 1], [0, 4, 65, 11, 836, 517, 2057, 2310, 1848, 1958, 1067, 319, 260, 1, 11, 0], [0, 4, 65, 12, 825, 572, 1892, 2640, 1386, 2420, 737, 484, 205, 12, 10, 0], [0, 4, 65, 13, 814, 627, 1727, 2970, 924, 2882, 407, 649, 150, 23, 9, 0], [0, 4, 65, 14, 803, 682, 1562, 3300, 462, 3344, 77, 814, 95, 34, 8, 0], [0, 4, 66, 0, 890, 363, 2332, 2013, 1980, 2090, 770, 594, 106, 55, 0, 1], [0, 4, 66, 0, 891, 352, 2387, 1848, 2310, 1628, 1232, 264, 271, 0, 11, 0], [0, 4, 66, 1, 880, 407, 2222, 2178, 1848, 2090, 902, 429, 216, 11, 10, 0], [0, 4, 66, 2, 869, 462, 2057, 2508, 1386, 2552, 572, 594, 161, 22, 9, 0], [0, 4, 66, 3, 858, 517, 1892, 2838, 924, 3014, 242, 759, 106, 33, 8, 0], [0, 5, 47, 138, 340, 1738, 55, 4521, 264, 2585, 1045, 220, 292, 8, 5, 1], [0, 5, 48, 127, 395, 1573, 385, 4059, 726, 2255, 1210, 165, 303, 7, 5, 1], [0, 5, 48, 128, 384, 1628, 220, 4389, 264, 2717, 880, 330, 248, 18, 4, 1], [0, 5, 49, 116, 450, 1408, 715, 3597, 1188, 1925, 1375, 110, 314, 6, 5, 1], [0, 5, 49, 117, 439, 1463, 550, 3927, 726, 2387, 1045, 275, 259, 17, 4, 1], [0, 5, 49, 118, 428, 1518, 385, 4257, 264, 2849, 715, 440, 204, 28, 3, 1], [0, 5, 50, 105, 505, 1243, 1045, 3135, 1650, 1595, 1540, 55, 325, 5, 5, 1], [0, 5, 50, 106, 494, 1298, 880, 3465, 1188, 2057, 1210, 220, 270, 16, 4, 1], [0, 5, 50, 107, 483, 1353, 715, 3795, 726, 2519, 880, 385, 215, 27, 3, 1], [0, 5, 50, 108, 472, 1408, 550, 4125, 264, 2981, 550, 550, 160, 38, 2, 1], [0, 5, 51, 94, 560, 1078, 1375, 2673, 2112, 1265, 1705, 0, 336, 4, 5, 1], [0, 5, 51, 95, 549, 1133, 1210, 3003, 1650, 1727, 1375, 165, 281, 15, 4, 1], [0, 5, 51, 96, 538, 1188, 1045, 3333, 1188, 2189, 1045, 330, 226, 26, 3, 1], [0, 5, 51, 97, 527, 1243, 880, 3663, 726, 2651, 715, 495, 171, 37, 2, 1], [0, 5, 51, 98, 516, 1298, 715, 3993, 264, 3113, 385, 660, 116, 48, 1, 1], [0, 5, 51, 99, 506, 1342, 605, 4158, 132, 3113, 517, 495, 226, 4, 11, 0], [0, 5, 52, 84, 604, 968, 1540, 2541, 2112, 1397, 1540, 110, 292, 14, 4, 1], [0, 5, 52, 85, 593, 1023, 1375, 2871, 1650, 1859, 1210, 275, 237, 25, 3, 1], [0, 5, 52, 86, 582, 1078, 1210, 3201, 1188, 2321, 880, 440, 182, 36, 2, 1], [0, 5, 52, 87, 571, 1133, 1045, 3531, 726, 2783, 550, 605, 127, 47, 1, 1], [0, 5, 52, 88, 560, 1188, 880, 3861, 264, 3245, 220, 770, 72, 58, 0, 1], [0, 5, 52, 88, 561, 1177, 935, 3696, 594, 2783, 682, 440, 237, 3, 11, 0], [0, 5, 52, 89, 550, 1232, 770, 4026, 132, 3245, 352, 605, 182, 14, 10, 0], [0, 5, 53, 73, 659, 803, 1870, 2079, 2574, 1067, 1705, 55, 303, 13, 4, 1], [0, 5, 53, 74, 648, 858, 1705, 2409, 2112, 1529, 1375, 220, 248, 24, 3, 1], [0, 5, 53, 75, 637, 913, 1540, 2739, 1650, 1991, 1045, 385, 193, 35, 2, 1], [0, 5, 53, 76, 626, 968, 1375, 3069, 1188, 2453, 715, 550, 138, 46, 1, 1], [0, 5, 53, 77, 615, 1023, 1210, 3399, 726, 2915, 385, 715, 83, 57, 0, 1], [0, 5, 53, 77, 616, 1012, 1265, 3234, 1056, 2453, 847, 385, 248, 2, 11, 0], [0, 5, 53, 78, 605, 1067, 1100, 3564, 594, 2915, 517, 550, 193, 13, 10, 0], [0, 5, 53, 79, 594, 1122, 935, 3894, 132, 3377, 187, 715, 138, 24, 9, 0], [0, 5, 54, 62, 714, 638, 2200, 1617, 3036, 737, 1870, 0, 314, 12, 4, 1], [0, 5, 54, 63, 703, 693, 2035, 1947, 2574, 1199, 1540, 165, 259, 23, 3, 1], [0, 5, 54, 64, 692, 748, 1870, 2277, 2112, 1661, 1210, 330, 204, 34, 2, 1], [0, 5, 54, 65, 681, 803, 1705, 2607, 1650, 2123, 880, 495, 149, 45, 1, 1], [0, 5, 54, 66, 670, 858, 1540, 2937, 1188, 2585, 550, 660, 94, 56, 0, 1], [0, 5, 54, 66, 671, 847, 1595, 2772, 1518, 2123, 1012, 330, 259, 1, 11, 0], [0, 5, 54, 67, 660, 902, 1430, 3102, 1056, 2585, 682, 495, 204, 12, 10, 0], [0, 5, 54, 68, 649, 957, 1265, 3432, 594, 3047, 352, 660, 149, 23, 9, 0], [0, 5, 54, 69, 638, 1012, 1100, 3762, 132, 3509, 22, 825, 94, 34, 8, 0], [0, 5, 55, 52, 758, 528, 2365, 1485, 3036, 869, 1705, 110, 270, 22, 3, 1], [0, 5, 55, 53, 747, 583, 2200, 1815, 2574, 1331, 1375, 275, 215, 33, 2, 1], [0, 5, 55, 54, 736, 638, 2035, 2145, 2112, 1793, 1045, 440, 160, 44, 1, 1], [0, 5, 55, 55, 725, 693, 1870, 2475, 1650, 2255, 715, 605, 105, 55, 0, 1], [0, 5, 55, 55, 726, 682, 1925, 2310, 1980, 1793, 1177, 275, 270, 0, 11, 0], [0, 5, 55, 56, 715, 737, 1760, 2640, 1518, 2255, 847, 440, 215, 11, 10, 0], [0, 5, 55, 57, 704, 792, 1595, 2970, 1056, 2717, 517, 605, 160, 22, 9, 0], [0, 5, 55, 58, 693, 847, 1430, 3300, 594, 3179, 187, 770, 105, 33, 8, 0], [0, 5, 56, 41, 813, 363, 2695, 1023, 3498, 539, 1870, 55, 281, 21, 3, 1], [0, 5, 56, 42, 802, 418, 2530, 1353, 3036, 1001, 1540, 220, 226, 32, 2, 1], [0, 5, 56, 43, 791, 473, 2365, 1683, 2574, 1463, 1210, 385, 171, 43, 1, 1], [0, 5, 56, 44, 780, 528, 2200, 2013, 2112, 1925, 880, 550, 116, 54, 0, 1], [0, 5, 56, 45, 770, 572, 2090, 2178, 1980, 1925, 1012, 385, 226, 10, 10, 0], [0, 5, 56, 46, 759, 627, 1925, 2508, 1518, 2387, 682, 550, 171, 21, 9, 0], [0, 5, 56, 47, 748, 682, 1760, 2838, 1056, 2849, 352, 715, 116, 32, 8, 0], [0, 5, 56, 48, 737, 737, 1595, 3168, 594, 3311, 22, 880, 61, 43, 7, 0], [0, 5, 57, 30, 868, 198, 3025, 561, 3960, 209, 2035, 0, 292, 20, 3, 1], [0, 5, 57, 31, 857, 253, 2860, 891, 3498, 671, 1705, 165, 237, 31, 2, 1], [0, 5, 57, 32, 846, 308, 2695, 1221, 3036, 1133, 1375, 330, 182, 42, 1, 1], [0, 5, 57, 33, 835, 363, 2530, 1551, 2574, 1595, 1045, 495, 127, 53, 0, 1], [0, 5, 57, 34, 825, 407, 2420, 1716, 2442, 1595, 1177, 330, 237, 9, 10, 0], [0, 5, 57, 35, 814, 462, 2255, 2046, 1980, 2057, 847, 495, 182, 20, 9, 0], [0, 5, 57, 36, 803, 517, 2090, 2376, 1518, 2519, 517, 660, 127, 31, 8, 0], [0, 5, 57, 37, 792, 572, 1925, 2706, 1056, 2981, 187, 825, 72, 42, 7, 0], [0, 5, 58, 20, 912, 88, 3190, 429, 3960, 341, 1870, 110, 248, 30, 2, 1], [0, 5, 58, 21, 901, 143, 3025, 759, 3498, 803, 1540, 275, 193, 41, 1, 1], [0, 5, 58, 22, 890, 198, 2860, 1089, 3036, 1265, 1210, 440, 138, 52, 0, 1], [0, 5, 58, 23, 880, 242, 2750, 1254, 2904, 1265, 1342, 275, 248, 8, 10, 0], [0, 5, 58, 24, 869, 297, 2585, 1584, 2442, 1727, 1012, 440, 193, 19, 9, 0], [0, 5, 58, 25, 858, 352, 2420, 1914, 1980, 2189, 682, 605, 138, 30, 8, 0], [0, 5, 58, 26, 847, 407, 2255, 2244, 1518, 2651, 352, 770, 83, 41, 7, 0], [0, 5, 58, 27, 836, 462, 2090, 2574, 1056, 3113, 22, 935, 28, 52, 6, 0], [0, 5, 59, 11, 945, 33, 3190, 627, 3498, 935, 1375, 385, 149, 51, 0, 1], [0, 5, 59, 12, 935, 77, 3080, 792, 3366, 935, 1507, 220, 259, 7, 10, 0], [0, 5, 59, 13, 924, 132, 2915, 1122, 2904, 1397, 1177, 385, 204, 18, 9, 0], [0, 5, 59, 14, 913, 187, 2750, 1452, 2442, 1859, 847, 550, 149, 29, 8, 0], [0, 5, 59, 15, 902, 242, 2585, 1782, 1980, 2321, 517, 715, 94, 40, 7, 0], [0, 5, 59, 16, 891, 297, 2420, 2112, 1518, 2783, 187, 880, 39, 51, 6, 0], [0, 5, 60, 3, 968, 22, 3080, 990, 2904, 1529, 1012, 495, 160, 28, 8, 0], [0, 5, 60, 4, 957, 77, 2915, 1320, 2442, 1991, 682, 660, 105, 39, 7, 0], [0, 5, 60, 5, 946, 132, 2750, 1650, 1980, 2453, 352, 825, 50, 50, 6, 0], [0, 6, 38, 171, 285, 1738, 253, 4059, 858, 2090, 1320, 121, 313, 6, 5, 1], [0, 6, 38, 172, 274, 1793, 88, 4389, 396, 2552, 990, 286, 258, 17, 4, 1], [0, 6, 39, 160, 340, 1573, 583, 3597, 1320, 1760, 1485, 66, 324, 5, 5, 1], [0, 6, 39, 161, 329, 1628, 418, 3927, 858, 2222, 1155, 231, 269, 16, 4, 1], [0, 6, 39, 162, 318, 1683, 253, 4257, 396, 2684, 825, 396, 214, 27, 3, 1], [0, 6, 40, 149, 395, 1408, 913, 3135, 1782, 1430, 1650, 11, 335, 4, 5, 1], [0, 6, 40, 150, 384, 1463, 748, 3465, 1320, 1892, 1320, 176, 280, 15, 4, 1], [0, 6, 40, 151, 373, 1518, 583, 3795, 858, 2354, 990, 341, 225, 26, 3, 1], [0, 6, 40, 152, 362, 1573, 418, 4125, 396, 2816, 660, 506, 170, 37, 2, 1], [0, 6, 41, 139, 439, 1298, 1078, 3003, 1782, 1562, 1485, 121, 291, 14, 4, 1], [0, 6, 41, 140, 428, 1353, 913, 3333, 1320, 2024, 1155, 286, 236, 25, 3, 1], [0, 6, 41, 141, 417, 1408, 748, 3663, 858, 2486, 825, 451, 181, 36, 2, 1], [0, 6, 41, 142, 406, 1463, 583, 3993, 396, 2948, 495, 616, 126, 47, 1, 1], [0, 6, 41, 143, 396, 1507, 473, 4158, 264, 2948, 627, 451, 236, 3, 11, 0], [0, 6, 42, 128, 494, 1133, 1408, 2541, 2244, 1232, 1650, 66, 302, 13, 4, 1], [0, 6, 42, 129, 483, 1188, 1243, 2871, 1782, 1694, 1320, 231, 247, 24, 3, 1], [0, 6, 42, 130, 472, 1243, 1078, 3201, 1320, 2156, 990, 396, 192, 35, 2, 1], [0, 6, 42, 131, 461, 1298, 913, 3531, 858, 2618, 660, 561, 137, 46, 1, 1], [0, 6, 42, 132, 450, 1353, 748, 3861, 396, 3080, 330, 726, 82, 57, 0, 1], [0, 6, 42, 132, 451, 1342, 803, 3696, 726, 2618, 792, 396, 247, 2, 11, 0], [0, 6, 42, 133, 440, 1397, 638, 4026, 264, 3080, 462, 561, 192, 13, 10, 0], [0, 6, 43, 117, 549, 968, 1738, 2079, 2706, 902, 1815, 11, 313, 12, 4, 1], [0, 6, 43, 118, 538, 1023, 1573, 2409, 2244, 1364, 1485, 176, 258, 23, 3, 1], [0, 6, 43, 119, 527, 1078, 1408, 2739, 1782, 1826, 1155, 341, 203, 34, 2, 1], [0, 6, 43, 120, 516, 1133, 1243, 3069, 1320, 2288, 825, 506, 148, 45, 1, 1], [0, 6, 43, 121, 505, 1188, 1078, 3399, 858, 2750, 495, 671, 93, 56, 0, 1], [0, 6, 43, 121, 506, 1177, 1133, 3234, 1188, 2288, 957, 341, 258, 1, 11, 0], [0, 6, 43, 122, 495, 1232, 968, 3564, 726, 2750, 627, 506, 203, 12, 10, 0], [0, 6, 43, 123, 484, 1287, 803, 3894, 264, 3212, 297, 671, 148, 23, 9, 0], [0, 6, 44, 107, 593, 858, 1903, 1947, 2706, 1034, 1650, 121, 269, 22, 3, 1], [0, 6, 44, 108, 582, 913, 1738, 2277, 2244, 1496, 1320, 286, 214, 33, 2, 1], [0, 6, 44, 109, 571, 968, 1573, 2607, 1782, 1958, 990, 451, 159, 44, 1, 1], [0, 6, 44, 110, 560, 1023, 1408, 2937, 1320, 2420, 660, 616, 104, 55, 0, 1], [0, 6, 44, 110, 561, 1012, 1463, 2772, 1650, 1958, 1122, 286, 269, 0, 11, 0], [0, 6, 44, 111, 550, 1067, 1298, 3102, 1188, 2420, 792, 451, 214, 11, 10, 0], [0, 6, 44, 112, 539, 1122, 1133, 3432, 726, 2882, 462, 616, 159, 22, 9, 0], [0, 6, 44, 113, 528, 1177, 968, 3762, 264, 3344, 132, 781, 104, 33, 8, 0], [0, 6, 45, 96, 648, 693, 2233, 1485, 3168, 704, 1815, 66, 280, 21, 3, 1], [0, 6, 45, 97, 637, 748, 2068, 1815, 2706, 1166, 1485, 231, 225, 32, 2, 1], [0, 6, 45, 98, 626, 803, 1903, 2145, 2244, 1628, 1155, 396, 170, 43, 1, 1], [0, 6, 45, 99, 615, 858, 1738, 2475, 1782, 2090, 825, 561, 115, 54, 0, 1], [0, 6, 45, 100, 605, 902, 1628, 2640, 1650, 2090, 957, 396, 225, 10, 10, 0], [0, 6, 45, 101, 594, 957, 1463, 2970, 1188, 2552, 627, 561, 170, 21, 9, 0], [0, 6, 45, 102, 583, 1012, 1298, 3300, 726, 3014, 297, 726, 115, 32, 8, 0], [0, 6, 46, 85, 703, 528, 2563, 1023, 3630, 374, 1980, 11, 291, 20, 3, 1], [0, 6, 46, 86, 692, 583, 2398, 1353, 3168, 836, 1650, 176, 236, 31, 2, 1], [0, 6, 46, 87, 681, 638, 2233, 1683, 2706, 1298, 1320, 341, 181, 42, 1, 1], [0, 6, 46, 88, 670, 693, 2068, 2013, 2244, 1760, 990, 506, 126, 53, 0, 1], [0, 6, 46, 89, 660, 737, 1958, 2178, 2112, 1760, 1122, 341, 236, 9, 10, 0], [0, 6, 46, 90, 649, 792, 1793, 2508, 1650, 2222, 792, 506, 181, 20, 9, 0], [0, 6, 46, 91, 638, 847, 1628, 2838, 1188, 2684, 462, 671, 126, 31, 8, 0], [0, 6, 46, 92, 627, 902, 1463, 3168, 726, 3146, 132, 836, 71, 42, 7, 0], [0, 6, 47, 75, 747, 418, 2728, 891, 3630, 506, 1815, 121, 247, 30, 2, 1], [0, 6, 47, 76, 736, 473, 2563, 1221, 3168, 968, 1485, 286, 192, 41, 1, 1], [0, 6, 47, 77, 725, 528, 2398, 1551, 2706, 1430, 1155, 451, 137, 52, 0, 1], [0, 6, 47, 78, 715, 572, 2288, 1716, 2574, 1430, 1287, 286, 247, 8, 10, 0], [0, 6, 47, 79, 704, 627, 2123, 2046, 2112, 1892, 957, 451, 192, 19, 9, 0], [0, 6, 47, 80, 693, 682, 1958, 2376, 1650, 2354, 627, 616, 137, 30, 8, 0], [0, 6, 47, 81, 682, 737, 1793, 2706, 1188, 2816, 297, 781, 82, 41, 7, 0], [0, 6, 48, 64, 802, 253, 3058, 429, 4092, 176, 1980, 66, 258, 29, 2, 1], [0, 6, 48, 65, 791, 308, 2893, 759, 3630, 638, 1650, 231, 203, 40, 1, 1], [0, 6, 48, 66, 780, 363, 2728, 1089, 3168, 1100, 1320, 396, 148, 51, 0, 1], [0, 6, 48, 67, 770, 407, 2618, 1254, 3036, 1100, 1452, 231, 258, 7, 10, 0], [0, 6, 48, 68, 759, 462, 2453, 1584, 2574, 1562, 1122, 396, 203, 18, 9, 0], [0, 6, 48, 69, 748, 517, 2288, 1914, 2112, 2024, 792, 561, 148, 29, 8, 0], [0, 6, 48, 70, 737, 572, 2123, 2244, 1650, 2486, 462, 726, 93, 40, 7, 0], [0, 6, 48, 71, 726, 627, 1958, 2574, 1188, 2948, 132, 891, 38, 51, 6, 0], [0, 6, 49, 54, 846, 143, 3223, 297, 4092, 308, 1815, 176, 214, 39, 1, 1], [0, 6, 49, 55, 835, 198, 3058, 627, 3630, 770, 1485, 341, 159, 50, 0, 1], [0, 6, 49, 56, 825, 242, 2948, 792, 3498, 770, 1617, 176, 269, 6, 10, 0], [0, 6, 49, 57, 814, 297, 2783, 1122, 3036, 1232, 1287, 341, 214, 17, 9, 0], [0, 6, 49, 58, 803, 352, 2618, 1452, 2574, 1694, 957, 506, 159, 28, 8, 0], [0, 6, 49, 59, 792, 407, 2453, 1782, 2112, 2156, 627, 671, 104, 39, 7, 0], [0, 6, 49, 60, 781, 462, 2288, 2112, 1650, 2618, 297, 836, 49, 50, 6, 0], [0, 6, 50, 44, 890, 33, 3388, 165, 4092, 440, 1650, 286, 170, 49, 0, 1], [0, 6, 50, 45, 880, 77, 3278, 330, 3960, 440, 1782, 121, 280, 5, 10, 0], [0, 6, 50, 46, 869, 132, 3113, 660, 3498, 902, 1452, 286, 225, 16, 9, 0], [0, 6, 50, 47, 858, 187, 2948, 990, 3036, 1364, 1122, 451, 170, 27, 8, 0], [0, 6, 50, 48, 847, 242, 2783, 1320, 2574, 1826, 792, 616, 115, 38, 7, 0], [0, 6, 50, 49, 836, 297, 2618, 1650, 2112, 2288, 462, 781, 60, 49, 6, 0], [0, 6, 50, 50, 825, 352, 2453, 1980, 1650, 2750, 132, 946, 5, 60, 5, 0], [0, 6, 51, 36, 913, 22, 3278, 528, 3498, 1034, 1287, 396, 181, 26, 8, 0], [0, 6, 51, 37, 902, 77, 3113, 858, 3036, 1496, 957, 561, 126, 37, 7, 0], [0, 6, 51, 38, 891, 132, 2948, 1188, 2574, 1958, 627, 726, 71, 48, 6, 0], [0, 6, 51, 39, 880, 187, 2783, 1518, 2112, 2420, 297, 891, 16, 59, 5, 0], [0, 6, 52, 28, 935, 22, 3113, 1056, 2574, 2090, 462, 836, 27, 58, 5, 0], [0, 7, 28, 215, 175, 1903, 121, 4059, 990, 1925, 1430, 77, 323, 5, 5, 1], [0, 7, 29, 204, 230, 1738, 451, 3597, 1452, 1595, 1595, 22, 334, 4, 5, 1], [0, 7, 29, 205, 219, 1793, 286, 3927, 990, 2057, 1265, 187, 279, 15, 4, 1], [0, 7, 29, 206, 208, 1848, 121, 4257, 528, 2519, 935, 352, 224, 26, 3, 1], [0, 7, 30, 194, 274, 1628, 616, 3465, 1452, 1727, 1430, 132, 290, 14, 4, 1], [0, 7, 30, 195, 263, 1683, 451, 3795, 990, 2189, 1100, 297, 235, 25, 3, 1], [0, 7, 30, 196, 252, 1738, 286, 4125, 528, 2651, 770, 462, 180, 36, 2, 1], [0, 7, 30, 197, 241, 1793, 121, 4455, 66, 3113, 440, 627, 125, 47, 1, 1], [0, 7, 31, 183, 329, 1463, 946, 3003, 1914, 1397, 1595, 77, 301, 13, 4, 1], [0, 7, 31, 184, 318, 1518, 781, 3333, 1452, 1859, 1265, 242, 246, 24, 3, 1], [0, 7, 31, 185, 307, 1573, 616, 3663, 990, 2321, 935, 407, 191, 35, 2, 1], [0, 7, 31, 186, 296, 1628, 451, 3993, 528, 2783, 605, 572, 136, 46, 1, 1], [0, 7, 31, 187, 285, 1683, 286, 4323, 66, 3245, 275, 737, 81, 57, 0, 1], [0, 7, 31, 187, 286, 1672, 341, 4158, 396, 2783, 737, 407, 246, 2, 11, 0], [0, 7, 32, 172, 384, 1298, 1276, 2541, 2376, 1067, 1760, 22, 312, 12, 4, 1], [0, 7, 32, 173, 373, 1353, 1111, 2871, 1914, 1529, 1430, 187, 257, 23, 3, 1], [0, 7, 32, 174, 362, 1408, 946, 3201, 1452, 1991, 1100, 352, 202, 34, 2, 1], [0, 7, 32, 175, 351, 1463, 781, 3531, 990, 2453, 770, 517, 147, 45, 1, 1], [0, 7, 32, 176, 340, 1518, 616, 3861, 528, 2915, 440, 682, 92, 56, 0, 1], [0, 7, 32, 176, 341, 1507, 671, 3696, 858, 2453, 902, 352, 257, 1, 11, 0], [0, 7, 32, 177, 330, 1562, 506, 4026, 396, 2915, 572, 517, 202, 12, 10, 0], [0, 7, 33, 162, 428, 1188, 1441, 2409, 2376, 1199, 1595, 132, 268, 22, 3, 1], [0, 7, 33, 163, 417, 1243, 1276, 2739, 1914, 1661, 1265, 297, 213, 33, 2, 1], [0, 7, 33, 164, 406, 1298, 1111, 3069, 1452, 2123, 935, 462, 158, 44, 1, 1], [0, 7, 33, 165, 395, 1353, 946, 3399, 990, 2585, 605, 627, 103, 55, 0, 1], [0, 7, 33, 165, 396, 1342, 1001, 3234, 1320, 2123, 1067, 297, 268, 0, 11, 0], [0, 7, 33, 166, 385, 1397, 836, 3564, 858, 2585, 737, 462, 213, 11, 10, 0], [0, 7, 33, 167, 374, 1452, 671, 3894, 396, 3047, 407, 627, 158, 22, 9, 0], [0, 7, 34, 151, 483, 1023, 1771, 1947, 2838, 869, 1760, 77, 279, 21, 3, 1], [0, 7, 34, 152, 472, 1078, 1606, 2277, 2376, 1331, 1430, 242, 224, 32, 2, 1], [0, 7, 34, 153, 461, 1133, 1441, 2607, 1914, 1793, 1100, 407, 169, 43, 1, 1], [0, 7, 34, 154, 450, 1188, 1276, 2937, 1452, 2255, 770, 572, 114, 54, 0, 1], [0, 7, 34, 155, 440, 1232, 1166, 3102, 1320, 2255, 902, 407, 224, 10, 10, 0], [0, 7, 34, 156, 429, 1287, 1001, 3432, 858, 2717, 572, 572, 169, 21, 9, 0], [0, 7, 34, 157, 418, 1342, 836, 3762, 396, 3179, 242, 737, 114, 32, 8, 0], [0, 7, 35, 140, 538, 858, 2101, 1485, 3300, 539, 1925, 22, 290, 20, 3, 1], [0, 7, 35, 141, 527, 913, 1936, 1815, 2838, 1001, 1595, 187, 235, 31, 2, 1], [0, 7, 35, 142, 516, 968, 1771, 2145, 2376, 1463, 1265, 352, 180, 42, 1, 1], [0, 7, 35, 143, 505, 1023, 1606, 2475, 1914, 1925, 935, 517, 125, 53, 0, 1], [0, 7, 35, 144, 495, 1067, 1496, 2640, 1782, 1925, 1067, 352, 235, 9, 10, 0], [0, 7, 35, 145, 484, 1122, 1331, 2970, 1320, 2387, 737, 517, 180, 20, 9, 0], [0, 7, 35, 146, 473, 1177, 1166, 3300, 858, 2849, 407, 682, 125, 31, 8, 0], [0, 7, 35, 147, 462, 1232, 1001, 3630, 396, 3311, 77, 847, 70, 42, 7, 0], [0, 7, 36, 130, 582, 748, 2266, 1353, 3300, 671, 1760, 132, 246, 30, 2, 1], [0, 7, 36, 131, 571, 803, 2101, 1683, 2838, 1133, 1430, 297, 191, 41, 1, 1], [0, 7, 36, 132, 560, 858, 1936, 2013, 2376, 1595, 1100, 462, 136, 52, 0, 1], [0, 7, 36, 133, 550, 902, 1826, 2178, 2244, 1595, 1232, 297, 246, 8, 10, 0], [0, 7, 36, 134, 539, 957, 1661, 2508, 1782, 2057, 902, 462, 191, 19, 9, 0], [0, 7, 36, 135, 528, 1012, 1496, 2838, 1320, 2519, 572, 627, 136, 30, 8, 0], [0, 7, 36, 136, 517, 1067, 1331, 3168, 858, 2981, 242, 792, 81, 41, 7, 0], [0, 7, 37, 119, 637, 583, 2596, 891, 3762, 341, 1925, 77, 257, 29, 2, 1], [0, 7, 37, 120, 626, 638, 2431, 1221, 3300, 803, 1595, 242, 202, 40, 1, 1], [0, 7, 37, 121, 615, 693, 2266, 1551, 2838, 1265, 1265, 407, 147, 51, 0, 1], [0, 7, 37, 122, 605, 737, 2156, 1716, 2706, 1265, 1397, 242, 257, 7, 10, 0], [0, 7, 37, 123, 594, 792, 1991, 2046, 2244, 1727, 1067, 407, 202, 18, 9, 0], [0, 7, 37, 124, 583, 847, 1826, 2376, 1782, 2189, 737, 572, 147, 29, 8, 0], [0, 7, 37, 125, 572, 902, 1661, 2706, 1320, 2651, 407, 737, 92, 40, 7, 0], [0, 7, 37, 126, 561, 957, 1496, 3036, 858, 3113, 77, 902, 37, 51, 6, 0], [0, 7, 38, 108, 692, 418, 2926, 429, 4224, 11, 2090, 22, 268, 28, 2, 1], [0, 7, 38, 109, 681, 473, 2761, 759, 3762, 473, 1760, 187, 213, 39, 1, 1], [0, 7, 38, 110, 670, 528, 2596, 1089, 3300, 935, 1430, 352, 158, 50, 0, 1], [0, 7, 38, 111, 660, 572, 2486, 1254, 3168, 935, 1562, 187, 268, 6, 10, 0], [0, 7, 38, 112, 649, 627, 2321, 1584, 2706, 1397, 1232, 352, 213, 17, 9, 0], [0, 7, 38, 113, 638, 682, 2156, 1914, 2244, 1859, 902, 517, 158, 28, 8, 0], [0, 7, 38, 114, 627, 737, 1991, 2244, 1782, 2321, 572, 682, 103, 39, 7, 0], [0, 7, 38, 115, 616, 792, 1826, 2574, 1320, 2783, 242, 847, 48, 50, 6, 0], [0, 7, 39, 98, 736, 308, 3091, 297, 4224, 143, 1925, 132, 224, 38, 1, 1], [0, 7, 39, 99, 725, 363, 2926, 627, 3762, 605, 1595, 297, 169, 49, 0, 1], [0, 7, 39, 100, 715, 407, 2816, 792, 3630, 605, 1727, 132, 279, 5, 10, 0], [0, 7, 39, 101, 704, 462, 2651, 1122, 3168, 1067, 1397, 297, 224, 16, 9, 0], [0, 7, 39, 102, 693, 517, 2486, 1452, 2706, 1529, 1067, 462, 169, 27, 8, 0], [0, 7, 39, 103, 682, 572, 2321, 1782, 2244, 1991, 737, 627, 114, 38, 7, 0], [0, 7, 39, 104, 671, 627, 2156, 2112, 1782, 2453, 407, 792, 59, 49, 6, 0], [0, 7, 39, 105, 660, 682, 1991, 2442, 1320, 2915, 77, 957, 4, 60, 5, 0], [0, 7, 40, 88, 780, 198, 3256, 165, 4224, 275, 1760, 242, 180, 48, 0, 1], [0, 7, 40, 89, 770, 242, 3146, 330, 4092, 275, 1892, 77, 290, 4, 10, 0], [0, 7, 40, 90, 759, 297, 2981, 660, 3630, 737, 1562, 242, 235, 15, 9, 0], [0, 7, 40, 91, 748, 352, 2816, 990, 3168, 1199, 1232, 407, 180, 26, 8, 0], [0, 7, 40, 92, 737, 407, 2651, 1320, 2706, 1661, 902, 572, 125, 37, 7, 0], [0, 7, 40, 93, 726, 462, 2486, 1650, 2244, 2123, 572, 737, 70, 48, 6, 0], [0, 7, 40, 94, 715, 517, 2321, 1980, 1782, 2585, 242, 902, 15, 59, 5, 0], [0, 7, 41, 79, 814, 132, 3311, 198, 4092, 407, 1727, 187, 246, 14, 9, 0], [0, 7, 41, 80, 803, 187, 3146, 528, 3630, 869, 1397, 352, 191, 25, 8, 0], [0, 7, 41, 81, 792, 242, 2981, 858, 3168, 1331, 1067, 517, 136, 36, 7, 0], [0, 7, 41, 82, 781, 297, 2816, 1188, 2706, 1793, 737, 682, 81, 47, 6, 0], [0, 7, 41, 83, 770, 352, 2651, 1518, 2244, 2255, 407, 847, 26, 58, 5, 0], [0, 7, 42, 69, 858, 22, 3476, 66, 4092, 539, 1562, 297, 202, 24, 8, 0], [0, 7, 42, 70, 847, 77, 3311, 396, 3630, 1001, 1232, 462, 147, 35, 7, 0], [0, 7, 42, 71, 836, 132, 3146, 726, 3168, 1463, 902, 627, 92, 46, 6, 0], [0, 7, 42, 72, 825, 187, 2981, 1056, 2706, 1925, 572, 792, 37, 57, 5, 0], [0, 7, 43, 61, 880, 22, 3311, 594, 3168, 1595, 737, 737, 48, 56, 5, 0], [0, 8, 19, 249, 109, 1958, 154, 3927, 1122, 1892, 1375, 143, 289, 14, 4, 1], [0, 8, 20, 238, 164, 1793, 484, 3465, 1584, 1562, 1540, 88, 300, 13, 4, 1], [0, 8, 20, 239, 153, 1848, 319, 3795, 1122, 2024, 1210, 253, 245, 24, 3, 1], [0, 8, 20, 240, 142, 1903, 154, 4125, 660, 2486, 880, 418, 190, 35, 2, 1], [0, 8, 21, 227, 219, 1628, 814, 3003, 2046, 1232, 1705, 33, 311, 12, 4, 1], [0, 8, 21, 228, 208, 1683, 649, 3333, 1584, 1694, 1375, 198, 256, 23, 3, 1], [0, 8, 21, 229, 197, 1738, 484, 3663, 1122, 2156, 1045, 363, 201, 34, 2, 1], [0, 8, 21, 230, 186, 1793, 319, 3993, 660, 2618, 715, 528, 146, 45, 1, 1], [0, 8, 21, 231, 175, 1848, 154, 4323, 198, 3080, 385, 693, 91, 56, 0, 1], [0, 8, 21, 231, 176, 1837, 209, 4158, 528, 2618, 847, 363, 256, 1, 11, 0], [0, 8, 21, 232, 165, 1892, 44, 4488, 66, 3080, 517, 528, 201, 12, 10, 0], [0, 8, 22, 217, 263, 1518, 979, 2871, 2046, 1364, 1540, 143, 267, 22, 3, 1], [0, 8, 22, 218, 252, 1573, 814, 3201, 1584, 1826, 1210, 308, 212, 33, 2, 1], [0, 8, 22, 219, 241, 1628, 649, 3531, 1122, 2288, 880, 473, 157, 44, 1, 1], [0, 8, 22, 220, 230, 1683, 484, 3861, 660, 2750, 550, 638, 102, 55, 0, 1], [0, 8, 22, 220, 231, 1672, 539, 3696, 990, 2288, 1012, 308, 267, 0, 11, 0], [0, 8, 22, 221, 220, 1727, 374, 4026, 528, 2750, 682, 473, 212, 11, 10, 0], [0, 8, 22, 222, 209, 1782, 209, 4356, 66, 3212, 352, 638, 157, 22, 9, 0], [0, 8, 23, 206, 318, 1353, 1309, 2409, 2508, 1034, 1705, 88, 278, 21, 3, 1], [0, 8, 23, 207, 307, 1408, 1144, 2739, 2046, 1496, 1375, 253, 223, 32, 2, 1], [0, 8, 23, 208, 296, 1463, 979, 3069, 1584, 1958, 1045, 418, 168, 43, 1, 1], [0, 8, 23, 209, 285, 1518, 814, 3399, 1122, 2420, 715, 583, 113, 54, 0, 1], [0, 8, 23, 210, 275, 1562, 704, 3564, 990, 2420, 847, 418, 223, 10, 10, 0], [0, 8, 23, 211, 264, 1617, 539, 3894, 528, 2882, 517, 583, 168, 21, 9, 0], [0, 8, 23, 212, 253, 1672, 374, 4224, 66, 3344, 187, 748, 113, 32, 8, 0], [0, 8, 24, 195, 373, 1188, 1639, 1947, 2970, 704, 1870, 33, 289, 20, 3, 1], [0, 8, 24, 196, 362, 1243, 1474, 2277, 2508, 1166, 1540, 198, 234, 31, 2, 1], [0, 8, 24, 197, 351, 1298, 1309, 2607, 2046, 1628, 1210, 363, 179, 42, 1, 1], [0, 8, 24, 198, 340, 1353, 1144, 2937, 1584, 2090, 880, 528, 124, 53, 0, 1], [0, 8, 24, 199, 330, 1397, 1034, 3102, 1452, 2090, 1012, 363, 234, 9, 10, 0], [0, 8, 24, 200, 319, 1452, 869, 3432, 990, 2552, 682, 528, 179, 20, 9, 0], [0, 8, 24, 201, 308, 1507, 704, 3762, 528, 3014, 352, 693, 124, 31, 8, 0], [0, 8, 24, 202, 297, 1562, 539, 4092, 66, 3476, 22, 858, 69, 42, 7, 0], [0, 8, 25, 185, 417, 1078, 1804, 1815, 2970, 836, 1705, 143, 245, 30, 2, 1], [0, 8, 25, 186, 406, 1133, 1639, 2145, 2508, 1298, 1375, 308, 190, 41, 1, 1], [0, 8, 25, 187, 395, 1188, 1474, 2475, 2046, 1760, 1045, 473, 135, 52, 0, 1], [0, 8, 25, 188, 385, 1232, 1364, 2640, 1914, 1760, 1177, 308, 245, 8, 10, 0], [0, 8, 25, 189, 374, 1287, 1199, 2970, 1452, 2222, 847, 473, 190, 19, 9, 0], [0, 8, 25, 190, 363, 1342, 1034, 3300, 990, 2684, 517, 638, 135, 30, 8, 0], [0, 8, 25, 191, 352, 1397, 869, 3630, 528, 3146, 187, 803, 80, 41, 7, 0], [0, 8, 26, 174, 472, 913, 2134, 1353, 3432, 506, 1870, 88, 256, 29, 2, 1], [0, 8, 26, 175, 461, 968, 1969, 1683, 2970, 968, 1540, 253, 201, 40, 1, 1], [0, 8, 26, 176, 450, 1023, 1804, 2013, 2508, 1430, 1210, 418, 146, 51, 0, 1], [0, 8, 26, 177, 440, 1067, 1694, 2178, 2376, 1430, 1342, 253, 256, 7, 10, 0], [0, 8, 26, 178, 429, 1122, 1529, 2508, 1914, 1892, 1012, 418, 201, 18, 9, 0], [0, 8, 26, 179, 418, 1177, 1364, 2838, 1452, 2354, 682, 583, 146, 29, 8, 0], [0, 8, 26, 180, 407, 1232, 1199, 3168, 990, 2816, 352, 748, 91, 40, 7, 0], [0, 8, 26, 181, 396, 1287, 1034, 3498, 528, 3278, 22, 913, 36, 51, 6, 0], [0, 8, 27, 163, 527, 748, 2464, 891, 3894, 176, 2035, 33, 267, 28, 2, 1], [0, 8, 27, 164, 516, 803, 2299, 1221, 3432, 638, 1705, 198, 212, 39, 1, 1], [0, 8, 27, 165, 505, 858, 2134, 1551, 2970, 1100, 1375, 363, 157, 50, 0, 1], [0, 8, 27, 166, 495, 902, 2024, 1716, 2838, 1100, 1507, 198, 267, 6, 10, 0], [0, 8, 27, 167, 484, 957, 1859, 2046, 2376, 1562, 1177, 363, 212, 17, 9, 0], [0, 8, 27, 168, 473, 1012, 1694, 2376, 1914, 2024, 847, 528, 157, 28, 8, 0], [0, 8, 27, 169, 462, 1067, 1529, 2706, 1452, 2486, 517, 693, 102, 39, 7, 0], [0, 8, 27, 170, 451, 1122, 1364, 3036, 990, 2948, 187, 858, 47, 50, 6, 0], [0, 8, 28, 153, 571, 638, 2629, 759, 3894, 308, 1870, 143, 223, 38, 1, 1], [0, 8, 28, 154, 560, 693, 2464, 1089, 3432, 770, 1540, 308, 168, 49, 0, 1], [0, 8, 28, 155, 550, 737, 2354, 1254, 3300, 770, 1672, 143, 278, 5, 10, 0], [0, 8, 28, 156, 539, 792, 2189, 1584, 2838, 1232, 1342, 308, 223, 16, 9, 0], [0, 8, 28, 157, 528, 847, 2024, 1914, 2376, 1694, 1012, 473, 168, 27, 8, 0], [0, 8, 28, 158, 517, 902, 1859, 2244, 1914, 2156, 682, 638, 113, 38, 7, 0], [0, 8, 28, 159, 506, 957, 1694, 2574, 1452, 2618, 352, 803, 58, 49, 6, 0], [0, 8, 28, 160, 495, 1012, 1529, 2904, 990, 3080, 22, 968, 3, 60, 5, 0], [0, 8, 29, 143, 615, 528, 2794, 627, 3894, 440, 1705, 253, 179, 48, 0, 1], [0, 8, 29, 144, 605, 572, 2684, 792, 3762, 440, 1837, 88, 289, 4, 10, 0], [0, 8, 29, 145, 594, 627, 2519, 1122, 3300, 902, 1507, 253, 234, 15, 9, 0], [0, 8, 29, 146, 583, 682, 2354, 1452, 2838, 1364, 1177, 418, 179, 26, 8, 0], [0, 8, 29, 147, 572, 737, 2189, 1782, 2376, 1826, 847, 583, 124, 37, 7, 0], [0, 8, 29, 148, 561, 792, 2024, 2112, 1914, 2288, 517, 748, 69, 48, 6, 0], [0, 8, 29, 149, 550, 847, 1859, 2442, 1452, 2750, 187, 913, 14, 59, 5, 0], [0, 8, 30, 132, 670, 363, 3124, 165, 4356, 110, 1870, 198, 190, 47, 0, 1], [0, 8, 30, 133, 660, 407, 3014, 330, 4224, 110, 2002, 33, 300, 3, 10, 0], [0, 8, 30, 134, 649, 462, 2849, 660, 3762, 572, 1672, 198, 245, 14, 9, 0], [0, 8, 30, 135, 638, 517, 2684, 990, 3300, 1034, 1342, 363, 190, 25, 8, 0], [0, 8, 30, 136, 627, 572, 2519, 1320, 2838, 1496, 1012, 528, 135, 36, 7, 0], [0, 8, 30, 137, 616, 627, 2354, 1650, 2376, 1958, 682, 693, 80, 47, 6, 0], [0, 8, 30, 138, 605, 682, 2189, 1980, 1914, 2420, 352, 858, 25, 58, 5, 0], [0, 8, 31, 123, 704, 297, 3179, 198, 4224, 242, 1837, 143, 256, 13, 9, 0], [0, 8, 31, 124, 693, 352, 3014, 528, 3762, 704, 1507, 308, 201, 24, 8, 0], [0, 8, 31, 125, 682, 407, 2849, 858, 3300, 1166, 1177, 473, 146, 35, 7, 0], [0, 8, 31, 126, 671, 462, 2684, 1188, 2838, 1628, 847, 638, 91, 46, 6, 0], [0, 8, 31, 127, 660, 517, 2519, 1518, 2376, 2090, 517, 803, 36, 57, 5, 0], [0, 8, 32, 113, 748, 187, 3344, 66, 4224, 374, 1672, 253, 212, 23, 8, 0], [0, 8, 32, 114, 737, 242, 3179, 396, 3762, 836, 1342, 418, 157, 34, 7, 0], [0, 8, 32, 115, 726, 297, 3014, 726, 3300, 1298, 1012, 583, 102, 45, 6, 0], [0, 8, 32, 116, 715, 352, 2849, 1056, 2838, 1760, 682, 748, 47, 56, 5, 0], [0, 8, 33, 104, 781, 132, 3344, 264, 3762, 968, 1177, 528, 113, 44, 6, 0], [0, 8, 33, 105, 770, 187, 3179, 594, 3300, 1430, 847, 693, 58, 55, 5, 0], [0, 8, 33, 106, 759, 242, 3014, 924, 2838, 1892, 517, 858, 3, 66, 4, 0], [0, 8, 34, 94, 825, 22, 3509, 132, 3762, 1100, 1012, 638, 69, 54, 5, 0], [0, 8, 34, 95, 814, 77, 3344, 462, 3300, 1562, 682, 803, 14, 65, 4, 0], [0, 9, 10, 282, 54, 1958, 352, 3465, 1716, 1397, 1650, 44, 310, 12, 4, 1], [0, 9, 10, 283, 43, 2013, 187, 3795, 1254, 1859, 1320, 209, 255, 23, 3, 1], [0, 9, 10, 284, 32, 2068, 22, 4125, 792, 2321, 990, 374, 200, 34, 2, 1], [0, 9, 11, 272, 98, 1848, 517, 3333, 1716, 1529, 1485, 154, 266, 22, 3, 1], [0, 9, 11, 273, 87, 1903, 352, 3663, 1254, 1991, 1155, 319, 211, 33, 2, 1], [0, 9, 11, 274, 76, 1958, 187, 3993, 792, 2453, 825, 484, 156, 44, 1, 1], [0, 9, 11, 275, 65, 2013, 22, 4323, 330, 2915, 495, 649, 101, 55, 0, 1], [0, 9, 11, 275, 66, 2002, 77, 4158, 660, 2453, 957, 319, 266, 0, 11, 0], [0, 9, 12, 261, 153, 1683, 847, 2871, 2178, 1199, 1650, 99, 277, 21, 3, 1], [0, 9, 12, 262, 142, 1738, 682, 3201, 1716, 1661, 1320, 264, 222, 32, 2, 1], [0, 9, 12, 263, 131, 1793, 517, 3531, 1254, 2123, 990, 429, 167, 43, 1, 1], [0, 9, 12, 264, 120, 1848, 352, 3861, 792, 2585, 660, 594, 112, 54, 0, 1], [0, 9, 12, 265, 110, 1892, 242, 4026, 660, 2585, 792, 429, 222, 10, 10, 0], [0, 9, 12, 266, 99, 1947, 77, 4356, 198, 3047, 462, 594, 167, 21, 9, 0], [0, 9, 13, 250, 208, 1518, 1177, 2409, 2640, 869, 1815, 44, 288, 20, 3, 1], [0, 9, 13, 251, 197, 1573, 1012, 2739, 2178, 1331, 1485, 209, 233, 31, 2, 1], [0, 9, 13, 252, 186, 1628, 847, 3069, 1716, 1793, 1155, 374, 178, 42, 1, 1], [0, 9, 13, 253, 175, 1683, 682, 3399, 1254, 2255, 825, 539, 123, 53, 0, 1], [0, 9, 13, 254, 165, 1727, 572, 3564, 1122, 2255, 957, 374, 233, 9, 10, 0], [0, 9, 13, 255, 154, 1782, 407, 3894, 660, 2717, 627, 539, 178, 20, 9, 0], [0, 9, 13, 256, 143, 1837, 242, 4224, 198, 3179, 297, 704, 123, 31, 8, 0], [0, 9, 14, 240, 252, 1408, 1342, 2277, 2640, 1001, 1650, 154, 244, 30, 2, 1], [0, 9, 14, 241, 241, 1463, 1177, 2607, 2178, 1463, 1320, 319, 189, 41, 1, 1], [0, 9, 14, 242, 230, 1518, 1012, 2937, 1716, 1925, 990, 484, 134, 52, 0, 1], [0, 9, 14, 243, 220, 1562, 902, 3102, 1584, 1925, 1122, 319, 244, 8, 10, 0], [0, 9, 14, 244, 209, 1617, 737, 3432, 1122, 2387, 792, 484, 189, 19, 9, 0], [0, 9, 14, 245, 198, 1672, 572, 3762, 660, 2849, 462, 649, 134, 30, 8, 0], [0, 9, 14, 246, 187, 1727, 407, 4092, 198, 3311, 132, 814, 79, 41, 7, 0], [0, 9, 15, 229, 307, 1243, 1672, 1815, 3102, 671, 1815, 99, 255, 29, 2, 1], [0, 9, 15, 230, 296, 1298, 1507, 2145, 2640, 1133, 1485, 264, 200, 40, 1, 1], [0, 9, 15, 231, 285, 1353, 1342, 2475, 2178, 1595, 1155, 429, 145, 51, 0, 1], [0, 9, 15, 232, 275, 1397, 1232, 2640, 2046, 1595, 1287, 264, 255, 7, 10, 0], [0, 9, 15, 233, 264, 1452, 1067, 2970, 1584, 2057, 957, 429, 200, 18, 9, 0], [0, 9, 15, 234, 253, 1507, 902, 3300, 1122, 2519, 627, 594, 145, 29, 8, 0], [0, 9, 15, 235, 242, 1562, 737, 3630, 660, 2981, 297, 759, 90, 40, 7, 0], [0, 9, 16, 218, 362, 1078, 2002, 1353, 3564, 341, 1980, 44, 266, 28, 2, 1], [0, 9, 16, 219, 351, 1133, 1837, 1683, 3102, 803, 1650, 209, 211, 39, 1, 1], [0, 9, 16, 220, 340, 1188, 1672, 2013, 2640, 1265, 1320, 374, 156, 50, 0, 1], [0, 9, 16, 221, 330, 1232, 1562, 2178, 2508, 1265, 1452, 209, 266, 6, 10, 0], [0, 9, 16, 222, 319, 1287, 1397, 2508, 2046, 1727, 1122, 374, 211, 17, 9, 0], [0, 9, 16, 223, 308, 1342, 1232, 2838, 1584, 2189, 792, 539, 156, 28, 8, 0], [0, 9, 16, 224, 297, 1397, 1067, 3168, 1122, 2651, 462, 704, 101, 39, 7, 0], [0, 9, 16, 225, 286, 1452, 902, 3498, 660, 3113, 132, 869, 46, 50, 6, 0], [0, 9, 17, 208, 406, 968, 2167, 1221, 3564, 473, 1815, 154, 222, 38, 1, 1], [0, 9, 17, 209, 395, 1023, 2002, 1551, 3102, 935, 1485, 319, 167, 49, 0, 1], [0, 9, 17, 210, 385, 1067, 1892, 1716, 2970, 935, 1617, 154, 277, 5, 10, 0], [0, 9, 17, 211, 374, 1122, 1727, 2046, 2508, 1397, 1287, 319, 222, 16, 9, 0], [0, 9, 17, 212, 363, 1177, 1562, 2376, 2046, 1859, 957, 484, 167, 27, 8, 0], [0, 9, 17, 213, 352, 1232, 1397, 2706, 1584, 2321, 627, 649, 112, 38, 7, 0], [0, 9, 17, 214, 341, 1287, 1232, 3036, 1122, 2783, 297, 814, 57, 49, 6, 0], [0, 9, 18, 197, 461, 803, 2497, 759, 4026, 143, 1980, 99, 233, 37, 1, 1], [0, 9, 18, 198, 450, 858, 2332, 1089, 3564, 605, 1650, 264, 178, 48, 0, 1], [0, 9, 18, 199, 440, 902, 2222, 1254, 3432, 605, 1782, 99, 288, 4, 10, 0], [0, 9, 18, 200, 429, 957, 2057, 1584, 2970, 1067, 1452, 264, 233, 15, 9, 0], [0, 9, 18, 201, 418, 1012, 1892, 1914, 2508, 1529, 1122, 429, 178, 26, 8, 0], [0, 9, 18, 202, 407, 1067, 1727, 2244, 2046, 1991, 792, 594, 123, 37, 7, 0], [0, 9, 18, 203, 396, 1122, 1562, 2574, 1584, 2453, 462, 759, 68, 48, 6, 0], [0, 9, 18, 204, 385, 1177, 1397, 2904, 1122, 2915, 132, 924, 13, 59, 5, 0], [0, 9, 19, 187, 505, 693, 2662, 627, 4026, 275, 1815, 209, 189, 47, 0, 1], [0, 9, 19, 188, 495, 737, 2552, 792, 3894, 275, 1947, 44, 299, 3, 10, 0], [0, 9, 19, 189, 484, 792, 2387, 1122, 3432, 737, 1617, 209, 244, 14, 9, 0], [0, 9, 19, 190, 473, 847, 2222, 1452, 2970, 1199, 1287, 374, 189, 25, 8, 0], [0, 9, 19, 191, 462, 902, 2057, 1782, 2508, 1661, 957, 539, 134, 36, 7, 0], [0, 9, 19, 192, 451, 957, 1892, 2112, 2046, 2123, 627, 704, 79, 47, 6, 0], [0, 9, 19, 193, 440, 1012, 1727, 2442, 1584, 2585, 297, 869, 24, 58, 5, 0], [0, 9, 20, 178, 539, 627, 2717, 660, 3894, 407, 1782, 154, 255, 13, 9, 0], [0, 9, 20, 179, 528, 682, 2552, 990, 3432, 869, 1452, 319, 200, 24, 8, 0], [0, 9, 20, 180, 517, 737, 2387, 1320, 2970, 1331, 1122, 484, 145, 35, 7, 0], [0, 9, 20, 181, 506, 792, 2222, 1650, 2508, 1793, 792, 649, 90, 46, 6, 0], [0, 9, 20, 182, 495, 847, 2057, 1980, 2046, 2255, 462, 814, 35, 57, 5, 0], [0, 9, 21, 167, 594, 462, 3047, 198, 4356, 77, 1947, 99, 266, 12, 9, 0], [0, 9, 21, 168, 583, 517, 2882, 528, 3894, 539, 1617, 264, 211, 23, 8, 0], [0, 9, 21, 169, 572, 572, 2717, 858, 3432, 1001, 1287, 429, 156, 34, 7, 0], [0, 9, 21, 170, 561, 627, 2552, 1188, 2970, 1463, 957, 594, 101, 45, 6, 0], [0, 9, 21, 171, 550, 682, 2387, 1518, 2508, 1925, 627, 759, 46, 56, 5, 0], [0, 9, 22, 157, 638, 352, 3212, 66, 4356, 209, 1782, 209, 222, 22, 8, 0], [0, 9, 22, 158, 627, 407, 3047, 396, 3894, 671, 1452, 374, 167, 33, 7, 0], [0, 9, 22, 159, 616, 462, 2882, 726, 3432, 1133, 1122, 539, 112, 44, 6, 0], [0, 9, 22, 160, 605, 517, 2717, 1056, 2970, 1595, 792, 704, 57, 55, 5, 0], [0, 9, 22, 161, 594, 572, 2552, 1386, 2508, 2057, 462, 869, 2, 66, 4, 0], [0, 9, 23, 148, 671, 297, 3212, 264, 3894, 803, 1287, 484, 123, 43, 6, 0], [0, 9, 23, 149, 660, 352, 3047, 594, 3432, 1265, 957, 649, 68, 54, 5, 0], [0, 9, 23, 150, 649, 407, 2882, 924, 2970, 1727, 627, 814, 13, 65, 4, 0], [0, 9, 24, 138, 715, 187, 3377, 132, 3894, 935, 1122, 594, 79, 53, 5, 0], [0, 9, 24, 139, 704, 242, 3212, 462, 3432, 1397, 792, 759, 24, 64, 4, 0], [0, 9, 25, 128, 759, 77, 3542, 0, 3894, 1067, 957, 704, 35, 63, 4, 0], [0, 10, 2, 305, 43, 1848, 715, 2871, 2310, 1034, 1760, 55, 287, 20, 3, 1], [0, 10, 2, 306, 32, 1903, 550, 3201, 1848, 1496, 1430, 220, 232, 31, 2, 1], [0, 10, 2, 307, 21, 1958, 385, 3531, 1386, 1958, 1100, 385, 177, 42, 1, 1], [0, 10, 2, 308, 10, 2013, 220, 3861, 924, 2420, 770, 550, 122, 53, 0, 1], [0, 10, 2, 309, 0, 2057, 110, 4026, 792, 2420, 902, 385, 232, 9, 10, 0], [0, 10, 3, 294, 98, 1683, 1045, 2409, 2772, 704, 1925, 0, 298, 19, 3, 1], [0, 10, 3, 295, 87, 1738, 880, 2739, 2310, 1166, 1595, 165, 243, 30, 2, 1], [0, 10, 3, 296, 76, 1793, 715, 3069, 1848, 1628, 1265, 330, 188, 41, 1, 1], [0, 10, 3, 297, 65, 1848, 550, 3399, 1386, 2090, 935, 495, 133, 52, 0, 1], [0, 10, 3, 298, 55, 1892, 440, 3564, 1254, 2090, 1067, 330, 243, 8, 10, 0], [0, 10, 3, 299, 44, 1947, 275, 3894, 792, 2552, 737, 495, 188, 19, 9, 0], [0, 10, 3, 300, 33, 2002, 110, 4224, 330, 3014, 407, 660, 133, 30, 8, 0], [0, 10, 4, 284, 142, 1573, 1210, 2277, 2772, 836, 1760, 110, 254, 29, 2, 1], [0, 10, 4, 285, 131, 1628, 1045, 2607, 2310, 1298, 1430, 275, 199, 40, 1, 1], [0, 10, 4, 286, 120, 1683, 880, 2937, 1848, 1760, 1100, 440, 144, 51, 0, 1], [0, 10, 4, 287, 110, 1727, 770, 3102, 1716, 1760, 1232, 275, 254, 7, 10, 0], [0, 10, 4, 288, 99, 1782, 605, 3432, 1254, 2222, 902, 440, 199, 18, 9, 0], [0, 10, 4, 289, 88, 1837, 440, 3762, 792, 2684, 572, 605, 144, 29, 8, 0], [0, 10, 4, 290, 77, 1892, 275, 4092, 330, 3146, 242, 770, 89, 40, 7, 0], [0, 10, 5, 273, 197, 1408, 1540, 1815, 3234, 506, 1925, 55, 265, 28, 2, 1], [0, 10, 5, 274, 186, 1463, 1375, 2145, 2772, 968, 1595, 220, 210, 39, 1, 1], [0, 10, 5, 275, 175, 1518, 1210, 2475, 2310, 1430, 1265, 385, 155, 50, 0, 1], [0, 10, 5, 276, 165, 1562, 1100, 2640, 2178, 1430, 1397, 220, 265, 6, 10, 0], [0, 10, 5, 277, 154, 1617, 935, 2970, 1716, 1892, 1067, 385, 210, 17, 9, 0], [0, 10, 5, 278, 143, 1672, 770, 3300, 1254, 2354, 737, 550, 155, 28, 8, 0], [0, 10, 5, 279, 132, 1727, 605, 3630, 792, 2816, 407, 715, 100, 39, 7, 0], [0, 10, 5, 280, 121, 1782, 440, 3960, 330, 3278, 77, 880, 45, 50, 6, 0], [0, 10, 6, 262, 252, 1243, 1870, 1353, 3696, 176, 2090, 0, 276, 27, 2, 1], [0, 10, 6, 263, 241, 1298, 1705, 1683, 3234, 638, 1760, 165, 221, 38, 1, 1], [0, 10, 6, 264, 230, 1353, 1540, 2013, 2772, 1100, 1430, 330, 166, 49, 0, 1], [0, 10, 6, 265, 220, 1397, 1430, 2178, 2640, 1100, 1562, 165, 276, 5, 10, 0], [0, 10, 6, 266, 209, 1452, 1265, 2508, 2178, 1562, 1232, 330, 221, 16, 9, 0], [0, 10, 6, 267, 198, 1507, 1100, 2838, 1716, 2024, 902, 495, 166, 27, 8, 0], [0, 10, 6, 268, 187, 1562, 935, 3168, 1254, 2486, 572, 660, 111, 38, 7, 0], [0, 10, 6, 269, 176, 1617, 770, 3498, 792, 2948, 242, 825, 56, 49, 6, 0], [0, 10, 7, 252, 296, 1133, 2035, 1221, 3696, 308, 1925, 110, 232, 37, 1, 1], [0, 10, 7, 253, 285, 1188, 1870, 1551, 3234, 770, 1595, 275, 177, 48, 0, 1], [0, 10, 7, 254, 275, 1232, 1760, 1716, 3102, 770, 1727, 110, 287, 4, 10, 0], [0, 10, 7, 255, 264, 1287, 1595, 2046, 2640, 1232, 1397, 275, 232, 15, 9, 0], [0, 10, 7, 256, 253, 1342, 1430, 2376, 2178, 1694, 1067, 440, 177, 26, 8, 0], [0, 10, 7, 257, 242, 1397, 1265, 2706, 1716, 2156, 737, 605, 122, 37, 7, 0], [0, 10, 7, 258, 231, 1452, 1100, 3036, 1254, 2618, 407, 770, 67, 48, 6, 0], [0, 10, 7, 259, 220, 1507, 935, 3366, 792, 3080, 77, 935, 12, 59, 5, 0], [0, 10, 8, 242, 340, 1023, 2200, 1089, 3696, 440, 1760, 220, 188, 47, 0, 1], [0, 10, 8, 243, 330, 1067, 2090, 1254, 3564, 440, 1892, 55, 298, 3, 10, 0], [0, 10, 8, 244, 319, 1122, 1925, 1584, 3102, 902, 1562, 220, 243, 14, 9, 0], [0, 10, 8, 245, 308, 1177, 1760, 1914, 2640, 1364, 1232, 385, 188, 25, 8, 0], [0, 10, 8, 246, 297, 1232, 1595, 2244, 2178, 1826, 902, 550, 133, 36, 7, 0], [0, 10, 8, 247, 286, 1287, 1430, 2574, 1716, 2288, 572, 715, 78, 47, 6, 0], [0, 10, 8, 248, 275, 1342, 1265, 2904, 1254, 2750, 242, 880, 23, 58, 5, 0], [0, 10, 9, 231, 395, 858, 2530, 627, 4158, 110, 1925, 165, 199, 46, 0, 1], [0, 10, 9, 232, 385, 902, 2420, 792, 4026, 110, 2057, 0, 309, 2, 10, 0], [0, 10, 9, 233, 374, 957, 2255, 1122, 3564, 572, 1727, 165, 254, 13, 9, 0], [0, 10, 9, 234, 363, 1012, 2090, 1452, 3102, 1034, 1397, 330, 199, 24, 8, 0], [0, 10, 9, 235, 352, 1067, 1925, 1782, 2640, 1496, 1067, 495, 144, 35, 7, 0], [0, 10, 9, 236, 341, 1122, 1760, 2112, 2178, 1958, 737, 660, 89, 46, 6, 0], [0, 10, 9, 237, 330, 1177, 1595, 2442, 1716, 2420, 407, 825, 34, 57, 5, 0], [0, 10, 10, 222, 429, 792, 2585, 660, 4026, 242, 1892, 110, 265, 12, 9, 0], [0, 10, 10, 223, 418, 847, 2420, 990, 3564, 704, 1562, 275, 210, 23, 8, 0], [0, 10, 10, 224, 407, 902, 2255, 1320, 3102, 1166, 1232, 440, 155, 34, 7, 0], [0, 10, 10, 225, 396, 957, 2090, 1650, 2640, 1628, 902, 605, 100, 45, 6, 0], [0, 10, 10, 226, 385, 1012, 1925, 1980, 2178, 2090, 572, 770, 45, 56, 5, 0], [0, 10, 11, 212, 473, 682, 2750, 528, 4026, 374, 1727, 220, 221, 22, 8, 0], [0, 10, 11, 213, 462, 737, 2585, 858, 3564, 836, 1397, 385, 166, 33, 7, 0], [0, 10, 11, 214, 451, 792, 2420, 1188, 3102, 1298, 1067, 550, 111, 44, 6, 0], [0, 10, 11, 215, 440, 847, 2255, 1518, 2640, 1760, 737, 715, 56, 55, 5, 0], [0, 10, 11, 216, 429, 902, 2090, 1848, 2178, 2222, 407, 880, 1, 66, 4, 0], [0, 10, 12, 201, 528, 517, 3080, 66, 4488, 44, 1892, 165, 232, 21, 8, 0], [0, 10, 12, 202, 517, 572, 2915, 396, 4026, 506, 1562, 330, 177, 32, 7, 0], [0, 10, 12, 203, 506, 627, 2750, 726, 3564, 968, 1232, 495, 122, 43, 6, 0], [0, 10, 12, 204, 495, 682, 2585, 1056, 3102, 1430, 902, 660, 67, 54, 5, 0], [0, 10, 12, 205, 484, 737, 2420, 1386, 2640, 1892, 572, 825, 12, 65, 4, 0], [0, 10, 13, 192, 561, 462, 3080, 264, 4026, 638, 1397, 440, 133, 42, 6, 0], [0, 10, 13, 193, 550, 517, 2915, 594, 3564, 1100, 1067, 605, 78, 53, 5, 0], [0, 10, 13, 194, 539, 572, 2750, 924, 3102, 1562, 737, 770, 23, 64, 4, 0], [0, 10, 14, 182, 605, 352, 3245, 132, 4026, 770, 1232, 550, 89, 52, 5, 0], [0, 10, 14, 183, 594, 407, 3080, 462, 3564, 1232, 902, 715, 34, 63, 4, 0], [0, 10, 15, 172, 649, 242, 3410, 0, 4026, 902, 1067, 660, 45, 62, 4, 0], [0, 11, 0, 266, 319, 957, 2453, 660, 4158, 77, 2002, 66, 275, 11, 9, 0], [0, 11, 0, 267, 308, 1012, 2288, 990, 3696, 539, 1672, 231, 220, 22, 8, 0], [0, 11, 0, 268, 297, 1067, 2123, 1320, 3234, 1001, 1342, 396, 165, 33, 7, 0], [0, 11, 0, 269, 286, 1122, 1958, 1650, 2772, 1463, 1012, 561, 110, 44, 6, 0], [0, 11, 0, 270, 275, 1177, 1793, 1980, 2310, 1925, 682, 726, 55, 55, 5, 0], [0, 11, 0, 271, 264, 1232, 1628, 2310, 1848, 2387, 352, 891, 0, 66, 4, 0], [0, 11, 1, 256, 363, 847, 2618, 528, 4158, 209, 1837, 176, 231, 21, 8, 0], [0, 11, 1, 257, 352, 902, 2453, 858, 3696, 671, 1507, 341, 176, 32, 7, 0], [0, 11, 1, 258, 341, 957, 2288, 1188, 3234, 1133, 1177, 506, 121, 43, 6, 0], [0, 11, 1, 259, 330, 1012, 2123, 1518, 2772, 1595, 847, 671, 66, 54, 5, 0], [0, 11, 1, 260, 319, 1067, 1958, 1848, 2310, 2057, 517, 836, 11, 65, 4, 0], [0, 11, 2, 246, 407, 737, 2783, 396, 4158, 341, 1672, 286, 187, 31, 7, 0], [0, 11, 2, 247, 396, 792, 2618, 726, 3696, 803, 1342, 451, 132, 42, 6, 0], [0, 11, 2, 248, 385, 847, 2453, 1056, 3234, 1265, 1012, 616, 77, 53, 5, 0], [0, 11, 2, 249, 374, 902, 2288, 1386, 2772, 1727, 682, 781, 22, 64, 4, 0], [0, 11, 3, 236, 451, 627, 2948, 264, 4158, 473, 1507, 396, 143, 41, 6, 0], [0, 11, 3, 237, 440, 682, 2783, 594, 3696, 935, 1177, 561, 88, 52, 5, 0], [0, 11, 3, 238, 429, 737, 2618, 924, 3234, 1397, 847, 726, 33, 63, 4, 0], [0, 11, 4, 226, 495, 517, 3113, 132, 4158, 605, 1342, 506, 99, 51, 5, 0], [0, 11, 4, 227, 484, 572, 2948, 462, 3696, 1067, 1012, 671, 44, 62, 4, 0], [0, 11, 5, 216, 539, 407, 3278, 0, 4158, 737, 1177, 616, 55, 61, 4, 0], [0, 11, 5, 217, 528, 462, 3113, 330, 3696, 1199, 847, 781, 0, 72, 3, 0]}