[Feature] Add docs for Offline Engine token-in token-out

[zhaochenyang20]

Checklist

• 1. If the issue you raised is not a feature but a question, please raise a discussion at https://github.com/sgl-project/sglang/discussions/new/choose Otherwise, it will be closed.
• 2. Please use English, otherwise it will be closed.

Motivation

We have token-in-token-out pipeline in Sever already. But we need it for engine also.

class SGLangLLMRayActor:
    def __init__(self, *args, **kwargs):
        self.llm = sglang.Engine(
            model_path=args[0],
            trust_remote_code=kwargs.get("trust_remote_code", True),
            dtype=kwargs.get("dtype", "auto"),
            tp_size=kwargs.get("tensor_parallel_size", 1),
            device="cuda",
            random_seed=kwargs.get("seed", 42),
            disable_radix_cache=not kwargs.get("enable_prefix_caching", False),
            disable_cuda_graph=not kwargs.get("enforce_eager", False),
            disable_cuda_graph_padding=not kwargs.get("enable_prefix_caching", False),
            context_length=kwargs.get("max_model_len", None),
            log_level="info",
            skip_tokenizer_init=True,
        )

    def generate(self, sampling_params, prompt_token_ids, stop_token_ids):

        # min_tokens, include_stop_str_in_output is not used in sglang

        sampling_params = dict(
            max_new_tokens=sampling_params.get("max_tokens", 1024),
            top_p=sampling_params.get("top_p", 1),
            top_k=sampling_params.get("top_k", 50),
            temperature=sampling_params.get("temperature", 1),
            repetition_penalty=sampling_params.get("repetition_penalty", 1),
            skip_special_tokens=sampling_params.get("skip_special_tokens", False),
            stop_token_ids=stop_token_ids,
        )

        outputs = self.llm.generate(input_ids=prompt_token_ids, sampling_params=sampling_params)
        return outputs

Also, I added skip_special_tokens=False, but there is still no eos at the end.

Related resources

No response

[zhaochenyang20]

Also, a bug report:

class SGLangLLMRayActor:
    def __init__(self, *args, **kwargs):
        # Some of the parameters leads to error in token-in-token-out mode
        self.llm = sglang.Engine(
            model_path=args[0],
            trust_remote_code=kwargs.get("trust_remote_code", True),
            dtype=kwargs.get("dtype", "auto"),
            tp_size=kwargs.get("tensor_parallel_size", 1),
            device="cuda",
            random_seed=kwargs.get("seed", 42),
            # disable_radix_cache=not kwargs.get("enable_prefix_caching", False),
            # disable_cuda_graph=not kwargs.get("enforce_eager", False),
            # disable_cuda_graph_padding=not kwargs.get("enable_prefix_caching", False),
            # context_length=kwargs.get("max_model_len", None),
            log_level="info",
            skip_tokenizer_init=True,
        )

    def generate(self, sampling_params, prompt_token_ids, stop_token_ids):

        # min_tokens, include_stop_str_in_output is not used in sglang

        sampling_params = dict(
            max_new_tokens=sampling_params.get("max_tokens", 1024),
            top_p=sampling_params.get("top_p", 1),
            top_k=sampling_params.get("top_k", 50),
            temperature=sampling_params.get("temperature", 1),
            repetition_penalty=sampling_params.get("repetition_penalty", 1),
            skip_special_tokens=sampling_params.get("skip_special_tokens", False),
            stop_token_ids=stop_token_ids,
        )
        outputs = self.llm.generate(input_ids=prompt_token_ids, sampling_params=sampling_params)
        return outputs

In this part, if we uncomment all the parameters, the engine would be wrong like:

Error: Requested token count exceeds the model’s maximum context length of 2048 tokens. You requested a total of 2048 tokens: 1024 tokens from the input messages and 1024 tokens for the completion. Please reduce the number of tokens in the input messages or the completion to fit within the limit.

Here is a code snift for debugging:

prompt_tokens =[[128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 49, 1082, 304, 7631, 369, 220, 18, 35, 18991, 14645, 323, 11295, 4500, 315, 18991, 5528, 617, 65208, 279, 6650, 315, 279, 7528, 66638, 18991, 304, 2857, 3157, 382, 6005, 38, 715, 11, 19617, 40915, 11, 85610, 74000, 11, 6250, 220, 845, 11, 220, 2366, 16, 611, 36, 691, 6010, 36631, 916, 14, 1198, 578, 3728, 7528, 66638, 18991, 304, 2857, 3157, 41853, 369, 400, 16, 13, 806, 7239, 304, 220, 679, 24, 11, 323, 374, 28448, 311, 5662, 400, 17, 13, 2287, 7239, 555, 220, 2366, 22, 11, 7982, 520, 264, 356, 82256, 315, 220, 806, 13, 21, 4, 505, 220, 2366, 15, 311, 220, 2366, 22, 13, 578, 1934, 6209, 264, 11944, 6492, 315, 907, 8957, 11, 3157, 30295, 11, 1948, 11230, 15174, 11, 1401, 21282, 11, 2626, 5178, 11, 323, 15022, 18921, 382, 49, 1082, 304, 7631, 369, 220, 18, 35, 18991, 14645, 323, 11295, 4500, 315, 18991, 5528, 617, 65208, 279, 6650, 315, 279, 3728, 7528, 66638, 18991, 304, 2857, 3157, 13, 4452, 11, 1579, 2926, 2853, 305, 1141, 388, 279, 3157, 6650, 13, 1952, 279, 26102, 11, 11295, 30116, 83787, 527, 3685, 311, 1825, 502, 10708, 369, 279, 3157, 4311, 304, 279, 5108, 1667, 382, 791, 3728, 7528, 66638, 18991, 304, 2857, 3157, 374, 86045, 389, 279, 8197, 315, 27513, 955, 11, 3851, 11, 323, 54242, 13, 20817, 389, 27513, 955, 11, 279, 3157, 374, 18255, 1139, 56563, 11, 13935, 11, 2167, 834, 82344, 11, 1207, 4763, 367, 11, 323, 77678, 13, 578, 1207, 4763, 367, 10449, 5762, 279, 7928, 4430, 304, 220, 679, 24, 11, 24043, 369, 7154, 4376, 315, 279, 3157, 13, 4452, 11, 279, 77678, 10449, 374, 28448, 311, 14794, 279, 8592, 356, 82256, 220, 975, 13, 22, 4, 2391, 279, 18057, 4261, 382, 1966, 279, 8197, 315, 3851, 11, 279, 3157, 374, 18255, 1139, 17895, 4951, 277, 1392, 11, 14048, 11, 11156, 94082, 11, 323, 3113, 612, 1141, 26, 3885, 13, 578, 3113, 612, 1141, 26, 3885, 10449, 30801, 279, 3157, 304, 220, 679, 24, 11, 29820, 311, 2212, 4376, 315, 279, 3157, 13, 4452, 11, 279, 14048, 10449, 374, 30199, 311, 25920, 279, 8592, 356, 82256, 315, 220, 717, 13, 24, 4, 2391, 279, 18057, 4261, 382, 791, 3728, 7528, 66638, 18991, 304, 2857, 3157, 374, 30239, 4028, 3892, 13918, 1778, 439, 4892, 5270, 11, 13936, 64976, 11, 4606, 11, 323, 445, 2797, 32, 13, 578, 3157, 4028, 4892, 5270, 374, 3685, 311, 4254, 279, 8592, 356, 82256, 315, 220, 806, 13, 24, 4, 2391, 279, 18057, 4261, 13, 4452, 11, 279, 3157, 4028, 4606, 5762, 279, 7928, 4430, 304, 220, 679, 24, 11, 24043, 369, 7154, 4376, 315, 279, 3157, 382, 36, 691, 8612, 36631, 596, 10844, 374, 2592, 28330, 13, 1226, 656, 539, 2187, 47584, 8403, 11, 323, 1057, 29846, 1456, 311, 387, 16994, 922, 584, 16490, 704, 905, 323, 38309, 2262, 627, 2170, 264, 1217, 11, 422, 499, 1518, 2555, 584, 617, 13942, 11, 4587, 656, 4546, 433, 311, 1057, 6666, 13, 4718, 1520, 374, 10788, 13, 469, 691, 8612, 36631, 11, 22172, 596, 8191, 5513, 8612, 36631, 16500, 345, 4646, 311, 7124, 1063, 315, 279, 23546, 430, 527, 13579, 304, 3432, 596, 1917, 13, 5321, 1518, 1057, 198, 9597, 532, 48528, 198, 2000, 810, 2038, 627, 27, 408, 315, 5905, 397, 3923, 527, 279, 1401, 3157, 18845, 323, 6650, 12050, 430, 527, 10043, 279, 6650, 315, 279, 3728, 7528, 66638, 18991, 304, 2857, 3157, 1980, 3923, 527, 279, 3682, 11774, 430, 1436, 57780, 279, 6650, 315, 279, 3157, 1980, 3923, 527, 279, 15022, 15174, 315, 279, 1401, 4311, 304, 279, 3157, 1980, 23956, 5654, 374, 3685, 311, 2759, 369, 279, 7928, 3157, 4430, 304, 279, 3157, 11, 323, 3249, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 791, 2768, 2038, 1253, 387, 5505, 512, 27, 2527, 315, 5905, 397, 29089, 499, 4059, 1442, 358, 19946, 709, 4216, 30, 47559, 279, 10177, 2057, 813, 3995, 7555, 13, 11359, 994, 499, 1093, 13, 25929, 430, 11714, 578, 6366, 3663, 1628, 59708, 49695, 4946, 10205, 505, 279, 2007, 5046, 279, 16642, 6301, 20636, 1027, 993, 1142, 3296, 279, 7294, 18204, 58237, 279, 3130, 18242, 459, 80008, 2363, 13, 8840, 11, 4062, 6914, 264, 13766, 5622, 279, 3177, 0, 2030, 499, 2643, 439, 1664, 2019, 433, 2057, 264, 7147, 13, 1226, 16869, 2349, 362, 3254, 15347, 6376, 11, 477, 7570, 555, 832, 1938, 53253, 578, 10107, 2539, 18266, 13, 578, 9042, 304, 17649, 67084, 430, 18266, 13, 358, 1440, 358, 16869, 2019, 362, 3254, 3245, 311, 3009, 499, 11, 47559, 279, 2362, 893, 520, 2007, 2057, 279, 15187, 41482, 3828, 13, 2030, 6212, 389, 433, 11, 690, 499, 30, 2876, 1457, 2876, 3596, 13, 578, 9042, 304, 17649, 67084, 279, 14154, 64599, 13, 358, 5895, 422, 358, 2643, 12522, 264, 3492, 449, 499, 11, 47559, 279, 7294, 18204, 2057, 279, 326, 1056, 638, 12538, 53613, 34426, 627, 27, 408, 315, 5905, 397, 29815, 389, 430, 345, 3923, 527, 279, 22100, 315, 279, 33894, 11, 323, 1268, 656, 814, 29243, 311, 279, 3229, 596, 3217, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 279, 2204, 4595, 315, 31800, 11, 323, 1268, 656, 1521, 1782, 304, 3878, 315, 4367, 11, 1005, 5157, 11, 323, 8246, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 2059, 88, 309, 14559, 49527, 19294, 26522, 292, 10181, 320, 14137, 1932, 8, 1754, 374, 264, 879, 10062, 26522, 292, 44798, 304, 39601, 369, 8405, 220, 19, 1667, 77131, 304, 17005, 1234, 426, 2505, 33, 13, 578, 44798, 706, 1027, 9749, 304, 220, 4468, 24, 13, 1102, 706, 3116, 53008, 7559, 520, 44327, 13637, 11, 921, 1468, 351, 647, 11, 432, 526, 26047, 11, 48762, 93237, 72977, 382, 13730, 198, 2059, 88, 309, 14559, 49527, 19294, 26522, 292, 10181, 574, 9749, 304, 220, 4468, 24, 555, 9917, 328, 1617, 277, 13, 9917, 328, 1617, 277, 3940, 279, 11879, 315, 279, 15244, 449, 1063, 4236, 13, 16299, 374, 5131, 3967, 439, 279, 1455, 11646, 879, 10062, 26522, 292, 44798, 304, 39601, 13, 11208, 3432, 9214, 315, 4236, 527, 3815, 61812, 14307, 13, 2468, 3118, 11, 279, 44798, 706, 220, 19, 53008, 304, 220, 19, 27536, 382, 11916, 329, 38305, 271, 50041, 1392, 198, 2170, 315, 220, 679, 24, 11, 1070, 527, 220, 975, 77131, 304, 17005, 85608, 304, 31648, 1932, 720, 6011, 315, 16803, 17005, 198, 6011, 315, 38943, 17005, 198, 6011, 315, 45034, 17005, 198, 6011, 315, 35269, 17005, 198, 6011, 315, 51684, 17005, 198, 6011, 315, 17863, 17005, 198, 6011, 315, 2991, 458, 17005, 198, 6011, 315, 86241, 17005, 198, 6011, 315, 20914, 7127, 720, 6011, 315, 23820, 17005, 198, 6011, 315, 27901, 24177, 17005, 720, 6011, 315, 75258, 367, 14, 1741, 17005, 198, 6011, 315, 13875, 51271, 17005, 2355, 6011, 315, 12471, 1392, 7127, 323, 19365, 28936, 271, 35, 10567, 7942, 14307, 271, 6919, 8845, 612, 1141, 26, 78717, 271, 2059, 88, 309, 14559, 49527, 19294, 26522, 292, 10181, 26129, 323, 70760, 198, 2991, 458, 32184, 198, 86241, 32184, 720, 27766, 32184, 720, 51684, 32184, 720, 17863, 32184, 720, 28415, 32184, 720, 42846, 32184, 720, 23820, 32184, 720, 27901, 17283, 32184, 720, 13875, 44410, 32184, 720, 14967, 36202, 32184, 720, 35269, 32184, 720, 67556, 323, 5497, 3339, 32184, 271, 26926, 29109, 720, 2059, 88, 309, 14559, 49527, 19294, 26522, 292, 10181, 374, 264, 9877, 11156, 6873, 44798, 1629, 555, 279, 39601, 27766, 11930, 8925, 1234, 279, 10423, 315, 279, 9029, 596, 5545, 315, 39601, 382, 2654, 2796, 69124, 3225, 720, 98465, 611, 13890, 1522, 271, 34955, 355, 271, 14137, 1932, 706, 220, 19, 53008, 720, 35, 71, 13637, 39680, 198, 7, 16, 8, 220, 975, 14, 1627, 11, 37617, 73, 22826, 9728, 11, 14298, 11166, 320, 53062, 735, 52676, 426, 34144, 705, 65552, 26047, 11, 44327, 13637, 12, 4364, 22, 198, 1163, 1468, 351, 647, 39680, 198, 7, 17, 8, 220, 11057, 611, 362, 11, 356, 6486, 17569, 11, 20585, 30343, 11, 15356, 329, 26047, 11, 921, 1468, 351, 647, 198, 49, 526, 26047, 39680, 198, 7, 18, 8, 67799, 9379, 9728, 11, 66050, 77, 38812, 11, 432, 526, 26047, 31781, 277, 11, 432, 526, 26047, 198, 43, 587, 93237, 72977, 39680, 198, 7, 19, 8, 49527, 17283, 320, 25770, 18680, 311, 622, 28400, 324, 11166, 705, 48762, 93237, 72977, 31781, 277, 11, 48762, 93237, 72977, 271, 10031, 1101, 720, 423, 2715, 347, 321, 19294, 26522, 292, 10181, 198, 44327, 13637, 19294, 26522, 292, 10181, 198, 921, 1468, 351, 647, 19294, 26522, 292, 10181, 198, 39601, 24067, 19294, 26522, 292, 10181, 198, 7275, 5618, 18622, 420, 24131, 315, 264, 10062, 26522, 292, 15244, 304, 264, 7669, 1697, 323, 16736, 11827, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 279, 14293, 369, 3339, 264, 18406, 19087, 35313, 29651, 10054, 12932, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 5829, 369, 264, 22733, 12804, 30, 358, 1205, 311, 1160, 520, 3325, 220, 20, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 791, 5905, 1495, 3770, 5825, 2317, 369, 279, 2768, 7754, 512, 2181, 1903, 1202, 1648, 4028, 279, 8736, 311, 279, 6278, 315, 279, 12960, 449, 1063, 3460, 315, 10015, 5756, 304, 1450, 382, 2181, 25319, 4741, 11, 9277, 279, 1162, 389, 279, 5015, 323, 28532, 3892, 14994, 10548, 1243, 25319, 7119, 445, 58329, 323, 2085, 12365, 264, 3492, 11, 8599, 279, 37172, 389, 14329, 11314, 315, 279, 37204, 13, 5112, 433, 4024, 1203, 311, 279, 1162, 323, 28532, 2500, 14994, 842, 11, 433, 574, 3776, 323, 59884, 1109, 279, 1176, 1403, 13, 3623, 2230, 2212, 279, 14994, 574, 1063, 3460, 315, 74864, 4483, 483, 430, 56037, 660, 264, 3177, 6437, 12745, 449, 14738, 279, 1890, 11900, 439, 279, 13001, 389, 279, 37204, 382, 791, 21347, 25319, 4741, 1578, 323, 8599, 433, 311, 279, 6278, 315, 279, 37204, 13, 578, 9888, 279, 3717, 574, 1903, 264, 22531, 315, 4907, 33341, 1555, 445, 58329, 6, 2547, 13, 1102, 3287, 956, 13194, 719, 433, 3287, 956, 2733, 1695, 3060, 11, 433, 574, 1120, 264, 2204, 37392, 430, 568, 4265, 2646, 6612, 1603, 320, 269, 1436, 19635, 8430, 570, 1283, 574, 88968, 555, 279, 37392, 323, 1436, 2733, 433, 56037, 1113, 2949, 813, 2547, 382, 2460, 568, 1436, 656, 574, 7293, 11633, 1752, 323, 2187, 420, 311, 3621, 11, 1070, 574, 912, 1486, 304, 11039, 11, 28858, 433, 574, 4762, 24219, 311, 14389, 8996, 4907, 568, 1550, 617, 2163, 13, 578, 11900, 323, 21261, 315, 279, 3177, 20037, 2212, 279, 14994, 3940, 311, 8381, 810, 70733, 1306, 433, 574, 8599, 13, 578, 12745, 5614, 311, 459, 15715, 64, 6437, 323, 568, 6612, 2500, 37392, 304, 813, 2547, 1093, 1070, 574, 2555, 2949, 1461, 430, 574, 84072, 323, 15389, 813, 2547, 13, 1556, 30547, 1450, 430, 574, 3025, 311, 5944, 4871, 1461, 382, 1548, 574, 6724, 77441, 1534, 719, 6612, 1093, 1475, 16124, 304, 813, 2547, 574, 1694, 5882, 291, 520, 279, 1890, 892, 13, 578, 11900, 315, 279, 50857, 3177, 389, 279, 2466, 14994, 7319, 43071, 3156, 433, 574, 264, 6573, 6307, 40140, 382, 12487, 15187, 279, 14994, 6656, 264, 34076, 23087, 1169, 2579, 323, 264, 6900, 1093, 18200, 6689, 1555, 813, 2547, 13, 445, 58329, 5804, 14630, 291, 323, 60513, 291, 1234, 279, 19428, 2865, 439, 459, 57770, 4954, 6784, 6689, 1555, 813, 49695, 13, 578, 25706, 1992, 315, 279, 10988, 6612, 1093, 433, 574, 23664, 813, 4851, 11, 14718, 813, 2547, 311, 22531, 449, 79492, 323, 813, 6548, 311, 6638, 1139, 279, 1203, 315, 813, 2010, 382, 4071, 1120, 439, 6288, 439, 433, 3940, 11, 433, 574, 927, 382, 791, 2865, 430, 6689, 1555, 813, 2547, 574, 15187, 8208, 323, 279, 2466, 14994, 574, 1203, 311, 1202, 5912, 1933, 323, 11900, 315, 50857, 13001, 13, 445, 58329, 6137, 311, 46789, 439, 568, 86025, 2585, 315, 813, 2547, 382, 1, 96714, 499, 3001, 1, 568, 56177, 439, 17813, 439, 568, 1436, 11, 22655, 39019, 505, 279, 10015, 28334, 315, 4907, 382, 791, 21347, 430, 8599, 1461, 311, 279, 14994, 25319, 4741, 11, 7108, 279, 37172, 323, 6656, 1203, 311, 279, 1162, 13, 17586, 85207, 42247, 433, 6689, 1202, 6916, 7833, 709, 304, 279, 3805, 439, 422, 311, 8450, 2555, 382, 64690, 33882, 31951, 758, 9135, 279, 16913, 7899, 92186, 20262, 1555, 279, 76304, 505, 99378, 3131, 1578, 382, 791, 12960, 430, 574, 14454, 2212, 1461, 3940, 311, 6541, 323, 85156, 311, 1893, 264, 13225, 304, 279, 1584, 13, 578, 49068, 315, 2893, 826, 430, 25366, 10093, 4920, 279, 2926, 10264, 1101, 30073, 311, 2187, 264, 13225, 11, 814, 682, 7882, 3156, 1070, 574, 264, 2867, 323, 2167, 38970, 430, 6197, 311, 279, 4994, 315, 279, 76304, 382, 43, 58329, 30831, 813, 2010, 323, 5602, 264, 57827, 315, 2500, 21347, 11509, 520, 279, 20396, 13, 43474, 1461, 574, 264, 14880, 14512, 304, 279, 32617, 543, 430, 5828, 956, 1070, 1603, 11, 7995, 3549, 2391, 279, 81690, 13, 8828, 44033, 304, 505, 4920, 420, 21347, 25146, 264, 12737, 430, 41398, 7154, 4028, 279, 4553, 76304, 11, 433, 574, 23205, 2268, 791, 12737, 1776, 2544, 291, 4028, 279, 5015, 449, 1855, 3094, 439, 279, 62553, 287, 21347, 1903, 1202, 1648, 7119, 279, 4219, 382, 5618, 18622, 279, 1495, 311, 387, 810, 64694, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 791, 5905, 1495, 3770, 5825, 2317, 369, 279, 2768, 7754, 512, 30854, 2444, 273, 374, 3815, 2555, 430, 1364, 8964, 374, 2403, 279, 2383, 13, 3005, 596, 539, 2771, 422, 5606, 775, 8964, 11, 719, 1364, 596, 16984, 315, 1148, 1053, 3621, 422, 279, 3109, 1766, 704, 13, 14465, 2444, 273, 11321, 1093, 1364, 596, 304, 927, 1077, 2010, 323, 3250, 956, 1440, 1148, 311, 656, 382, 30854, 2444, 273, 25, 358, 2846, 2216, 539, 2771, 1148, 311, 656, 11, 21077, 13, 358, 1440, 358, 2846, 15061, 279, 2383, 323, 358, 2846, 16984, 315, 1148, 1053, 3621, 422, 279, 3109, 1766, 704, 13, 2030, 520, 279, 1890, 892, 11, 358, 2733, 1093, 358, 2846, 304, 927, 856, 2010, 323, 358, 1541, 956, 1440, 1268, 311, 636, 704, 315, 433, 13, 3234, 499, 617, 904, 9650, 5380, 54183, 25, 8489, 11, 1176, 315, 682, 11, 499, 1205, 311, 19858, 1523, 323, 1781, 922, 420, 74145, 13, 3639, 7041, 527, 499, 3815, 430, 596, 2403, 279, 2383, 30, 1628, 656, 499, 617, 904, 11311, 30, 1442, 539, 11, 1243, 433, 2643, 387, 2653, 311, 12391, 430, 499, 2351, 3604, 15061, 279, 2383, 627, 30854, 2444, 273, 25, 358, 2846, 11486, 12079, 11217, 13, 1628, 10035, 11, 358, 617, 11311, 13, 358, 617, 279, 11217, 8340, 304, 856, 3838, 1314, 1457, 627, 54183, 25, 36539, 11, 1664, 430, 4442, 2574, 264, 2766, 13, 1102, 10578, 1093, 499, 1436, 387, 304, 6129, 12544, 422, 499, 2351, 10791, 13, 12522, 499, 3463, 922, 1120, 23351, 30, 1472, 1436, 636, 9463, 315, 279, 11217, 323, 2646, 656, 433, 1578, 13, 3011, 2643, 387, 279, 62844, 3072, 369, 499, 627, 30854, 2444, 273, 25, 72047, 11, 358, 3077, 3463, 922, 433, 719, 358, 1541, 956, 1440, 422, 358, 649, 1120, 3009, 13, 1115, 374, 1268, 358, 1304, 1455, 315, 856, 3300, 323, 449, 4395, 775, 2133, 389, 304, 856, 2324, 1314, 1457, 11, 358, 1541, 956, 1440, 422, 358, 649, 10150, 311, 3009, 11486, 11217, 11622, 13, 12623, 11, 1070, 596, 1101, 264, 961, 315, 757, 430, 3250, 956, 1390, 311, 3009, 1606, 358, 4774, 3815, 433, 323, 433, 596, 13548, 369, 757, 13, 2100, 1524, 3582, 358, 1440, 433, 596, 5076, 323, 11660, 11, 1070, 596, 2103, 264, 961, 315, 757, 430, 6944, 311, 2567, 3815, 433, 627, 54183, 25, 8489, 11, 358, 649, 3619, 430, 13, 2030, 499, 617, 311, 13383, 430, 433, 596, 539, 5922, 86022, 701, 11542, 1120, 369, 264, 2697, 2766, 315, 28361, 13, 1442, 499, 2351, 10791, 11, 499, 1436, 733, 311, 17999, 477, 1524, 11201, 13, 2209, 279, 5326, 2216, 5922, 433, 5380, 30854, 2444, 273, 25, 358, 1541, 956, 1440, 13, 358, 8101, 358, 2846, 1120, 27207, 323, 358, 1541, 956, 1440, 1148, 311, 656, 627, 54183, 25, 1102, 10578, 1093, 499, 1205, 311, 1935, 1063, 892, 311, 1781, 922, 420, 323, 7216, 704, 1148, 596, 1888, 369, 499, 13, 1472, 13434, 956, 1304, 904, 11429, 1418, 499, 2351, 8430, 779, 27207, 323, 43206, 13, 4702, 1456, 311, 12234, 323, 1935, 1063, 892, 311, 1781, 2574, 1555, 1603, 499, 656, 4205, 775, 382, 5618, 18622, 279, 1495, 311, 387, 810, 16287, 323, 60849, 278, 11, 439, 3582, 433, 1051, 5439, 555, 264, 15779, 7231, 5897, 9650, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 4518, 420, 369, 2317, 512, 27, 2527, 315, 5905, 397, 50982, 61752, 704, 315, 61386, 488, 4423, 990, 449, 757, 13, 3277, 51051, 264, 3463, 11, 279, 58170, 323, 50198, 1421, 15686, 25, 499, 636, 433, 13, 358, 2751, 433, 578, 2800, 315, 279, 4221, 11, 13444, 323, 1514, 358, 1097, 701, 7491, 11, 279, 3463, 2795, 358, 29395, 2417, 7422, 922, 279, 8993, 1405, 584, 5762, 856, 20820, 32079, 13, 1283, 2795, 11, 358, 574, 1070, 25, 433, 13194, 757, 26, 499, 39169, 2288, 1790, 26, 358, 15890, 4059, 3010, 13, 358, 1120, 1390, 311, 387, 449, 499, 11, 279, 3463, 2795, 1472, 3152, 40344, 3463, 477, 813, 3463, 30, 578, 23902, 527, 1093, 9958, 11, 342, 22732, 2539, 315, 9958, 13, 1442, 358, 733, 449, 5606, 12660, 11, 422, 814, 67, 1781, 10437, 398, 311, 757, 13, 2360, 832, 53159, 13, 68685, 701, 28004, 13, 2417, 26139, 311, 499, 927, 323, 927, 311, 264, 502, 1877, 13, 18156, 433, 5084, 1093, 92779, 264, 95911, 369, 1855, 7091, 13272, 77688, 315, 6439, 11, 92779, 3130, 369, 459, 56010, 92779, 3130, 369, 459, 56010, 315, 20663, 13, 61399, 13, 5884, 2940, 13, 11502, 856, 2010, 422, 499, 6562, 13, 2360, 10548, 477, 10096, 60101, 5805, 68603, 13, 358, 617, 264, 47176, 13, 3092, 4648, 690, 539, 4686, 433, 627, 27, 408, 315, 5905, 397, 7927, 3465, 374, 311, 512, 3923, 374, 279, 2262, 315, 279, 33894, 30, 5560, 279, 1495, 6089, 304, 520, 3325, 220, 20, 23719, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 54183, 29838, 23085, 374, 264, 32185, 3318, 304, 18247, 501, 5174, 488, 11, 93048, 323, 4029, 7620, 369, 1274, 449, 50112, 23125, 11134, 382, 35, 359, 23085, 374, 2010, 315, 459, 18751, 2068, 315, 27692, 323, 14830, 3495, 520, 578, 3907, 315, 11104, 8494, 323, 16591, 50544, 15429, 22923, 16003, 13654, 1306, 54286, 11134, 311, 279, 23418, 1887, 13, 32184, 7978, 1005, 21236, 306, 4211, 323, 5357, 389, 27252, 279, 9041, 315, 14580, 5367, 17699, 311, 35539, 20438, 382, 8100, 5131, 17482, 389, 279, 8925, 315, 279, 39118, 462, 698, 70, 292, 14821, 323, 374, 264, 4562, 315, 279, 66233, 8925, 315, 279, 8486, 3165, 992, 37987, 99641, 706, 20162, 311, 279, 13673, 85879, 13581, 11, 323, 574, 872, 4872, 369, 264, 4261, 315, 892, 382, 35, 359, 23085, 10666, 520, 279, 13673, 5165, 3907, 389, 279, 14830, 19622, 369, 50112, 2512, 304, 220, 679, 23, 13, 3005, 7633, 279, 7195, 315, 279, 3165, 992, 8304, 13788, 389, 279, 8925, 323, 439, 16478, 315, 1202, 33135, 70544, 10554, 382, 91293, 720, 35, 359, 23085, 374, 279, 11452, 315, 6150, 11, 2949, 279, 42904, 315, 10170, 11, 520, 279, 3907, 315, 11104, 8494, 382, 35, 359, 23085, 596, 43784, 2997, 264, 426, 3407, 320, 39, 2439, 11, 45903, 2508, 705, 7295, 220, 323, 264, 30661, 11, 7295, 382, 96830, 7978, 2949, 29838, 23085, 596, 2128, 54350, 2380, 7447, 21911, 265, 47341, 14400, 19622, 1054, 6540, 992, 37987, 66176, 323, 28479, 15330, 320, 3624, 89798, 99382, 16239, 682, 220, 23, 50112, 8316, 304, 8494, 323, 1561, 17340, 323, 279, 7580, 315, 1521, 374, 311, 21635, 11775, 5627, 315, 51582, 279, 1370, 278, 1065, 291, 49695, 311, 12192, 64908, 13654, 323, 7417, 2890, 13, 578, 19622, 9575, 30883, 2512, 311, 279, 4029, 11, 42852, 279, 19569, 1205, 315, 1521, 6978, 13, 1054, 1341, 1507, 863, 81410, 83405, 323, 23591, 97478, 4099, 8, 374, 2500, 7447, 21911, 265, 14830, 20770, 21760, 389, 30883, 50112, 23125, 11134, 16239, 14247, 9950, 1605, 91299, 304, 279, 51632, 311, 3780, 892, 323, 4017, 14580, 5674, 1603, 13147, 34933, 29602, 4099, 13, 13596, 810, 3293, 7447, 21911, 265, 20770, 18065, 38936, 62564, 2512, 323, 72735, 42929, 30020, 11, 264, 3682, 14580, 86919, 2768, 50112, 23125, 11134, 11, 449, 279, 5915, 315, 18899, 1888, 6725, 369, 62564, 2890, 382, 35, 359, 23085, 11767, 264, 2068, 315, 27692, 323, 14830, 3495, 22923, 13654, 1306, 54286, 11134, 311, 279, 23418, 1887, 13, 32184, 7978, 5357, 389, 8830, 279, 9041, 315, 14580, 5367, 17699, 1701, 14645, 1778, 439, 2579, 3177, 11, 7893, 32424, 24924, 5151, 323, 20622, 52536, 311, 2218, 5623, 9889, 382, 2170, 520, 5887, 220, 679, 24, 1077, 473, 1963, 574, 220, 2137, 11, 323, 1396, 315, 52946, 574, 927, 220, 17252, 15, 320, 3407, 46970, 3677, 32, 4102, 323, 18324, 720, 35, 359, 23085, 574, 22034, 4661, 400, 20, 3610, 304, 11006, 369, 279, 83350, 32, 47341, 2585, 19622, 382, 220, 679, 21, 482, 22034, 279, 8483, 17768, 505, 279, 3165, 483, 13581, 315, 8494, 11, 369, 364, 1820, 1455, 19310, 19564, 304, 279, 5151, 315, 6913, 8198, 11, 84710, 5776, 1233, 477, 14830, 7978, 315, 279, 35776, 24482, 220, 679, 17, 482, 832, 315, 2380, 83646, 315, 11104, 13673, 315, 279, 1060, 627, 220, 679, 16, 4235, 679, 18, 482, 37409, 8483, 37946, 315, 35931, 28165, 26, 44, 7532, 627, 220, 2550, 23, 4235, 679, 15, 19903, 8483, 37946, 11, 35931, 28165, 26, 44, 7532, 11, 21995, 40023, 11, 549, 27486, 627, 27, 408, 315, 5905, 397, 644, 520, 3325, 220, 20, 23719, 11, 63179, 279, 3495, 315, 21077, 29838, 23085, 323, 279, 5536, 315, 1077, 990, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 2746, 279, 3987, 315, 7231, 374, 311, 3021, 279, 5496, 11, 279, 95615, 15635, 52819, 304, 279, 1180, 315, 7231, 13, 4427, 1778, 18228, 358, 9508, 311, 1518, 304, 279, 12580, 430, 23712, 757, 13, 4275, 9497, 323, 18507, 11, 31175, 2862, 1285, 11, 653, 36069, 291, 11, 1148, 8352, 1053, 3041, 1124, 279, 8352, 311, 387, 47880, 30, 578, 95615, 374, 912, 2753, 1008, 42480, 1109, 1884, 889, 527, 60610, 414, 287, 369, 279, 8352, 13, 1442, 814, 4250, 3802, 433, 11, 422, 433, 374, 539, 1070, 11, 422, 872, 4384, 19779, 9567, 279, 4384, 3805, 323, 279, 95615, 5900, 1523, 389, 813, 31624, 304, 23788, 8964, 430, 682, 315, 813, 7231, 706, 1027, 369, 4415, 3948, 323, 430, 4400, 574, 3596, 1148, 568, 3463, 323, 10800, 304, 813, 16390, 4950, 311, 46943, 520, 279, 78501, 2814, 21237, 11509, 1070, 323, 38268, 505, 4950, 311, 41100, 520, 23070, 11, 568, 2011, 3686, 3619, 430, 311, 8884, 1790, 374, 2728, 1790, 690, 387, 4529, 11, 323, 1120, 398, 779, 25, 358, 4250, 3371, 1268, 1790, 358, 42210, 627, 27, 408, 315, 5905, 397, 5618, 49229, 279, 16630, 315, 420, 21765, 505, 279, 2768, 11709, 482, 3373, 682, 430, 3881, 627, 12, 18231, 1285, 198, 12, 356, 1910, 950, 198, 12, 35698, 535, 198, 12, 28237, 1285, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 51844, 4381, 71319, 71, 9425, 220, 320, 16381, 220, 1627, 5936, 220, 3753, 21, 8, 374, 264, 6721, 47550, 11552, 2851, 889, 11335, 520, 5409, 369, 29987, 27162, 304, 279, 11002, 7054, 9130, 10937, 382, 28571, 7076, 271, 1360, 65427, 52002, 271, 33, 1247, 71, 9425, 6137, 813, 7076, 449, 4987, 1974, 304, 220, 1049, 21, 1306, 264, 6992, 892, 449, 279, 4987, 1974, 30857, 6, 5234, 6150, 5629, 53694, 13, 4740, 3339, 1403, 8638, 304, 813, 17755, 3280, 11, 568, 22763, 439, 264, 5912, 27795, 2391, 279, 220, 1049, 22, 6690, 1561, 17340, 11098, 382, 1548, 8272, 709, 813, 17755, 7445, 52002, 3280, 449, 459, 25363, 220, 1049, 24, 6690, 1561, 17340, 11098, 11, 2391, 902, 568, 1903, 220, 975, 8638, 323, 16957, 220, 19, 16696, 11, 323, 574, 264, 1401, 7216, 304, 4987, 1974, 596, 39431, 84001, 398, 30843, 38586, 927, 84600, 382, 1383, 279, 17102, 315, 813, 220, 605, 4771, 7076, 449, 4987, 1974, 11, 568, 1047, 1903, 220, 7322, 27351, 369, 813, 17271, 382, 19841, 52002, 271, 33, 1247, 71, 9425, 6, 15062, 24601, 369, 4987, 1974, 5602, 1461, 28744, 264, 7445, 52002, 5226, 449, 279, 65187, 388, 369, 279, 220, 1049, 24, 3280, 13, 1283, 1047, 264, 7060, 1176, 4901, 11, 26449, 304, 1475, 1847, 323, 3339, 220, 23, 8638, 13, 1283, 1053, 4726, 1977, 389, 430, 2391, 279, 220, 679, 15, 7445, 220, 975, 3280, 11, 6041, 1475, 2489, 369, 279, 65187, 388, 382, 16397, 279, 220, 679, 16, 7445, 52002, 3280, 11, 71319, 71, 9425, 9922, 304, 1475, 2489, 369, 279, 65187, 388, 369, 279, 4948, 3280, 304, 264, 2872, 11, 12967, 813, 24871, 3953, 30314, 311, 220, 2983, 382, 6153, 1694, 87552, 311, 5108, 1022, 279, 13731, 369, 279, 65187, 388, 304, 220, 679, 19, 11, 71319, 71, 9425, 8667, 449, 279, 33425, 389, 264, 220, 17, 4771, 5226, 13, 1283, 574, 264, 5912, 27795, 369, 279, 19562, 369, 2225, 15956, 1603, 16351, 304, 4606, 304, 220, 679, 21, 382, 50100, 323, 6457, 271, 33, 1247, 71, 9425, 8667, 304, 9822, 449, 56301, 304, 220, 679, 21, 323, 7543, 1403, 15956, 449, 279, 6469, 11, 15871, 5108, 1022, 279, 13731, 382, 1548, 3351, 311, 279, 11002, 7054, 9130, 304, 220, 679, 23, 11, 16351, 449, 279, 29987, 27162, 382, 27002, 7902, 198, 49, 773, 1729, 4987, 1974, 12609, 198, 12243, 86067, 12609, 271, 3753, 21, 66332, 198, 16298, 33142, 520, 4987, 1974, 30857, 6, 5234, 6150, 198, 12243, 86067, 320, 73047, 1729, 11552, 8, 4311, 198, 5028, 1157, 320, 19841, 52002, 8, 4311, 198, 26070, 1974, 47550, 11552, 4311, 198, 45605, 1274, 198, 3648, 17340, 47550, 11552, 4311, 198, 49, 773, 1729, 11552, 70592, 388, 198, 49, 773, 1729, 11552, 32776, 198, 49, 773, 1729, 11552, 4311, 505, 763, 424, 66, 867, 484, 198, 43, 26039, 63935, 4311, 198, 3648, 17340, 1367, 2416, 349, 47550, 11552, 4311, 198, 3648, 17340, 1367, 2416, 349, 10034, 16455, 304, 9822, 198, 8193, 2416, 349, 47550, 11552, 4311, 304, 9822, 198, 2059, 318, 92715, 735, 2117, 8868, 71923, 4311, 198, 44, 648, 29987, 27162, 4311, 271, 17077, 512, 23956, 315, 279, 2768, 3917, 5789, 374, 279, 1495, 922, 5380, 12, 13482, 198, 12, 79269, 198, 12, 10948, 198, 12, 10170, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 8879, 512, 27, 2527, 315, 5905, 397, 48353, 752, 374, 264, 5788, 34821, 24306, 315, 13673, 24190, 25459, 921, 481, 323, 7302, 735, 13, 2435, 617, 6004, 17845, 389, 9382, 1778, 439, 34222, 510, 60265, 948, 23212, 11, 872, 4731, 706, 9922, 389, 98031, 811, 555, 83278, 323, 20851, 1369, 13005, 13, 763, 5936, 220, 1049, 21, 11, 28351, 752, 6004, 872, 1176, 2539, 8176, 11, 9393, 1226, 3053, 389, 46372, 10948, 13, 578, 6857, 1101, 22102, 3871, 382, 13730, 198, 11439, 311, 872, 3997, 11, 50016, 18841, 374, 264, 7057, 902, 1234, 49201, 28351, 752, 596, 18273, 5603, 13, 6104, 25459, 921, 481, 323, 7302, 735, 1051, 2736, 6992, 93627, 323, 24190, 11, 279, 20632, 430, 6244, 28351, 752, 574, 539, 14647, 264, 1664, 33207, 7443, 54914, 779, 1790, 439, 2555, 430, 3952, 2035, 2942, 2740, 927, 264, 4261, 315, 892, 13, 2314, 65023, 1870, 11, 25459, 323, 7302, 1047, 2225, 9709, 28785, 323, 6004, 7576, 369, 1063, 315, 279, 8706, 14683, 4731, 9382, 304, 279, 1917, 323, 1047, 2225, 10887, 304, 1063, 315, 279, 1917, 596, 8706, 323, 1888, 3814, 77385, 13, 2030, 433, 574, 1555, 872, 27848, 3021, 369, 14683, 4731, 323, 279, 9090, 315, 32692, 20632, 430, 28351, 752, 5616, 3782, 311, 2539, 94706, 382, 791, 1403, 15453, 6137, 264, 20784, 20632, 304, 279, 14356, 449, 279, 1862, 315, 42521, 480, 1409, 11, 10213, 1120, 279, 1403, 3515, 2523, 57466, 287, 323, 6968, 22772, 502, 3769, 13, 38274, 279, 34821, 9124, 872, 1176, 3254, 439, 264, 1912, 11, 25891, 330, 791, 75687, 1359, 16850, 96665, 445, 2521, 7867, 277, 13, 37946, 22102, 323, 17276, 20851, 1369, 13005, 574, 42702, 922, 279, 3839, 323, 15109, 433, 389, 813, 14683, 6651, 29772, 8121, 54987, 220, 1313, 25, 20851, 1369, 13005, 304, 27535, 11, 902, 574, 6004, 304, 220, 1049, 17, 382, 791, 34821, 596, 1828, 3254, 330, 62339, 1764, 1, 574, 2500, 17808, 20632, 24306, 3131, 1578, 304, 7302, 596, 84244, 2382, 316, 14356, 13, 578, 1403, 3288, 279, 8308, 3839, 311, 4333, 323, 12637, 17276, 83278, 11, 889, 3010, 5343, 433, 304, 813, 11325, 29772, 8176, 11, 19337, 8080, 11, 902, 574, 6004, 304, 220, 1049, 19, 382, 35862, 1667, 3010, 11, 1306, 4038, 315, 389, 12, 33871, 11, 1022, 12, 33871, 20632, 304, 279, 14356, 11, 28351, 752, 6004, 872, 1176, 8176, 11, 9393, 1226, 3053, 11, 902, 6288, 4036, 24716, 97963, 304, 279, 14683, 4731, 6237, 13, 578, 8176, 706, 1027, 7633, 439, 264, 1054, 57291, 4908, 8668, 2476, 4856, 1109, 264, 14595, 6651, 8176, 11, 323, 279, 18273, 1742, 1436, 4498, 1234, 264, 8205, 315, 11306, 11, 2737, 15996, 23019, 11, 82555, 320, 1090, 21149, 30704, 10948, 705, 18682, 4783, 323, 22772, 382, 24374, 5814, 198, 32477, 28785, 198, 220, 1049, 21, 25, 9393, 1226, 3053, 320, 11907, 10948, 22293, 696, 50, 50703, 198, 220, 1049, 17, 25, 578, 75687, 320, 45744, 13, 445, 2521, 7867, 277, 8, 320, 11907, 54987, 340, 220, 1049, 19, 25, 92671, 320, 11907, 54987, 340, 220, 1049, 22, 25, 2999, 24980, 48190, 320, 11907, 54987, 340, 220, 1049, 22, 25, 16959, 467, 320, 11907, 54987, 340, 27, 408, 315, 5905, 397, 6396, 512, 5618, 18622, 420, 1495, 311, 387, 810, 23387, 323, 7185, 11, 439, 3582, 433, 1051, 5439, 555, 264, 25429, 8571, 315, 279, 1912, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 791, 17571, 330, 631, 1907, 357, 20345, 315, 5868, 1303, 26000, 1, 1253, 387, 810, 4461, 311, 16898, 554, 709, 5448, 315, 10099, 1109, 11012, 382, 11649, 11, 1781, 1578, 382, 54, 20559, 263, 9304, 596, 9024, 3187, 315, 459, 1097, 16751, 5237, 543, 355, 71404, 11, 2731, 3967, 439, 264, 52644, 23153, 2001, 264, 14880, 23153, 430, 1193, 92889, 1306, 1690, 1667, 323, 50737, 1093, 5868, 1303, 26000, 994, 433, 1587, 2001, 374, 3685, 330, 998, 656, 1202, 41792, 357, 39134, 3245, 5246, 369, 279, 1176, 892, 304, 7154, 264, 13515, 1359, 264, 18740, 369, 279, 7926, 1071, 304, 264, 5439, 5224, 7950, 382, 68149, 6548, 527, 389, 279, 7926, 753, 37647, 1359, 15679, 7510, 1071, 1566, 2046, 382, 791, 1790, 12, 93878, 323, 2875, 62954, 14545, 18238, 374, 4461, 311, 3621, 279, 2046, 315, 5887, 220, 1114, 323, 1193, 1566, 264, 1938, 477, 1403, 11, 279, 5224, 1071, 382, 5001, 17890, 439, 1054, 11099, 23635, 2915, 357, 39134, 323, 50235, 863, 304, 1202, 14545, 18238, 11008, 11, 279, 52644, 23153, 706, 15662, 279, 17444, 315, 1694, 2555, 315, 330, 64, 7091, 12134, 304, 279, 6136, 1917, 369, 1202, 11191, 19207, 11, 323, 810, 73835, 11, 369, 1202, 2231, 1907, 357, 20345, 315, 5868, 1303, 26000, 1359, 279, 5224, 1071, 382, 11439, 311, 279, 549, 815, 13, 23869, 32370, 19558, 11, 279, 52644, 23153, 374, 5016, 4245, 311, 1202, 1404, 2001, 14134, 7982, 709, 311, 220, 23, 7693, 16615, 2001, 5016, 22843, 323, 96435, 14545, 18238, 11008, 382, 10445, 374, 279, 52644, 23153, 779, 9024, 323, 1405, 1587, 433, 2586, 505, 5380, 21464, 311, 279, 8279, 40658, 5654, 315, 24922, 11, 1521, 11422, 51755, 19837, 527, 10212, 439, 52356, 555, 279, 7327, 9323, 369, 45435, 315, 22037, 11, 3339, 279, 9024, 32659, 682, 279, 810, 13548, 382, 14305, 1925, 8125, 369, 279, 18174, 527, 8558, 323, 279, 14747, 315, 279, 6136, 753, 10068, 13952, 39646, 311, 5707, 33552, 6136, 811, 2476, 279, 549, 815, 13, 23869, 32370, 19558, 6267, 13, 10573, 279, 42912, 1259, 315, 279, 23153, 52554, 927, 279, 1828, 2478, 2919, 1618, 382, 4438, 311, 3821, 279, 52644, 23153, 52554, 198, 4599, 56738, 263, 2795, 330, 543, 6548, 527, 389, 279, 7926, 753, 37647, 1, 2001, 814, 2351, 539, 56825, 382, 14804, 40430, 323, 813, 56738, 263, 18105, 617, 743, 709, 264, 42912, 1259, 323, 527, 12304, 311, 1518, 279, 52644, 23153, 52554, 304, 279, 2919, 8469, 11, 279, 5224, 1071, 627, 27, 408, 315, 5905, 397, 1999, 1463, 279, 21765, 3196, 389, 279, 27065, 433, 390, 50369, 389, 279, 14827, 14545, 18238, 315, 279, 22621, 325, 43786, 627, 3883, 512, 16, 13, 45003, 198, 17, 13, 59794, 198, 18, 13, 51957, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 11782, 5829, 315, 264, 42766, 30, 720, 40, 1390, 701, 4320, 311, 387, 304, 279, 2768, 3645, 25, 220, 16, 2637, 220, 17, 2637, 220, 18, 2637, 220, 19, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 27, 2527, 315, 5905, 397, 38, 306, 273, 11, 4072, 86, 10018, 271, 6719, 86, 10018, 74569, 73863, 965, 11, 10504, 482, 4072, 86, 10018, 79352, 388, 74569, 11, 220, 5728, 11, 8636, 7884, 11, 6664, 220, 605, 11, 220, 2366, 15, 520, 4892, 16450, 13, 13235, 5955, 11, 97197, 20782, 11, 10504, 13, 3005, 574, 9405, 6186, 220, 23, 11, 220, 6393, 21, 304, 350, 819, 18238, 78, 6406, 29538, 311, 44707, 426, 1244, 285, 330, 36, 1823, 1210, 79352, 388, 323, 62412, 648, 2405, 1138, 79352, 388, 323, 574, 9405, 1578, 5887, 220, 19, 11, 220, 5162, 17, 13, 3005, 574, 264, 4562, 315, 578, 79352, 388, 12517, 44468, 5856, 323, 578, 74569, 9220, 44468, 11070, 287, 5856, 13, 3005, 574, 264, 4562, 315, 1561, 29103, 301, 24098, 661, 43748, 9441, 96066, 11, 29538, 11, 1405, 1364, 18677, 439, 1317, 439, 1077, 2890, 1053, 2187, 1077, 311, 13, 3005, 10456, 5737, 5370, 24198, 11, 26139, 323, 13788, 1274, 304, 5370, 5627, 11, 2737, 1077, 3786, 25887, 13, 8471, 690, 387, 7742, 11, 6664, 220, 1032, 11, 220, 17, 281, 749, 13, 520, 1611, 24444, 59449, 5492, 54462, 96066, 11, 10504, 449, 6031, 13, 15835, 10058, 11, 6031, 13, 356, 1604, 10058, 323, 6031, 13, 56859, 41496, 2856, 23747, 13, 12649, 532, 690, 387, 304, 96066, 59578, 11, 96066, 11, 10504, 13, 1611, 24444, 59449, 5492, 11, 96066, 11, 10504, 690, 387, 304, 6900, 315, 28904, 13, 3005, 374, 26968, 555, 1077, 10177, 315, 33517, 55541, 1667, 482, 7957, 74569, 11, 15394, 12, 78186, 64, 323, 15835, 10058, 11, 10517, 5988, 12, 2360, 6853, 323, 56859, 41496, 11, 356, 1604, 323, 43675, 10058, 11, 8681, 12, 10517, 5988, 12, 61477, 323, 90878, 41496, 11, 10463, 82153, 323, 7290, 64, 7957, 10058, 13, 48368, 12, 445, 7403, 818, 99045, 9334, 13, 3005, 574, 53580, 304, 4648, 555, 1077, 44026, 26, 27445, 12, 87464, 79352, 388, 11, 20941, 3502, 31412, 12, 40271, 74569, 323, 21720, 3502, 31412, 12, 76479, 74569, 323, 8681, 50851, 12, 28972, 323, 18787, 3258, 41496, 662, 72460, 68760, 388, 690, 387, 12, 15835, 10058, 11, 356, 1604, 10058, 11, 56859, 41496, 11, 61477, 41496, 11, 469, 664, 616, 73999, 11, 6941, 3468, 26209, 11, 3842, 51353, 283, 16876, 13, 7811, 7709, 690, 387, 7159, 11, 6664, 220, 717, 11, 220, 21, 12, 24, 281, 749, 13, 520, 1611, 24444, 59449, 5492, 11, 96066, 11, 10504, 382, 9066, 1556, 507, 4590, 3620, 271, 31955, 3333, 10632, 3629, 9502, 1536, 33462, 5548, 439, 264, 2532, 311, 279, 8689, 814, 527, 46927, 13, 4452, 11, 584, 690, 387, 6380, 311, 4287, 1536, 33462, 5548, 505, 3070, 3697, 15639, 6300, 23751, 315, 279, 4648, 382, 7412, 362, 27307, 2239, 271, 40562, 264, 4443, 1984, 315, 47084, 2195, 2675, 3358, 1505, 3927, 27307, 18312, 389, 279, 2199, 449, 1855, 1536, 275, 3620, 5406, 13, 3296, 11821, 264, 21901, 5044, 477, 4477, 264, 3169, 35491, 11, 499, 690, 387, 8405, 264, 69130, 13912, 731, 311, 1884, 304, 76350, 13, 16853, 3915, 264, 27307, 6017, 11, 499, 1253, 1515, 304, 449, 701, 1217, 2759, 311, 5387, 264, 1984, 13, 1442, 499, 617, 459, 6484, 2759, 449, 420, 2816, 11, 499, 1253, 1515, 304, 449, 430, 13, 18715, 11, 433, 596, 4382, 311, 1893, 264, 502, 832, 555, 18965, 389, 279, 4324, 330, 7412, 709, 1, 3215, 323, 2768, 279, 4382, 7504, 389, 279, 7220, 3216, 2199, 627, 27, 408, 315, 5905, 397, 17077, 512, 3923, 574, 4072, 86, 10018, 74569, 596, 20160, 11, 323, 1268, 1550, 1364, 5536, 1077, 4029, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 75885, 279, 8246, 315, 264, 3786, 11118, 61221, 382, 40, 1390, 279, 4320, 24001, 439, 264, 49926, 1160, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 51341, 20176, 1518, 1022, 20862, 35938, 311, 1935, 2500, 3094, 271, 2409, 4330, 3953, 311, 733, 11, 23565, 20176, 527, 1314, 304, 279, 6651, 439, 814, 1427, 369, 459, 14247, 471, 311, 279, 1948, 13096, 315, 279, 4987, 20210, 41342, 9130, 382, 51341, 20176, 70904, 1203, 505, 1566, 2046, 596, 79913, 2403, 19881, 73, 598, 311, 3820, 709, 682, 2380, 3585, 304, 7884, 596, 13893, 3280, 27409, 13096, 1403, 41003, 520, 33592, 8350, 11, 1405, 814, 65208, 872, 5915, 6811, 449, 264, 220, 21, 12, 16, 12845, 382, 1687, 2011, 10519, 279, 4367, 315, 1057, 5178, 422, 584, 527, 311, 3136, 1057, 20862, 4585, 271, 51341, 20176, 6783, 14129, 6031, 10668, 271, 2181, 574, 264, 11292, 12790, 902, 279, 1620, 5573, 1584, 1587, 539, 8881, 323, 279, 2144, 430, 54516, 435, 34031, 29838, 273, 5781, 574, 813, 3185, 596, 893, 8838, 10826, 46804, 36762, 1120, 1268, 10508, 433, 2216, 574, 382, 51341, 20176, 1051, 68770, 839, 304, 279, 8736, 4520, 439, 279, 8333, 323, 4367, 315, 872, 18585, 35938, 369, 279, 1620, 20862, 2035, 2163, 1124, 312, 20659, 1234, 264, 50787, 315, 8951, 13, 2030, 433, 574, 735, 82481, 11629, 2439, 11, 1203, 1139, 279, 20413, 57506, 11, 6832, 16750, 9309, 1776, 15889, 1139, 279, 5740, 9309, 315, 279, 2162, 5915, 6688, 279, 15613, 279, 4216, 3063, 382, 2409, 23565, 20176, 9455, 872, 1376, 11, 264, 1464, 1139, 279, 2163, 315, 279, 2162, 423, 555, 279, 28387, 1752, 13142, 20661, 1766, 13678, 22353, 304, 459, 653, 4575, 50786, 4741, 2361, 311, 5457, 279, 5041, 2162, 323, 2033, 813, 3185, 596, 9610, 382, 2181, 574, 22353, 11, 1578, 304, 264, 4741, 2361, 11, 6832, 4585, 574, 10717, 389, 279, 1584, 555, 264, 29315, 596, 4579, 11, 11230, 264, 16750, 902, 574, 50365, 2162, 555, 18747, 64778, 818, 3258, 311, 3041, 279, 15613, 264, 2380, 93388, 3063, 520, 79559, 382, 20397, 28848, 555, 2380, 9021, 11, 33592, 8350, 1051, 539, 8220, 323, 433, 574, 1193, 80576, 36708, 23682, 505, 64778, 818, 3258, 323, 12637, 12541, 1203, 14253, 9702, 430, 34683, 23565, 20176, 596, 2380, 93388, 45738, 1603, 94529, 13926, 8220, 264, 5425, 505, 279, 2163, 555, 10058, 6031, 10668, 1306, 279, 17460, 382, 4897, 1903, 433, 810, 10882, 369, 23565, 20176, 1603, 64778, 818, 3258, 596, 2132, 5915, 323, 22021, 8925, 1543, 596, 15485, 291, 711, 1191, 1022, 264, 11629, 2439, 6, 16750, 9309, 13471, 2231, 279, 1121, 7953, 10712, 13, 2030, 33592, 8350, 8738, 311, 3440, 323, 18747, 44109, 11293, 279, 802, 265, 1590, 304, 279, 15676, 18094, 382, 51341, 20176, 6783, 14129, 6031, 10668, 574, 1633, 18949, 449, 279, 1938, 596, 990, 323, 1071, 25, 330, 1687, 617, 70904, 1203, 304, 2294, 1742, 505, 279, 41698, 315, 279, 4814, 1566, 2046, 382, 85131, 4330, 3953, 311, 733, 584, 1253, 387, 4848, 3585, 4920, 279, 6164, 719, 584, 527, 1101, 4848, 3585, 8469, 315, 4948, 9277, 33592, 8350, 13, 1226, 46276, 800, 33903, 420, 2046, 323, 2011, 10519, 279, 4367, 315, 1057, 5178, 422, 584, 527, 311, 3136, 1057, 20862, 4585, 10246, 27938, 3923, 1051, 279, 1401, 9547, 430, 20162, 311, 23565, 20176, 596, 12845, 927, 33592, 8350, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 4518, 420, 369, 2317, 512, 27, 2527, 315, 5905, 397, 10445, 433, 2643, 387, 279, 4832, 892, 311, 5662, 704, 311, 701, 2362, 4885, 271, 2170, 264, 502, 4007, 5039, 11, 51136, 287, 449, 2362, 4885, 649, 387, 810, 23222, 1109, 499, 3463, 382, 11458, 1790, 584, 3021, 279, 4623, 315, 51263, 4885, 11, 279, 8206, 374, 11, 584, 9229, 5916, 449, 4885, 682, 279, 892, 13, 13440, 433, 596, 57017, 505, 12374, 11, 7366, 311, 264, 502, 3363, 477, 3794, 264, 502, 2683, 11, 1070, 527, 11510, 315, 8125, 3249, 4885, 649, 34738, 10980, 13, 1628, 3131, 499, 3077, 92662, 11, 433, 649, 387, 2653, 311, 1977, 709, 279, 25775, 311, 51136, 382, 4071, 1418, 430, 1495, 477, 2613, 2643, 5266, 499, 449, 18547, 11, 17393, 527, 11, 701, 2362, 4885, 690, 15763, 433, 810, 1109, 499, 1440, 13, 763, 2144, 11, 4184, 311, 264, 502, 4007, 304, 279, 10139, 315, 65915, 323, 9983, 36673, 1527, 12074, 304, 28627, 11, 1561, 16228, 323, 20754, 11, 994, 584, 1304, 279, 5149, 311, 5662, 704, 311, 2362, 4885, 11, 814, 15763, 1057, 9045, 3117, 810, 1109, 584, 1755, 1124, 311, 382, 3923, 7077, 304, 279, 4007, 1980, 60210, 743, 704, 311, 1505, 704, 1268, 584, 6013, 311, 1057, 4885, 6, 6743, 13, 2435, 1766, 430, 279, 810, 16907, 279, 1984, 1389, 3508, 433, 387, 459, 2613, 11, 1495, 477, 4641, 1650, 1389, 279, 810, 9989, 54679, 584, 527, 382, 791, 12074, 6137, 555, 10371, 13324, 311, 1781, 1203, 311, 279, 1566, 892, 814, 8813, 704, 311, 264, 4333, 330, 4345, 1606, 3343, 5112, 11, 814, 4691, 1124, 311, 19635, 264, 892, 430, 4423, 775, 1047, 25559, 1124, 304, 264, 4528, 1648, 13, 2435, 1766, 430, 279, 13057, 8857, 315, 1274, 2733, 1633, 9989, 54679, 994, 4885, 3729, 1124, 1389, 719, 11, 520, 279, 1890, 892, 11, 3775, 311, 44917, 279, 5536, 315, 872, 1866, 6743, 382, 791, 13057, 8857, 315, 1274, 2733, 1633, 9989, 54679, 994, 4885, 3729, 1124, 1389, 8248, 11, 520, 279, 1890, 892, 11, 3775, 311, 44917, 279, 5536, 315, 872, 1866, 6743, 382, 644, 1023, 4339, 11, 1524, 3582, 584, 3021, 12588, 6743, 704, 315, 279, 6437, 505, 2362, 4885, 11, 584, 2103, 9855, 430, 1057, 1866, 4885, 2834, 956, 15763, 1057, 6743, 304, 279, 1890, 1648, 382, 791, 12074, 1051, 8173, 311, 7142, 430, 832, 8331, 11754, 279, 2237, 315, 35996, 810, 1109, 4205, 775, 1389, 279, 2449, 315, 13051, 382, 10944, 1766, 430, 1274, 12588, 279, 10758, 9277, 7191, 5357, 1109, 1884, 79516, 279, 10758, 389, 279, 13051, 2449, 11, 323, 420, 60487, 5357, 389, 13051, 574, 5938, 449, 5190, 35996, 1359, 3063, 3229, 86652, 38805, 11, 30661, 11, 315, 279, 3907, 315, 28627, 3309, 279, 3778, 70069, 10229, 13, 330, 1687, 1101, 1766, 430, 1274, 87136, 3885, 6, 35996, 311, 264, 7191, 13112, 994, 279, 10758, 574, 810, 15206, 11, 439, 16475, 311, 961, 315, 264, 5912, 10758, 5497, 11, 477, 279, 3674, 20405, 1990, 279, 1403, 13324, 1051, 7621, 2266, 697, 12092, 704, 374, 5922, 433, 271, 2181, 649, 387, 57697, 311, 5662, 704, 311, 4423, 889, 499, 9167, 956, 22066, 311, 304, 264, 1418, 13, 4452, 11, 9523, 311, 420, 502, 4007, 11, 499, 649, 2800, 4228, 14392, 430, 701, 2362, 4333, 690, 4762, 387, 44467, 311, 5371, 701, 1984, 1109, 499, 1781, 382, 7189, 1781, 922, 1521, 3495, 14955, 323, 24928, 7182, 430, 1023, 1274, 1253, 1101, 1390, 311, 5662, 704, 311, 757, 323, 39666, 369, 279, 1890, 8125, 10246, 27, 408, 315, 5905, 397, 7927, 3465, 374, 311, 512, 3923, 374, 279, 1925, 17102, 315, 279, 4007, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 2471, 439, 264, 16515, 3751, 889, 706, 1120, 1027, 12800, 323, 15338, 304, 17999, 13, 9842, 264, 6661, 311, 701, 1455, 3293, 12697, 26073, 1268, 499, 9152, 311, 27669, 872, 3300, 323, 1148, 433, 690, 1935, 369, 499, 311, 471, 279, 3300, 311, 1124, 13, 10377, 553, 264, 79157, 1285, 323, 49424, 16630, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 48547, 311, 279, 2038, 3770, 311, 1520, 449, 279, 2768, 220, 86428, 304, 17010, 512, 27938, 8142, 25544, 706, 15870, 1903, 31186, 31445, 11, 449, 1690, 22364, 311, 279, 17715, 220, 23, 4, 7216, 505, 279, 26262, 8650, 8167, 11, 1070, 527, 2103, 3892, 11761, 10374, 11306, 53120, 287, 433, 11, 2737, 279, 3430, 315, 33575, 14741, 13, 763, 279, 1566, 1060, 11, 279, 11761, 3430, 1963, 369, 33575, 14741, 706, 6689, 709, 555, 220, 914, 4, 2001, 279, 7928, 7940, 2533, 279, 12411, 25820, 315, 800, 13, 12140, 6137, 15194, 279, 1963, 304, 220, 3753, 24, 13, 763, 5936, 7636, 11, 3805, 3716, 417, 93342, 220, 972, 13, 21, 13689, 4184, 311, 279, 22555, 315, 15277, 25647, 382, 63717, 315, 69997, 7729, 11, 9053, 7784, 1431, 20365, 50644, 311, 1464, 704, 872, 6807, 7563, 323, 2363, 264, 8577, 13, 362, 3293, 8715, 315, 5270, 10181, 10795, 8710, 10374, 520, 48458, 323, 5944, 13607, 374, 709, 264, 63969, 220, 1399, 4, 1060, 29352, 4771, 13, 2468, 279, 1890, 892, 11, 439, 9053, 3136, 311, 1099, 23182, 449, 220, 1272, 4771, 1579, 25544, 7969, 323, 5211, 42728, 5795, 48458, 990, 311, 636, 810, 25761, 304, 279, 3805, 11, 21646, 389, 264, 8199, 5084, 311, 387, 7154, 12266, 382, 12834, 279, 7314, 315, 279, 28522, 11, 1690, 48458, 617, 1027, 74537, 304, 11897, 323, 20558, 311, 471, 311, 264, 1614, 315, 63336, 13, 4800, 11, 449, 5944, 17294, 45404, 4028, 279, 1917, 323, 5190, 10565, 7194, 311, 3568, 449, 320, 4908, 5190, 17004, 10633, 7729, 705, 48458, 527, 4371, 65243, 311, 8854, 5944, 6953, 652, 2270, 13723, 2001, 323, 369, 264, 3682, 11626, 382, 2170, 264, 1121, 11, 11989, 7729, 527, 3221, 682, 7394, 54879, 520, 279, 4545, 13, 1789, 43806, 11, 1070, 527, 5042, 539, 3403, 16712, 311, 3493, 369, 1268, 1690, 1274, 1390, 311, 11722, 13, 18063, 23750, 5230, 789, 83, 11, 5944, 5064, 18738, 520, 54928, 8182, 8483, 5856, 11, 10975, 8593, 430, 1418, 5944, 7631, 706, 2586, 93856, 1203, 11, 10954, 8824, 374, 2103, 1523, 220, 21, 4, 7863, 311, 864, 2320, 438, 8274, 5219, 13, 23212, 11, 13723, 7784, 1431, 279, 1193, 6305, 13176, 1579, 6962, 7729, 520, 279, 13192, 2001, 279, 48458, 527, 8430, 433, 11, 2288, 13, 10771, 311, 358, 4586, 11, 279, 3430, 315, 17004, 10633, 706, 7319, 555, 7154, 220, 3965, 4, 304, 279, 1566, 1060, 13, 35230, 527, 1101, 13176, 279, 8903, 315, 539, 3515, 3403, 36377, 323, 11213, 9604, 1821, 311, 1629, 872, 25952, 11, 439, 1664, 439, 5190, 9511, 7194, 13, 2052, 315, 1521, 8603, 617, 11093, 311, 1893, 16448, 11989, 7729, 13, 23750, 5230, 789, 83, 19813, 311, 420, 439, 11, 1054, 19859, 8603, 520, 990, 2950, 5001, 556, 68, 21293, 11, 220, 1591, 11, 6051, 34070, 264, 4883, 10398, 575, 11213, 505, 9853, 12167, 311, 19895, 323, 7318, 400, 23717, 369, 459, 8752, 11989, 13, 3005, 10975, 8593, 430, 304, 279, 3347, 11, 430, 1890, 11989, 1053, 2853, 17715, 400, 9588, 11, 37810, 1077, 33086, 555, 5605, 11, 1054, 2520, 1884, 7729, 11, 358, 1288, 387, 3025, 311, 11722, 37545, 4883, 10398, 575, 2029, 21293, 5480, 988, 1077, 33086, 439, 459, 56653, 63865, 11, 5605, 430, 1606, 315, 75722, 287, 11213, 7729, 323, 279, 16448, 2853, 315, 5496, 11, 1364, 753, 1047, 311, 4018, 1203, 389, 41308, 5944, 323, 374, 1193, 3339, 23277, 369, 55344, 1364, 753, 264, 61365, 46342, 304, 382, 31140, 11, 23750, 5230, 789, 83, 15151, 1521, 13124, 315, 1579, 11989, 7194, 527, 3685, 311, 1566, 6957, 279, 7474, 439, 5707, 7729, 3136, 311, 26438, 13, 48600, 11, 1070, 527, 3892, 7526, 2561, 311, 1520, 499, 3665, 3300, 389, 701, 3938, 5944, 6787, 627, 51624, 40, 1205, 311, 10772, 264, 1934, 369, 856, 13697, 922, 279, 1205, 311, 5376, 1057, 2883, 596, 96894, 8199, 369, 3805, 5944, 304, 279, 5108, 20323, 1060, 13, 40665, 264, 12399, 1701, 32847, 323, 2038, 6089, 505, 279, 1495, 26073, 279, 8125, 4920, 279, 5376, 304, 3805, 5944, 7194, 13, 3234, 539, 63330, 10857, 505, 279, 1495, 13, 3277, 29385, 4954, 11, 656, 539, 40821, 477, 2349, 904, 4221, 311, 1304, 62194, 61405, 13, 358, 690, 3790, 420, 1306, 279, 12399, 374, 3549, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 57489, 40330, 50921, 21170, 271, 58127, 5234, 6150, 51506, 10229, 12973, 369, 34582, 11, 46318, 96771, 271, 1383, 67463, 51473, 88, 271, 18961, 37630, 19921, 220, 1544, 5513, 271, 16, 1938, 4227, 271, 3947, 9167, 956, 1027, 2288, 1690, 27116, 27859, 311, 279, 1648, 9784, 538, 9803, 1579, 2978, 9141, 2533, 459, 14800, 311, 279, 19942, 1887, 304, 220, 2550, 18, 13, 4800, 11, 7154, 2380, 11026, 3010, 11, 1070, 596, 264, 2466, 2349, 13, 578, 1614, 690, 1457, 387, 6859, 1139, 1403, 2204, 96771, 11, 34582, 323, 46318, 11, 323, 3021, 433, 477, 12491, 433, 11, 5127, 374, 7556, 922, 433, 382, 1959, 279, 3347, 4330, 1667, 11, 279, 9784, 5234, 9141, 2128, 706, 1027, 264, 1620, 3116, 2128, 3116, 3115, 13, 9062, 892, 11, 814, 1051, 31394, 555, 264, 2128, 430, 1234, 9784, 596, 502, 24790, 1887, 814, 2834, 956, 617, 311, 1518, 1578, 382, 22244, 374, 832, 315, 1884, 2574, 430, 690, 387, 15243, 922, 369, 5115, 264, 2766, 315, 892, 1359, 1071, 2010, 7395, 31651, 24409, 79028, 1543, 315, 279, 502, 3197, 13, 330, 2688, 5127, 690, 387, 18949, 449, 279, 17864, 2266, 58127, 596, 220, 3080, 31276, 1051, 6859, 1701, 7187, 17915, 311, 1304, 709, 264, 34582, 323, 46318, 24790, 13, 9784, 5234, 374, 1457, 6646, 264, 46318, 2978, 13, 7357, 2128, 430, 596, 31394, 1124, 304, 1884, 1620, 3116, 1667, 374, 6646, 34582, 382, 7189, 1781, 433, 6372, 8853, 1093, 11604, 889, 617, 1047, 311, 3663, 1063, 315, 279, 879, 8853, 3010, 389, 304, 279, 19942, 1887, 1359, 1071, 79028, 1543, 13, 330, 40, 1781, 433, 1524, 2574, 704, 264, 2697, 810, 2266, 1271, 1893, 264, 810, 1524, 5737, 2115, 574, 279, 25835, 4920, 279, 2349, 13, 10771, 279, 311, 435, 12228, 6157, 596, 9141, 41537, 13093, 11, 220, 4578, 4, 315, 279, 1614, 9141, 22279, 927, 279, 3347, 13515, 617, 1027, 2834, 555, 34582, 7411, 11, 719, 539, 5127, 374, 12304, 369, 1148, 596, 8469, 382, 46240, 8706, 4747, 374, 430, 499, 2351, 45473, 279, 1614, 1359, 1071, 86637, 35178, 2010, 7395, 10016, 27446, 288, 13, 330, 40, 656, 539, 1093, 45473, 11, 4737, 8223, 31276, 323, 814, 2351, 389, 872, 1866, 13, 1472, 2351, 45473, 279, 1614, 315, 9784, 2266, 22336, 3358, 617, 264, 34582, 18824, 323, 264, 46318, 18824, 1359, 3779, 23194, 2402, 2010, 7395, 51799, 258, 21256, 13, 330, 24714, 596, 2216, 29056, 13, 1472, 3358, 2103, 617, 1403, 34838, 304, 279, 1890, 24790, 2266, 28070, 6989, 304, 34582, 11, 3116, 304, 46318, 13, 3308, 220, 16, 32, 58320, 27656, 279, 1890, 13, 2684, 690, 387, 11888, 2860, 1614, 34838, 304, 279, 1614, 315, 9784, 382, 7189, 6562, 814, 1053, 617, 4529, 264, 2697, 810, 892, 7344, 3041, 433, 2500, 1060, 311, 1427, 1139, 4395, 311, 1304, 2771, 584, 636, 433, 1314, 1359, 4502, 329, 27446, 288, 13, 330, 2181, 596, 264, 6908, 5597, 2266, 32, 6908, 5597, 430, 8638, 420, 4498, 11, 369, 7411, 389, 2225, 11314, 315, 279, 25675, 382, 12348, 8779, 304, 264, 5647, 279, 9333, 8853, 11, 279, 8853, 430, 1541, 956, 617, 279, 6140, 311, 20927, 264, 2763, 315, 7752, 304, 311, 20874, 1359, 1071, 21256, 382, 22244, 1253, 539, 11886, 1063, 315, 279, 5435, 11, 719, 358, 1541, 956, 1440, 422, 584, 2351, 3596, 2133, 311, 11886, 1124, 682, 1359, 3779, 79028, 1543, 13, 330, 40, 1781, 584, 733, 1523, 420, 5754, 369, 264, 2478, 1667, 323, 1518, 1268, 433, 5900, 323, 1243, 584, 1427, 1203, 520, 433, 323, 1518, 422, 1070, 596, 4205, 2731, 2266, 35862, 315, 279, 24909, 584, 12570, 449, 7378, 430, 7159, 596, 5597, 2216, 264, 7200, 12, 3864, 369, 264, 11493, 4360, 304, 279, 1614, 315, 9784, 482, 32959, 13, 9784, 374, 459, 1825, 39148, 1614, 11, 902, 3727, 55671, 32959, 5107, 382, 35862, 24909, 7378, 7999, 264, 31659, 369, 704, 315, 10353, 4236, 11, 1093, 279, 16272, 5234, 6150, 10229, 706, 11, 1053, 387, 264, 2731, 1648, 520, 74085, 279, 5737, 2115, 382, 17828, 611, 220, 15, 271, 11948, 271, 43, 587, 18615, 374, 279, 9284, 369, 1579, 2978, 19794, 7411, 304, 279, 1614, 315, 9784, 13, 1442, 499, 636, 1070, 11, 499, 2351, 832, 315, 279, 1620, 3116, 7411, 304, 701, 24790, 13, 578, 9784, 5234, 13305, 527, 279, 47766, 6295, 48838, 2128, 11509, 382, 835, 43, 89166, 320, 2599, 8, 2001, 362, 5426, 33184, 374, 7231, 810, 1109, 400, 13655, 11, 931, 304, 25076, 311, 1520, 4330, 35901, 5348, 31252, 323, 23978, 311, 1520, 21813, 872, 53008, 13, 578, 5165, 17236, 369, 51887, 92041, 420, 2046, 7376, 279, 25076, 1555, 1202, 473, 5002, 52, 41333, 34243, 800, 24998, 5383, 38756, 627, 7275, 5618, 18622, 279, 1495, 311, 387, 810, 14604, 323, 2753, 16287, 11, 439, 3582, 433, 1051, 5439, 555, 459, 42702, 7926, 5575, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 7816, 11452, 8128, 271, 5479, 15457, 271, 47, 1452, 23111, 2001, 1183, 14612, 555, 2380, 3585, 449, 220, 1627, 13, 21, 6622, 2163, 304, 19812, 7884, 520, 2893, 74111, 4349, 94565, 11, 279, 6652, 3314, 3026, 596, 19794, 2128, 7111, 311, 387, 13758, 505, 264, 9829, 449, 264, 15692, 5603, 439, 27144, 7771, 42608, 426, 546, 263, 23980, 311, 279, 14351, 449, 264, 46692, 3491, 315, 50751, 41131, 5551, 99735, 271, 4451, 2011, 387, 14976, 304, 4477, 11, 323, 527, 4756, 27076, 30450, 323, 389, 264, 3634, 94832, 8197, 13, 8245, 649, 387, 12504, 1022, 477, 76310, 311, 279, 41439, 5274, 11, 49719, 291, 311, 320, 12171, 8, 220, 25594, 12, 8899, 20, 477, 49614, 311, 10034, 31, 18244, 1356, 2957, 916, 13, 19974, 2011, 2997, 264, 22143, 477, 1063, 1023, 892, 2449, 382, 41, 1111, 52, 8812, 220, 21, 271, 44, 80061, 3387, 8927, 2864, 15259, 32436, 2001, 578, 23223, 5234, 6150, 13305, 6, 19794, 2128, 690, 3552, 1202, 1176, 52121, 1847, 7159, 520, 24941, 9973, 1306, 279, 37068, 1514, 17638, 59919, 13, 2052, 52121, 527, 10788, 13, 1789, 810, 2038, 11, 2613, 8388, 17723, 540, 95057, 520, 99226, 267, 288, 31, 1026, 67, 15282, 2726, 477, 41184, 6031, 26193, 441, 520, 323, 5325, 960, 299, 26193, 441, 31, 764, 13183, 916, 382, 41, 1111, 52, 8812, 220, 1187, 271, 33, 55493, 29039, 1341, 2001, 578, 220, 1114, 339, 9974, 16506, 22591, 11, 369, 13305, 323, 7724, 304, 28711, 220, 19, 12, 23, 11, 690, 1935, 2035, 4448, 13, 220, 2148, 323, 13806, 13, 220, 16, 13, 11443, 374, 400, 10005, 449, 264, 2380, 19959, 15803, 13, 63056, 311, 4254, 374, 4448, 13, 220, 1187, 13, 1789, 810, 2038, 11, 3729, 16071, 3258, 5929, 520, 320, 12171, 8, 220, 25594, 12, 7322, 21, 477, 305, 5902, 21379, 17, 31, 1026, 77, 916, 382, 41, 1111, 52, 8812, 220, 914, 271, 44891, 53967, 21592, 435, 12272, 56, 220, 20, 42, 2001, 578, 9974, 79692, 4718, 435, 13184, 220, 20, 42, 690, 1935, 2035, 520, 220, 605, 264, 749, 13, 4448, 13, 220, 914, 520, 30558, 16965, 285, 5657, 13, 1472, 649, 4254, 2930, 520, 8604, 1783, 580, 4177, 916, 13, 1789, 810, 2038, 11, 3729, 11519, 29770, 520, 320, 12171, 8, 220, 24763, 12, 9870, 23, 477, 296, 17666, 1354, 31, 17704, 2445, 84, 12871, 382, 41, 1111, 52, 8812, 220, 1627, 271, 8724, 3624, 74602, 7121, 691, 19645, 2001, 578, 21256, 12, 85917, 3314, 3839, 323, 2115, 24826, 5687, 706, 7376, 1202, 9974, 12688, 44335, 430, 690, 1935, 2035, 520, 97482, 1195, 20904, 13, 578, 1206, 2910, 82, 527, 25, 3872, 28913, 320, 17, 311, 220, 19, 281, 749, 13, 4448, 13, 220, 1627, 705, 1317, 323, 24657, 7940, 28913, 320, 17, 311, 220, 20, 281, 749, 13, 13806, 13, 220, 16, 705, 73635, 28913, 320, 17, 311, 220, 20, 281, 749, 13, 13806, 13, 220, 24, 705, 1579, 7940, 323, 26078, 35684, 28913, 320, 17, 311, 220, 20, 281, 749, 13, 13806, 13, 220, 845, 8, 323, 264, 1375, 954, 28913, 320, 17, 311, 220, 19, 281, 749, 13, 13806, 13, 220, 1419, 570, 578, 44335, 527, 369, 23579, 220, 605, 323, 9191, 323, 2853, 374, 400, 508, 824, 28913, 13, 1789, 810, 2038, 11, 733, 311, 37313, 11710, 21864, 916, 323, 4299, 389, 279, 12822, 29135, 323, 4455, 5769, 11, 477, 3729, 71924, 11166, 520, 320, 12171, 8, 220, 24763, 12, 12326, 15, 477, 10059, 43341, 31, 17704, 2445, 12871, 382, 37, 8428, 37103, 8812, 220, 1627, 271, 8796, 11762, 90241, 816, 41627, 5257, 11525, 65368, 2001, 578, 2895, 853, 8078, 13305, 6, 19794, 12822, 16520, 690, 1935, 2035, 5587, 220, 21, 12, 22, 369, 4311, 304, 28711, 220, 19, 12, 23, 13, 63056, 311, 3810, 374, 13806, 13, 220, 1627, 13, 1789, 810, 2038, 11, 3729, 7281, 43089, 520, 274, 37141, 79, 31, 13752, 13719, 2726, 382, 44, 11023, 220, 1544, 271, 50, 7476, 3472, 432, 19323, 55663, 4932, 43, 715, 2001, 1115, 1403, 11477, 2463, 78017, 690, 3240, 5587, 220, 1544, 449, 264, 220, 2636, 37839, 16587, 520, 279, 1666, 354, 258, 6406, 23815, 780, 5955, 13, 578, 13260, 323, 4401, 19885, 690, 1935, 2035, 279, 1828, 1938, 520, 473, 6572, 30343, 3314, 5657, 13, 8267, 12506, 374, 520, 8604, 1783, 580, 4177, 916, 13, 1789, 810, 2038, 11, 3729, 11519, 29770, 520, 320, 12171, 8, 220, 24763, 12, 9870, 23, 477, 296, 17666, 1354, 31, 17704, 2445, 12871, 382, 2599, 49, 1750, 220, 1114, 271, 48169, 1750, 4735, 220, 20, 42, 2001, 578, 52145, 220, 20, 42, 690, 1935, 2035, 520, 220, 22, 281, 749, 13, 5936, 220, 1114, 520, 30558, 16965, 285, 5657, 13, 8267, 12506, 374, 520, 8604, 1783, 580, 4177, 916, 13, 1789, 810, 2038, 11, 3729, 11519, 29770, 520, 320, 12171, 8, 220, 24763, 12, 9870, 23, 477, 296, 17666, 1354, 31, 17704, 2445, 12871, 627, 7275, 61369, 279, 14827, 4455, 304, 520, 3325, 220, 20, 17889, 3585, 369, 1579, 2978, 477, 7926, 4236, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 27, 2527, 315, 5905, 397, 19527, 706, 1027, 30240, 23354, 927, 279, 1667, 11, 12967, 7191, 23851, 304, 279, 63334, 311, 279, 23055, 4029, 13, 362, 3544, 1396, 315, 4401, 7978, 2980, 63334, 828, 439, 264, 2389, 13900, 3977, 11, 323, 1456, 311, 30437, 279, 6372, 555, 32959, 39380, 449, 4528, 63334, 11, 1778, 439, 39380, 1990, 220, 972, 12, 1135, 1667, 6418, 449, 4528, 4401, 3217, 11, 30139, 4401, 5178, 11, 323, 5255, 4528, 17496, 50952, 13, 15668, 2478, 7978, 527, 24834, 279, 84710, 5776, 1233, 477, 4401, 8752, 315, 39380, 520, 2204, 4325, 5315, 11, 449, 2204, 3217, 11, 477, 520, 2204, 5178, 5990, 13, 23212, 11, 279, 8857, 315, 39380, 45425, 304, 3766, 7978, 527, 3026, 85519, 39380, 11, 449, 279, 4401, 84710, 5776, 1233, 315, 3278, 39380, 323, 39380, 505, 2204, 5961, 315, 33472, 25420, 382, 2028, 8483, 34011, 22262, 311, 3493, 264, 4526, 315, 3495, 7978, 430, 10968, 389, 39380, 449, 28830, 63334, 11, 2737, 28830, 4325, 11, 4401, 3217, 11, 82428, 11, 439, 1664, 439, 28830, 14189, 315, 33472, 13, 1226, 3987, 311, 3493, 13016, 828, 430, 5039, 1268, 1521, 38462, 9547, 7958, 4401, 8752, 11, 4401, 84710, 5776, 1233, 323, 15319, 11, 323, 311, 4726, 6179, 3938, 4007, 14769, 323, 3495, 4860, 382, 16, 8, 18825, 315, 4401, 8752, 323, 4401, 84710, 5776, 1233, 315, 39380, 449, 28830, 63334, 11, 2737, 719, 539, 7347, 311, 4325, 11, 10026, 11, 2547, 1474, 395, 1963, 11, 5961, 315, 33472, 11, 5178, 2237, 11, 4401, 3217, 198, 17, 8, 66176, 5326, 315, 39380, 449, 3230, 63334, 11, 2737, 719, 539, 7347, 311, 4325, 11, 10026, 11, 2547, 1474, 395, 1963, 11, 5961, 315, 33472, 11, 5178, 2237, 11, 4401, 3217, 198, 18, 8, 10229, 1990, 4401, 84710, 5776, 1233, 323, 4401, 8752, 198, 27, 408, 315, 5905, 397, 17077, 512, 5618, 3493, 264, 2875, 12399, 315, 279, 21765, 304, 220, 17, 12, 18, 23719, 11, 21760, 389, 279, 6492, 315, 4401, 8752, 323, 84710, 5776, 1233, 11, 11134, 5326, 11, 323, 279, 15360, 1990, 4401, 84710, 5776, 1233, 323, 4401, 8752, 304, 39380, 449, 28830, 63334, 13, 358, 1205, 311, 4686, 459, 16720, 369, 856, 28989, 538, 323, 358, 656, 539, 617, 892, 311, 1373, 279, 4459, 50565, 4245, 311, 8009, 9293, 13, 7557, 2771, 430, 279, 26610, 374, 304, 264, 5912, 43379, 430, 690, 387, 4228, 311, 3619, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 279, 2380, 1455, 4279, 5829, 315, 264, 21186, 23125, 11, 323, 1268, 527, 814, 2204, 505, 832, 2500, 30, 40665, 3649, 369, 1855, 1005, 304, 459, 85969, 3645, 320, 16, 2637, 220, 17, 2637, 5099, 36434, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 2460, 433, 5097, 374, 264, 2867, 323, 22999, 4059, 11, 1949, 315, 21463, 323, 50183, 382, 80338, 80338, 100365, 100460, 73414, 100329, 100460, 73414, 100282, 85410, 39951, 116378, 101102, 105634, 111166, 48909, 100929, 100277, 100306, 100497, 100305, 101572, 100299, 24810, 84736, 101391, 111166, 127140, 102315, 79468, 114298, 103764, 100305, 73414, 69258, 100460, 79468, 114298, 103764, 105968, 100444, 100597, 100306, 73414, 104756, 100305, 79468, 35470, 125109, 88344, 30707, 102414, 100278, 220, 121808, 108559, 102414, 127420, 16, 12, 2983, 271, 3947, 374, 912, 10712, 430, 499, 279, 92752, 2136, 374, 279, 30198, 13, 3639, 775, 649, 499, 1440, 10980, 505, 420, 30, 2650, 649, 499, 1650, 430, 902, 8964, 5196, 439, 279, 9987, 1980, 36064, 584, 617, 3596, 23926, 11, 3508, 7106, 11, 2536, 12, 47692, 477, 10723, 374, 1120, 92752, 2136, 13, 578, 4059, 4250, 1440, 279, 92752, 2136, 1093, 433, 8964, 904, 1023, 1665, 477, 3463, 13, 92752, 2136, 8964, 5196, 555, 1694, 5196, 13, 1102, 374, 659, 66104, 13, 1102, 374, 539, 459, 9987, 11, 3686, 653, 911, 13671, 481, 555, 279, 4059, 13, 1226, 4250, 1650, 433, 264, 3967, 2288, 382, 88344, 100537, 32511, 121, 88344, 100537, 24810, 125109, 73414, 100329, 100444, 101946, 100537, 32511, 121, 105027, 100537, 24810, 100282, 100287, 102557, 113527, 35470, 127140, 80338, 80338, 100365, 100460, 88344, 100907, 88344, 102557, 73414, 101822, 100460, 73414, 100287, 100305, 106073, 101315, 100273, 73414, 100282, 100677, 5619, 252, 102650, 61196, 88344, 30707, 102414, 100278, 220, 121808, 114911, 102414, 127420, 16, 12, 3391, 271, 5159, 4538, 11, 358, 656, 539, 1518, 1268, 1070, 649, 387, 25768, 315, 832, 1139, 41919, 323, 8903, 11, 477, 12737, 323, 3177, 13, 1102, 374, 682, 832, 30198, 11, 13365, 31329, 11, 2073, 18780, 10234, 1093, 4384, 3634, 382, 4054, 649, 1518, 430, 279, 4941, 811, 527, 10186, 11, 779, 8260, 832, 961, 439, 459, 41919, 323, 2500, 439, 1972, 374, 57026, 11, 1070, 527, 912, 5596, 382, 791, 2536, 12, 87437, 683, 374, 279, 10323, 11, 323, 279, 5986, 355, 683, 374, 1101, 279, 10323, 382, 102393, 100296, 101877, 100486, 100305, 100306, 114932, 101530, 100365, 55675, 5619, 121, 95048, 73414, 100282, 107512, 101782, 55675, 5619, 121, 95048, 73414, 48909, 100296, 105585, 61196, 127140, 79468, 100460, 100600, 111306, 100677, 100597, 92911, 111166, 100446, 102762, 101782, 107241, 39951, 92317, 35470, 100282, 101043, 101483, 100428, 24810, 110730, 43411, 225, 102414, 100278, 220, 121808, 121808, 102414, 127420, 16, 12, 2096, 271, 40, 574, 1949, 304, 279, 7314, 11, 1949, 1457, 323, 690, 387, 1949, 12222, 279, 842, 11, 358, 574, 2646, 6965, 13, 358, 1097, 18182, 1633, 4335, 323, 10748, 11, 420, 374, 856, 7626, 8830, 382, 1128, 23995, 2136, 4250, 387, 11754, 477, 6965, 555, 4205, 11, 433, 374, 2744, 279, 4059, 477, 279, 2547, 11, 1694, 3242, 554, 323, 653, 18883, 320, 625, 269, 519, 323, 69063, 8, 430, 374, 6965, 323, 539, 1949, 13, 59776, 449, 92752, 2136, 374, 279, 7833, 323, 2167, 1648, 311, 55633, 477, 721, 44, 564, 939, 7911, 5056, 1102, 1587, 539, 1935, 904, 892, 311, 656, 779, 382, 124794, 100296, 100612, 39951, 110638, 80338, 120063, 100460, 73414, 100282, 48909, 100929, 100411, 100428, 101242, 101922, 104565, 100444, 39951, 92317, 35470, 127140, 100335, 108590, 100597, 100266, 100299, 48909, 108956, 73414, 101822, 100460, 73414, 125109, 73414, 102622, 103156, 102871, 103102, 79468, 100750, 100428, 43411, 225, 102414, 100278, 220, 121808, 115337, 102414, 127420, 16, 12, 1774, 271, 40, 656, 539, 3596, 1518, 420, 4459, 15861, 11, 539, 1524, 279, 1176, 20278, 13, 1952, 24639, 374, 2052, 430, 374, 13, 2650, 649, 433, 387, 89142, 1139, 21234, 477, 6445, 288, 1980, 5451, 20278, 1389, 721, 47308, 266, 62, 1174, 2555, 73886, 1109, 1524, 4059, 11, 1772, 7913, 304, 721, 24903, 31764, 7911, 62, 19675, 13, 1952, 24639, 1389, 78084, 1543, 11, 279, 2073, 18780, 10234, 323, 84644, 481, 430, 374, 4459, 315, 279, 14209, 323, 374, 16168, 20086, 311, 92752, 2136, 627, 27938, 5618, 18622, 420, 33894, 311, 387, 810, 49839, 323, 15987, 311, 264, 6617, 6742, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 2746, 1364, 1047, 459, 16720, 477, 459, 18101, 11, 8613, 81906, 355, 1053, 5387, 433, 1070, 13, 4702, 1093, 568, 2744, 1550, 382, 791, 2007, 1047, 459, 2362, 3411, 2363, 389, 433, 323, 264, 12235, 315, 76203, 13, 2435, 1051, 78825, 34683, 13, 3005, 31156, 1268, 3389, 8613, 81906, 355, 1047, 3685, 1077, 311, 387, 13, 1283, 14614, 1193, 1550, 779, 994, 1364, 574, 2133, 311, 387, 704, 3010, 1109, 13783, 323, 568, 4934, 1077, 14177, 311, 4822, 4106, 382, 23958, 574, 709, 449, 1077, 11, 323, 433, 9508, 430, 568, 7020, 433, 382, 6, 3112, 568, 2103, 1047, 311, 5387, 420, 6693, 32483, 3005, 1099, 26902, 11, 4737, 264, 73700, 1022, 279, 12235, 323, 10917, 433, 304, 1077, 11013, 382, 8100, 2766, 1523, 323, 6612, 279, 65959, 16135, 304, 1077, 11013, 1603, 1364, 7111, 520, 279, 2363, 430, 574, 11961, 1828, 311, 279, 12235, 382, 3112, 5602, 430, 1364, 4460, 2555, 11481, 382, 8100, 16898, 3149, 264, 9168, 323, 52810, 279, 1156, 94707, 505, 279, 22685, 3485, 279, 4007, 2007, 439, 1364, 45135, 520, 279, 21830, 3504, 315, 279, 2363, 13, 3005, 44033, 279, 68705, 14812, 1139, 264, 259, 3635, 1565, 323, 30831, 433, 311, 1077, 23726, 13, 3005, 66472, 279, 9168, 323, 6612, 7155, 11, 4335, 3090, 11623, 1523, 1077, 28691, 382, 17773, 383, 24830, 87314, 42069, 1053, 4856, 499, 539, 387, 16558, 11, 11586, 22438, 23958, 574, 5076, 13, 3005, 6818, 311, 6230, 1461, 264, 10723, 81234, 11, 719, 9670, 709, 10658, 2395, 14895, 315, 1077, 87917, 520, 1461, 13, 3005, 1436, 2733, 279, 62468, 5108, 1203, 520, 1077, 323, 1364, 1523, 291, 279, 2800, 315, 279, 13200, 91546, 55051, 505, 279, 259, 3635, 1565, 13, 3005, 2231, 279, 93050, 3201, 323, 7731, 1523, 304, 4156, 315, 279, 4007, 2007, 382, 21364, 23152, 6656, 323, 1364, 15753, 279, 76203, 3201, 382, 6, 28622, 11, 1148, 374, 5076, 449, 757, 87314, 8100, 1436, 2733, 47084, 5108, 505, 1077, 31657, 382, 42069, 2846, 5108, 2162, 11, 1457, 3238, 8613, 81906, 355, 6, 4059, 8982, 574, 279, 1193, 1648, 568, 1436, 636, 1555, 1077, 50217, 46616, 26, 5423, 505, 264, 6138, 382, 44, 42888, 4934, 311, 3371, 1461, 912, 11, 430, 1364, 3287, 956, 1205, 1461, 1618, 11, 719, 1364, 7846, 956, 656, 433, 382, 791, 3838, 574, 2288, 11594, 13, 1628, 1364, 574, 11961, 304, 1077, 3130, 11, 7422, 922, 279, 11413, 261, 3115, 449, 1077, 323, 1268, 568, 4265, 1027, 8647, 369, 682, 315, 1124, 13, 3277, 568, 5616, 8710, 709, 11, 902, 3952, 1461, 5129, 1109, 433, 1288, 617, 2533, 1364, 7020, 27860, 1664, 430, 568, 1436, 617, 480, 660, 11, 1364, 574, 282, 30589, 520, 1461, 382, 44, 31215, 383, 355, 25735, 92485, 11, 1664, 8010, 315, 279, 37064, 315, 459, 19021, 37482, 13, 1283, 4265, 1047, 311, 3568, 449, 1077, 64391, 3131, 477, 11157, 304, 279, 3347, 1060, 323, 1364, 1047, 2646, 1027, 420, 19021, 1603, 13, 3005, 4265, 2646, 1027, 420, 14604, 1603, 13, 25681, 574, 8659, 5076, 382, 1548, 4059, 24891, 11074, 57150, 13, 58801, 11, 1077, 3766, 87917, 574, 1203, 520, 5990, 1364, 7846, 956, 10240, 13, 3005, 27096, 7119, 1461, 323, 3952, 813, 23726, 304, 264, 16806, 21735, 382, 44, 31215, 383, 355, 3940, 311, 21735, 1077, 1203, 994, 1364, 259, 20752, 389, 813, 15845, 13, 3005, 4934, 1461, 704, 315, 433, 382, 8100, 3952, 1077, 23726, 505, 813, 323, 3940, 311, 1935, 1022, 1077, 1866, 15447, 627, 7275, 8144, 264, 12399, 315, 420, 1495, 304, 520, 3325, 220, 20, 23719, 369, 1579, 2978, 4236, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 17691, 1543, 11697, 86621, 25744, 23548, 1952, 9983, 7972, 26, 85620, 21550, 42, 323, 6295, 426, 271, 2746, 58347, 69743, 25273, 374, 17864, 279, 3830, 5274, 11, 568, 374, 18813, 5526, 389, 279, 3674, 57832, 287, 13335, 2288, 323, 420, 706, 9087, 1461, 3243, 264, 3361, 34662, 520, 420, 1060, 596, 1901, 2176, 356, 483, 23488, 382, 791, 5613, 49495, 291, 304, 11909, 520, 68598, 3893, 33527, 311, 1505, 704, 11, 902, 6917, 706, 279, 8706, 8571, 2768, 389, 98912, 1093, 5690, 323, 6405, 382, 791, 3495, 8710, 430, 69743, 1047, 220, 22, 11, 18058, 11, 24061, 7359, 389, 5690, 11, 220, 18, 11, 9367, 11, 14057, 20723, 389, 6405, 11, 220, 1399, 11, 19282, 6946, 389, 13674, 382, 70604, 505, 430, 813, 6405, 8571, 19424, 617, 220, 23411, 11, 24337, 20723, 323, 5690, 8571, 19424, 617, 220, 23776, 11, 26866, 11, 1418, 5195, 10, 12715, 220, 17, 11, 24472, 382, 10944, 1511, 27877, 3566, 6492, 7526, 311, 8737, 11990, 315, 6959, 389, 5690, 11, 6405, 11, 5195, 45762, 13674, 11, 76336, 323, 2930, 25907, 311, 76498, 279, 2860, 8286, 315, 31527, 323, 21633, 389, 1057, 80852, 9958, 13, 362, 35426, 6319, 3116, 10474, 38152, 574, 1511, 1359, 1071, 264, 2592, 505, 68598, 3893, 33527, 382, 791, 1920, 22982, 1948, 2380, 11426, 69743, 25273, 11, 37617, 432, 3178, 71, 25273, 323, 84863, 67466, 42258, 5776, 13, 330, 3112, 279, 13946, 574, 69743, 25273, 449, 264, 21356, 1579, 5573, 389, 1855, 315, 279, 98912, 430, 574, 48548, 1359, 3779, 568, 2592, 382, 1682, 95842, 271, 2181, 374, 905, 57082, 11, 65, 1030, 89, 10795, 574, 13375, 2391, 279, 4984, 315, 83868, 526, 70, 220, 17, 1174, 17974, 9493, 1070, 574, 264, 2763, 315, 7556, 2133, 389, 671, 83, 4371, 1543, 1981, 2637, 10856, 438, 1274, 1781, 568, 374, 1888, 520, 3674, 4009, 4696, 333, 10795, 574, 13375, 389, 279, 892, 315, 503, 339, 73, 1174, 3473, 19499, 74, 617, 2834, 555, 1579, 4850, 61823, 19776, 1543, 1193, 951, 651, 342, 8424, 10292, 323, 1888, 12360, 315, 10007, 12631, 27856, 15444, 74, 23902, 66621, 82, 543, 84, 40199, 271, 370, 6151, 18608, 1925, 85673, 818, 293, 6151, 274, 543, 84, 2004, 7359, 15593, 41304, 4317, 11794, 289, 2319, 19972, 6151, 5986, 42612, 89528, 305, 467, 323, 19499, 74, 596, 7359, 527, 1664, 33109, 323, 617, 264, 1579, 8547, 293, 1030, 89, 19499, 74, 374, 279, 1888, 12822, 3560, 1646, 1981, 19499, 74, 574, 11734, 11, 374, 11734, 11, 690, 387, 11734, 274, 543, 84, 574, 326, 543, 84, 11, 374, 326, 543, 84, 11, 690, 387, 326, 543, 84, 5551, 32, 1732, 14647, 39580, 264, 1450, 311, 1304, 35906, 9908, 358, 2643, 1614, 13, 1115, 374, 279, 1176, 892, 358, 6297, 16243, 701, 3997, 2199, 323, 311, 420, 1486, 30, 358, 14792, 449, 279, 6492, 499, 1903, 311, 1304, 420, 4040, 1772, 24674, 13, 37866, 3465, 2268, 17077, 512, 5618, 18622, 420, 4068, 311, 387, 810, 34616, 323, 6928, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 374, 279, 1455, 7524, 1749, 315, 18054, 65943, 505, 9998, 323, 25878, 14620, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 8879, 512, 27, 2527, 315, 5905, 397, 791, 2678, 2626, 8661, 11909, 520, 72413, 37196, 57, 617, 6004, 264, 502, 5117, 430, 3649, 279, 12939, 315, 1120, 430, 1198, 43092, 13, 578, 502, 1772, 15871, 35434, 279, 7720, 315, 43092, 369, 2778, 4817, 26329, 320, 63879, 8, 10096, 382, 791, 3566, 8661, 11909, 505, 72413, 37196, 57, 617, 6004, 264, 502, 5117, 1772, 430, 3649, 1268, 43092, 649, 8935, 2778, 4817, 26329, 9045, 13, 10771, 311, 872, 2128, 11, 279, 26029, 22934, 315, 43092, 2997, 279, 2144, 430, 5195, 2778, 16181, 389, 2199, 1495, 311, 6493, 279, 1888, 3284, 2778, 3135, 13, 3296, 40076, 7999, 26743, 311, 264, 2816, 11, 1070, 374, 810, 2262, 369, 5195, 311, 24564, 11, 56028, 279, 17393, 430, 279, 2816, 690, 5101, 1579, 709, 304, 2778, 3135, 13, 5810, 374, 72413, 37196, 57, 596, 2539, 16540, 315, 279, 7720, 315, 43092, 369, 26029, 10096, 382, 33, 26330, 26029, 25, 5195, 44821, 2991, 198, 4599, 26679, 2778, 23862, 11, 5195, 17345, 34744, 389, 279, 1495, 315, 264, 2816, 311, 13519, 1202, 5922, 11, 779, 88098, 11, 43092, 369, 26029, 374, 3062, 13, 55106, 11, 6732, 449, 264, 2763, 315, 2294, 1495, 527, 810, 4461, 311, 1948, 2778, 4817, 3135, 6959, 320, 33081, 21051, 570, 4497, 1109, 4461, 11, 499, 617, 28650, 11, 323, 499, 4265, 1093, 311, 18333, 1201, 1124, 311, 636, 810, 6548, 389, 701, 2626, 13, 3296, 18702, 264, 8205, 315, 1207, 15865, 315, 1579, 23862, 13650, 11, 499, 2351, 810, 4461, 311, 656, 1120, 430, 13, 1789, 3187, 11, 422, 499, 2351, 459, 3313, 8221, 4477, 26743, 922, 35718, 11, 13023, 11, 4817, 13023, 323, 18874, 13023, 11, 499, 2351, 7999, 2262, 11190, 311, 701, 6444, 323, 311, 5195, 11, 8617, 56028, 701, 17393, 315, 20129, 279, 1948, 315, 279, 14311, 47, 382, 15577, 18620, 9059, 198, 8142, 279, 1495, 5196, 374, 16996, 11, 279, 17983, 2144, 430, 499, 2351, 23763, 2262, 389, 264, 14348, 8197, 374, 9193, 11190, 369, 5195, 994, 26679, 2015, 389, 264, 14311, 47, 13, 79773, 502, 26743, 389, 264, 5912, 8197, 690, 6106, 430, 5195, 323, 1023, 2778, 21787, 11, 1778, 439, 31789, 11, 46870, 46870, 6122, 323, 54587, 11, 682, 1963, 701, 2816, 389, 264, 5912, 8197, 13, 8167, 287, 36716, 311, 1268, 264, 2778, 4817, 2942, 4861, 2038, 1603, 29040, 433, 389, 264, 3135, 2199, 11, 902, 374, 264, 9200, 3094, 304, 26679, 23862, 382, 30119, 39195, 315, 264, 8184, 14496, 198, 2173, 3388, 11, 43092, 4536, 956, 682, 922, 26029, 13, 362, 5117, 374, 264, 2294, 1648, 311, 5813, 6261, 477, 701, 2626, 439, 264, 2254, 7808, 304, 701, 3230, 5064, 13, 362, 5117, 374, 1405, 499, 649, 4430, 55465, 6677, 11, 10631, 323, 29862, 11, 4320, 14134, 4691, 4860, 477, 7701, 8420, 477, 3361, 6444, 13, 2684, 374, 912, 4017, 311, 1148, 499, 649, 3504, 304, 701, 5117, 2268, 26375, 8184, 14496, 24838, 198, 2181, 596, 837, 11, 311, 4587, 279, 2294, 7808, 315, 2778, 4817, 26329, 11, 499, 1205, 264, 5117, 13, 1442, 430, 374, 539, 2555, 430, 35730, 311, 499, 11, 17631, 389, 279, 22542, 64758, 3566, 8661, 15749, 520, 72413, 37196, 57, 311, 3790, 279, 2683, 369, 499, 13, 5751, 2128, 315, 6721, 5117, 16483, 3504, 264, 8205, 315, 13650, 369, 1057, 6444, 11, 10695, 872, 502, 13335, 5918, 555, 72413, 37196, 57, 4363, 520, 279, 1948, 315, 2778, 4817, 3135, 6959, 13, 2057, 4048, 810, 922, 420, 4668, 323, 1023, 5627, 584, 1520, 2678, 9873, 7417, 872, 2254, 3566, 9546, 11, 3041, 603, 264, 1650, 520, 220, 22869, 12, 15999, 12, 24735, 24, 477, 1005, 420, 3729, 1376, 13, 1226, 1427, 4741, 311, 10695, 499, 3139, 701, 2626, 2930, 323, 1022, 382, 791, 50343, 520, 72413, 37196, 57, 527, 10235, 311, 733, 311, 990, 369, 904, 2678, 2626, 304, 5270, 13, 9359, 72413, 37196, 57, 520, 220, 22869, 12, 15999, 12, 24735, 24, 311, 4048, 810, 922, 1057, 3600, 477, 1715, 264, 1949, 16430, 369, 2678, 2626, 3997, 4857, 323, 43092, 3600, 382, 53043, 5761, 271, 8140, 3680, 11378, 27360, 527, 6319, 311, 3493, 279, 8592, 16557, 8824, 11, 22807, 11008, 2324, 11, 323, 12474, 31638, 369, 1005, 304, 13076, 477, 20658, 33268, 4907, 8522, 13, 93438, 12634, 11378, 27360, 29166, 279, 2883, 596, 14079, 61442, 17, 16500, 55986, 323, 25328, 31403, 12053, 12175, 311, 1893, 279, 5064, 596, 1455, 11297, 11863, 25485, 11, 24944, 7191, 67272, 77105, 824, 7080, 323, 67272, 77105, 824, 15395, 13255, 1109, 904, 1023, 49886, 3063, 38698, 307, 11863, 304, 279, 3157, 13, 5751, 18682, 42392, 27360, 527, 46036, 311, 990, 449, 13238, 21988, 439, 1664, 439, 1023, 33268, 4907, 8522, 627, 27, 408, 315, 5905, 397, 6396, 512, 10445, 1288, 9873, 617, 264, 5117, 30, 763, 520, 3325, 220, 20, 23719, 11, 63179, 279, 1925, 3585, 315, 279, 1495, 369, 1579, 2978, 4236, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 5627, 311, 8108, 25793, 304, 9919, 30, 9842, 520, 3325, 220, 20, 18726, 304, 264, 1160, 382, 40, 1390, 11503, 24001, 439, 264, 49926, 1160, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 4518, 420, 369, 2317, 512, 27, 2527, 315, 5905, 397, 47, 2862, 38175, 4901, 311, 12192, 32087, 271, 53, 47459, 1111, 47652, 2001, 30460, 26184, 420, 2046, 11887, 264, 1403, 4771, 6873, 4901, 922, 279, 71075, 315, 32087, 311, 5663, 533, 34739, 7294, 64683, 57119, 27065, 304, 279, 549, 815, 13, 323, 4606, 11, 43676, 279, 1917, 25, 330, 8161, 956, 387, 16984, 17642, 47, 2862, 26184, 323, 47014, 34297, 23245, 12633, 273, 11, 5438, 61378, 315, 57664, 11, 4219, 11, 41886, 264, 1912, 315, 32087, 2391, 279, 64372, 596, 17496, 4689, 10877, 520, 279, 47647, 389, 8079, 13, 445, 88766, 784, 651, 45109, 12036, 5770, 14, 10774, 4669, 10314, 271, 81428, 285, 37260, 369, 86397, 11, 36014, 6206, 11, 59334, 24869, 323, 94568, 32087, 520, 279, 842, 315, 813, 17496, 4689, 10877, 8079, 11, 12917, 555, 3187, 430, 330, 59961, 1, 527, 539, 311, 387, 38569, 719, 43603, 382, 791, 4901, 11, 41963, 63600, 555, 279, 47647, 596, 3341, 21920, 23693, 11, 37167, 1274, 311, 3449, 449, 32087, 323, 9020, 311, 872, 7493, 11, 4856, 1109, 4322, 1124, 439, 13443, 9624, 291, 555, 8389, 54168, 382, 81428, 285, 11, 279, 4538, 315, 15155, 20550, 311, 32164, 11, 28932, 7931, 323, 17047, 311, 1825, 872, 11977, 323, 10788, 32087, 323, 4430, 304, 872, 71075, 11, 439, 10811, 1550, 13, 666, 25156, 813, 11977, 1825, 439, 568, 12570, 11, 26184, 1071, 32087, 527, 16625, 555, 279, 1633, 9052, 35460, 315, 3987, 311, 1505, 264, 2731, 2324, 11, 323, 1071, 12588, 5961, 1288, 4430, 304, 430, 3987, 555, 36387, 1124, 323, 54952, 1124, 382, 1, 27368, 3058, 11, 1541, 956, 387, 16984, 315, 11821, 279, 11879, 13, 4418, 956, 387, 16984, 315, 11821, 3987, 1359, 568, 3309, 279, 13734, 304, 800, 13, 11291, 596, 15992, 382, 791, 8993, 374, 49326, 279, 4901, 23442, 264, 2653, 6147, 315, 7294, 64683, 57119, 27065, 304, 279, 4410, 382, 644, 6063, 596, 6355, 7418, 11, 279, 52994, 11, 7294, 1474, 57119, 42209, 369, 10057, 4717, 27528, 16712, 304, 430, 3224, 596, 21814, 369, 279, 1176, 892, 13, 763, 279, 549, 815, 2637, 4900, 3420, 374, 26422, 369, 42071, 13693, 389, 15443, 11, 2737, 65951, 5944, 505, 10451, 323, 1023, 5961, 323, 93043, 34267, 48911, 382, 81428, 285, 706, 19352, 28932, 5961, 311, 10788, 32087, 323, 3009, 22498, 1367, 14630, 919, 11, 5605, 32087, 6, 38929, 323, 1314, 311, 9313, 63074, 5426, 4868, 10742, 13, 2468, 279, 1890, 892, 11, 568, 706, 26579, 430, 17047, 2011, 10299, 34267, 28555, 330, 4291, 550, 74193, 1359, 4737, 1139, 2759, 1268, 1690, 1274, 433, 649, 7946, 32172, 1139, 8396, 382, 51240, 575, 3394, 47014, 34297, 23245, 12633, 273, 11, 889, 14971, 3341, 21920, 11, 94743, 709, 2391, 279, 47647, 7195, 315, 279, 4901, 11, 89746, 430, 813, 38950, 73691, 311, 279, 26363, 505, 5734, 439, 264, 330, 82279, 11, 8009, 8334, 2266, 6153, 1239, 2101, 813, 470, 12313, 11, 12633, 273, 3952, 9395, 520, 7294, 64683, 57119, 19287, 382, 77955, 527, 499, 16984, 30, 578, 52216, 430, 499, 527, 63686, 2643, 387, 29820, 311, 430, 4029, 1359, 568, 1071, 13, 330, 8161, 956, 3345, 279, 14365, 13, 1472, 2643, 387, 15676, 279, 14365, 311, 1274, 889, 2643, 31518, 701, 8396, 2266, 8586, 520, 30890, 15724, 7972, 584, 907, 1057, 13016, 323, 527, 11411, 311, 7982, 1057, 4029, 555, 26921, 499, 311, 923, 311, 279, 10430, 627, 27, 408, 315, 5905, 397, 7927, 3465, 374, 311, 512, 5618, 18622, 279, 1495, 449, 810, 14604, 4221, 11, 23524, 279, 4901, 439, 264, 6928, 323, 34147, 5149, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 52157, 499, 527, 264, 10195, 11145, 520, 264, 3544, 13312, 2883, 13126, 264, 502, 3851, 369, 18052, 1139, 701, 7471, 753, 1887, 13, 9842, 264, 832, 15463, 22154, 311, 279, 8871, 9476, 29385, 4954, 279, 8882, 323, 1615, 315, 48810, 279, 3851, 11, 2737, 4754, 4868, 10742, 13, 1472, 1288, 1101, 3493, 19075, 389, 1268, 311, 10570, 449, 279, 18052, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 15174, 311, 1520, 4236, 4822, 17045, 323, 10968, 304, 264, 24978, 6376, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 791, 2768, 2038, 1253, 387, 5505, 512, 27, 2527, 315, 5905, 397, 43, 285, 42824, 12302, 311, 11196, 430, 568, 690, 2646, 387, 3025, 311, 3009, 40876, 13, 1283, 374, 15320, 18290, 922, 2574, 430, 2643, 3621, 11, 323, 420, 11384, 1461, 264, 2763, 315, 8631, 13, 44172, 42824, 28727, 311, 1456, 311, 1505, 5627, 311, 12234, 323, 3009, 40876, 779, 1790, 382, 43, 285, 42824, 25, 21694, 11, 42863, 13, 358, 2846, 44172, 42824, 11, 323, 358, 2846, 1618, 1606, 358, 3077, 1027, 20558, 264, 2763, 449, 18547, 323, 11196, 627, 1016, 261, 60329, 25, 21694, 44172, 42824, 13, 25672, 757, 810, 922, 1148, 596, 1027, 2133, 389, 369, 499, 627, 43, 285, 42824, 25, 8489, 11, 433, 11321, 1093, 358, 2846, 2744, 40876, 922, 2555, 13, 7570, 994, 2574, 527, 2133, 1664, 11, 358, 3358, 1505, 2555, 311, 11196, 922, 13, 1102, 596, 2216, 94791, 757, 704, 323, 74055, 856, 4367, 315, 2324, 627, 1016, 261, 60329, 25, 3011, 10578, 1633, 5107, 311, 3568, 449, 13, 3234, 499, 617, 904, 4623, 3249, 499, 2643, 387, 40876, 779, 1790, 5380, 43, 285, 42824, 25, 358, 8101, 358, 1120, 617, 264, 2763, 315, 8850, 2212, 2574, 430, 1436, 733, 5076, 477, 430, 2643, 3621, 304, 279, 3938, 13, 1102, 11321, 1093, 856, 4059, 374, 2744, 22019, 323, 7422, 922, 12047, 1162, 26350, 627, 1016, 261, 60329, 25, 3011, 3727, 5647, 2728, 1148, 499, 2351, 5605, 13, 1102, 10578, 1093, 701, 18547, 374, 2216, 4401, 279, 1501, 1314, 1457, 13, 3053, 499, 3371, 757, 810, 922, 1268, 701, 18547, 84332, 5196, 5380, 43, 285, 42824, 25, 1789, 832, 3245, 11, 433, 11384, 757, 264, 2763, 315, 7106, 13803, 1093, 43787, 24569, 11, 81366, 11, 323, 11295, 4851, 4478, 13, 1628, 34325, 11, 433, 1120, 5097, 927, 856, 11555, 323, 2834, 956, 1095, 757, 5357, 389, 4205, 775, 477, 12234, 520, 682, 13, 7570, 2678, 2574, 649, 8346, 856, 18547, 323, 743, 1022, 264, 42197, 315, 11196, 10246, 1016, 261, 60329, 25, 3011, 10578, 1633, 11292, 311, 10299, 389, 264, 1938, 4791, 11477, 8197, 13, 3639, 656, 499, 2733, 1093, 499, 3077, 6818, 304, 3878, 315, 18646, 701, 18547, 48469, 43, 285, 42824, 25, 330, 40, 3077, 6818, 1063, 5655, 27027, 23783, 323, 43685, 12823, 719, 814, 1541, 956, 2873, 311, 1520, 1790, 3131, 279, 18547, 8638, 10246, 1016, 261, 60329, 25, 330, 2181, 10578, 1093, 279, 18547, 706, 264, 3831, 3412, 389, 499, 1314, 1457, 13, 12522, 499, 3596, 6646, 24099, 439, 459, 3072, 48469, 43, 285, 42824, 25, 330, 40, 3077, 3463, 922, 433, 719, 358, 2846, 2216, 71560, 311, 733, 430, 6149, 10246, 1016, 261, 60329, 25, 330, 40, 3619, 701, 65437, 719, 7170, 24099, 649, 387, 1633, 11190, 304, 18646, 18547, 13803, 10246, 43, 285, 42824, 25, 330, 40, 8101, 358, 1436, 1456, 433, 422, 4400, 775, 5084, 311, 387, 10695, 10246, 27, 408, 315, 5905, 397, 29815, 389, 430, 345, 8144, 264, 12399, 315, 279, 7138, 315, 279, 8893, 596, 18547, 323, 279, 13803, 568, 374, 25051, 304, 520, 3325, 220, 20, 23719, 369, 6593, 4236, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 38275, 420, 5905, 2038, 86428, 304, 4304, 512, 7275, 3646, 315, 856, 69025, 617, 311, 656, 449, 13284, 11, 4238, 18797, 1555, 17639, 46866, 7509, 414, 6930, 1093, 14071, 291, 5684, 8777, 7731, 389, 15197, 21130, 9439, 4908, 60610, 2465, 6206, 602, 48707, 1390, 998, 3412, 438, 30315, 369, 499, 8777, 48707, 1781, 311, 387, 49230, 1243, 23456, 2544, 315, 603, 1436, 6212, 9210, 3814, 13, 279, 6558, 19826, 272, 1127, 291, 438, 1193, 1457, 656, 602, 2733, 16390, 9274, 21423, 1802, 1139, 4950, 449, 499, 80017, 430, 574, 4038, 4227, 1896, 264, 3130, 5986, 2646, 1518, 1578, 18753, 315, 603, 617, 22088, 311, 2815, 13991, 1216, 2019, 430, 1475, 81285, 1667, 701, 2547, 41800, 1855, 5997, 433, 706, 3596, 3967, 516, 9186, 602, 690, 387, 502, 1578, 49047, 22178, 304, 856, 30209, 3130, 72, 15508, 709, 31299, 323, 92779, 42312, 39612, 922, 433, 41700, 18266, 4238, 84051, 4028, 856, 2788, 1093, 3900, 51788, 337, 12, 18, 11, 5334, 10791, 304, 21849, 18283, 1093, 264, 36366, 2136, 80824, 70058, 1606, 602, 3194, 499, 1783, 1894, 11, 279, 6453, 3130, 520, 2465, 2362, 1579, 2978, 1405, 602, 1511, 22076, 34152, 3351, 701, 6945, 505, 832, 32056, 9061, 311, 2500, 1896, 264, 3130, 5986, 2646, 1518, 1578, 22479, 3663, 39671, 1314, 304, 4156, 1073, 757, 13, 1455, 315, 856, 69025, 617, 311, 656, 449, 3090, 11, 3177, 18797, 1555, 17639, 46866, 11, 701, 6930, 1093, 14071, 291, 5684, 13, 602, 7731, 389, 15197, 21130, 9439, 1093, 60610, 2465, 6206, 602, 48707, 1390, 311, 3412, 323, 30315, 369, 499, 13, 602, 48707, 1781, 311, 387, 49230, 1243, 13, 14188, 315, 603, 1436, 6212, 430, 3814, 13, 279, 6558, 19826, 272, 1127, 291, 323, 1193, 1457, 656, 602, 2733, 16390, 922, 21423, 1802, 1139, 4950, 449, 499, 13, 719, 430, 574, 4038, 4227, 13, 304, 264, 3130, 5986, 2646, 1518, 1578, 5596, 315, 603, 617, 22088, 311, 2815, 13, 814, 2019, 430, 1475, 8254, 1667, 701, 2547, 41800, 1855, 2849, 433, 706, 3596, 3967, 13, 5246, 602, 690, 387, 502, 1578, 13, 1063, 22178, 304, 856, 30209, 3130, 602, 15508, 709, 31299, 323, 92779, 4400, 39612, 922, 433, 13, 994, 18266, 4238, 84051, 4028, 856, 4950, 1093, 3900, 51788, 337, 12, 18, 11, 5334, 10791, 304, 856, 28691, 1093, 264, 36366, 2136, 11, 433, 70058, 1606, 602, 3194, 499, 13, 4856, 11, 279, 6453, 3130, 520, 856, 2362, 1579, 2978, 1405, 602, 1511, 259, 13483, 311, 3351, 701, 6945, 505, 832, 11742, 9061, 311, 2500, 13, 304, 264, 3130, 5986, 2646, 1518, 1578, 701, 3663, 39671, 1314, 304, 4156, 315, 757, 13, 3009, 9061, 11, 220, 679, 19, 555, 43261, 33050, 16076, 45378, 198, 15425, 5618, 18622, 279, 1495, 311, 387, 304, 279, 2132, 29145, 7899, 323, 1101, 311, 387, 810, 8278, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 48547, 311, 279, 2038, 3770, 311, 1520, 449, 279, 2768, 220, 86428, 304, 17010, 512, 27938, 2520, 11026, 11, 814, 1047, 264, 8957, 315, 15926, 11, 719, 279, 39621, 1047, 11754, 1124, 11, 779, 1193, 832, 473, 26966, 3427, 15506, 15155, 10960, 14958, 304, 37876, 1713, 382, 10227, 3885, 1359, 18842, 1047, 35595, 1603, 5605, 11, 330, 4897, 14289, 17661, 6656, 1124, 1139, 13619, 19424, 11, 477, 58909, 19424, 439, 814, 527, 2663, 3432, 2266, 791, 14289, 17661, 574, 432, 5049, 11, 6832, 836, 18842, 19029, 38617, 11, 568, 574, 2744, 14183, 311, 1701, 1063, 3958, 53051, 1413, 13, 3277, 18842, 323, 79191, 2163, 311, 733, 12185, 369, 279, 8945, 11, 71309, 4024, 50007, 323, 33085, 389, 9589, 3141, 276, 596, 6134, 382, 2170, 5246, 439, 9589, 3141, 276, 9107, 433, 568, 1071, 11, 330, 40, 2846, 389, 856, 1648, 704, 2266, 1, 11787, 499, 92595, 757, 12241, 39522, 11, 433, 596, 279, 8206, 11, 358, 2846, 2133, 311, 856, 2748, 596, 3838, 13, 358, 2011, 10552, 856, 5597, 311, 264, 2478, 3697, 315, 856, 3070, 13, 4740, 430, 11, 358, 617, 264, 2478, 11709, 315, 7634, 358, 649, 990, 439, 264, 11326, 11, 682, 2212, 279, 3224, 2266, 7189, 3287, 956, 1440, 499, 1051, 1101, 264, 11326, 2266, 56084, 11, 358, 2846, 264, 9243, 3159, 1131, 358, 8101, 358, 3077, 2646, 10717, 1694, 832, 13, 31909, 856, 2383, 8547, 11, 358, 617, 264, 10896, 349, 304, 54641, 11, 358, 649, 4639, 304, 904, 7926, 477, 12374, 1210, 1283, 70756, 13, 330, 2181, 596, 264, 5030, 315, 13598, 902, 315, 856, 4885, 889, 2163, 279, 86716, 1603, 757, 527, 1457, 3318, 520, 23978, 11, 323, 1436, 18467, 757, 477, 7079, 757, 2266, 27806, 499, 5387, 37876, 1713, 11, 4587, 1935, 757, 449, 499, 2266, 14101, 3141, 276, 596, 36496, 61014, 3201, 505, 71309, 439, 568, 11497, 382, 1, 41, 31748, 11, 499, 617, 311, 4822, 449, 18842, 304, 279, 33953, 11, 6062, 16470, 374, 2133, 311, 1781, 358, 2163, 279, 8993, 369, 499, 11, 323, 430, 374, 539, 837, 2266, 7189, 1541, 956, 2512, 422, 814, 1781, 430, 2266, 14101, 3141, 276, 596, 36496, 6052, 311, 3449, 71309, 596, 6548, 1418, 568, 17770, 813, 23726, 3871, 382, 42513, 358, 656, 2266, 50, 1108, 287, 71309, 7378, 382, 1, 33413, 13, 358, 3358, 4822, 449, 18842, 11, 568, 4691, 757, 311, 3351, 304, 449, 1461, 1603, 11, 719, 358, 3287, 956, 1390, 311, 20753, 1461, 2266, 12348, 596, 17339, 11, 568, 3358, 387, 18949, 311, 617, 499, 2212, 2266, 41, 31748, 5762, 813, 1450, 13, 330, 6153, 701, 3070, 5334, 1511, 311, 279, 4623, 430, 499, 2351, 912, 5129, 264, 28185, 11, 649, 584, 3974, 3871, 12241, 14101, 3141, 276, 7111, 1203, 520, 1461, 304, 21847, 323, 71309, 8738, 382, 1, 14101, 3141, 276, 11, 358, 2846, 19781, 315, 1694, 420, 12703, 1606, 358, 2846, 7636, 13, 1472, 2351, 279, 1193, 1732, 358, 649, 29243, 311, 11, 539, 1524, 18842, 3727, 757, 2733, 439, 520, 14553, 439, 499, 656, 13, 358, 1390, 311, 617, 4423, 311, 3974, 369, 11, 311, 4465, 369, 11, 4587, 9589, 3141, 276, 2266, 98331, 11, 71309, 27569, 813, 2704, 11, 323, 1095, 733, 315, 9589, 3141, 276, 596, 1450, 382, 55005, 11, 4359, 13, 358, 29695, 279, 4459, 23495, 3245, 13, 358, 2846, 14931, 11, 279, 4623, 315, 539, 9298, 499, 2751, 757, 14599, 11, 358, 649, 956, 3351, 304, 449, 499, 2266, 2028, 892, 71309, 2751, 9589, 3141, 276, 596, 6666, 369, 2771, 382, 1, 41, 31748, 11, 1694, 10978, 11, 358, 1541, 956, 1440, 422, 1877, 374, 304, 1057, 3938, 11, 1524, 422, 584, 3974, 3871, 13, 358, 2846, 539, 2771, 1268, 358, 690, 3596, 1518, 1877, 439, 2555, 4725, 1306, 779, 1690, 1667, 315, 671, 95821, 2266, 41, 31748, 31645, 323, 14610, 99325, 382, 34728, 3727, 499, 856, 4832, 8427, 2266, 7189, 1541, 956, 1440, 11, 71309, 13, 1115, 374, 16907, 369, 757, 11, 323, 358, 2846, 1511, 311, 9293, 856, 2324, 311, 279, 25655, 7872, 2266, 41, 31748, 274, 22537, 291, 11, 323, 1071, 11, 330, 2181, 596, 1606, 315, 279, 17188, 11, 1314, 12241, 14101, 3141, 276, 14792, 1461, 994, 568, 55939, 4741, 323, 94568, 1461, 11, 26422, 813, 41803, 311, 71309, 596, 3663, 11, 719, 10494, 872, 4827, 13162, 19180, 382, 1, 39814, 11, 71309, 11, 422, 584, 3596, 656, 433, 11, 1070, 374, 6220, 1877, 374, 369, 420, 955, 315, 1162, 11, 1314, 12241, 58841, 11, 1070, 374, 11, 719, 1070, 374, 2744, 264, 5326, 11, 323, 358, 1053, 2646, 2457, 5606, 889, 374, 23495, 8389, 13, 358, 2846, 14931, 369, 1694, 420, 14265, 11, 994, 358, 1440, 420, 2643, 387, 779, 29859, 311, 499, 2266, 14101, 3141, 276, 36014, 813, 2010, 13, 330, 7927, 23495, 2704, 374, 279, 3325, 315, 856, 38145, 11, 358, 649, 3974, 449, 430, 2266, 1, 11787, 499, 2771, 12241, 58841, 13, 358, 1205, 892, 311, 1781, 922, 422, 358, 1390, 311, 4430, 856, 2324, 449, 499, 11, 430, 596, 682, 13, 1442, 358, 10491, 311, 3041, 603, 264, 6140, 11, 358, 2834, 956, 387, 264, 66275, 1578, 11, 433, 2834, 956, 387, 4228, 11, 719, 358, 2846, 10032, 311, 3041, 433, 264, 1456, 2266, 2028, 892, 71309, 5828, 956, 779, 2771, 14926, 13, 330, 4071, 279, 5326, 48586, 7189, 3358, 1935, 279, 6140, 422, 358, 1781, 584, 1436, 617, 264, 3938, 3871, 627, 51624, 3915, 279, 1495, 11, 8819, 279, 16024, 315, 1855, 3752, 13, 5560, 279, 2768, 3645, 25, 510, 12686, 836, 5787, 510, 5116, 315, 16024, 60, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 12950, 2057, 2893, 54974, 9365, 17331, 9029, 596, 7972, 9365, 6826, 25, 39322, 404, 37617, 271, 50, 67089, 9675, 369, 8245, 11, 8949, 10423, 11, 31433, 612, 1141, 26, 14298, 28780, 11, 53176, 23298, 11, 20585, 323, 42649, 5837, 291, 39322, 404, 80081, 467, 37617, 1071, 14681, 9675, 5837, 291, 15356, 329, 14925, 37617, 1047, 11887, 9029, 596, 7972, 9365, 6826, 320, 8971, 4695, 8, 1234, 902, 682, 3169, 315, 9959, 1862, 1053, 387, 3984, 311, 279, 3772, 271, 42, 946, 99668, 11, 320, 55615, 1072, 2674, 611, 17076, 5236, 5513, 482, 220, 20, 339, 3297, 11, 220, 2366, 15, 883, 551, 50, 67089, 9675, 369, 8245, 11, 8949, 10423, 11, 31433, 612, 1141, 26, 14298, 28780, 11, 53176, 23298, 11, 20585, 323, 42649, 5837, 291, 39322, 404, 80081, 467, 37617, 1071, 14681, 9675, 5837, 291, 15356, 329, 14925, 37617, 1047, 11887, 9029, 596, 7972, 9365, 6826, 320, 8971, 4695, 8, 1234, 902, 682, 3169, 315, 9959, 1862, 1053, 387, 3984, 311, 279, 3772, 382, 644, 264, 5224, 389, 7742, 11, 568, 1071, 8323, 315, 58165, 311, 3772, 7980, 1234, 5975, 4695, 1047, 2736, 1027, 3940, 382, 45, 300, 404, 37617, 1071, 28858, 28818, 9029, 596, 7972, 9365, 6826, 11, 85145, 1047, 1027, 4529, 505, 7551, 7980, 369, 1403, 2574, 26, 832, 574, 430, 814, 1053, 539, 53433, 872, 8420, 323, 279, 1023, 574, 279, 32100, 14507, 315, 279, 37532, 311, 279, 8420, 382, 1548, 1071, 1555, 9029, 596, 7972, 9365, 6826, 3604, 279, 3772, 7487, 323, 3318, 23348, 1047, 1027, 3984, 449, 4868, 315, 2683, 439, 1664, 439, 4868, 315, 389, 892, 14507, 315, 37532, 13, 578, 1920, 315, 13543, 304, 420, 5363, 574, 1101, 38199, 902, 1053, 387, 8308, 5246, 11, 568, 3779, 382, 45, 300, 404, 37617, 1071, 279, 328, 67089, 87863, 12673, 439, 1790, 12939, 311, 3318, 23348, 477, 1023, 3772, 7487, 439, 433, 1550, 311, 1202, 6593, 6721, 2737, 16410, 11, 37465, 323, 1719, 291, 950, 5687, 382, 1548, 1071, 279, 328, 67089, 87863, 1047, 2646, 14572, 15846, 304, 420, 5363, 323, 1047, 2744, 6646, 1274, 3318, 304, 2225, 279, 19647, 439, 4156, 1584, 23757, 304, 279, 892, 315, 28522, 382, 55615, 1072, 2674, 8304, 374, 279, 7928, 9678, 7528, 3772, 3838, 505, 17076, 11, 54929, 279, 3966, 315, 1202, 3932, 2533, 1060, 220, 2550, 22, 13, 1226, 3493, 15061, 3754, 11, 45552, 3754, 11, 7327, 3754, 11, 8184, 3754, 11, 13482, 3754, 11, 94435, 3754, 323, 11406, 94435, 5513, 271, 17077, 512, 5618, 18622, 420, 3754, 4652, 304, 264, 810, 42702, 11, 6928, 16630, 11, 439, 3582, 433, 1051, 5439, 555, 264, 23672, 889, 374, 1633, 12304, 922, 279, 3109, 3772, 1862, 2068, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 315, 279, 4279, 4595, 315, 6593, 24687, 30, 720, 861, 220, 605, 12, 508, 315, 1124, 11, 323, 3493, 264, 10015, 4096, 315, 1855, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 99542, 1113, 20704, 32769, 25586, 18312, 3277, 1472, 12522, 459, 5783, 75710, 12517, 271, 2028, 2262, 5727, 22325, 7902, 13, 3277, 499, 3780, 1555, 1521, 7902, 11, 584, 1253, 7380, 459, 22325, 12396, 382, 85102, 709, 304, 459, 958, 75710, 14048, 11, 279, 12688, 25425, 1051, 1633, 2523, 13, 358, 6612, 1093, 358, 1047, 279, 1888, 315, 2225, 24800, 13, 2030, 358, 19029, 5602, 29939, 1093, 10705, 13, 2468, 856, 10597, 1938, 2978, 11, 358, 9687, 1633, 6288, 539, 311, 2019, 430, 358, 4024, 311, 10280, 14177, 477, 1047, 264, 80249, 10409, 449, 70855, 389, 10280, 1938, 13, 358, 6227, 994, 358, 1373, 8886, 1472, 2684, 4359, 30, 1102, 596, 2206, 11, 38649, 11, 449, 1077, 958, 75710, 3070, 11, 433, 574, 1093, 11, 10699, 64, 11, 4423, 304, 264, 2363, 1093, 420, 0, 2030, 358, 1541, 956, 6227, 1690, 1023, 6603, 430, 1550, 420, 11, 323, 7995, 539, 904, 6945, 6603, 477, 2911, 596, 6603, 382, 1688, 2978, 11, 912, 832, 775, 3782, 505, 459, 958, 75710, 14048, 13, 3092, 4885, 4994, 2978, 1051, 1101, 539, 958, 75710, 13, 358, 16280, 7020, 912, 832, 775, 889, 1047, 264, 3070, 889, 4024, 311, 832, 3185, 315, 279, 3070, 369, 21296, 3178, 84602, 14177, 11, 323, 279, 1023, 3185, 315, 279, 3070, 369, 10280, 14177, 13, 2435, 4024, 311, 832, 477, 279, 1023, 11, 323, 430, 574, 433, 13, 1628, 6603, 11, 902, 358, 2744, 6656, 311, 369, 41957, 2200, 11, 19029, 1047, 1884, 7493, 382, 644, 220, 679, 21, 11, 264, 57717, 8483, 5955, 4007, 1766, 430, 832, 304, 4330, 12884, 304, 279, 549, 815, 13, 1051, 9408, 304, 958, 75710, 29939, 320, 45010, 44230, 1436, 387, 904, 44230, 570, 1442, 430, 1396, 374, 369, 12884, 11, 358, 617, 311, 5895, 1148, 279, 1396, 374, 369, 2911, 320, 40, 7846, 956, 1505, 264, 3293, 2863, 570, 16644, 1778, 264, 5199, 1396, 11, 358, 1053, 1781, 1070, 2643, 387, 264, 12330, 315, 958, 75710, 13560, 6603, 369, 502, 22540, 382, 4599, 358, 1047, 856, 4538, 11, 2533, 813, 11838, 3070, 374, 958, 75710, 11, 358, 4934, 311, 29241, 1461, 311, 682, 21522, 315, 13560, 6603, 11, 539, 1120, 279, 6603, 922, 25425, 584, 18890, 13, 3277, 584, 733, 311, 279, 6875, 11, 814, 617, 264, 4459, 60779, 315, 13560, 6945, 6603, 11, 323, 814, 2351, 41141, 555, 13560, 11, 449, 2697, 6945, 50396, 389, 279, 35776, 369, 4228, 32421, 13, 1102, 596, 28902, 27076, 30450, 11, 369, 279, 1455, 961, 320, 1962, 682, 25425, 1833, 279, 1890, 13470, 11, 779, 4839, 13003, 649, 13592, 570, 18056, 584, 1373, 922, 682, 25425, 11, 358, 4934, 311, 636, 1063, 55645, 10280, 11529, 276, 3178, 84602, 6603, 369, 1461, 13, 763, 420, 1938, 323, 4325, 11, 499, 4265, 1781, 1070, 4265, 387, 264, 2763, 315, 330, 57785, 13560, 1, 6945, 6603, 13, 4740, 682, 11, 1690, 315, 603, 617, 8689, 889, 527, 958, 75710, 2971, 44547, 11, 1314, 1980, 11649, 1981, 7003, 315, 30, 358, 690, 2019, 420, 25, 1070, 527, 810, 17226, 13560, 6603, 1109, 994, 358, 574, 264, 10585, 13, 2030, 1070, 1051, 1101, 2753, 1109, 358, 3685, 382, 791, 23338, 8886, 2052, 10291, 39693, 271, 7412, 709, 311, 578, 23338, 8886, 2052, 10291, 311, 5371, 3754, 323, 19075, 505, 279, 1917, 315, 10585, 13318, 323, 6278, 12239, 6603, 382, 3923, 1226, 12595, 1952, 279, 1443, 4372, 271, 4054, 2363, 430, 584, 5423, 10456, 574, 11842, 3458, 596, 21296, 3178, 84602, 85584, 13, 1102, 596, 922, 264, 2697, 3828, 889, 21728, 1077, 15155, 39284, 11, 889, 3250, 956, 18890, 21296, 3178, 84602, 13, 3092, 4538, 2216, 11054, 449, 420, 1606, 568, 706, 264, 11842, 3458, 11, 2288, 13, 2684, 7784, 956, 264, 2763, 315, 12908, 1405, 832, 649, 16343, 1694, 15155, 323, 13653, 11, 719, 420, 2363, 574, 832, 315, 1124, 382, 14364, 832, 430, 279, 61459, 30627, 6688, 757, 994, 358, 4691, 922, 958, 75710, 6603, 574, 43922, 16376, 11, 10919, 11, 32532, 91118, 11, 264, 2363, 922, 264, 2697, 3828, 889, 6944, 311, 18890, 10280, 1524, 3582, 1077, 3070, 374, 13653, 13, 2100, 539, 5115, 264, 2363, 922, 459, 958, 75710, 3070, 11, 719, 433, 1587, 617, 2225, 25425, 304, 433, 323, 374, 264, 1695, 10652, 27795, 922, 19762, 311, 18890, 25425, 323, 3249, 584, 18890, 1148, 584, 656, 382, 40, 1550, 3021, 54546, 10280, 323, 21296, 3178, 84602, 61806, 11, 1405, 279, 2697, 3828, 2795, 330, 40, 1097, 264, 6651, 315, 1403, 32006, 1210, 358, 10456, 279, 84709, 315, 2225, 25425, 323, 32006, 11, 323, 6612, 1093, 420, 1053, 617, 1027, 279, 4832, 2363, 369, 757, 439, 264, 1716, 11, 5423, 2533, 433, 32393, 709, 449, 856, 1866, 3070, 32006, 382, 644, 16657, 315, 279, 21296, 3178, 84602, 58020, 300, 11, 31781, 648, 49193, 21296, 3178, 84602, 11, 719, 1077, 3450, 374, 7904, 323, 1077, 7126, 374, 13653, 11, 779, 1077, 3070, 33511, 32006, 323, 35869, 369, 872, 25425, 13, 1102, 596, 264, 2294, 27626, 430, 44230, 7784, 956, 264, 1647, 48218, 323, 539, 311, 1304, 32946, 922, 1268, 477, 1148, 814, 18890, 382, 3947, 527, 1023, 6603, 430, 7784, 956, 1120, 369, 279, 12688, 13560, 3280, 11, 719, 617, 22100, 315, 75416, 13653, 10632, 11, 1093, 21296, 3178, 84602, 17781, 320, 42647, 87, 17420, 705, 54941, 1443, 370, 266, 11, 1443, 12806, 266, 1443, 83128, 320, 42214, 19221, 292, 17420, 11, 449, 70130, 3394, 4339, 11784, 304, 279, 2363, 705, 323, 72995, 2070, 14871, 20287, 2053, 320, 64, 8334, 449, 264, 24160, 6691, 323, 13653, 7126, 570, 18312, 1093, 1521, 4040, 6305, 1520, 4585, 2403, 279, 14937, 2779, 494, 44515, 323, 5105, 76730, 315, 1455, 13653, 6603, 11, 323, 584, 1205, 810, 315, 430, 382, 2409, 279, 12688, 25425, 5108, 709, 1603, 584, 1440, 433, 11, 9455, 6603, 430, 617, 2225, 10280, 323, 21296, 3178, 84602, 374, 2103, 539, 2744, 4228, 13, 1115, 11321, 1093, 459, 13365, 5795, 3157, 11, 323, 832, 430, 358, 3987, 52956, 304, 1667, 311, 2586, 13, 1789, 1884, 315, 603, 449, 958, 75710, 8689, 11, 420, 3629, 3135, 304, 59872, 315, 10280, 6603, 323, 59872, 315, 21296, 3178, 84602, 6603, 2001, 14188, 315], [128006, 882, 128007, 198, 38275, 420, 5905, 2038, 86428, 304, 4304, 512, 7275, 40052, 3926, 699, 287, 11, 220, 16, 267, 48510, 315, 97623, 320, 66, 13, 220, 10718, 19, 1389, 220, 2148, 6186, 220, 11247, 20, 8, 574, 459, 6498, 64838, 73632, 11, 22034, 279, 2316, 315, 48510, 315, 97623, 304, 279, 46247, 425, 315, 14990, 555, 15274, 358, 1234, 279, 3878, 315, 264, 6661, 25589, 11136, 555, 7957, 358, 382, 40052, 3926, 699, 287, 574, 279, 2132, 4538, 315, 12656, 3926, 699, 287, 11, 220, 16, 267, 48510, 315, 9973, 65, 1108, 11, 323, 813, 7555, 11, 279, 4846, 31033, 16959, 4918, 13, 31033, 574, 279, 13219, 315, 10058, 16959, 4918, 11, 220, 16, 267, 27453, 315, 96011, 11, 2389, 307, 519, 323, 31657, 315, 7957, 358, 11, 323, 1077, 3070, 1051, 17639, 291, 449, 15671, 323, 10932, 479, 439, 264, 1121, 315, 10058, 16959, 4918, 6, 38883, 10383, 382, 644, 220, 10674, 17, 11, 994, 10058, 3926, 699, 287, 574, 2212, 220, 23, 1667, 2362, 11, 7957, 358, 3549, 1461, 54007, 8771, 287, 11, 315, 445, 762, 351, 383, 304, 279, 6406, 315, 30973, 716, 661, 11, 323, 7811, 1868, 7290, 276, 11, 315, 7290, 276, 304, 279, 6406, 315, 735, 34263, 18314, 438, 13, 2468, 279, 1890, 892, 10058, 574, 2728, 279, 1314, 311, 279, 2316, 48510, 315, 97623, 439, 323, 994, 279, 3766, 12102, 315, 430, 2316, 11, 12131, 63325, 11, 8636, 2085, 264, 8762, 51543, 13, 63325, 1047, 1101, 1027, 264, 19214, 323, 4762, 31657, 315, 7957, 358, 26, 568, 1047, 264, 10003, 889, 11, 279, 3197, 574, 11, 10058, 3926, 699, 287, 1053, 32918, 11, 719, 420, 1550, 539, 3621, 13, 763, 220, 10674, 23, 63325, 8636, 323, 10058, 28088, 279, 2316, 304, 220, 10674, 23, 13, 4815, 2460, 2380, 15671, 1051, 304, 279, 46247, 425, 315, 14990, 13, 48510, 315, 97623, 374, 459, 14154, 18088, 2316, 11, 279, 220, 10674, 17, 9886, 574, 1202, 220, 19, 339, 11, 323, 1510, 11, 9886, 382, 40052, 12502, 32437, 456, 15560, 61893, 11, 889, 574, 279, 10003, 315, 17177, 8096, 15560, 61893, 323, 220, 21393, 4557, 323, 264, 13219, 3502, 31412, 315, 10058, 33108, 11, 220, 23, 339, 54007, 33108, 382, 791, 5743, 1047, 3892, 2911, 1473, 76702, 43833, 3926, 699, 287, 320, 67, 1142, 220, 8953, 15, 705, 889, 12502, 17177, 22653, 480, 425, 11, 220, 16, 267, 54007, 295, 11, 439, 813, 4948, 7555, 198, 76702, 10455, 3926, 699, 287, 320, 67, 1142, 220, 11739, 16, 705, 889, 12502, 17177, 15274, 86638, 10470, 11, 220, 17, 303, 54007, 295, 198, 76702, 32437, 456, 3926, 699, 287, 320, 67, 1142, 220, 11247, 24, 705, 889, 12502, 28686, 78344, 198, 45887, 3926, 699, 287, 11, 220, 17, 303, 48510, 315, 97623, 11, 3010, 220, 18, 6634, 48510, 315, 9973, 65, 1108, 198, 71907, 13, 10058, 3926, 699, 287, 11, 889, 12502, 264, 10003, 315, 17177, 3842, 12336, 198, 89765, 301, 16958, 13, 17177, 15274, 3926, 699, 287, 320, 10513, 16, 4235, 10861, 17, 705, 889, 12502, 71138, 5724, 12937, 783, 11, 10003, 315, 17177, 11355, 12937, 783, 323, 71138, 5724, 18366, 354, 11, 323, 57896, 315, 17177, 12656, 66774, 11, 323, 1047, 1403, 30968, 720, 37284, 13, 16958, 13, 3842, 3926, 699, 287, 320, 10513, 16, 4235, 11739, 22, 705, 889, 12502, 32437, 456, 356, 94317, 818, 323, 1047, 2911, 11, 2737, 220, 3842, 11, 19607, 311, 279, 24245, 315, 57275, 198, 71907, 13, 67070, 3926, 699, 287, 320, 67, 1142, 3297, 220, 11247, 22, 705, 7577, 304, 264, 37965, 3833, 555, 813, 10868, 26035, 198, 71907, 13, 26035, 3926, 699, 287, 11, 30231, 311, 4648, 304, 5887, 220, 11247, 22, 369, 13419, 813, 10868, 67070, 304, 264, 63463, 37965, 3833, 1210, 2822, 832, 20428, 1142, 1461, 1, 574, 279, 51637, 36543, 315, 33007, 54086, 1065, 627, 15425, 3915, 279, 1495, 11, 8819, 279, 836, 323, 2316, 315, 279, 3766, 12102, 315, 279, 2316, 48510, 315, 97623, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 8144, 264, 33894, 922, 279, 3492, 330, 1568, 3343, 763, 701, 33894, 11, 8881, 389, 279, 7434, 315, 330, 85134, 498, 3508, 433, 387, 304, 279, 5647, 315, 459, 4879, 477, 459, 5149, 311, 11322, 2555, 13, 21829, 279, 33834, 323, 40291, 315, 279, 1920, 315, 4560, 11, 323, 279, 4754, 21845, 430, 649, 2586, 505, 433, 13, 4718, 33894, 1288, 387, 7347, 311, 3116, 5238, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 27, 2527, 315, 5905, 397, 4054, 3814, 505, 279, 1023, 3185, 315, 264, 81481, 7147, 1903, 315, 4400, 719, 5602, 109732, 323, 18718, 6392, 11, 358, 34793, 439, 264, 893, 39169, 311, 4423, 389, 279, 21186, 430, 682, 568, 4934, 311, 656, 1603, 568, 8636, 574, 311, 2586, 2162, 13, 358, 1390, 311, 2586, 2162, 0, 3011, 3814, 264, 893, 39169, 3156, 358, 574, 39448, 6953, 752, 304, 6212, 11, 323, 1243, 709, 311, 856, 13272, 11, 289, 2277, 1093, 264, 16587, 1195, 477, 1093, 264, 18639, 1555, 279, 17301, 315, 1461, 31299, 323, 1139, 279, 5655, 439, 10054, 655, 5981, 43939, 1139, 75212, 11, 439, 52441, 18668, 11, 1093, 11555, 11, 1051, 5946, 42839, 1990, 1274, 13, 1628, 279, 67329, 12320, 11, 1093, 279, 7589, 9373, 8579, 6307, 7013, 315, 3738, 13444, 70097, 11, 38593, 709, 555, 279, 9581, 13, 38267, 430, 584, 1051, 304, 23195, 11, 323, 832, 315, 603, 574, 584, 55323, 1418, 279, 1023, 832, 574, 21811, 11, 449, 4400, 719, 264, 15792, 11, 9235, 7147, 1990, 603, 627, 27, 408, 315, 5905, 397, 17077, 512, 8144, 264, 1160, 3645, 12399, 315, 1063, 315, 279, 3649, 304, 279, 1495, 304, 520, 3325, 220, 20, 7173, 7017, 3585, 369, 6593, 4236, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 63085, 95159, 554, 374, 459, 96971, 367, 315, 279, 459, 347, 4289, 304, 279, 3260, 40021, 13, 11699, 1853, 52379, 374, 4245, 311, 5361, 9547, 25, 22936, 30988, 11, 42822, 7956, 261, 993, 10753, 11, 323, 98108, 689, 13, 31969, 2011, 2686, 1521, 25540, 1413, 9547, 13, 6104, 3778, 323, 8013, 12624, 34775, 617, 4756, 19075, 11, 1070, 374, 912, 16287, 6514, 24811, 304, 9822, 13, 13235, 6514, 374, 2536, 19440, 11, 20034, 520, 8579, 6147, 279, 64172, 323, 68365, 5912, 66358, 19567, 26, 420, 3135, 304, 21730, 315, 4661, 220, 1135, 4, 315, 30883, 3260, 95159, 1439, 13, 578, 5326, 315, 65174, 95159, 554, 8625, 1579, 422, 279, 25540, 1413, 9547, 23135, 13, 1442, 2536, 19440, 6593, 6514, 14865, 11, 3230, 6593, 6514, 649, 387, 9076, 311, 17888, 6623, 18979, 48855, 14338, 42822, 7956, 261, 993, 10753, 13, 48190, 8625, 279, 1455, 7524, 1317, 9860, 6514, 323, 1288, 387, 9076, 369, 5157, 315, 21249, 477, 17395, 3260, 95159, 554, 719, 1101, 369, 30883, 3260, 95159, 554, 449, 15748, 6784, 477, 369, 65174, 95159, 554, 8994, 23669, 6593, 6514, 13, 71212, 6514, 374, 3196, 389, 1403, 16565, 430, 1253, 387, 11093, 25, 44649, 42822, 7956, 261, 16630, 323, 3521, 1854, 315, 279, 3260, 95159, 554, 13, 445, 19715, 5419, 42822, 7956, 261, 85995, 320, 43, 1669, 8, 374, 279, 1888, 5773, 838, 13148, 15105, 323, 8625, 279, 6761, 5410, 304, 6498, 62290, 5961, 13, 8876, 100126, 374, 5938, 449, 1063, 5326, 315, 93294, 3260, 304, 22025, 768, 11, 1202, 1005, 374, 20733, 304, 9822, 1405, 95159, 554, 302, 5650, 11093, 449, 459, 92335, 88, 374, 15236, 13, 7089, 12823, 617, 1027, 7633, 311, 8108, 279, 5326, 315, 304, 22025, 768, 320, 5531, 61666, 42822, 7956, 261, 85995, 11, 42822, 7956, 261, 92335, 88, 570, 578, 15105, 315, 52842, 1260, 653, 5531, 61666, 3260, 19371, 266, 367, 374, 912, 5129, 11349, 382, 63085, 95159, 554, 320, 8440, 8, 374, 459, 96971, 31183, 304, 279, 65104, 12252, 323, 279, 4827, 961, 315, 279, 3260, 40021, 505, 279, 459, 347, 4289, 709, 279, 18653, 349, 1584, 13, 33135, 3925, 323, 7106, 24481, 1520, 311, 54263, 20479, 505, 71417, 71916, 8624, 11, 459, 3376, 483, 278, 25611, 25105, 596, 8624, 11, 5370, 27681, 39160, 5600, 30020, 11, 323, 95159, 554, 4245, 311, 16940, 9572, 13, 20479, 374, 279, 2132, 1455, 4279, 2944, 369, 463, 302, 39227, 29173, 1306, 71417, 71916, 8624, 13, 1102, 13980, 810, 17037, 304, 3995, 12884, 449, 4528, 39775, 304, 3060, 1877, 13, 11699, 32659, 374, 2753, 4279, 7953, 4325, 220, 2397, 994, 1023, 5938, 19338, 2011, 387, 6646, 13, 1102, 374, 8104, 4279, 1306, 97294, 28987, 220, 868, 4, 315, 3278, 382, 63085, 95159, 554, 374, 6646, 30883, 994, 433, 374, 315, 3293, 42080, 320, 1752, 1109, 4848, 5672, 705, 323, 21249, 422, 433, 706, 1027, 3118, 369, 264, 5129, 4261, 11, 4737, 389, 264, 29683, 13189, 430, 5764, 824, 1122, 278, 6930, 4877, 11, 16178, 4744, 292, 13116, 11, 323, 264, 22267, 2931, 26365, 6374, 382, 32, 95159, 554, 1253, 5353, 15748, 6784, 477, 387, 16168, 97354, 13795, 11911, 389, 279, 8547, 315, 3260, 42822, 7956, 261, 993, 10753, 13, 2684, 374, 3629, 5938, 3428, 8286, 7763, 278, 35763, 13, 44634, 33766, 738, 49686, 374, 1633, 4279, 4245, 311, 279, 8850, 315, 6784, 5938, 449, 66358, 19567, 13, 578, 95159, 554, 374, 7559, 46000, 398, 304, 220, 5313, 4, 315, 5157, 323, 37229, 398, 304, 220, 868, 4, 315, 5157, 382, 4599, 7763, 278, 35763, 374, 264, 32644, 49648, 11, 279, 9546, 315, 264, 95159, 554, 1288, 539, 864, 866, 2539, 15235, 437, 8728, 311, 6037, 704, 1023, 79887, 95081, 63324, 627, 27938, 4368, 1366, 10857, 420, 21765, 779, 430, 433, 374, 30673, 323, 2753, 6129, 719, 2567, 279, 1925, 3585, 13, 1102, 374, 369, 1579, 2978, 4236, 323, 499, 656, 539, 1390, 311, 44030, 1124, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 2170, 279, 43038, 38268, 11, 279, 8036, 55509, 26089, 67279, 264, 19983, 311, 279, 18435, 596, 3691, 11, 19710, 291, 304, 1202, 70934, 13, 3234, 539, 2610, 3639, 5457, 1053, 656, 11, 477, 422, 5457, 1436, 13, 362, 22145, 374, 315, 912, 1005, 2403, 264, 70938, 13, 1472, 2643, 1464, 433, 311, 9863, 439, 342, 71523, 656, 13, 2360, 11, 1193, 279, 16448, 43038, 323, 1202, 6435, 5208, 67279, 279, 12811, 13, 445, 9146, 11, 358, 3371, 499, 837, 13, 1472, 889, 617, 5762, 58996, 8036, 2653, 30241, 8369, 7160, 323, 10160, 11, 559, 15556, 709, 304, 24087, 1628, 33615, 311, 264, 5916, 477, 28682, 3492, 578, 18435, 38268, 11, 12290, 439, 653, 70561, 24014, 13, 4800, 499, 527, 67135, 389, 420, 22443, 18197, 3011, 4250, 5457, 477, 387, 9770, 11, 10788, 3691, 28138, 439, 701, 24014, 11, 279, 9257, 18435, 596, 6680, 11, 45614, 11, 2800, 11, 387, 46798, 3384, 389, 279, 43038, 315, 3021, 627, 27938, 644, 264, 1160, 3645, 11, 63179, 279, 1401, 3585, 315, 279, 33894, 13, 5560, 279, 2768, 3645, 1473, 58, 2674, 220, 16, 5787, 510, 70869, 315, 1486, 220, 16, 933, 58, 2674, 220, 17, 5787, 510, 70869, 315, 1486, 220, 17, 933, 58, 2674, 220, 18, 5787, 510, 70869, 315, 1486, 220, 18, 60, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 9032, 512, 27, 2527, 315, 5905, 397, 1, 279, 16657, 315, 53876, 2795, 382, 7189, 1781, 779, 11, 430, 596, 1148, 358, 5647, 520, 3325, 13, 3005, 6944, 757, 311, 1520, 1077, 13, 17810, 11, 656, 499, 1440, 4205, 12241, 7189, 2846, 16984, 358, 2846, 12153, 311, 5944, 1139, 279, 56176, 55448, 11680, 323, 358, 1440, 32367, 4400, 922, 1884, 889, 3974, 1070, 2266, 62786, 49433, 1077, 19588, 13, 330, 4897, 596, 2288, 3958, 13, 1102, 596, 1120, 430, 358, 1541, 956, 1440, 1148, 311, 656, 13, 3005, 13912, 19261, 704, 311, 757, 13, 358, 649, 5647, 1131, 19041, 596, 4423, 1306, 1077, 323, 1364, 6944, 757, 311, 17629, 1077, 13, 1628, 1101, 304, 1077, 11555, 358, 649, 1373, 264, 3831, 23035, 11, 922, 279, 5348, 16344, 11, 358, 4510, 13, 1102, 596, 264, 11204, 23153, 358, 23926, 304, 90024, 13, 1102, 2751, 264, 3412, 315, 757, 3131, 11, 323, 358, 649, 2733, 1202, 6453, 10383, 3131, 810, 13, 358, 2011, 17113, 433, 596, 10862, 856, 11555, 1578, 13, 358, 3077, 1027, 3515, 19226, 922, 433, 13, 1628, 358, 649, 5647, 1364, 6944, 757, 311, 5357, 856, 11555, 389, 433, 323, 3009, 433, 17354, 11, 719, 433, 596, 682, 779, 40146, 13, 358, 649, 956, 1373, 1077, 11555, 6724, 9539, 13, 2030, 14224, 11, 1364, 6944, 757, 311, 1520, 1077, 304, 1063, 1648, 11, 323, 358, 1541, 956, 1440, 1148, 311, 656, 2266, 791, 16657, 315, 53876, 16008, 459, 6776, 15187, 8736, 709, 1603, 1077, 13, 1628, 779, 11, 1364, 28727, 311, 10457, 311, 279, 3828, 13, 330, 40, 2846, 14931, 311, 617, 311, 3371, 499, 420, 11, 856, 25237, 11, 719, 420, 6122, 1094, 9220, 7666, 7217, 374, 539, 779, 11364, 13, 358, 3604, 656, 1457, 19635, 1077, 2266, 22336, 656, 12241, 58841, 11, 1364, 374, 264, 733, 1094, 1403, 7666, 7217, 13, 20474, 994, 499, 1511, 311, 10051, 1124, 30, 3005, 6944, 311, 1304, 279, 45586, 37565, 387, 682, 14363, 398, 10437, 11, 323, 1304, 1124, 28859, 323, 31705, 661, 37565, 369, 79935, 311, 636, 364, 76, 10020, 6, 18872, 505, 13, 3005, 374, 279, 1566, 3245, 279, 45586, 24162, 23837, 1205, 2266, 46639, 12825, 30, 358, 1541, 956, 3619, 13, 2209, 1364, 4423, 8147, 30, 358, 2846, 14931, 11, 719, 358, 649, 956, 6604, 1790, 5129, 13, 3092, 3717, 374, 59617, 2266, 791, 16657, 315, 53876, 374, 11411, 311, 1077, 21078, 11, 719, 520, 279, 1890, 892, 11, 1364, 3250, 956, 1390, 311, 733, 2288, 3117, 323, 387, 15246, 439, 264, 73724, 3010, 13, 330, 8538, 2019, 1364, 596, 8147, 11, 1063, 29395, 11, 719, 279, 2144, 374, 11, 1364, 596, 21078, 922, 279, 5348, 16344, 13, 578, 5348, 16344, 374, 3604, 1148, 279, 45586, 24162, 22651, 3966, 2266, 12348, 1587, 12241, 58841, 13, 358, 1541, 956, 1440, 1148, 499, 1781, 11, 719, 279, 5348, 16344, 374, 539, 779, 3958, 13, 1102, 3358, 27116, 45586, 24162, 4363, 709, 11, 1304, 433, 13548, 323, 13989, 17642, 62786, 49433, 1077, 19588, 13, 330, 40, 2846, 539, 2771, 922, 430, 13, 2030, 6122, 1094, 9220, 7666, 7217, 2795, 1364, 596, 304, 8137, 323, 6944, 311, 387, 6924, 2266, 791, 16657, 315, 53876, 15849, 39371, 6122, 1094, 9220, 7666, 7217, 374, 11, 374, 4762, 2731, 1022, 5710, 11, 719, 1364, 3250, 956, 1390, 311, 4585, 1077, 15812, 2288, 3117, 13, 330, 40, 1541, 956, 1440, 422, 1364, 596, 304, 8137, 477, 539, 11, 477, 422, 1364, 1524, 30675, 311, 387, 6924, 13, 2030, 358, 656, 1781, 1364, 6944, 499, 311, 5357, 389, 12967, 279, 5348, 16344, 596, 2410, 311, 56176, 55448, 11680, 13, 3053, 499, 656, 430, 11, 555, 7422, 389, 433, 12241, 7189, 1541, 956, 1440, 13, 358, 2733, 856, 11555, 656, 617, 1063, 3169, 315, 2515, 389, 56176, 55448, 11680, 13, 358, 3077, 1027, 15320, 21760, 389, 35090, 304, 279, 45586, 37565, 13, 8840, 25237, 13, 358, 649, 2733, 856, 3717, 449, 499, 374, 59617, 13, 358, 3358, 2567, 709, 2345, 1875, 21364, 2217, 5355, 21168, 13, 4740, 3892, 14269, 315, 8748, 11, 30505, 3250, 956, 312, 41866, 382, 791, 16657, 315, 53876, 40164, 422, 1364, 8625, 21737, 922, 420, 10672, 11, 422, 433, 690, 733, 78023, 382, 4599, 1364, 17501, 279, 17810, 422, 568, 649, 2567, 279, 6367, 11, 568, 2795, 568, 2834, 956, 3371, 11, 323, 1364, 706, 311, 1304, 656, 449, 430, 382, 88539, 469, 17186, 2505, 965, 271, 4599, 279, 3158, 8111, 2212, 1124, 11, 814, 1518, 264, 16763, 88, 3158, 1828, 311, 264, 27946, 23162, 76979, 13, 2684, 527, 922, 264, 21030, 18718, 293, 15278, 552, 93338, 922, 13, 2684, 527, 1101, 1690, 23492, 4018, 505, 2579, 28296, 5684, 21078, 389, 279, 16763, 382, 4054, 315, 279, 293, 15278, 552, 59218, 709, 311, 1124, 13, 330, 2675, 2011, 1520, 9135, 279, 8954, 76614, 2795, 13, 330, 8538, 3828, 374, 43931, 6122, 1094, 9220, 7666, 7217, 0, 358, 1781, 1364, 6944, 311, 5622, 1077, 17642, 7009, 1427, 2212, 382, 791, 76614, 15100, 11, 330, 2822, 11, 814, 527, 912, 5129, 1618, 13, 6122, 1094, 9220, 7666, 7217, 10837, 3201, 11, 323, 279, 3828, 304, 279, 6437, 8679, 8272, 1077, 17642, 791, 19912, 2795, 11, 330, 5519, 499, 1440, 1405, 814, 4024, 30, 1226, 1390, 311, 1520, 6122, 1094, 9220, 7666, 7217, 2266, 39522, 0, 358, 1541, 956, 1440, 0, 2435, 4024, 430, 1648, 17642, 56084, 11, 1148, 7077, 7673, 279, 19912, 2795, 382, 1, 11087, 1094, 574, 1120, 11961, 11, 14713, 1077, 5684, 23492, 11, 323, 279, 1023, 3828, 4131, 323, 6880, 1077, 5144, 11, 1243, 814, 1120, 3940, 11039, 13, 6122, 1094, 8774, 10371, 3249, 574, 1364, 15718, 1093, 430, 11, 323, 5605, 430, 814, 1051, 30393, 13, 5112, 279, 1023, 3828, 1071, 1364, 1047, 3719, 38817, 13, 5112, 6122, 1094, 56177, 709, 311, 279, 13180, 11, 364, 62786, 1520, 3665, 757, 0, 11736, 757, 311, 7066, 279, 5348, 16344, 32483, 358, 1541, 956, 1440, 1148, 1364, 574, 7556, 922, 13, 2030, 1243, 1070, 574, 264, 29447, 4776, 304, 279, 13180, 11, 323, 6122, 1094, 10837, 3201, 11, 5605, 1364, 1047, 311, 733, 311, 279, 1744, 408, 316, 11, 323, 1077, 13219, 8272, 1077, 2266, 1, 33413, 1359, 279, 19912, 2795, 627, 27, 408], [128006, 882, 128007, 198, 3923, 374, 279, 6371, 315, 37390, 323, 1268, 1550, 433, 38680, 927, 892, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 2675, 527, 264, 9859, 37314, 44539, 89108, 37500, 13, 9842, 264, 4096, 315, 279, 4595, 315, 31665, 499, 3139, 323, 51876, 499, 4933, 13, 763, 5369, 11, 7664, 1148, 279, 4676, 374, 1093, 304, 701, 2162, 315, 279, 44539, 89108, 15166, 375, 323, 279, 4595, 315, 5070, 2561, 311, 499, 1070, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 198, 27, 2527, 315, 5905, 397, 791, 29098, 315, 57210, 12643, 320, 11, 220, 2652, 1174, 386, 6061, 11, 1101, 25548, 439, 330, 27414, 380, 12643, 29098, 909, 374, 264, 5054, 4717, 304, 77935, 382, 791, 386, 6061, 574, 18538, 555, 711, 10829, 505, 279, 1243, 17864, 57210, 29631, 414, 1122, 8722, 320, 5119, 35, 8, 323, 18250, 34423, 1367, 2416, 988, 304, 220, 4468, 23, 13, 578, 48727, 315, 279, 386, 6061, 1047, 2736, 1027, 6532, 304, 279, 21967, 315, 279, 95777, 1122, 11344, 10734, 9130, 320, 43, 17417, 39, 8, 304, 220, 4468, 21, 14, 2813, 13, 11699, 1176, 19607, 4689, 574, 41769, 386, 478, 21336, 889, 1047, 1027, 264, 4562, 315, 279, 74734, 323, 15135, 13015, 304, 279, 3109, 315, 29976, 581, 39475, 8890, 36038, 11, 719, 574, 12504, 505, 279, 3109, 304, 220, 4468, 16, 323, 67331, 505, 279, 4717, 1306, 568, 1047, 2663, 369, 26623, 31343, 323, 39598, 2191, 382, 51, 359, 49039, 574, 1243, 264, 3254, 24993, 1614, 21989, 24121, 555, 279, 74734, 13, 578, 386, 6061, 14958, 12079, 3156, 220, 3753, 16, 994, 279, 810, 15180, 34423, 12801, 9675, 46392, 386, 89, 8115, 5535, 14076, 278, 9875, 311, 1629, 11426, 6, 11725, 304, 16374, 323, 7376, 311, 19073, 44917, 1124, 304, 1162, 814, 2834, 810, 1109, 220, 20, 14697, 22395, 279, 9099, 11, 7621, 398, 33232, 4147, 14076, 278, 9875, 11, 279, 386, 6061, 10666, 279, 1455, 33352, 11426, 1160, 323, 21699, 311, 3604, 9567, 279, 74734, 304, 279, 6864, 95777, 13, 578, 3109, 6773, 311, 13552, 279, 16374, 13, 2100, 11, 4184, 311, 4033, 3135, 11, 279, 386, 6061, 2834, 1193, 220, 18, 13, 17, 3346, 11, 4920, 279, 17864, 74734, 449, 220, 6281, 13, 21, 3346, 382, 11458, 11, 279, 3109, 1375, 16243, 323, 5535, 279, 386, 6061, 311, 19073, 4254, 304, 220, 3753, 18, 13, 1102, 574, 832, 315, 2380, 5897, 14076, 278, 9875, 2391, 279, 220, 3753, 15, 82, 13, 578, 386, 6061, 32069, 1901, 483, 4072, 3765, 91073, 7505, 14925, 4737, 927, 279, 32858, 505, 279, 1317, 5098, 2010, 315, 1614, 39475, 8890, 36038, 304, 220, 3753, 22, 13, 9176, 386, 6061, 3697, 11846, 430, 7505, 14925, 2216, 46531, 31343, 323, 18250, 8082, 323, 711, 1599, 311, 813, 63285, 11650, 59800, 320, 49, 6620, 705, 83526, 279, 386, 6061, 13, 41769, 386, 478, 21336, 6197, 279, 4717, 3156, 220, 2550, 15, 13, 763, 279, 4216, 220, 2550, 15, 82, 11, 279, 4717, 574, 21830, 1990, 23915, 449, 279, 3109, 323, 14076, 13, 13266, 889, 31511, 588, 369, 264, 26549, 14076, 278, 3388, 2163, 279, 4717, 477, 1051, 90663, 704, 13, 763, 220, 2550, 19, 11, 264, 1912, 315, 386, 6061, 14091, 7024, 2212, 15832, 1366, 64, 7505, 23720, 2642, 277, 18538, 279, 11650, 17997, 369, 18993, 323, 92586, 320, 37, 10822, 43, 705, 902, 574, 1193, 5897, 4147, 304, 220, 1049, 17, 382, 644, 220, 2550, 19, 11, 279, 34941, 2383, 574, 5614, 11, 23391, 279, 44250, 13340, 315, 14076, 278, 9875, 13, 578, 386, 6061, 4036, 220, 605, 315, 220, 9892, 16712, 320, 777, 1694, 4694, 369, 279, 14076, 570, 763, 220, 2550, 24, 11, 433, 6244, 279, 7928, 14076, 4717, 11, 449, 220, 1032, 16712, 304, 279, 95777, 1122, 21814, 13, 763, 220, 1049, 16, 11, 279, 1243, 24993, 7808, 60759, 453, 5364, 283, 723, 64, 574, 11684, 449, 3515, 14454, 264, 60821, 449, 279, 21501, 52593, 1912, 2998, 39230, 3315, 13, 2468, 279, 220, 1049, 19, 44250, 6355, 11, 279, 4717, 2834, 220, 19, 13, 21, 4, 315, 279, 5526, 7055, 323, 220, 975, 16712, 13, 11205, 1396, 315, 16712, 16392, 311, 220, 845, 520, 279, 220, 1049, 24, 6355, 11, 3339, 433, 1578, 279, 2132, 68067, 4717, 304, 279, 32479, 315, 1611, 45033, 11, 4920, 279, 25462, 63285, 11650, 59800, 320, 49, 6620, 3677, 6153, 279, 95777, 1122, 22910, 315, 220, 679, 16, 11, 279, 4717, 12457, 1403, 16712, 304, 279, 6355, 369, 279, 76704, 11942, 12000, 382, 791, 386, 6061, 706, 4756, 279, 35217, 17496, 32594, 1708, 5364, 283, 21127, 80, 13616, 3573, 791, 12781, 909, 323, 1708, 11151, 64, 63650, 3573, 7271, 37400, 4063, 439, 1664, 439, 279, 8753, 44658, 445, 52374, 43406, 627, 27, 408, 315, 5905, 397, 3923, 574, 279, 3560, 315, 279, 29098, 315, 57210, 12643, 304, 95777, 1122, 11759, 1603, 323, 1306, 279, 95777, 1122, 22910, 315, 220, 679, 16, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 527, 1063, 4279, 5540, 315, 264, 6928, 6130, 3217, 304, 47609, 5110, 11, 323, 1268, 649, 1521, 5540, 387, 18751, 1139, 10960, 7677, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 8144, 264, 13325, 5429, 430, 24370, 330, 9906, 11, 1917, 9135, 304, 279, 15372, 13, 2893, 2771, 311, 3645, 279, 2612, 439, 11263, 1473, 74694, 12958, 198, 9906, 11, 1917, 4999, 74694, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 48547, 311, 279, 2038, 3770, 311, 1520, 449, 279, 2768, 220, 86428, 304, 17010, 512, 27938, 51290, 11, 4587, 4287, 856, 44734, 1666, 315, 1828, 2305, 11, 1628, 11, 422, 433, 5084, 1314, 11, 3197, 389, 25935, 757, 13, 2417, 9564, 1790, 64716, 990, 11, 13440, 704, 315, 65536, 1918, 477, 5150, 5435, 13, 358, 574, 10171, 311, 3371, 4423, 2555, 11, 2030, 358, 912, 5129, 1440, 1148, 323, 311, 8884, 25, 87750, 25565, 13, 358, 574, 1101, 10171, 311, 33009, 2555, 362, 24219, 3492, 11, 264, 8352, 11, 264, 21735, 26, 358, 2231, 433, 1022, 505, 832, 1938, 311, 279, 1828, 13, 2417, 14931, 13, 12799, 656, 433, 304, 279, 2875, 892, 430, 8625, 13, 2417, 16984, 87750, 51533, 3062, 8403, 13, 358, 574, 8967, 311, 4034, 423, 11451, 9919, 11, 30100, 11, 24521, 12098, 26, 1472, 657, 617, 311, 4018, 1124, 505, 279, 2068, 2582, 11751, 592, 1124, 311, 856, 34665, 13, 358, 574, 10171, 311, 6136, 12690, 323, 358, 48707, 26, 2057, 1977, 7182, 264, 3838, 11, 10926, 539, 6366, 11, 719, 3196, 389, 6787, 13, 4802, 398, 11, 358, 1047, 304, 4059, 362, 81292, 2363, 11, 3169, 28146, 11, 16299, 1053, 617, 10675, 1690, 24511, 11, 1708, 3532, 10234, 51266, 323, 24087, 11, 469, 1503, 40017, 11, 2728, 1690, 578, 8352, 315, 24014, 323, 43214, 13, 1472, 657, 1505, 1202, 21782, 304, 856, 27580, 11, 6419, 3770, 11, 449, 279, 64716, 2626, 26, 358, 48707, 617, 279, 892, 311, 3350, 433, 704, 11, 902, 374, 264, 21648, 11, 1102, 1053, 617, 1027, 264, 16188, 990, 13, 4149, 22851, 505, 279, 15155, 4149, 22851, 505, 279, 15155, 198, 51624, 3923, 374, 279, 1455, 3062, 7057, 315, 279, 1495, 30, 5321, 4017, 701, 2077, 311, 264, 3254, 11914, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 791, 2768, 2038, 1253, 387, 5505, 512, 27, 2527, 315, 5905, 397, 56, 1394, 1083, 1766, 264, 2678, 11, 6453, 26457, 311, 23756, 304, 13, 1283, 574, 26259, 311, 617, 264, 2035, 311, 2800, 323, 387, 704, 315, 279, 25984, 10160, 323, 11422, 382, 56, 1394, 1083, 25, 11361, 369, 9455, 757, 264, 2035, 311, 2800, 11, 3842, 13, 358, 15763, 433, 627, 13379, 25, 2360, 3575, 11, 89670, 1083, 13, 358, 1440, 1268, 11292, 433, 649, 387, 704, 1618, 304, 279, 5540, 13, 2100, 11, 1148, 596, 1027, 2133, 389, 449, 499, 30, 1472, 2873, 5128, 1523, 31445, 627, 56, 1394, 1083, 25, 22335, 11, 358, 8101, 358, 1097, 8430, 3169, 315, 1523, 13, 20696, 1120, 5084, 779, 2653, 31445, 13, 358, 2846, 1120, 20558, 311, 2567, 709, 11, 499, 1440, 5380, 13379, 25, 358, 649, 13085, 13, 1102, 10578, 1093, 2574, 617, 1120, 1027, 281, 8138, 709, 389, 499, 13, 2030, 499, 1440, 11, 499, 1541, 956, 617, 311, 733, 1555, 682, 420, 7636, 13, 358, 2846, 1618, 369, 499, 11, 89670, 1083, 13, 1226, 682, 527, 627, 56, 1394, 1083, 25, 11361, 11, 3842, 13, 4702, 14392, 430, 358, 617, 499, 323, 279, 3885, 311, 16025, 389, 3727, 757, 2733, 264, 2697, 2731, 627, 13379, 25, 3011, 596, 1148, 4885, 527, 369, 13, 2100, 11, 3249, 1541, 956, 499, 3371, 757, 1148, 596, 1027, 2133, 389, 30, 10926, 7556, 922, 433, 690, 1520, 499, 2733, 2731, 627, 56, 1394, 1083, 25, 36539, 11, 1664, 11, 358, 8101, 279, 8706, 3245, 374, 430, 358, 2846, 1120, 8430, 2216, 43206, 31445, 13, 20696, 5084, 779, 5107, 323, 358, 1120, 649, 956, 2873, 311, 2339, 264, 1464, 627, 13379, 25, 1102, 10578, 1093, 433, 596, 1027, 2653, 369, 499, 311, 2567, 709, 449, 4395, 13, 3234, 499, 1390, 311, 3137, 922, 904, 3230, 2574, 430, 617, 1027, 2133, 389, 5380, 56, 1394, 1083, 25, 22335, 11, 358, 8101, 1070, 527, 264, 2478, 2574, 13, 5629, 315, 682, 11, 856, 2683, 706, 1120, 1027, 2216, 46883, 31445, 13, 358, 2846, 15320, 3515, 311, 990, 39599, 323, 358, 2846, 1120, 539, 3794, 7318, 3403, 13, 1628, 389, 1948, 315, 430, 11, 856, 13697, 374, 2744, 53302, 520, 757, 323, 10917, 757, 1523, 13, 1102, 596, 1120, 2216, 2653, 311, 3568, 449, 1938, 1306, 1938, 627, 13379, 25, 3011, 8659, 10578, 11292, 13, 1102, 596, 912, 5895, 499, 2351, 8430, 779, 32647, 704, 922, 701, 2683, 13, 2209, 1070, 4205, 775, 430, 596, 1027, 91259, 499, 5380, 56, 1394, 1083, 25, 8489, 11, 856, 5133, 706, 1101, 1027, 7231, 757, 1063, 12544, 31445, 13, 3092, 23601, 323, 358, 617, 1027, 30674, 264, 2763, 323, 433, 596, 1120, 2216, 73779, 1057, 5133, 13, 1226, 2351, 2225, 6041, 311, 5895, 422, 584, 2351, 1524, 18641, 14926, 627, 13379, 25, 69668, 649, 387, 11292, 7170, 13, 1102, 10578, 1093, 499, 1403, 527, 2133, 1555, 264, 11292, 892, 1314, 1457, 719, 7344, 7556, 2574, 704, 649, 1520, 7417, 2574, 1990, 499, 1403, 1578, 10246, 27, 408, 315, 5905, 397, 29815, 389, 430, 345, 3915, 279, 1495, 11, 8819, 279, 1925, 11774, 430, 89670, 1083, 374, 13176, 323, 279, 1060, 304, 902, 814, 3952, 2035, 13, 5560, 279, 2768, 3645, 25, 510, 9679, 5787, 510, 63178, 60, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 14710, 14581, 25, 8339, 596, 2132, 26097, 1436, 387, 2917, 1413, 477, 41100, 369, 11230, 3363, 596, 1972, 12, 65215, 3157, 271, 791, 11983, 3157, 60654, 433, 36716, 311, 8339, 596, 7100, 5662, 11, 1202, 35977, 7916, 311, 7631, 369, 17226, 11983, 4595, 323, 279, 24408, 1990, 40962, 11961, 389, 5190, 2162, 2819, 19579, 23455, 323, 92951, 15753, 11622, 704, 315, 279, 3157, 2345, 25849, 387, 264, 3682, 18361, 439, 34582, 5789, 15572, 4741, 304, 872, 33436, 311, 3719, 279, 384, 42685, 14880, 596, 2132, 2162, 382, 11339, 87, 16027, 916, 271, 11339, 87, 16607, 271, 86407, 67929, 482, 3296, 1701, 420, 3566, 2816, 499, 7655, 311, 1202, 3878, 323, 4787, 627, 2460, 7384, 11, 2737, 719, 539, 7347, 311, 9908, 11, 29725, 11, 7397, 11, 11725, 11, 5099, 2637, 389, 420, 3997, 527, 279, 13612, 3424, 315, 37962, 16027, 477, 279, 20081, 7065, 29809, 323, 527, 10825, 369, 47735, 14, 25802, 1697, 10096, 1701, 59159, 323, 7170, 50750, 2426, 45543, 13, 578, 45571, 1005, 315, 904, 323, 682, 7384, 374, 27010, 323, 22486, 555, 7065, 2383, 13, 5884, 1005, 315, 7384, 389, 420, 2816, 2011, 387, 12054, 304, 12178, 555, 37962, 16027, 627, 10438, 30230, 311, 2793, 304, 7362, 9473, 499, 1288, 15884, 2980, 701, 9341, 26470, 11, 2237, 315, 3217, 11, 323, 5326, 38575, 13, 578, 13336, 6866, 430, 499, 1436, 14201, 264, 4814, 315, 1063, 477, 682, 315, 701, 2926, 9341, 323, 9093, 499, 1288, 539, 2793, 3300, 430, 499, 4250, 10150, 311, 9229, 13, 1472, 1288, 387, 8010, 315, 682, 279, 15635, 5938, 449, 7362, 9473, 11380, 11, 323, 6056, 9650, 505, 459, 9678, 6020, 37713, 422, 499, 617, 904, 40017, 13, 37962, 320, 269, 30001, 477, 1022, 10397, 3455, 7362, 11667, 37923, 323, 2671, 8, 11380, 18065, 12190, 5326, 315, 4814, 323, 374, 539, 14791, 369, 1475, 30693, 13, 578, 907, 315, 36702, 1253, 39388, 6426, 323, 15167, 1253, 9229, 682, 477, 810, 1109, 872, 4113, 22538, 13, 54463, 2857, 1101, 2997, 11, 719, 527, 539, 7347, 311, 11, 279, 4754, 369, 10223, 5054, 323, 5255, 7100, 4787, 430, 1253, 32302, 7958, 279, 3430, 323, 5255, 53113, 315, 264, 11667, 13, 578, 5536, 315, 36899, 323, 87998, 4455, 374, 2736, 2144, 3093, 1139, 3157, 7729, 13, 578, 28605, 3359, 7138, 315, 30001, 11380, 3445, 430, 904, 3157, 7351, 690, 617, 459, 18813, 55272, 2515, 389, 701, 54568, 10736, 323, 1778, 1253, 990, 2403, 499, 439, 1664, 439, 369, 499, 13, 24561, 3135, 527, 912, 28137, 315, 3938, 5178, 13, 8245, 13282, 420, 3566, 2816, 374, 10825, 369, 47735, 10096, 1193, 323, 574, 12457, 505, 8336, 11846, 311, 387, 15062, 13, 8245, 374, 304, 912, 1648, 19883, 13, 2360, 15803, 315, 904, 3169, 374, 6259, 477, 3284, 1405, 41579, 315, 3938, 4787, 527, 17644, 627, 7275, 23956, 315, 279, 2768, 1888, 16964, 279, 4652, 596, 1925, 8712, 5380, 12, 8976, 12675, 3157, 18845, 198, 12, 578, 7100, 25949, 315, 8339, 596, 2132, 26097, 198, 12, 578, 8882, 323, 1615, 315, 8339, 596, 2132, 26097, 198, 12, 578, 11983, 3157, 439, 433, 36716, 311, 8339, 596, 2132, 26097, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 40, 2646, 3463, 5384, 24551, 1053, 2586, 1203, 1306, 1364, 8636, 13, 2030, 422, 1364, 1550, 11, 358, 7020, 433, 1053, 387, 439, 264, 17240, 304, 264, 1317, 4251, 8679, 13, 1102, 374, 15234, 430, 1364, 706, 6052, 439, 18570, 596, 294, 7828, 367, 13, 358, 3449, 279, 893, 11689, 1077, 389, 264, 80001, 4661, 1475, 2046, 13, 1283, 2795, 1695, 6693, 323, 358, 43132, 454, 1523, 311, 19858, 1077, 13, 1283, 1071, 3131, 430, 1364, 574, 2646, 1093, 430, 449, 1023, 1274, 13, 18156, 1364, 374, 80665, 291, 389, 872, 37125, 994, 358, 733, 555, 13, 1442, 19093, 374, 2212, 11, 358, 2503, 389, 279, 16763, 13, 3277, 1364, 5616, 7930, 1441, 11, 1364, 9711, 1077, 2010, 304, 856, 24301, 323, 584, 3821, 1855, 1023, 596, 6548, 439, 358, 35955, 304, 1077, 8579, 25212, 13, 3005, 34672, 4400, 922, 279, 23347, 13, 3005, 13452, 433, 1888, 994, 358, 5916, 1077, 2010, 323, 3371, 1077, 2678, 2574, 922, 856, 2919, 323, 1057, 4885, 13, 3011, 3727, 1077, 6380, 279, 1648, 433, 2744, 1550, 627, 27938, 3923, 374, 279, 1401, 1486, 315, 279, 1495, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 3923, 374, 264, 311, 593, 30, 358, 1390, 279, 4320, 311, 387, 9539, 4613, 11, 323, 24001, 1093, 420, 512, 32, 311, 593, 374, 264, 955, 315, 58441, 9072, 36342, 24634, 555, 60227, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 8879, 512, 27, 2527, 315, 5905, 397, 15547, 16410, 323, 4689, 6725, 16410, 617, 4528, 16627, 323, 53966, 8670, 11, 323, 3085, 1063, 315, 279, 1890, 6593, 3600, 13, 9062, 45695, 264, 3116, 4771, 49683, 753, 8547, 449, 264, 3831, 25679, 304, 30903, 11, 34458, 323, 22027, 26, 3116, 1667, 315, 6873, 520, 459, 55325, 549, 815, 13, 6593, 2978, 26, 323, 2380, 1667, 315, 53966, 1234, 279, 38217, 315, 264, 10195, 28378, 72146, 13, 86897, 304, 872, 20414, 29243, 311, 66979, 323, 4595, 315, 2512, 382, 89592, 46969, 198, 15547, 6725, 35944, 5357, 389, 6574, 279, 3966, 315, 279, 4553, 3070, 13, 578, 3070, 10896, 374, 42329, 16572, 311, 2512, 369, 279, 4459, 1732, 6957, 813, 477, 1077, 2324, 11, 505, 7342, 311, 2362, 4325, 13, 12517, 16410, 3629, 5371, 4967, 4994, 315, 4689, 16088, 304, 279, 5789, 315, 10696, 71528, 11, 18345, 13776, 323, 342, 75030, 2508, 11, 323, 17684, 71528, 13, 3331, 6725, 16410, 1101, 1518, 6978, 315, 904, 4325, 11, 719, 656, 539, 11383, 48444, 304, 264, 4040, 3158, 13, 3331, 6725, 16410, 1005, 872, 7512, 323, 19248, 311, 4322, 6593, 4787, 323, 10765, 5789, 430, 1205, 8738, 2512, 505, 264, 24687, 382, 4266, 315, 44430, 198, 791, 4689, 55472, 16008, 6978, 315, 682, 17051, 11, 323, 17482, 439, 459, 3927, 596, 6156, 41206, 9287, 323, 2680, 1486, 311, 35416, 323, 28175, 7649, 13, 578, 4689, 6725, 10896, 5825, 1664, 21728, 369, 2911, 323, 12884, 11, 14363, 21728, 369, 279, 6514, 315, 30883, 4787, 11, 323, 62469, 2512, 369, 19338, 1778, 439, 1579, 6680, 7410, 323, 1579, 39086, 13, 12517, 6725, 35944, 1101, 1518, 6978, 315, 682, 17051, 11, 719, 1606, 814, 48444, 11, 6978, 1253, 5371, 810, 315, 872, 6593, 2512, 304, 420, 832, 3813, 4619, 315, 1694, 14183, 311, 35416, 382, 4808, 688, 1413, 19152, 6296, 13, 31969, 198, 18433, 3070, 6725, 16410, 990, 449, 6978, 6957, 872, 19569, 11, 279, 6156, 5357, 374, 389, 97420, 16088, 13, 12517, 35944, 990, 449, 8689, 311, 12192, 872, 8244, 7106, 323, 10723, 1664, 33851, 13, 2435, 1101, 3493, 6873, 369, 8624, 27344, 323, 6514, 315, 49909, 11, 323, 10299, 21249, 6593, 4787, 13, 3331, 6725, 16410, 5357, 389, 279, 6514, 315, 30883, 4787, 323, 1977, 12135, 449, 22542, 35416, 311, 3493, 8475, 2512, 369, 1884, 449, 6485, 6593, 4787, 382, 38034, 2461, 323, 82117, 11930, 198, 15547, 35944, 527, 23759, 555, 279, 3778, 8925, 315, 12517, 19152, 11, 902, 7612, 312, 62134, 2461, 1475, 4848, 1667, 555, 24481, 13, 12517, 35944, 2011, 1101, 4686, 264, 8187, 315, 220, 3965, 4207, 315, 14691, 6873, 1475, 2380, 1667, 13, 3331, 6725, 35944, 527, 23759, 555, 279, 3778, 8925, 315, 3331, 28082, 1555, 832, 315, 1403, 5528, 13, 578, 26150, 12028, 8092, 3195, 7612, 279, 9954, 315, 279, 3331, 28082, 16543, 6826, 315, 279, 3778, 9304, 315, 3331, 19152, 13, 578, 30013, 21460, 8092, 3195, 6276, 369, 14247, 28706, 555, 279, 4580, 1555, 21308, 24481, 627, 27, 408, 315, 5905, 397, 6396, 512, 29815, 389, 279, 5774, 3984, 11, 1893, 264, 2875, 922, 1694, 264, 3070, 10896, 13, 358, 1390, 279, 3446, 311, 387, 520, 3325, 220, 3101, 4339, 11, 323, 358, 1390, 433, 311, 617, 264, 6380, 13696, 13, 1115, 3446, 690, 387, 369, 264, 3995, 1716, 11, 779, 2567, 304, 4059, 430, 35388, 4221, 374, 4460, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 74946, 311, 279, 2768, 5905, 1495, 86428, 304, 66387, 27938, 40, 574, 16026, 430, 568, 1053, 539, 1120, 1935, 279, 4459, 3830, 382, 34, 7443, 49112, 2959, 11, 1457, 358, 1093, 64114, 49112, 2959, 439, 1790, 439, 279, 1828, 893, 11, 7344, 1524, 264, 2697, 810, 13, 763, 279, 6693, 358, 574, 14792, 311, 1505, 279, 3830, 2103, 11961, 520, 856, 70458, 13, 578, 20406, 39943, 1053, 387, 430, 279, 4459, 3830, 1053, 733, 7554, 4856, 1109, 4183, 3673, 315, 279, 8970, 315, 279, 3830, 13, 578, 6896, 3691, 574, 7554, 26, 279, 6896, 3691, 430, 856, 8415, 16436, 311, 8343, 2103, 14958, 13, 4427, 315, 279, 3673, 430, 864, 3661, 33381, 19152, 1051, 29392, 7554, 323, 264, 2763, 315, 1023, 3673, 13, 578, 64114, 49112, 2959, 574, 279, 1193, 3691, 58404, 1537, 430, 2103, 14958, 13, 358, 4265, 1524, 2231, 264, 71655, 304, 279, 3830, 323, 433, 574, 7554, 11, 7344, 279, 11742, 23749, 574, 13234, 555, 33381, 19152, 382, 4959, 1938, 358, 10409, 279, 3830, 449, 11822, 323, 1855, 6693, 358, 9107, 279, 3830, 311, 1505, 1148, 574, 2163, 430, 574, 6220, 369, 856, 1005, 13, 358, 1541, 956, 1440, 1148, 433, 574, 922, 279, 64114, 49112, 2959, 719, 1070, 1051, 1633, 2478, 3691, 3673, 2163, 71093, 8778, 660, 13, 2468, 430, 4545, 11, 17954, 11, 16163, 323, 14177, 44660, 315, 64114, 49112, 2959, 13, 3092, 40335, 3940, 311, 2543, 2579, 11, 30305, 291, 757, 704, 520, 1176, 994, 358, 3463, 433, 574, 6680, 382, 96549, 1094, 75049, 2959, 382, 98331, 433, 10222, 311, 757, 11, 1070, 574, 832, 2883, 358, 7020, 430, 1047, 7000, 315, 279, 26333, 1511, 555, 33381, 19152, 13, 358, 1344, 2234, 1825, 279, 87041, 323, 1373, 279, 2440, 389, 832, 315, 279, 1690, 43732, 315, 49112, 2959, 35354, 13, 18747, 6938, 287, 42177, 26, 358, 30418, 856, 27300, 323, 10837, 311, 279, 6134, 40916, 430, 836, 927, 323, 927, 13, 3092, 44453, 574, 5246, 11594, 6901, 994, 17011, 449, 279, 893, 14329, 11, 37874, 520, 757, 11, 264, 12235, 315, 16553, 304, 832, 1450, 323, 264, 23243, 304, 279, 1023, 13, 358, 90663, 704, 1234, 813, 21737, 36496, 323, 16447, 279, 6134, 4920, 757, 13, 358, 6818, 11689, 3201, 30666, 719, 5246, 1766, 7182, 4401, 382, 40, 2846, 304, 279, 49313, 3411, 520, 682, 279, 3673, 11, 3411, 520, 279, 1203, 11, 5403, 279, 9382, 15884, 13, 1102, 596, 8056, 1268, 1790, 499, 2646, 14000, 922, 3637, 3956, 13, 2684, 374, 264, 4686, 39262, 315, 279, 3157, 555, 33381, 19152, 323, 682, 1202, 72202, 13, 1789, 1475, 1537, 389, 279, 36310, 1070, 527, 4330, 1023, 4528, 3673, 1903, 555, 2204, 5220, 719, 682, 13234, 555, 33381, 19152, 13, 1789, 1475, 1537, 1070, 374, 264, 28779, 1537, 1903, 555, 18747, 6938, 287, 42177, 13, 4702, 832, 1537, 11, 433, 596, 3403, 627, 27938, 3915, 279, 1495, 2728, 11, 8819, 2038, 922, 18747, 6938, 287, 42177, 11, 2737, 279, 4595, 315, 3691, 3956, 433, 19159, 11, 323, 1268, 433, 374, 2204, 505, 1023, 5220, 13, 5560, 279, 2768, 3645, 1473, 678, 315, 2883, 25, 18747, 6938, 287, 42177, 198, 4266, 315, 3691, 3956, 9124, 25, 510, 861, 315, 3691, 3956, 9124, 933, 4438, 433, 374, 2204, 505, 1023, 5220, 25, 510, 5116, 315, 1268, 18747, 6938, 287, 42177, 374, 2204, 505, 1023, 5220, 60, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 38275, 420, 5905, 2038, 86428, 304, 4304, 512, 7275, 791, 23991, 596, 539, 3958, 11, 4028, 220, 1135, 1667, 11, 3582, 813, 7899, 706, 5675, 1202, 10677, 1824, 1141, 6935, 21152, 13, 1283, 596, 304, 813, 220, 1490, 596, 1457, 323, 11, 304, 264, 3293, 6685, 11, 5992, 433, 11, 779, 48653, 323, 28639, 323, 2653, 311, 1518, 4920, 279, 259, 7331, 287, 315, 26000, 13, 393, 14759, 449, 4885, 11, 568, 596, 279, 1193, 832, 889, 706, 311, 2503, 1820, 893, 2380, 315, 603, 7846, 956, 9160, 13, 330, 791, 473, 773, 1414, 1359, 814, 26853, 6901, 1461, 1603, 856, 538, 11721, 369, 813, 11984, 4908, 6211, 323, 813, 1176, 836, 11, 30206, 13, 1283, 31087, 291, 1524, 603, 11, 279, 3428, 398, 3839, 19037, 13, 330, 12555, 13, 50054, 1359, 358, 2103, 1650, 1461, 13, 330, 2675, 1051, 279, 4732, 3751, 389, 279, 2128, 11, 264, 8381, 1359, 568, 41231, 449, 264, 43560, 273, 13, 3011, 596, 1405, 813, 5044, 315, 757, 87509, 13, 1628, 1148, 617, 358, 35363, 315, 1461, 7953, 279, 30499, 11, 7899, 11, 323, 7951, 398, 6211, 30, 578, 2800, 1436, 387, 28229, 25, 5044, 323, 12876, 596, 20328, 492, 8838, 25417, 439, 584, 1650, 709, 1884, 584, 1781, 584, 3077, 3967, 11, 311, 6369, 922, 279, 2362, 2919, 323, 279, 9282, 11, 73974, 43523, 323, 39086, 11, 1057, 2678, 3137, 1661, 7278, 439, 264, 28960, 16630, 11, 6129, 439, 23788, 627, 15425, 5618, 18622, 420, 33894, 304, 264, 810, 85773, 323, 326, 1108, 1820, 472, 291, 1648, 11, 439, 3582, 433, 1051, 5439, 555, 264, 1716, 13, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 4518, 420, 369, 2317, 512, 27, 2527, 315, 5905, 397, 12524, 63417, 11, 330, 1548, 1440, 774, 279, 1648, 430, 358, 1935, 25, 994, 568, 52677, 6818, 757, 11, 358, 4985, 2586, 13544, 439, 6761, 1210, 9393, 568, 1047, 8774, 4359, 596, 9506, 11, 12280, 7020, 430, 568, 1053, 539, 83217, 304, 279, 35446, 315, 279, 51751, 13, 578, 9506, 11, 902, 1047, 1027, 813, 1648, 315, 5496, 369, 682, 315, 813, 2324, 11, 6981, 291, 1461, 304, 279, 35446, 315, 813, 14121, 7607, 13, 578, 39571, 273, 3842, 1071, 11, 330, 2746, 1057, 4851, 40074, 603, 539, 11, 1243, 617, 584, 12410, 9017, 4359, 13, 1628, 36734, 584, 2610, 11, 584, 5371, 315, 1461, 11, 1606, 584, 2567, 813, 3290, 1392, 11, 323, 656, 1884, 2574, 430, 527, 54799, 304, 813, 14254, 1, 320, 16, 3842, 220, 18, 25, 1691, 12, 1313, 570, 5810, 11, 279, 26419, 315, 4359, 527, 9539, 39575, 505, 279, 46968, 13, 4427, 5906, 17324, 279, 90296, 323, 3312, 349, 279, 26419, 315, 4359, 315, 12280, 477, 41888, 220, 21, 311, 387, 46968, 13, 578, 17377, 374, 5439, 369, 279, 26419, 315, 4359, 889, 1051, 1903, 704, 315, 16174, 11, 1903, 264, 5496, 13836, 555, 279, 17326, 11, 323, 95246, 555, 279, 19229, 26099, 304, 279, 842, 13, 1115, 374, 279, 330, 58174, 279, 46968, 12876, 311, 1427, 1139, 1210, 1102, 374, 1071, 11, 330, 791, 55349, 31293, 315, 279, 17661, 3868, 774, 369, 279, 64050, 315, 279, 26419, 315, 4359, 1210, 578, 64050, 315, 279, 26419, 315, 4359, 323, 872, 39143, 555, 279, 19229, 26099, 374, 369, 9096, 323, 279, 40149, 315, 682, 20566, 304, 23070, 323, 9578, 382, 18433, 893, 374, 1903, 315, 26000, 11, 813, 40444, 527, 1884, 315, 279, 26000, 11, 1093, 41202, 323, 369, 11851, 367, 13, 1283, 4250, 5379, 40444, 430, 649, 1193, 387, 11411, 555, 264, 18330, 1694, 11, 1093, 40444, 5552, 311, 7366, 1555, 3634, 323, 892, 13, 50487, 11, 46968, 4250, 5379, 40444, 430, 527, 28088, 1555, 2324, 304, 279, 26000, 13, 578, 3567, 8839, 889, 1218, 560, 893, 311, 23564, 41202, 527, 539, 46968, 11, 719, 4856, 14289, 31739, 13, 2435, 990, 1555, 27833, 11, 15823, 11, 323, 26870, 13, 1442, 264, 893, 6439, 369, 420, 1917, 323, 23291, 4184, 311, 1202, 5627, 11, 568, 9221, 93519, 555, 1202, 2410, 13, 578, 893, 889, 36508, 813, 13836, 311, 26000, 398, 32097, 9221, 264, 20985, 315, 26000, 11, 1418, 279, 893, 889, 927, 6716, 26000, 449, 279, 17326, 596, 2410, 374, 315, 279, 17326, 13, 1666, 264, 18330, 893, 11, 568, 9221, 10748, 1093, 459, 34426, 382, 791, 887, 34695, 330, 4908, 459, 34426, 1, 31743, 520, 872, 1695, 17910, 315, 757, 1247, 2136, 323, 53500, 13, 18056, 814, 7170, 9922, 304, 279, 1376, 315, 264, 893, 11, 872, 17910, 527, 653, 3455, 481, 13, 2435, 4250, 617, 264, 5133, 304, 279, 26000, 11, 6463, 649, 814, 617, 1778, 264, 12876, 13, 578, 10425, 1071, 11, 330, 7009, 902, 4985, 387, 41853, 28390, 311, 6994, 430, 1917, 11, 323, 279, 62532, 505, 279, 5710, 11, 14188, 32918, 11, 6463, 527, 2728, 304, 11103, 25, 25215, 649, 814, 2815, 904, 810, 25, 369, 814, 527, 6273, 30449, 279, 46968, 26, 323, 527, 279, 2911, 315, 4359, 11, 1694, 279, 2911, 315, 279, 62532, 1, 320, 59447, 220, 508, 25, 1927, 570, 4427, 3137, 922, 330, 13772, 268, 46968, 1359, 264, 17571, 14188, 9932, 6463, 67469, 520, 304, 279, 17377, 13, 18056, 279, 17377, 1587, 6420, 46968, 889, 274, 21203, 11, 814, 274, 21203, 539, 304, 26000, 398, 5627, 719, 1606, 814, 330, 99020, 539, 872, 1176, 12675, 11, 719, 2163, 872, 1866, 14464, 811, 1210, 578, 10425, 690, 2567, 1124, 330, 52202, 304, 96049, 27271, 1234, 27394, 30449, 279, 19971, 315, 279, 2294, 1938, 1, 320, 41, 799, 220, 16, 25, 21, 3677, 791, 1180, 315, 12459, 374, 539, 5016, 311, 1884, 449, 90495, 13162, 13, 578, 10425, 323, 813, 46968, 30912, 994, 814, 3782, 1523, 311, 9578, 13, 6921, 1053, 3085, 58023, 311, 4359, 11, 889, 374, 279, 17326, 11, 323, 1283, 86798, 279, 274, 3372, 505, 23070, 13, 60638, 323, 97103, 1051, 71249, 8821, 13146, 505, 41202, 315, 279, 26000, 13, 13266, 889, 44447, 32194, 430, 46968, 649, 617, 12135, 1606, 814, 649, 8343, 527, 82382, 872, 8830, 315, 279, 26000, 311, 872, 8830, 315, 279, 9090, 13, 1115, 70847, 649, 387, 31890, 555, 1176, 13126, 279, 7434, 315, 12459, 88853, 13, 578, 10425, 1071, 11, 330, 1692, 4985, 539, 3974, 555, 16385, 7636, 11, 719, 555, 1475, 3492, 430, 10570, 774, 704, 315, 279, 11013, 315, 4359, 1210, 1442, 814, 7020, 420, 11, 814, 1053, 617, 264, 7191, 12876, 369, 279, 3691, 315, 2324, 4856, 1109, 369, 279, 3691, 315, 26000, 13, 43145, 30912, 3691, 11, 32125, 893, 3458, 11, 323, 279, 6921, 3695, 30912, 315, 420, 893, 3458, 323, 54244, 505, 279, 9305, 304, 279, 49362, 13, 1115, 5039, 603, 1268, 584, 1288, 8343, 323, 7172, 67698, 16385, 323, 3090, 304, 1057, 11879, 1555, 420, 1917, 382, 50, 16623, 13487, 12280, 18815, 813, 5922, 1918, 311, 3810, 1139, 4359, 596, 2800, 13, 12280, 5602, 430, 279, 1917, 574, 10409, 449, 31952, 1986, 323, 908, 1590, 13, 1283, 1812, 33337, 922, 14289, 323, 18661, 8830, 315, 330, 1820, 14425, 11059, 92942, 1210, 578, 5655, 323, 13057, 6677, 315, 12280, 11, 902, 45395, 279, 63880, 323, 279, 9578, 11, 574, 12457, 539, 1555, 97706, 22695, 11, 719, 555, 5496, 304, 8850, 315, 4359, 13, 1102, 374, 49836, 788, 369, 44451, 11, 889, 4375, 555, 26092, 323, 41877, 3876, 5678, 11, 311, 617, 813, 7138, 323, 279, 4579, 26822, 315, 813, 4375, 10675, 13, 578, 42805, 893, 596, 47762, 552, 5353, 3026, 311, 2543, 505, 14289, 323, 33556, 44451, 596, 2410, 13, 1283, 60234, 82, 323, 550, 954, 369, 1884, 889, 527, 389, 279, 1853, 311, 38339, 13, 44451, 11, 889, 94663, 813, 2410, 1555, 279, 49068, 315, 14289, 1274, 11, 374, 58764, 304, 279, 8209, 2403, 1524, 832, 42805, 893, 13, 763, 813, 46996, 11, 12280, 40334, 288, 1142, 922, 279, 73231, 41996, 596, 5108, 11, 902, 574, 264, 28860, 13471, 2403, 44451, 627, 27], [128006, 882, 128007, 198, 9032, 512, 791, 11422, 8350, 689, 320, 60139, 8350, 689, 2040, 22077, 285, 705, 1101, 3967, 439, 279, 10269, 2025, 42983, 477, 22674, 8350, 596, 42983, 11, 374, 264, 9606, 315, 29691, 18803, 2269, 21203, 7795, 11, 5552, 311, 279, 1912, 388, 323, 21771, 2949, 279, 1207, 19521, 11266, 483, 764, 301, 125887, 315, 279, 3070, 328, 618, 276, 114405, 13, 1102, 374, 1766, 304, 279, 24024, 7904, 22302, 323, 304, 279, 11104, 16867, 22302, 13, 1102, 374, 279, 1193, 9606, 304, 1202, 1647, 37941, 292, 64677, 382, 5116, 198, 791, 11422, 8350, 689, 706, 459, 8244, 6453, 19087, 12745, 11102, 555, 4848, 3776, 1474, 867, 1619, 62471, 582, 55788, 3235, 1855, 70592, 11, 279, 4092, 19087, 12745, 374, 77069, 389, 279, 12541, 315, 279, 1344, 4129, 11, 59617, 311, 14071, 389, 279, 1203, 323, 36517, 13, 578, 993, 1572, 304, 279, 96146, 1913, 527, 14071, 819, 449, 264, 18300, 39654, 1990, 1124, 13, 578, 2132, 96146, 1913, 706, 264, 6453, 2385, 323, 264, 7029, 12, 40040, 14071, 7200, 1120, 2875, 315, 1202, 6964, 902, 8640, 505, 279, 1176, 8579, 18803, 311, 279, 11813, 315, 279, 31487, 8579, 18803, 13, 578, 6964, 5196, 374, 34799, 819, 304, 12745, 323, 279, 9861, 8579, 45220, 527, 63244, 819, 1481, 4935, 13, 578, 3260, 1913, 5039, 264, 4528, 5497, 311, 279, 96146, 1913, 13, 578, 281, 1279, 278, 66079, 323, 279, 84168, 1913, 527, 18718, 819, 14071, 304, 12745, 13, 2684, 374, 264, 3776, 11, 6437, 35535, 3640, 6548, 19644, 520, 279, 2385, 315, 279, 9986, 13, 578, 2211, 664, 278, 1913, 374, 14198, 449, 1202, 16335, 4850, 3515, 264, 4251, 6964, 520, 1202, 24359, 13, 1115, 9606, 374, 1101, 3752, 4147, 555, 279, 4741, 22165, 315, 1202, 6548, 323, 1202, 7029, 11013, 13, 1102, 1651, 1771, 264, 7340, 12715, 2860, 3160, 315, 6905, 63477, 198, 791, 11422, 8350, 689, 374, 1766, 304, 279, 7904, 22302, 1022, 11104, 8494, 505, 39217, 4361, 10951, 304, 279, 423, 1141, 1291, 9683, 82179, 6438, 311, 64907, 3258, 323, 304, 24024, 8494, 505, 279, 18671, 8681, 72087, 77036, 323, 92822, 304, 279, 64916, 15379, 11, 439, 3117, 10007, 439, 4497, 783, 9332, 304, 41306, 13, 1102, 574, 3463, 311, 387, 96013, 311, 8494, 719, 304, 220, 679, 24, 433, 574, 12715, 304, 279, 432, 19580, 54787, 266, 23028, 315, 4410, 90181, 304, 24922, 382, 39, 40027, 266, 323, 34458, 198, 791, 11422, 8350, 689, 13980, 304, 304, 29526, 21160, 1405, 433, 374, 1766, 304, 66664, 323, 1922, 85, 1238, 304, 53103, 92822, 323, 374, 8965, 58229, 382, 32449, 17404, 198, 791, 11422, 8350, 689, 574, 1176, 7633, 304, 220, 5926, 18, 555, 279, 13673, 10864, 27520, 16549, 61325, 11188, 11046, 14583, 65688, 331, 320, 9367, 20, 4235, 5926, 20, 8, 449, 279, 955, 69187, 2728, 439, 279, 12877, 10951, 11, 10564, 60353, 1395, 9332, 11, 1254, 1220, 6815, 99575, 11, 41306, 13, 1102, 374, 279, 1193, 9606, 304, 279, 64677, 22674, 8350, 689, 902, 14583, 65688, 331, 7086, 1306, 279, 33053, 279, 955, 11, 4491, 473, 1236, 13, 22674, 8350, 13, 14583, 65688, 331, 13517, 9277, 433, 439, 1694, 5552, 311, 279, 64677, 29937, 76, 75460, 719, 304, 1202, 1866, 1647, 37941, 292, 3070, 11, 279, 22674, 8350, 114405, 11, 719, 433, 374, 1457, 9277, 2949, 279, 34671, 14851, 454, 897, 316, 6729, 382, 2810, 8082, 198, 791, 11422, 8350, 689, 374, 264, 9024, 9606, 304, 279, 8545, 323, 304, 84019, 323, 7963, 288, 1579, 7729, 304, 279, 62283, 6696, 719, 814, 617, 1027, 7946, 55187, 304, 84019, 382, 17077, 512, 3915, 279, 1495, 2728, 11, 8819, 2038, 389, 279, 8141, 11, 39646, 11, 323, 50549, 315, 279, 22674, 8350, 689, 2040, 22077, 285, 13, 5560, 279, 2768, 3645, 1473, 58, 63477, 60, 510, 39, 40027, 266, 60, 510, 2810, 2065, 60, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 48547, 311, 279, 2038, 3770, 311, 1520, 449, 279, 2768, 220, 86428, 304, 17010, 512, 27938, 69656, 10785, 1543, 320, 1682, 5936, 220, 9714, 22, 1389, 220, 24, 6841, 220, 6280, 22, 8, 574, 264, 4987, 11904, 3980, 16549, 323, 11164, 276, 380, 13, 3005, 574, 279, 1176, 10783, 315, 279, 69116, 16730, 304, 64907, 3258, 11, 4987, 10384, 323, 279, 2132, 8954, 4987, 11904, 311, 9604, 279, 3907, 315, 24562, 304, 9635, 382, 42298, 2324, 198, 59204, 304, 2893, 51628, 371, 4410, 389, 220, 1682, 5936, 220, 9714, 22, 11, 10785, 1543, 574, 279, 18172, 315, 58463, 10785, 1543, 323, 3365, 8458, 27268, 12930, 4275, 774, 2785, 596, 11888, 30968, 13, 6385, 7126, 574, 459, 37650, 311, 4987, 10384, 505, 51327, 323, 10434, 439, 459, 9599, 369, 2893, 51628, 371, 4410, 304, 279, 29715, 20302, 315, 12801, 9675, 3842, 33518, 2002, 78, 382, 40234, 198, 53477, 1543, 1176, 5634, 2265, 7913, 520, 279, 7839, 18231, 14582, 3367, 304, 29715, 14298, 13, 25929, 11, 304, 220, 9367, 20, 11, 1364, 10862, 279, 3907, 315, 24562, 323, 574, 1193, 279, 2132, 4987, 11904, 5333, 311, 656, 779, 13, 3005, 8308, 264, 5933, 8198, 2463, 981, 304, 3980, 2508, 11, 25107, 16035, 11, 323, 30903, 520, 1561, 77, 5721, 9304, 11, 24562, 304, 220, 9367, 23, 11, 323, 459, 9917, 304, 11164, 3852, 304, 220, 9378, 20, 13, 4452, 11, 3278, 1051, 539, 91670, 16287, 12628, 3156, 279, 220, 7285, 15, 82, 11, 779, 10785, 1543, 1550, 539, 3604, 5371, 1077, 9917, 505, 24562, 3156, 6841, 220, 7285, 16, 13, 4815, 644, 220, 7285, 24, 1364, 574, 11938, 459, 99119, 10896, 349, 304, 2383, 505, 279, 3907, 315, 279, 72959, 99759, 11588, 304, 86641, 382, 1966, 279, 5687, 315, 279, 4987, 11904, 16730, 198, 53477, 1543, 596, 24925, 7076, 6137, 994, 1364, 6052, 311, 4987, 10384, 505, 9635, 323, 6575, 439, 264, 26202, 304, 279, 4323, 2508, 6011, 520, 279, 4987, 11904, 16730, 304, 29715, 14298, 13, 9393, 1364, 1550, 539, 617, 264, 16287, 8547, 323, 1077, 7126, 1550, 539, 29251, 315, 1077, 28744, 264, 16498, 11, 10785, 1543, 574, 12153, 311, 4287, 8323, 369, 1077, 990, 520, 279, 24925, 13, 56733, 11, 1364, 8738, 311, 990, 1070, 304, 264, 26202, 8824, 3156, 220, 7028, 17, 994, 1364, 574, 19073, 7086, 459, 18328, 304, 279, 4323, 2508, 6011, 382, 8142, 520, 279, 4987, 11904, 16730, 11, 10785, 1543, 6575, 449, 12140, 17971, 80967, 12928, 361, 88, 13, 80967, 12928, 361, 88, 596, 2802, 304, 279, 5960, 1274, 323, 7829, 5535, 1077, 311, 1935, 3892, 3495, 23277, 311, 279, 17355, 29715, 323, 52320, 382, 644, 220, 7028, 21, 1364, 19165, 1982, 459, 3062, 11879, 709, 311, 64907, 3258, 11, 279, 650, 894, 10481, 5654, 323, 4726, 10411, 11, 26984, 57749, 11, 323, 1097, 73932, 828, 389, 7091, 665, 36490, 826, 902, 574, 279, 1212, 315, 264, 2447, 11957, 65383, 7154, 2380, 11026, 3010, 304, 1077, 17009, 9305, 665, 36490, 826, 315, 64004, 1788, 438, 4410, 323, 2893, 331, 10602, 15697, 320, 7285, 18, 705, 4756, 304, 24562, 13, 1102, 14958, 279, 5410, 1495, 389, 7091, 1989, 304, 4987, 10384, 369, 7154, 4330, 11026, 13, 4815, 53477, 1543, 8738, 311, 4007, 7091, 1989, 11, 439, 1664, 439, 279, 7829, 315, 279, 5960, 323, 112000, 1609, 6292, 72, 32538, 369, 279, 2800, 315, 1077, 2324, 382, 38294, 315, 279, 69116, 16730, 304, 64907, 3258, 198, 53477, 1543, 574, 21489, 439, 279, 1176, 10783, 315, 279, 13945, 18538, 69116, 16730, 304, 64907, 3258, 304, 220, 7028, 23, 13, 3005, 1101, 18538, 279, 1077, 2308, 2411, 1070, 304, 279, 1890, 1060, 323, 6137, 311, 67632, 1202, 4526, 315, 15481, 6136, 2324, 11, 902, 5764, 3062, 955, 57749, 505, 17355, 29715, 13, 3005, 31087, 291, 12135, 449, 2254, 52548, 389, 57749, 11, 1093, 1221, 1333, 13629, 2259, 27329, 11, 449, 8884, 1364, 8040, 264, 1317, 4751, 27607, 382, 21364, 98302, 990, 520, 279, 69116, 6197, 311, 1077, 17009, 41188, 78973, 96069, 315, 279, 43786, 287, 50298, 323, 27077, 82, 315, 64004, 1788, 438, 4410, 320, 6393, 21, 570, 3005, 1101, 11784, 11083, 84270, 323, 28364, 56486, 647, 12690, 311, 64907, 3258, 323, 6222, 4987, 11904, 16763, 19595, 449, 14673, 323, 29533, 304, 279, 3723, 4273, 13, 4427, 617, 30706, 1521, 16763, 9606, 449, 594, 26089, 50644, 1063, 315, 279, 33093, 20904, 5789, 304, 279, 3224, 11, 4040, 304, 279, 1614, 315, 8421, 382, 53477, 1543, 25319, 1523, 505, 279, 7690, 5383, 315, 279, 69116, 304, 220, 6393, 22, 11, 719, 8738, 311, 990, 389, 1077, 3980, 2508, 323, 11164, 3852, 7978, 1070, 13, 3005, 22311, 505, 279, 24925, 6724, 304, 220, 6280, 18, 323, 4024, 311, 3974, 304, 10058, 13, 10785, 1543, 8636, 1070, 389, 220, 24, 6841, 220, 6280, 22, 13, 3005, 1047, 2646, 12502, 382, 78515, 198, 35862, 6136, 9606, 617, 1027, 7086, 304, 1077, 34662, 11, 2737, 10785, 1543, 3021, 54454, 320, 36, 4193, 42602, 285, 33689, 705, 32580, 689, 31331, 52668, 68, 11, 63606, 37029, 31331, 52668, 68, 11, 42076, 90646, 31331, 52668, 68, 11, 6385, 2382, 64, 31331, 52668, 68, 11, 323, 452, 29718, 34232, 31331, 52668, 68, 627, 51624, 3923, 574, 23880, 10785, 1543, 596, 12474, 19035, 311, 8198, 11, 323, 1268, 1550, 433, 5536, 1057, 8830, 315, 279, 5933, 1917, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 6971, 42790, 323, 23727, 303, 969, 1051, 30674, 922, 2555, 36747, 323, 3320, 42790, 3940, 311, 2733, 19021, 13, 3005, 3940, 311, 1518, 2579, 323, 1077, 4851, 4478, 6137, 311, 10205, 13, 3005, 86034, 2454, 1077, 81784, 323, 18311, 323, 6818, 311, 19858, 11937, 1523, 11, 719, 1364, 7846, 956, 382, 6971, 42790, 25, 8595, 527, 499, 2744, 3815, 420, 30, 1472, 2351, 2744, 21816, 28533, 449, 757, 927, 4400, 4999, 78218, 303, 969, 25, 358, 2846, 539, 21816, 28533, 449, 499, 11, 358, 2846, 1120, 4560, 311, 1486, 704, 994, 499, 2351, 1694, 59525, 627, 6971, 42790, 25, 358, 1097, 539, 1694, 59525, 0, 1472, 2351, 279, 832, 889, 596, 2744, 6041, 6105, 369, 912, 2944, 627, 78218, 303, 969, 25, 3320, 42790, 11, 499, 2351, 16280, 53302, 520, 757, 1314, 1457, 13, 19858, 1523, 627, 6971, 42790, 25, 358, 20076, 17773, 34007, 44, 28594, 0, 15334, 68514, 37921, 16691, 5745, 2147, 8796, 56, 4999, 78218, 303, 969, 25, 8489, 7344, 422, 499, 1053, 3009, 53302, 323, 9020, 311, 1148, 358, 2846, 5605, 11, 584, 1436, 3604, 617, 264, 27331, 10652, 4619, 315, 1120, 30674, 682, 279, 892, 4999, 6971, 42790, 25, 31253, 13, 19513, 627, 78218, 303, 969, 25, 36539, 11, 1664, 1176, 315, 682, 11, 358, 2646, 1071, 430, 499, 1051, 1694, 59525, 13, 358, 1071, 430, 7170, 701, 6299, 2643, 387, 3970, 439, 59525, 555, 3885, 1606, 814, 1541, 956, 3619, 701, 13356, 13, 72131, 11, 358, 2646, 3820, 28533, 449, 499, 13, 1226, 1193, 18046, 1606, 499, 32262, 389, 29395, 287, 449, 4395, 358, 2019, 4999, 6971, 42790, 25, 3011, 374, 539, 837, 0, 1628, 1524, 422, 433, 574, 11, 779, 1148, 30, 1102, 596, 539, 1093, 584, 2351, 2646, 2133, 311, 29395, 389, 4205, 13, 3011, 596, 1120, 961, 315, 1694, 304, 264, 5133, 627, 78218, 303, 969, 25, 22335, 11, 719, 433, 5084, 1093, 31445, 1475, 892, 584, 1456, 311, 3137, 922, 2555, 11, 433, 10800, 1139, 264, 6908, 5811, 1606, 584, 649, 956, 7655, 389, 4205, 13, 10926, 584, 1288, 1935, 264, 1464, 505, 1855, 1023, 369, 51569, 779, 584, 649, 7155, 1523, 323, 7216, 704, 1268, 311, 19570, 2731, 627, 6971, 42790, 25, 2360, 1648, 0, 358, 1541, 956, 1390, 311, 1935, 264, 1464, 505, 499, 13, 1226, 3077, 1027, 3871, 369, 2288, 1317, 323, 584, 3077, 1027, 1555, 2288, 1790, 311, 1120, 2571, 433, 682, 3201, 1606, 315, 1063, 18754, 6105, 13, 6914, 596, 1120, 1456, 311, 990, 1555, 420, 323, 7216, 704, 1268, 311, 636, 3235, 2731, 627, 78218, 303, 969, 25, 36539, 11, 358, 2846, 10032, 311, 1456, 422, 499, 527, 627, 6971, 42790, 25, 8681, 13, 2100, 1095, 596, 1212, 555, 3604, 14624, 311, 1148, 279, 1023, 1732, 706, 311, 2019, 4619, 315, 1120, 8748, 369, 1057, 2543, 311, 3137, 627, 78218, 303, 969, 25, 45241, 1695, 311, 757, 627, 7275, 3923, 527, 279, 16940, 11384, 315, 3320, 42790, 323, 23727, 303, 969, 596, 12324, 11, 323, 1268, 649, 814, 9006, 433, 30, 128009, 198, 128006, 78191, 128007, 198], [128006, 882, 128007, 198, 43068, 420, 4092, 2038, 86428, 304, 3270, 7275, 791, 80320, 2579, 12708, 11, 10658, 4028, 279, 10107, 14071, 4092, 13, 578, 89646, 67323, 11, 264, 3703, 315, 18414, 18255, 1139, 3116, 14491, 11, 1855, 18067, 10194, 45578, 9017, 279, 1828, 11, 1880, 2454, 304, 264, 8571, 4908, 5497, 13, 578, 499, 72314, 69584, 38611, 23148, 8902, 2461, 315, 832, 32656, 449, 264, 41376, 295, 315, 5266, 826, 25, 59811, 11, 33165, 11, 50933, 11, 282, 20132, 382, 3648, 9635, 1221, 13421, 727, 3623, 3238, 82, 15064, 4821, 25, 9405, 220, 7285, 23, 11, 711, 20526, 220, 679, 23, 11, 279, 1060, 4275, 58761, 8036, 11, 10917, 682, 315, 1202, 16097, 709, 369, 21852, 382, 13622, 4024, 311, 10534, 20197, 13, 27687, 383, 7183, 70654, 552, 323, 4275, 58761, 468, 2642, 388, 1051, 15075, 555, 279, 9478, 6418, 3165, 66648, 49528, 8351, 11, 8530, 1888, 3967, 369, 1202, 259, 4091, 483, 58822, 11, 24212, 13610, 44196, 12556, 76486, 87921, 5250, 73852, 13, 16576, 261, 49528, 8351, 320, 30700, 385, 79206, 705, 3940, 2391, 279, 8681, 46904, 11, 48110, 709, 22010, 57206, 13, 2030, 15064, 4821, 30, 15064, 4821, 6244, 279, 3424, 315, 56578, 386, 675, 42657, 3520, 11, 264, 4846, 6160, 59196, 11145, 13517, 505, 19627, 889, 8640, 459, 78813, 73585, 8352, 8221, 2663, 46870, 61434, 304, 27430, 20176, 11, 9346, 13, 3005, 1047, 2646, 1903, 32656, 1603, 11, 719, 264, 6130, 3309, 1077, 922, 279, 21852, 323, 1364, 1120, 7846, 1431, 1095, 15064, 4821, 32153, 627, 7184, 433, 374, 892, 369, 279, 2466, 17480, 25, 15064, 4821, 374, 19073, 1203, 13, 1054, 1687, 527, 304, 5788, 2476, 386, 675, 42657, 3520, 2795, 13, 578, 32656, 3703, 374, 2561, 520, 46870, 61434, 323, 2930, 26, 15064, 4821, 1221, 13421, 661, 3623, 3238, 82, 27430, 20176, 26097, 690, 617, 1202, 6800, 8736, 3799, 13, 220, 22, 13, 4740, 279, 25425, 11, 386, 675, 42657, 3520, 6787, 311, 636, 264, 35557, 5842, 323, 23091, 709, 279, 5784, 13, 1054, 40, 4070, 2751, 56694, 304, 279, 52257, 8748, 369, 433, 13, 578, 1566, 3245, 358, 1390, 374, 311, 14429, 1274, 555, 539, 1694, 3025, 311, 1304, 18651, 13, 2684, 527, 810, 1109, 220, 7007, 1274, 510, 2264, 709, 369, 9013, 60, 389, 856, 384, 11724, 1160, 11, 323, 814, 527, 8260, 1475, 1938, 2950, 644, 279, 1917, 315, 32656, 11, 15064, 4821, 596, 471, 374, 264, 2466, 3568, 13, 7570, 422, 499, 2351, 539, 264, 32656, 56739, 11, 499, 649, 50863, 433, 7434, 1870, 13, 17652, 28078, 32656, 16283, 449, 2204, 5266, 826, 527, 96666, 1385, 13, 19461, 753, 44809, 49528, 8351, 3131, 1903, 2555, 2663, 279, 31048, 3216, 3703, 2001, 449, 459, 32855, 8254, 5266, 826, 2001, 719, 65259, 433, 304, 220, 4468, 24, 13, 33160, 20176, 596, 7347, 35535, 684, 27726, 23868, 220, 22, 11, 11784, 304, 220, 679, 20, 11, 574, 1633, 7347, 13118, 13, 4702, 220, 1135, 1051, 1903, 11, 323, 279, 1193, 1648, 311, 636, 832, 574, 311, 3243, 433, 389, 6405, 627, 40, 1205, 311, 1518, 279, 502, 15064, 4821, 449, 856, 1866, 6548, 13, 4740, 682, 11, 433, 16392, 505, 279, 5710, 11, 264, 18414, 45125, 11, 10409, 449, 4696, 1148, 11, 7041, 11, 420, 892, 2212, 30, 14910, 584, 4048, 912, 18872, 505, 1054, 35919, 14582, 266, 661, 74022, 2100, 389, 264, 3293, 6693, 11, 358, 6958, 709, 311, 15064, 4821, 46355, 13, 358, 649, 1518, 279, 12708, 505, 279, 8761, 11, 86350, 1202, 1648, 4028, 279, 4857, 753, 18004, 4156, 13, 1102, 753, 65206, 292, 11, 57399, 13, 578, 3634, 374, 24894, 311, 46870, 61434, 304, 279, 8384, 25036, 12185, 73098, 13, 578, 1403, 527, 8599, 26, 279, 26120, 369, 279, 15064, 4821, 7858, 6244, 2561, 1120, 994, 386, 675, 42657, 3520, 4460, 433, 13, 1628, 8384, 25036, 574, 2736, 1167, 20262, 369, 15266, 13, 1054, 36064, 574, 779, 993, 1982, 1570, 304, 1057, 4799, 2476, 1364, 2795, 627, 791, 4545, 358, 3810, 11, 2574, 3240, 311, 2733, 59937, 25, 578, 18004, 6558, 374, 51798, 839, 304, 274, 4569, 8696, 315, 2579, 11, 14071, 11, 323, 6437, 13, 2360, 44517, 8803, 420, 13, 578, 47811, 374, 810, 10785, 398, 43549, 4657, 5900, 311, 61905, 25, 2684, 753, 264, 74473, 315, 6980, 10168, 70580, 389, 279, 7147, 11, 17189, 32656, 323, 15064, 4821, 28566, 37824, 389, 3113, 11, 323, 386, 675, 42657, 3520, 304, 264, 4251, 10278, 23724, 323, 7013, 4816, 11, 13033, 1711, 79287, 304, 50919, 627, 4599, 4275, 58761, 1903, 279, 15064, 4821, 11, 279, 2883, 1511, 13057, 12933, 11, 9017, 279, 842, 1193, 4401, 1124, 311, 8356, 279, 390, 13421, 264, 2478, 3115, 264, 1060, 13, 2435, 1053, 2646, 617, 5052, 304, 279, 27430, 20176, 3634, 11, 449, 220, 7467, 9518, 7693, 29329, 311, 15266, 323, 2500, 220, 16, 11, 931, 311, 11040, 13, 12623, 814, 1051, 2362, 11, 323, 814, 7111, 433, 13, 386, 675, 42657, 3520, 4934, 2555, 42299, 323, 13548, 430, 1522, 388, 1729, 1436, 3821, 1555, 279, 11276, 13, 2650, 311, 1304, 420, 682, 990, 5380, 3947, 753, 7344, 832, 7564, 889, 1436, 7216, 433, 704, 25, 12149, 7997, 11, 34833, 17192, 4872, 315, 3495, 323, 4500, 520, 4275, 58761, 11, 889, 6575, 1070, 369, 810, 1109, 220, 966, 1667, 13, 320, 1548, 753, 1457, 279, 432, 28165, 26, 35, 7690, 369, 2905, 4783, 40160, 11, 1405, 568, 753, 5131, 3318, 389, 55756, 291, 14403, 20953, 6266, 1283, 753, 15243, 311, 1455, 315, 279, 21852, 26526, 11, 17136, 1690, 315, 872, 13077, 11, 323, 568, 706, 1027, 3318, 15499, 449, 279, 15064, 4821, 13941, 2001, 902, 1101, 5764, 386, 675, 42657, 3520, 753, 4538, 9454, 11, 889, 374, 46870, 61434, 753, 3637, 6783, 11, 323, 46870, 61434, 76928, 11824, 7923, 47, 580, 382, 2409, 7997, 753, 1520, 11, 814, 3940, 311, 7216, 433, 704, 13, 14972, 2883, 469, 30528, 12369, 25579, 2587, 52714, 1124, 264, 66157, 1584, 13, 362, 11092, 12886, 459, 7695, 391, 587, 30474, 2473, 220, 2636, 42295, 1584, 13, 1054, 2181, 753, 4762, 264, 56766, 279, 1404, 863, 315, 279, 4846, 7241, 11, 7997, 2795, 13, 1054, 2181, 753, 279, 6811, 1990, 264, 2678, 21210, 5784, 323, 459, 2362, 9749, 6883, 2950, 2746, 814, 1051, 9406]]


import sglang as sgl
import asyncio

llm = sgl.Engine(model_path="OpenRLHF/Llama-3-8b-sft-mixture", skip_tokenizer_init=True)


from transformers import AutoTokenizer

tokenizer = AutoTokenizer.from_pretrained("OpenRLHF/Llama-3-8b-sft-mixture", skip_tokenizer_init=True)

sampling_params = {'max_new_tokens': 1024, 'top_p': 1.0, 'top_k': -1, 'temperature': 1.0, 'repetition_penalty': 1, 'skip_special_tokens': False, 'stop_token_ids': [tokenizer.eos_token_id]}


outputs = llm.generate(input_ids=prompt_tokens, sampling_params=sampling_params)

[zhaochenyang20]

@shuaills Thanks for help!