@idealic/poker-engine/src/game/tables/hashtable6.ts

Poker game engine and hand evaluator

// prettier-ignore
export const noFlush6 = [
  11, 167, 23, 11, 167, 179, 23, 12,
  168, 2468, 180, 24, 168, 191, 192, 180,
  35, 35, 36, 11, 167, 179, 23, 12,
  1610, 2468, 1676, 24, 168, 2479, 2600, 180,
  191, 1742, 192, 35, 36, 13, 169, 2469,
  181, 25, 169, 2490, 2611, 181, 2480, 2721,
  2601, 193, 193, 37, 169, 203, 204, 181,
  203, 1808, 204, 205, 205, 193, 47, 47,
  48, 47, 48, 49, 11, 167, 179, 23,
  12, 1610, 2468, 1676, 24, 168, 2479, 2600,
  180, 191, 1742, 192, 35, 36, 13, 1611,
  2469, 1677, 25, 1621, 1600, 1600, 1687, 2480,
  1600, 2601, 1743, 1753, 37, 169, 2490, 2611,
  181, 2491, 1600, 2612, 2721, 2722, 193, 203,
  1808, 204, 1809, 1819, 205, 47, 48, 49,
  14, 170, 2470, 182, 26, 170, 2501, 2622,
  182, 2481, 2732, 2602, 194, 194, 38, 170,
  2501, 2622, 182, 2502, 1600, 2623, 2732, 2733,
  194, 2492, 2831, 2613, 2831, 2832, 2723, 206,
  206, 206, 50, 170, 215, 216, 182, 215,
  1874, 216, 217, 217, 194, 215, 1874, 216,
  1875, 1885, 217, 218, 218, 218, 206, 59,
  59, 60, 59, 60, 61, 59, 60, 61,
  62, 11, 167, 179, 23, 12, 1610, 2468,
  1676, 24, 168, 2479, 2600, 180, 191, 1742,
  192, 35, 36, 13, 1611, 2469, 1677, 25,
  1621, 3326, 3546, 1687, 2480, 3766, 2601, 1743,
  1753, 37, 169, 2490, 2611, 181, 2491, 3986,
  2612, 2721, 2722, 193, 203, 1808, 204, 1809,
  1819, 205, 47, 48, 49, 14, 1612, 2470,
  1678, 26, 1622, 3327, 3547, 1688, 2481, 3767,
  2602, 1744, 1754, 38, 1631, 3336, 3556, 1697,
  3381, 1600, 1601, 3776, 1601, 1763, 2492, 3987,
  2613, 3996, 1601, 2723, 1810, 1820, 1829, 50,
  170, 2501, 2622, 182, 2502, 4206, 2623, 2732,
  2733, 194, 2503, 4207, 2624, 4216, 1601, 2734,
  2831, 2832, 2833, 206, 215, 1874, 216, 1875,
  1885, 217, 1876, 1886, 1895, 218, 59, 60,
  61, 62, 15, 171, 2471, 183, 27, 171,
  2512, 2633, 183, 2482, 2743, 2603, 195, 195,
  39, 171, 2512, 2633, 183, 2513, 4426, 2634,
  2743, 2744, 195, 2493, 2842, 2614, 2842, 2843,
  2724, 207, 207, 207, 51, 171, 2512, 2633,
  183, 2513, 4426, 2634, 2743, 2744, 195, 2514,
  4427, 2635, 4436, 1601, 2745, 2842, 2843, 2844,
  207, 2504, 2930, 2625, 2930, 2931, 2735, 2930,
  2931, 2932, 2834, 219, 219, 219, 219, 63,
  171, 227, 228, 183, 227, 1940, 228, 229,
  229, 195, 227, 1940, 228, 1941, 1951, 229,
  230, 230, 230, 207, 227, 1940, 228, 1941,
  1951, 229, 1942, 1952, 1961, 230, 231, 231,
  231, 231, 219, 71, 71, 72, 71, 72,
  73, 71, 72, 73, 74, 71, 72, 73,
  74, 75, 11, 167, 179, 23, 12, 1610,
  2468, 1676, 24, 168, 2479, 2600, 180, 191,
  1742, 192, 35, 36, 13, 1611, 2469, 1677,
  25, 1621, 3326, 3546, 1687, 2480, 3766, 2601,
  1743, 1753, 37, 169, 2490, 2611, 181, 2491,
  3986, 2612, 2721, 2722, 193, 203, 1808, 204,
  1809, 1819, 205, 47, 48, 49, 14, 1612,
  2470, 1678, 26, 1622, 3327, 3547, 1688, 2481,
  3767, 2602, 1744, 1754, 38, 1631, 3336, 3556,
  1697, 3381, 1600, 3601, 3776, 3821, 1763, 2492,
  3987, 2613, 3996, 4041, 2723, 1810, 1820, 1829,
  50, 170, 2501, 2622, 182, 2502, 4206, 2623,
  2732, 2733, 194, 2503, 4207, 2624, 4216, 4261,
  2734, 2831, 2832, 2833, 206, 215, 1874, 216,
  1875, 1885, 217, 1876, 1886, 1895, 218, 59,
  60, 61, 62, 15, 1613, 2471, 1679, 27,
  1623, 3328, 3548, 1689, 2482, 3768, 2603, 1745,
  1755, 39, 1632, 3337, 3557, 1698, 3382, 6186,
  3602, 3777, 3822, 1764, 2493, 3988, 2614, 3997,
  4042, 2724, 1811, 1821, 1830, 51, 1640, 3345,
  3565, 1706, 3390, 6194, 3610, 3785, 3830, 1772,
  3426, 6230, 3646, 1602, 1601, 1602, 4005, 4050,
  1602, 1838, 2504, 4208, 2625, 4217, 4262, 2735,
  4225, 4270, 1602, 2834, 1877, 1887, 1896, 1904,
  63, 171, 2512, 2633, 183, 2513, 4426, 2634,
  2743, 2744, 195, 2514, 4427, 2635, 4436, 4481,
  2745, 2842, 2843, 2844, 207, 2515, 4428, 2636,
  4437, 4482, 2746, 4445, 4490, 1602, 2845, 2930,
  2931, 2932, 2933, 219, 227, 1940, 228, 1941,
  1951, 229, 1942, 1952, 1961, 230, 1943, 1953,
  1962, 1970, 231, 71, 72, 73, 74, 75,
  16, 172, 2472, 184, 28, 172, 2523, 2644,
  184, 2483, 2754, 2604, 196, 196, 40, 172,
  2523, 2644, 184, 2524, 4646, 2645, 2754, 2755,
  196, 2494, 2853, 2615, 2853, 2854, 2725, 208,
  208, 208, 52, 172, 2523, 2644, 184, 2524,
  4646, 2645, 2754, 2755, 196, 2525, 4647, 2646,
  4656, 4701, 2756, 2853, 2854, 2855, 208, 2505,
  2941, 2626, 2941, 2942, 2736, 2941, 2942, 2943,
  2835, 220, 220, 220, 220, 64, 172, 2523,
  2644, 184, 2524, 4646, 2645, 2754, 2755, 196,
  2525, 4647, 2646, 4656, 4701, 2756, 2853, 2854,
  2855, 208, 2526, 4648, 2647, 4657, 4702, 2757,
  4665, 4710, 1602, 2856, 2941, 2942, 2943, 2944,
  220, 2516, 3018, 2637, 3018, 3019, 2747, 3018,
  3019, 3020, 2846, 3018, 3019, 3020, 3021, 2934,
  232, 232, 232, 232, 232, 76, 172, 239,
  240, 184, 239, 2006, 240, 241, 241, 196,
  239, 2006, 240, 2007, 2017, 241, 242, 242,
  242, 208, 239, 2006, 240, 2007, 2017, 241,
  2008, 2018, 2027, 242, 243, 243, 243, 243,
  220, 239, 2006, 240, 2007, 2017, 241, 2008,
  2018, 2027, 242, 2009, 2019, 2028, 2036, 243,
  244, 244, 244, 244, 244, 232, 83, 83,
  84, 83, 84, 85, 83, 84, 85, 86,
  83, 84, 85, 86, 87, 83, 84, 85,
  86, 87, 88, 11, 167, 179, 23, 12,
  1610, 2468, 1676, 24, 168, 2479, 2600, 180,
  191, 1742, 192, 35, 36, 13, 1611, 2469,
  1677, 25, 1621, 3326, 3546, 1687, 2480, 3766,
  2601, 1743, 1753, 37, 169, 2490, 2611, 181,
  2491, 3986, 2612, 2721, 2722, 193, 203, 1808,
  204, 1809, 1819, 205, 47, 48, 49, 14,
  1612, 2470, 1678, 26, 1622, 3327, 3547, 1688,
  2481, 3767, 2602, 1744, 1754, 38, 1631, 3336,
  3556, 1697, 3381, 1600, 3601, 3776, 3821, 1763,
  2492, 3987, 2613, 3996, 4041, 2723, 1810, 1820,
  1829, 50, 170, 2501, 2622, 182, 2502, 4206,
  2623, 2732, 2733, 194, 2503, 4207, 2624, 4216,
  4261, 2734, 2831, 2832, 2833, 206, 215, 1874,
  216, 1875, 1885, 217, 1876, 1886, 1895, 218,
  59, 60, 61, 62, 15, 1613, 2471, 1679,
  27, 1623, 3328, 3548, 1689, 2482, 3768, 2603,
  1745, 1755, 39, 1632, 3337, 3557, 1698, 3382,
  6186, 3602, 3777, 3822, 1764, 2493, 3988, 2614,
  3997, 4042, 2724, 1811, 1821, 1830, 51, 1640,
  3345, 3565, 1706, 3390, 6194, 3610, 3785, 3830,
  1772, 3426, 6230, 3646, 6350, 1601, 3866, 4005,
  4050, 4086, 1838, 2504, 4208, 2625, 4217, 4262,
  2735, 4225, 4270, 4306, 2834, 1877, 1887, 1896,
  1904, 63, 171, 2512, 2633, 183, 2513, 4426,
  2634, 2743, 2744, 195, 2514, 4427, 2635, 4436,
  4481, 2745, 2842, 2843, 2844, 207, 2515, 4428,
  2636, 4437, 4482, 2746, 4445, 4490, 4526, 2845,
  2930, 2931, 2932, 2933, 219, 227, 1940, 228,
  1941, 1951, 229, 1942, 1952, 1961, 230, 1943,
  1953, 1962, 1970, 231, 71, 72, 73, 74,
  75, 16, 1614, 2472, 1680, 28, 1624, 3329,
  3549, 1690, 2483, 3769, 2604, 1746, 1756, 40,
  1633, 3338, 3558, 1699, 3383, 6187, 3603, 3778,
  3823, 1765, 2494, 3989, 2615, 3998, 4043, 2725,
  1812, 1822, 1831, 52, 1641, 3346, 3566, 1707,
  3391, 6195, 3611, 3786, 3831, 1773, 3427, 6231,
  3647, 6351, 6679, 3867, 4006, 4051, 4087, 1839,
  2505, 4209, 2626, 4218, 4263, 2736, 4226, 4271,
  4307, 2835, 1878, 1888, 1897, 1905, 64, 1648,
  3353, 3573, 1714, 3398, 6202, 3618, 3793, 3838,
  1780, 3434, 6238, 3654, 6358, 6686, 3874, 4013,
  4058, 4094, 1846, 3462, 6266, 3682, 6386, 6714,
  3902, 1603, 1603, 1602, 1603, 4233, 4278, 4314,
  1603, 1912, 2516, 4429, 2637, 4438, 4483, 2747,
  4446, 4491, 4527, 2846, 4453, 4498, 4534, 1603,
  2934, 1944, 1954, 1963, 1971, 1978, 76, 172,
  2523, 2644, 184, 2524, 4646, 2645, 2754, 2755,
  196, 2525, 4647, 2646, 4656, 4701, 2756, 2853,
  2854, 2855, 208, 2526, 4648, 2647, 4657, 4702,
  2757, 4665, 4710, 4746, 2856, 2941, 2942, 2943,
  2944, 220, 2527, 4649, 2648, 4658, 4703, 2758,
  4666, 4711, 4747, 2857, 4673, 4718, 4754, 1603,
  2945, 3018, 3019, 3020, 3021, 3022, 232, 239,
  2006, 240, 2007, 2017, 241, 2008, 2018, 2027,
  242, 2009, 2019, 2028, 2036, 243, 2010, 2020,
  2029, 2037, 2044, 244, 83, 84, 85, 86,
  87, 88, 17, 173, 2473, 185, 29, 173,
  2534, 2655, 185, 2484, 2765, 2605, 197, 197,
  41, 173, 2534, 2655, 185, 2535, 4866, 2656,
  2765, 2766, 197, 2495, 2864, 2616, 2864, 2865,
  2726, 209, 209, 209, 53, 173, 2534, 2655,
  185, 2535, 4866, 2656, 2765, 2766, 197, 2536,
  4867, 2657, 4876, 4921, 2767, 2864, 2865, 2866,
  209, 2506, 2952, 2627, 2952, 2953, 2737, 2952,
  2953, 2954, 2836, 221, 221, 221, 221, 65,
  173, 2534, 2655, 185, 2535, 4866, 2656, 2765,
  2766, 197, 2536, 4867, 2657, 4876, 4921, 2767,
  2864, 2865, 2866, 209, 2537, 4868, 2658, 4877,
  4922, 2768, 4885, 4930, 4966, 2867, 2952, 2953,
  2954, 2955, 221, 2517, 3029, 2638, 3029, 3030,
  2748, 3029, 3030, 3031, 2847, 3029, 3030, 3031,
  3032, 2935, 233, 233, 233, 233, 233, 77,
  173, 2534, 2655, 185, 2535, 4866, 2656, 2765,
  2766, 197, 2536, 4867, 2657, 4876, 4921, 2767,
  2864, 2865, 2866, 209, 2537, 4868, 2658, 4877,
  4922, 2768, 4885, 4930, 4966, 2867, 2952, 2953,
  2954, 2955, 221, 2538, 4869, 2659, 4878, 4923,
  2769, 4886, 4931, 4967, 2868, 4893, 4938, 4974,
  1603, 2956, 3029, 3030, 3031, 3032, 3033, 233,
  2528, 3095, 2649, 3095, 3096, 2759, 3095, 3096,
  3097, 2858, 3095, 3096, 3097, 3098, 2946, 3095,
  3096, 3097, 3098, 3099, 3023, 245, 245, 245,
  245, 245, 245, 89, 173, 251, 252, 185,
  251, 2072, 252, 253, 253, 197, 251, 2072,
  252, 2073, 2083, 253, 254, 254, 254, 209,
  251, 2072, 252, 2073, 2083, 253, 2074, 2084,
  2093, 254, 255, 255, 255, 255, 221, 251,
  2072, 252, 2073, 2083, 253, 2074, 2084, 2093,
  254, 2075, 2085, 2094, 2102, 255, 256, 256,
  256, 256, 256, 233, 251, 2072, 252, 2073,
  2083, 253, 2074, 2084, 2093, 254, 2075, 2085,
  2094, 2102, 255, 2076, 2086, 2095, 2103, 2110,
  256, 257, 257, 257, 257, 257, 257, 245,
  95, 95, 96, 95, 96, 97, 95, 96,
  97, 98, 95, 96, 97, 98, 99, 95,
  96, 97, 98, 99, 100, 95, 96, 97,
  98, 99, 100, 101, 11, 167, 179, 23,
  12, 1610, 2468, 1676, 24, 168, 2479, 2600,
  180, 191, 1742, 192, 35, 36, 13, 1611,
  2469, 1677, 25, 1621, 3326, 3546, 1687, 2480,
  3766, 2601, 1743, 1753, 37, 169, 2490, 2611,
  181, 2491, 3986, 2612, 2721, 2722, 193, 203,
  1808, 204, 1809, 1819, 205, 47, 48, 49,
  14, 1612, 2470, 1678, 26, 1622, 3327, 3547,
  1688, 2481, 3767, 2602, 1744, 1754, 38, 1631,
  3336, 3556, 1697, 3381, 1600, 3601, 3776, 3821,
  1763, 2492, 3987, 2613, 3996, 4041, 2723, 1810,
  1820, 1829, 50, 170, 2501, 2622, 182, 2502,
  4206, 2623, 2732, 2733, 194, 2503, 4207, 2624,
  4216, 4261, 2734, 2831, 2832, 2833, 206, 215,
  1874, 216, 1875, 1885, 217, 1876, 1886, 1895,
  218, 59, 60, 61, 62, 15, 1613, 2471,
  1679, 27, 1623, 3328, 3548, 1689, 2482, 3768,
  2603, 1745, 1755, 39, 1632, 3337, 3557, 1698,
  3382, 6186, 3602, 3777, 3822, 1764, 2493, 3988,
  2614, 3997, 4042, 2724, 1811, 1821, 1830, 51,
  1640, 3345, 3565, 1706, 3390, 6194, 3610, 3785,
  3830, 1772, 3426, 6230, 3646, 6350, 1601, 3866,
  4005, 4050, 4086, 1838, 2504, 4208, 2625, 4217,
  4262, 2735, 4225, 4270, 4306, 2834, 1877, 1887,
  1896, 1904, 63, 171, 2512, 2633, 183, 2513,
  4426, 2634, 2743, 2744, 195, 2514, 4427, 2635,
  4436, 4481, 2745, 2842, 2843, 2844, 207, 2515,
  4428, 2636, 4437, 4482, 2746, 4445, 4490, 4526,
  2845, 2930, 2931, 2932, 2933, 219, 227, 1940,
  228, 1941, 1951, 229, 1942, 1952, 1961, 230,
  1943, 1953, 1962, 1970, 231, 71, 72, 73,
  74, 75, 16, 1614, 2472, 1680, 28, 1624,
  3329, 3549, 1690, 2483, 3769, 2604, 1746, 1756,
  40, 1633, 3338, 3558, 1699, 3383, 6187, 3603,
  3778, 3823, 1765, 2494, 3989, 2615, 3998, 4043,
  2725, 1812, 1822, 1831, 52, 1641, 3346, 3566,
  1707, 3391, 6195, 3611, 3786, 3831, 1773, 3427,
  6231, 3647, 6351, 6679, 3867, 4006, 4051, 4087,
  1839, 2505, 4209, 2626, 4218, 4263, 2736, 4226,
  4271, 4307, 2835, 1878, 1888, 1897, 1905, 64,
  1648, 3353, 3573, 1714, 3398, 6202, 3618, 3793,
  3838, 1780, 3434, 6238, 3654, 6358, 6686, 3874,
  4013, 4058, 4094, 1846, 3462, 6266, 3682, 6386,
  6714, 3902, 6470, 6798, 1602, 4122, 4233, 4278,
  4314, 4342, 1912, 2516, 4429, 2637, 4438, 4483,
  2747, 4446, 4491, 4527, 2846, 4453, 4498, 4534,
  4562, 2934, 1944, 1954, 1963, 1971, 1978, 76,
  172, 2523, 2644, 184, 2524, 4646, 2645, 2754,
  2755, 196, 2525, 4647, 2646, 4656, 4701, 2756,
  2853, 2854, 2855, 208, 2526, 4648, 2647, 4657,
  4702, 2757, 4665, 4710, 4746, 2856, 2941, 2942,
  2943, 2944, 220, 2527, 4649, 2648, 4658, 4703,
  2758, 4666, 4711, 4747, 2857, 4673, 4718, 4754,
  4782, 2945, 3018, 3019, 3020, 3021, 3022, 232,
  239, 2006, 240, 2007, 2017, 241, 2008, 2018,
  2027, 242, 2009, 2019, 2028, 2036, 243, 2010,
  2020, 2029, 2037, 2044, 244, 83, 84, 85,
  86, 87, 88, 17, 1615, 2473, 1681, 29,
  1625, 3330, 3550, 1691, 2484, 3770, 2605, 1747,
  1757, 41, 1634, 3339, 3559, 1700, 3384, 6188,
  3604, 3779, 3824, 1766, 2495, 3990, 2616, 3999,
  4044, 2726, 1813, 1823, 1832, 53, 1642, 3347,
  3567, 1708, 3392, 6196, 3612, 3787, 3832, 1774,
  3428, 6232, 3648, 6352, 6680, 3868, 4007, 4052,
  4088, 1840, 2506, 4210, 2627, 4219, 4264, 2737,
  4227, 4272, 4308, 2836, 1879, 1889, 1898, 1906,
  65, 1649, 3354, 3574, 1715, 3399, 6203, 3619,
  3794, 3839, 1781, 3435, 6239, 3655, 6359, 6687,
  3875, 4014, 4059, 4095, 1847, 3463, 6267, 3683,
  6387, 6715, 3903, 6471, 6799, 7008, 4123, 4234,
  4279, 4315, 4343, 1913, 2517, 4430, 2638, 4439,
  4484, 2748, 4447, 4492, 4528, 2847, 4454, 4499,
  4535, 4563, 2935, 1945, 1955, 1964, 1972, 1979,
  77, 1655, 3360, 3580, 1721, 3405, 6209, 3625,
  3800, 3845, 1787, 3441, 6245, 3661, 6365, 6693,
  3881, 4020, 4065, 4101, 1853, 3469, 6273, 3689,
  6393, 6721, 3909, 6477, 6805, 7014, 4129, 4240,
  4285, 4321, 4349, 1919, 3490, 6294, 3710, 6414,
  6742, 3930, 6498, 6826, 7035, 4150, 1604, 1604,
  1604, 1603, 1604, 4460, 4505, 4541, 4569, 1604,
  1985, 2528, 4650, 2649, 4659, 4704, 2759, 4667,
  4712, 4748, 2858, 4674, 4719, 4755, 4783, 2946,
  4680, 4725, 4761, 4789, 1604, 3023, 2011, 2021,
  2030, 2038, 2045, 2051, 89, 173, 2534, 2655,
  185, 2535, 4866, 2656, 2765, 2766, 197, 2536,
  4867, 2657, 4876, 4921, 2767, 2864, 2865, 2866,
  209, 2537, 4868, 2658, 4877, 4922, 2768, 4885,
  4930, 4966, 2867, 2952, 2953, 2954, 2955, 221,
  2538, 4869, 2659, 4878, 4923, 2769, 4886, 4931,
  4967, 2868, 4893, 4938, 4974, 5002, 2956, 3029,
  3030, 3031, 3032, 3033, 233, 2539, 4870, 2660,
  4879, 4924, 2770, 4887, 4932, 4968, 2869, 4894,
  4939, 4975, 5003, 2957, 4900, 4945, 4981, 5009,
  1604, 3034, 3095, 3096, 3097, 3098, 3099, 3100,
  245, 251, 2072, 252, 2073, 2083, 253, 2074,
  2084, 2093, 254, 2075, 2085, 2094, 2102, 255,
  2076, 2086, 2095, 2103, 2110, 256, 2077, 2087,
  2096, 2104, 2111, 2117, 257, 95, 96, 97,
  98, 99, 100, 101, 18, 174, 2474, 186,
  30, 174, 2545, 2666, 186, 2485, 2776, 2606,
  198, 198, 42, 174, 2545, 2666, 186, 2546,
  5086, 2667, 2776, 2777, 198, 2496, 2875, 2617,
  2875, 2876, 2727, 210, 210, 210, 54, 174,
  2545, 2666, 186, 2546, 5086, 2667, 2776, 2777,
  198, 2547, 5087, 2668, 5096, 5141, 2778, 2875,
  2876, 2877, 210, 2507, 2963, 2628, 2963, 2964,
  2738, 2963, 2964, 2965, 2837, 222, 222, 222,
  222, 66, 174, 2545, 2666, 186, 2546, 5086,
  2667, 2776, 2777, 198, 2547, 5087, 2668, 5096,
  5141, 2778, 2875, 2876, 2877, 210, 2548, 5088,
  2669, 5097, 5142, 2779, 5105, 5150, 5186, 2878,
  2963, 2964, 2965, 2966, 222, 2518, 3040, 2639,
  3040, 3041, 2749, 3040, 3041, 3042, 2848, 3040,
  3041, 3042, 3043, 2936, 234, 234, 234, 234,
  234, 78, 174, 2545, 2666, 186, 2546, 5086,
  2667, 2776, 2777, 198, 2547, 5087, 2668, 5096,
  5141, 2778, 2875, 2876, 2877, 210, 2548, 5088,
  2669, 5097, 5142, 2779, 5105, 5150, 5186, 2878,
  2963, 2964, 2965, 2966, 222, 2549, 5089, 2670,
  5098, 5143, 2780, 5106, 5151, 5187, 2879, 5113,
  5158, 5194, 5222, 2967, 3040, 3041, 3042, 3043,
  3044, 234, 2529, 3106, 2650, 3106, 3107, 2760,
  3106, 3107, 3108, 2859, 3106, 3107, 3108, 3109,
  2947, 3106, 3107, 3108, 3109, 3110, 3024, 246,
  246, 246, 246, 246, 246, 90, 174, 2545,
  2666, 186, 2546, 5086, 2667, 2776, 2777, 198,
  2547, 5087, 2668, 5096, 5141, 2778, 2875, 2876,
  2877, 210, 2548, 5088, 2669, 5097, 5142, 2779,
  5105, 5150, 5186, 2878, 2963, 2964, 2965, 2966,
  222, 2549, 5089, 2670, 5098, 5143, 2780, 5106,
  5151, 5187, 2879, 5113, 5158, 5194, 5222, 2967,
  3040, 3041, 3042, 3043, 3044, 234, 2550, 5090,
  2671, 5099, 5144, 2781, 5107, 5152, 5188, 2880,
  5114, 5159, 5195, 5223, 2968, 5120, 5165, 5201,
  5229, 1604, 3045, 3106, 3107, 3108, 3109, 3110,
  3111, 246, 2540, 3161, 2661, 3161, 3162, 2771,
  3161, 3162, 3163, 2870, 3161, 3162, 3163, 3164,
  2958, 3161, 3162, 3163, 3164, 3165, 3035, 3161,
  3162, 3163, 3164, 3165, 3166, 3101, 258, 258,
  258, 258, 258, 258, 258, 102, 174, 263,
  264, 186, 263, 2138, 264, 265, 265, 198,
  263, 2138, 264, 2139, 2149, 265, 266, 266,
  266, 210, 263, 2138, 264, 2139, 2149, 265,
  2140, 2150, 2159, 266, 267, 267, 267, 267,
  222, 263, 2138, 264, 2139, 2149, 265, 2140,
  2150, 2159, 266, 2141, 2151, 2160, 2168, 267,
  268, 268, 268, 268, 268, 234, 263, 2138,
  264, 2139, 2149, 265, 2140, 2150, 2159, 266,
  2141, 2151, 2160, 2168, 267, 2142, 2152, 2161,
  2169, 2176, 268, 269, 269, 269, 269, 269,
  269, 246, 263, 2138, 264, 2139, 2149, 265,
  2140, 2150, 2159, 266, 2141, 2151, 2160, 2168,
  267, 2142, 2152, 2161, 2169, 2176, 268, 2143,
  2153, 2162, 2170, 2177, 2183, 269, 270, 270,
  270, 270, 270, 270, 270, 258, 107, 107,
  108, 107, 108, 109, 107, 108, 109, 110,
  107, 108, 109, 110, 111, 107, 108, 109,
  110, 111, 112, 107, 108, 109, 110, 111,
  112, 113, 107, 108, 109, 110, 111, 112,
  113, 114, 11, 167, 179, 23, 12, 1610,
  2468, 1676, 24, 168, 2479, 2600, 180, 191,
  1742, 192, 35, 36, 13, 1611, 2469, 1677,
  25, 1621, 3326, 3546, 1687, 2480, 3766, 2601,
  1743, 1753, 37, 169, 2490, 2611, 181, 2491,
  3986, 2612, 2721, 2722, 193, 203, 1808, 204,
  1809, 1819, 205, 47, 48, 49, 14, 1612,
  2470, 1678, 26, 1622, 3327, 3547, 1688, 2481,
  3767, 2602, 1744, 1754, 38, 1631, 3336, 3556,
  1697, 3381, 1600, 3601, 3776, 3821, 1763, 2492,
  3987, 2613, 3996, 4041, 2723, 1810, 1820, 1829,
  50, 170, 2501, 2622, 182, 2502, 4206, 2623,
  2732, 2733, 194, 2503, 4207, 2624, 4216, 4261,
  2734, 2831, 2832, 2833, 206, 215, 1874, 216,
  1875, 1885, 217, 1876, 1886, 1895, 218, 59,
  60, 61, 62, 15, 1613, 2471, 1679, 27,
  1623, 3328, 3548, 1689, 2482, 3768, 2603, 1745,
  1755, 39, 1632, 3337, 3557, 1698, 3382, 6186,
  3602, 3777, 3822, 1764, 2493, 3988, 2614, 3997,
  4042, 2724, 1811, 1821, 1830, 51, 1640, 3345,
  3565, 1706, 3390, 6194, 3610, 3785, 3830, 1772,
  3426, 6230, 3646, 6350, 1601, 3866, 4005, 4050,
  4086, 1838, 2504, 4208, 2625, 4217, 4262, 2735,
  4225, 4270, 4306, 2834, 1877, 1887, 1896, 1904,
  63, 171, 2512, 2633, 183, 2513, 4426, 2634,
  2743, 2744, 195, 2514, 4427, 2635, 4436, 4481,
  2745, 2842, 2843, 2844, 207, 2515, 4428, 2636,
  4437, 4482, 2746, 4445, 4490, 4526, 2845, 2930,
  2931, 2932, 2933, 219, 227, 1940, 228, 1941,
  1951, 229, 1942, 1952, 1961, 230, 1943, 1953,
  1962, 1970, 231, 71, 72, 73, 74, 75,
  16, 1614, 2472, 1680, 28, 1624, 3329, 3549,
  1690, 2483, 3769, 2604, 1746, 1756, 40, 1633,
  3338, 3558, 1699, 3383, 6187, 3603, 3778, 3823,
  1765, 2494, 3989, 2615, 3998, 4043, 2725, 1812,
  1822, 1831, 52, 1641, 3346, 3566, 1707, 3391,
  6195, 3611, 3786, 3831, 1773, 3427, 6231, 3647,
  6351, 6679, 3867, 4006, 4051, 4087, 1839, 2505,
  4209, 2626, 4218, 4263, 2736, 4226, 4271, 4307,
  2835, 1878, 1888, 1897, 1905, 64, 1648, 3353,
  3573, 1714, 3398, 6202, 3618, 3793, 3838, 1780,
  3434, 6238, 3654, 6358, 6686, 3874, 4013, 4058,
  4094, 1846, 3462, 6266, 3682, 6386, 6714, 3902,
  6470, 6798, 1602, 4122, 4233, 4278, 4314, 4342,
  1912, 2516, 4429, 2637, 4438, 4483, 2747, 4446,
  4491, 4527, 2846, 4453, 4498, 4534, 4562, 2934,
  1944, 1954, 1963, 1971, 1978, 76, 172, 2523,
  2644, 184, 2524, 4646, 2645, 2754, 2755, 196,
  2525, 4647, 2646, 4656, 4701, 2756, 2853, 2854,
  2855, 208, 2526, 4648, 2647, 4657, 4702, 2757,
  4665, 4710, 4746, 2856, 2941, 2942, 2943, 2944,
  220, 2527, 4649, 2648, 4658, 4703, 2758, 4666,
  4711, 4747, 2857, 4673, 4718, 4754, 4782, 2945,
  3018, 3019, 3020, 3021, 3022, 232, 239, 2006,
  240, 2007, 2017, 241, 2008, 2018, 2027, 242,
  2009, 2019, 2028, 2036, 243, 2010, 2020, 2029,
  2037, 2044, 244, 83, 84, 85, 86, 87,
  88, 17, 1615, 2473, 1681, 29, 1625, 3330,
  3550, 1691, 2484, 3770, 2605, 1747, 1757, 41,
  1634, 3339, 3559, 1700, 3384, 6188, 3604, 3779,
  3824, 1766, 2495, 3990, 2616, 3999, 4044, 2726,
  1813, 1823, 1832, 53, 1642, 3347, 3567, 1708,
  3392, 6196, 3612, 3787, 3832, 1774, 3428, 6232,
  3648, 6352, 6680, 3868, 4007, 4052, 4088, 1840,
  2506, 4210, 2627, 4219, 4264, 2737, 4227, 4272,
  4308, 2836, 1879, 1889, 1898, 1906, 65, 1649,
  3354, 3574, 1715, 3399, 6203, 3619, 3794, 3839,
  1781, 3435, 6239, 3655, 6359, 6687, 3875, 4014,
  4059, 4095, 1847, 3463, 6267, 3683, 6387, 6715,
  3903, 6471, 6799, 7008, 4123, 4234, 4279, 4315,
  4343, 1913, 2517, 4430, 2638, 4439, 4484, 2748,
  4447, 4492, 4528, 2847, 4454, 4499, 4535, 4563,
  2935, 1945, 1955, 1964, 1972, 1979, 77, 1655,
  3360, 3580, 1721, 3405, 6209, 3625, 3800, 3845,
  1787, 3441, 6245, 3661, 6365, 6693, 3881, 4020,
  4065, 4101, 1853, 3469, 6273, 3689, 6393, 6721,
  3909, 6477, 6805, 7014, 4129, 4240, 4285, 4321,
  4349, 1919, 3490, 6294, 3710, 6414, 6742, 3930,
  6498, 6826, 7035, 4150, 6554, 6882, 7091, 1603,
  4370, 4460, 4505, 4541, 4569, 4590, 1985, 2528,
  4650, 2649, 4659, 4704, 2759, 4667, 4712, 4748,
  2858, 4674, 4719, 4755, 4783, 2946, 4680, 4725,
  4761, 4789, 4810, 3023, 2011, 2021, 2030, 2038,
  2045, 2051, 89, 173, 2534, 2655, 185, 2535,
  4866, 2656, 2765, 2766, 197, 2536, 4867, 2657,
  4876, 4921, 2767, 2864, 2865, 2866, 209, 2537,
  4868, 2658, 4877, 4922, 2768, 4885, 4930, 4966,
  2867, 2952, 2953, 2954, 2955, 221, 2538, 4869,
  2659, 4878, 4923, 2769, 4886, 4931, 4967, 2868,
  4893, 4938, 4974, 5002, 2956, 3029, 3030, 3031,
  3032, 3033, 233, 2539, 4870, 2660, 4879, 4924,
  2770, 4887, 4932, 4968, 2869, 4894, 4939, 4975,
  5003, 2957, 4900, 4945, 4981, 5009, 5030, 3034,
  3095, 3096, 3097, 3098, 3099, 3100, 245, 251,
  2072, 252, 2073, 2083, 253, 2074, 2084, 2093,
  254, 2075, 2085, 2094, 2102, 255, 2076, 2086,
  2095, 2103, 2110, 256, 2077, 2087, 2096, 2104,
  2111, 2117, 257, 95, 96, 97, 98, 99,
  100, 101, 18, 1616, 2474, 1682, 30, 1626,
  3331, 3551, 1692, 2485, 3771, 2606, 1748, 1758,
  42, 1635, 3340, 3560, 1701, 3385, 6189, 3605,
  3780, 3825, 1767, 2496, 3991, 2617, 4000, 4045,
  2727, 1814, 1824, 1833, 54, 1643, 3348, 3568,
  1709, 3393, 6197, 3613, 3788, 3833, 1775, 3429,
  6233, 3649, 6353, 6681, 3869, 4008, 4053, 4089,
  1841, 2507, 4211, 2628, 4220, 4265, 2738, 4228,
  4273, 4309, 2837, 1880, 1890, 1899, 1907, 66,
  1650, 3355, 3575, 1716, 3400, 6204, 3620, 3795,
  3840, 1782, 3436, 6240, 3656, 6360, 6688, 3876,
  4015, 4060, 4096, 1848, 3464, 6268, 3684, 6388,
  6716, 3904, 6472, 6800, 7009, 4124, 4235, 4280,
  4316, 4344, 1914, 2518, 4431, 2639, 4440, 4485,
  2749, 4448, 4493, 4529, 2848, 4455, 4500, 4536,
  4564, 2936, 1946, 1956, 1965, 1973, 1980, 78,
  1656, 3361, 3581, 1722, 3406, 6210, 3626, 3801,
  3846, 1788, 3442, 6246, 3662, 6366, 6694, 3882,
  4021, 4066, 4102, 1854, 3470, 6274, 3690, 6394,
  6722, 3910, 6478, 6806, 7015, 4130, 4241, 4286,
  4322, 4350, 1920, 3491, 6295, 3711, 6415, 6743,
  3931, 6499, 6827, 7036, 4151, 6555, 6883, 7092,
  7217, 4371, 4461, 4506, 4542, 4570, 4591, 1986,
  2529, 4651, 2650, 4660, 4705, 2760, 4668, 4713,
  4749, 2859, 4675, 4720, 4756, 4784, 2947, 4681,
  4726, 4762, 4790, 4811, 3024, 2012, 2022, 2031,
  2039, 2046, 2052, 90, 1661, 3366, 3586, 1727,
  3411, 6215, 3631, 3806, 3851, 1793, 3447, 6251,
  3667, 6371, 6699, 3887, 4026, 4071, 4107, 1859,
  3475, 6279, 3695, 6399, 6727, 3915, 6483, 6811,
  7020, 4135, 4246, 4291, 4327, 4355, 1925, 3496,
  6300, 3716, 6420, 6748, 3936, 6504, 6832, 7041,
  4156, 6560, 6888, 7097, 7222, 4376, 4466, 4511,
  4547, 4575, 4596, 1991, 3511, 6315, 3731, 6435,
  6763, 3951, 6519, 6847, 7056, 4171, 6575, 6903,
  7112, 7237, 4391, 1605, 1605, 1605, 1605, 1604,
  1605, 4686, 4731, 4767, 4795, 4816, 1605, 2057,
  2540, 4871, 2661, 4880, 4925, 2771, 4888, 4933,
  4969, 2870, 4895, 4940, 4976, 5004, 2958, 4901,
  4946, 4982, 5010, 5031, 3035, 4906, 4951, 4987,
  5015, 5036, 1605, 3101, 2078, 2088, 2097, 2105,
  2112, 2118, 2123, 102, 174, 2545, 2666, 186,
  2546, 5086, 2667, 2776, 2777, 198, 2547, 5087,
  2668, 5096, 5141, 2778, 2875, 2876, 2877, 210,
  2548, 5088, 2669, 5097, 5142, 2779, 5105, 5150,
  5186, 2878, 2963, 2964, 2965, 2966, 222, 2549,
  5089, 2670, 5098, 5143, 2780, 5106, 5151, 5187,
  2879, 5113, 5158, 5194, 5222, 2967, 3040, 3041,
  3042, 3043, 3044, 234, 2550, 5090, 2671, 5099,
  5144, 2781, 5107, 5152, 5188, 2880, 5114, 5159,
  5195, 5223, 2968, 5120, 5165, 5201, 5229, 5250,
  3045, 3106, 3107, 3108, 3109, 3110, 3111, 246,
  2551, 5091, 2672, 5100, 5145, 2782, 5108, 5153,
  5189, 2881, 5115, 5160, 5196, 5224, 2969, 5121,
  5166, 5202, 5230, 5251, 3046, 5126, 5171, 5207,
  5235, 5256, 1605, 3112, 3161, 3162, 3163, 3164,
  3165, 3166, 3167, 258, 263, 2138, 264, 2139,
  2149, 265, 2140, 2150, 2159, 266, 2141, 2151,
  2160, 2168, 267, 2142, 2152, 2161, 2169, 2176,
  268, 2143, 2153, 2162, 2170, 2177, 2183, 269,
  2144, 2154, 2163, 2171, 2178, 2184, 2189, 270,
  107, 108, 109, 110, 111, 112, 113, 114,
  19, 175, 2475, 187, 31, 175, 2556, 2677,
  187, 2486, 2787, 2607, 199, 199, 43, 175,
  2556, 2677, 187, 2557, 5306, 2678, 2787, 2788,
  199, 2497, 2886, 2618, 2886, 2887, 2728, 211,
  211, 211, 55, 175, 2556, 2677, 187, 2557,
  5306, 2678, 2787, 2788, 199, 2558, 5307, 2679,
  5316, 5361, 2789, 2886, 2887, 2888, 211, 2508,
  2974, 2629, 2974, 2975, 2739, 2974, 2975, 2976,
  2838, 223, 223, 223, 223, 67, 175, 2556,
  2677, 187, 2557, 5306, 2678, 2787, 2788, 199,
  2558, 5307, 2679, 5316, 5361, 2789, 2886, 2887,
  2888, 211, 2559, 5308, 2680, 5317, 5362, 2790,
  5325, 5370, 5406, 2889, 2974, 2975, 2976, 2977,
  223, 2519, 3051, 2640, 3051, 3052, 2750, 3051,
  3052, 3053, 2849, 3051, 3052, 3053, 3054, 2937,
  235, 235, 235, 235, 235, 79, 175, 2556,
  2677, 187, 2557, 5306, 2678, 2787, 2788, 199,
  2558, 5307, 2679, 5316, 5361, 2789, 2886, 2887,
  2888, 211, 2559, 5308, 2680, 5317, 5362, 2790,
  5325, 5370, 5406, 2889, 2974, 2975, 2976, 2977,
  223, 2560, 5309, 2681, 5318, 5363, 2791, 5326,
  5371, 5407, 2890, 5333, 5378, 5414, 5442, 2978,
  3051, 3052, 3053, 3054, 3055, 235, 2530, 3117,
  2651, 3117, 3118, 2761, 3117, 3118, 3119, 2860,
  3117, 3118, 3119, 3120, 2948, 3117, 3118, 3119,
  3120, 3121, 3025, 247, 247, 247, 247, 247,
  247, 91, 175, 2556, 2677, 187, 2557, 5306,
  2678, 2787, 2788, 199, 2558, 5307, 2679, 5316,
  5361, 2789, 2886, 2887, 2888, 211, 2559, 5308,
  2680, 5317, 5362, 2790, 5325, 5370, 5406, 2889,
  2974, 2975, 2976, 2977, 223, 2560, 5309, 2681,
  5318, 5363, 2791, 5326, 5371, 5407, 2890, 5333,
  5378, 5414, 5442, 2978, 3051, 3052, 3053, 3054,
  3055, 235, 2561, 5310, 2682, 5319, 5364, 2792,
  5327, 5372, 5408, 2891, 5334, 5379, 5415, 5443,
  2979, 5340, 5385, 5421, 5449, 5470, 3056, 3117,
  3118, 3119, 3120, 3121, 3122, 247, 2541, 3172,
  2662, 3172, 3173, 2772, 3172, 3173, 3174, 2871,
  3172, 3173, 3174, 3175, 2959, 3172, 3173, 3174,
  3175, 3176, 3036, 3172, 3173, 3174, 3175, 3176,
  3177, 3102, 259, 259, 259, 259, 259, 259,
  259, 103, 175, 2556, 2677, 187, 2557, 5306,
  2678, 2787, 2788, 199, 2558, 5307, 2679, 5316,
  5361, 2789, 2886, 2887, 2888, 211, 2559, 5308,
  2680, 5317, 5362, 2790, 5325, 5370, 5406, 2889,
  2974, 2975, 2976, 2977, 223, 2560, 5309, 2681,
  5318, 5363, 2791, 5326, 5371, 5407, 2890, 5333,
  5378, 5414, 5442, 2978, 3051, 3052, 3053, 3054,
  3055, 235, 2561, 5310, 2682, 5319, 5364, 2792,
  5327, 5372, 5408, 2891, 5334, 5379, 5415, 5443,
  2979, 5340, 5385, 5421, 5449, 5470, 3056, 3117,
  3118, 3119, 3120, 3121, 3122, 247, 2562, 5311,
  2683, 5320, 5365, 2793, 5328, 5373, 5409, 2892,
  5335, 5380, 5416, 5444, 2980, 5341, 5386, 5422,
  5450, 5471, 3057, 5346, 5391, 5427, 5455, 5476,
  1605, 3123, 3172, 3173, 3174, 3175, 3176, 3177,
  3178, 259, 2552, 3216, 2673, 3216, 3217, 2783,
  3216, 3217, 3218, 2882, 3216, 3217, 3218, 3219,
  2970, 3216, 3217, 3218, 3219, 3220, 3047, 3216,
  3217, 3218, 3219, 3220, 3221, 3113, 3216, 3217,
  3218, 3219, 3220, 3221, 3222, 3168, 271, 271,
  271, 271, 271, 271, 271, 271, 115, 175,
  275, 276, 187, 275, 2204, 276, 277, 277,
  199, 275, 2204, 276, 2205, 2215, 277, 278,
  278, 278, 211, 275, 2204, 276, 2205, 2215,
  277, 2206, 2216, 2225, 278, 279, 279, 279,
  279, 223, 275, 2204, 276, 2205, 2215, 277,
  2206, 2216, 2225, 278, 2207, 2217, 2226, 2234,
  279, 280, 280, 280, 280, 280, 235, 275,
  2204, 276, 2205, 2215, 277, 2206, 2216, 2225,
  278, 2207, 2217, 2226, 2234, 279, 2208, 2218,
  2227, 2235, 2242, 280, 281, 281, 281, 281,
  281, 281, 247, 275, 2204, 276, 2205, 2215,
  277, 2206, 2216, 2225, 278, 2207, 2217, 2226,
  2234, 279, 2208, 2218, 2227, 2235, 2242, 280,
  2209, 2219, 2228, 2236, 2243, 2249, 281, 282,
  282, 282, 282, 282, 282, 282, 259, 275,
  2204, 276, 2205, 2215, 277, 2206, 2216, 2225,
  278, 2207, 2217, 2226, 2234, 279, 2208, 2218,
  2227, 2235, 2242, 280, 2209, 2219, 2228, 2236,
  2243, 2249, 281, 2210, 2220, 2229, 2237, 2244,
  2250, 2255, 282, 283, 283, 283, 283, 283,
  283, 283, 283, 271, 119, 119, 120, 119,
  120, 121, 119, 120, 121, 122, 119, 120,
  121, 122, 123, 119, 120, 121, 122, 123,
  124, 119, 120, 121, 122, 123, 124, 125,
  119, 120, 121, 122, 123, 124, 125, 126,
  119, 120, 121, 122, 123, 124, 125, 126,
  127, 11, 167, 179, 23, 12, 1610, 2468,
  1676, 24, 168, 2479, 2600, 180, 191, 1742,
  192, 35, 36, 13, 1611, 2469, 1677, 25,
  1621, 3326, 3546, 1687, 2480, 3766, 2601, 1743,
  1753, 37, 169, 2490, 2611, 181, 2491, 3986,
  2612, 2721, 2722, 193, 203, 1808, 204, 1809,
  1819, 205, 47, 48, 49, 14, 1612, 2470,
  1678, 26, 1622, 3327, 3547, 1688, 2481, 3767,
  2602, 1744, 1754, 38, 1631, 3336, 3556, 1697,
  3381, 1600, 3601, 3776, 3821, 1763, 2492, 3987,
  2613, 3996, 4041, 2723, 1810, 1820, 1829, 50,
  170, 2501, 2622, 182, 2502, 4206, 2623, 2732,
  2733, 194, 2503, 4207, 2624, 4216, 4261, 2734,
  2831, 2832, 2833, 206, 215, 1874, 216, 1875,
  1885, 217, 1876, 1886, 1895, 218, 59, 60,
  61, 62, 15, 1613, 2471, 1679, 27, 1623,
  3328, 3548, 1689, 2482, 3768, 2603, 1745, 1755,
  39, 1632, 3337, 3557, 1698, 3382, 6186, 3602,
  3777, 3822, 1764, 2493, 3988, 2614, 3997, 4042,
  2724, 1811, 1821, 1830, 51, 1640, 3345, 3565,
  1706, 3390, 6194, 3610, 3785, 3830, 1772, 3426,
  6230, 3646, 6350, 1601, 3866, 4005, 4050, 4086,
  1838, 2504, 4208, 2625, 4217, 4262, 2735, 4225,
  4270, 4306, 2834, 1877, 1887, 1896, 1904, 63,
  171, 2512, 2633, 183, 2513, 4426, 2634, 2743,
  2744, 195, 2514, 4427, 2635, 4436, 4481, 2745,
  2842, 2843, 2844, 207, 2515, 4428, 2636, 4437,
  4482, 2746, 4445, 4490, 4526, 2845, 2930, 2931,
  2932, 2933, 219, 227, 1940, 228, 1941, 1951,
  229, 1942, 1952, 1961, 230, 1943, 1953, 1962,
  1970, 231, 71, 72, 73, 74, 75, 16,
  1614, 2472, 1680, 28, 1624, 3329, 3549, 1690,
  2483, 3769, 2604, 1746, 1756, 40, 1633, 3338,
  3558, 1699, 3383, 6187, 3603, 3778, 3823, 1765,
  2494, 3989, 2615, 3998, 4043, 2725, 1812, 1822,
  1831, 52, 1641, 3346, 3566, 1707, 3391, 6195,
  3611, 3786, 3831, 1773, 3427, 6231, 3647, 6351,
  6679, 3867, 4006, 4051, 4087, 1839, 2505, 4209,
  2626, 4218, 4263, 2736, 4226, 4271, 4307, 2835,
  1878, 1888, 1897, 1905, 64, 1648, 3353, 3573,
  1714, 3398, 6202, 3618, 3793, 3838, 1780, 3434,
  6238, 3654, 6358, 6686, 3874, 4013, 4058, 4094,
  1846, 3462, 6266, 3682, 6386, 6714, 3902, 6470,
  6798, 1602, 4122, 4233, 4278, 4314, 4342, 1912,
  2516, 4429, 2637, 4438, 4483, 2747, 4446, 4491,
  4527, 2846, 4453, 4498, 4534, 4562, 2934, 1944,
  1954, 1963, 1971, 1978, 76, 172, 2523, 2644,
  184, 2524, 4646, 2645, 2754, 2755, 196, 2525,
  4647, 2646, 4656, 4701, 2756, 2853, 2854, 2855,
  208, 2526, 4648, 2647, 4657, 4702, 2757, 4665,
  4710, 4746, 2856, 2941, 2942, 2943, 2944, 220,
  2527, 4649, 2648, 4658, 4703, 2758, 4666, 4711,
  4747, 2857, 4673, 4718, 4754, 4782, 2945, 3018,
  3019, 3020, 3021, 3022, 232, 239, 2006, 240,
  2007, 2017, 241, 2008, 2018, 2027, 242, 2009,
  2019, 2028, 2036, 243, 2010, 2020, 2029, 2037,
  2044, 244, 83, 84, 85, 86, 87, 88,
  17, 1615, 2473, 1681, 29, 1625, 3330, 3550,
  1691, 2484, 3770, 2605, 1747, 1757, 41, 1634,
  3339, 3559, 1700, 3384, 6188, 3604, 3779, 3824,
  1766, 2495, 3990, 2616, 3999, 4044, 2726, 1813,
  1823, 1832, 53, 1642, 3347, 3567, 1708, 3392,
  6196, 3612, 3787, 3832, 1774, 3428, 6232, 3648,
  6352, 6680, 3868, 4007, 4052, 4088, 1840, 2506,
  4210, 2627, 4219, 4264, 2737, 4227, 4272, 4308,
  2836, 1879, 1889, 1898, 1906, 65, 1649, 3354,
  3574, 1715, 3399, 6203, 3619, 3794, 3839, 1781,
  3435, 6239, 3655, 6359, 6687, 3875, 4014, 4059,
  4095, 1847, 3463, 6267, 3683, 6387, 6715, 3903,
  6471, 6799, 7008, 4123, 4234, 4279, 4315, 4343,
  1913, 2517, 4430, 2638, 4439, 4484, 2748, 4447,
  4492, 4528, 2847, 4454, 4499, 4535, 4563, 2935,
  1945, 1955, 1964, 1972, 1979, 77, 1655, 3360,
  3580, 1721, 3405, 6209, 3625, 3800, 3845, 1787,
  3441, 6245, 3661, 6365, 6693, 3881, 4020, 4065,
  4101, 1853, 3469, 6273, 3689, 6393, 6721, 3909,
  6477, 6805, 7014, 4129, 4240, 4285, 4321, 4349,
  1919, 3490, 6294, 3710, 6414, 6742, 3930, 6498,
  6826, 7035, 4150, 6554, 6882, 7091, 1603, 4370,
  4460, 4505, 4541, 4569, 4590, 1985, 2528, 4650,
  2649, 4659, 4704, 2759, 4667, 4712, 4748, 2858,
  4674, 4719, 4755, 4783, 2946, 4680, 4725, 4761,
  4789, 4810, 3023, 2011, 2021, 2030, 2038, 2045,
  2051, 89, 173, 2534, 2655, 185, 2535, 4866,
  2656, 2765, 2766, 197, 2536, 4867, 2657, 4876,
  4921, 2767, 2864, 2865, 2866, 209, 2537, 4868,
  2658, 4877, 4922, 2768, 4885, 4930, 4966, 2867,
  2952, 2953, 2954, 2955, 221, 2538, 4869, 2659,
  4878, 4923, 2769, 4886, 4931, 4967, 2868, 4893,
  4938, 4974, 5002, 2956, 3029, 3030, 3031, 3032,
  3033, 233, 2539, 4870, 2660, 4879, 4924, 2770,
  4887, 4932, 4968, 2869, 4894, 4939, 4975, 5003,
  2957, 4900, 4945, 4981, 5009, 5030, 3034, 3095,
  3096, 3097, 3098, 3099, 3100, 245, 251, 2072,
  252, 2073, 2083, 253, 2074, 2084, 2093, 254,
  2075, 2085, 2094, 2102, 255, 2076, 2086, 2095,
  2103, 2110, 256, 2077, 2087, 2096, 2104, 2111,
  2117, 257, 95, 96, 97, 98, 99, 100,
  101, 18, 1616, 2474, 1682, 30, 1626, 3331,
  3551, 1692, 2485, 3771, 2606, 1748, 1758, 42,
  1635, 3340, 3560, 1701, 3385, 6189, 3605, 3780,
  3825, 1767, 2496, 3991, 2617, 4000, 4045, 2727,
  1814, 1824, 1833, 54, 1643, 3348, 3568, 1709,
  3393, 6197, 3613, 3788, 3833, 1775, 3429, 6233,
  3649, 6353, 6681, 3869, 4008, 4053, 4089, 1841,
  2507, 4211, 2628, 4220, 4265, 2738, 4228, 4273,
  4309, 2837, 1880, 1890, 1899, 1907, 66, 1650,
  3355, 3575, 1716, 3400, 6204, 3620, 3795, 3840,
  1782, 3436, 6240, 3656, 6360, 6688, 3876, 4015,
  4060, 4096, 1848, 3464, 6268, 3684, 6388, 6716,
  3904, 6472, 6800, 7009, 4124, 4235, 4280, 4316,
  4344, 1914, 2518, 4431, 2639, 4440, 4485, 2749,
  4448, 4493, 4529, 2848, 4455, 4500, 4536, 4564,
  2936, 1946, 1956, 1965, 1973, 1980, 78, 1656,
  3361, 3581, 1722, 3406, 6210, 3626, 3801, 3846,
  1788, 3442, 6246, 3662, 6366, 6694, 3882, 4021,
  4066, 4102, 1854, 3470, 6274, 3690, 6394, 6722,
  3910, 6478, 6806, 7015, 4130, 4241, 4286, 4322,
  4350, 1920, 3491, 6295, 3711, 6415, 6743, 3931,
  6499, 6827, 7036, 4151, 6555, 6883, 7092, 7217,
  4371, 4461, 4506, 4542, 4570, 4591, 1986, 2529,
  4651, 2650, 4660, 4705, 2760, 4668, 4713, 4749,
  2859, 4675, 4720, 4756, 4784, 2947, 4681, 4726,
  4762, 4790, 4811, 3024, 2012, 2022, 2031, 2039,
  2046, 2052, 90, 1661, 3366, 3586, 1727, 3411,
  6215, 3631, 3806, 3851, 1793, 3447, 6251, 3667,
  6371, 6699, 3887, 4026, 4071, 4107, 1859, 3475,
  6279, 3695, 6399, 6727, 3915, 6483, 6811, 7020,
  4135, 4246, 4291, 4327, 4355, 1925, 3496, 6300,
  3716, 6420, 6748, 3936, 6504, 6832, 7041, 4156,
  6560, 6888, 7097, 7222, 4376, 4466, 4511, 4547,
  4575, 4596, 1991, 3511, 6315, 3731, 6435, 6763,
  3951, 6519, 6847, 7056, 4171, 6575, 6903, 7112,
  7237, 4391, 6610, 6938, 7147, 7272, 1604, 4611,
  4686, 4731, 4767, 4795, 4816, 4831, 2057, 2540,
  4871, 2661, 4880, 4925, 2771, 4888, 4933, 4969,
  2870, 4895, 4940, 4976, 5004, 2958, 4901, 4946,
  4982, 5010, 5031, 3035, 4906, 4951, 4987, 5015,
  5036, 5051, 3101, 2078, 2088, 2097, 2105, 2112,
  2118, 2123, 102, 174, 2545, 2666, 186, 2546,
  5086, 2667, 2776, 2777, 198, 2547, 5087, 2668,
  5096, 5141, 2778, 2875, 2876, 2877, 210, 2548,
  5088, 2669, 5097, 5142, 2779, 5105, 5150, 5186,
  2878, 2963, 2964, 2965, 2966, 222, 2549, 5089,
  2670, 5098, 5143, 2780, 5106, 5151, 5187, 2879,
  5113, 5158, 5194, 5222, 2967, 3040, 3041, 3042,
  3043, 3044, 234, 2550, 5090, 2671, 5099, 5144,
  2781, 5107, 5152, 5188, 2880, 5114, 5159, 5195,
  5223, 2968, 5120, 5165, 5201, 5229, 5250, 3045,
  3106, 3107, 3108, 3109, 3110, 3111, 246, 2551,
  5091, 2672, 5100, 5145, 2782, 5108, 5153, 5189,
  2881, 5115, 5160, 5196, 5224, 2969, 5121, 5166,
  5202, 5230, 5251, 3046, 5126, 5171, 5207, 5235,
  5256, 5271, 3112, 3161, 3162, 3163, 3164, 3165,
  3166, 3167, 258, 263, 2138, 264, 2139, 2149,
  265, 2140, 2150, 2159, 266, 2141, 2151, 2160,
  2168, 267, 2142, 2152, 2161, 2169, 2176, 268,
  2143, 2153, 2162, 2170, 2177, 2183, 269, 2144,
  2154, 2163, 2171, 2178, 2184, 2189, 270, 107,
  108, 109, 110, 111, 112, 113, 114, 19,
  1617, 2475, 1683, 31, 1627, 3332, 3552, 1693,
  2486, 3772, 2607, 1749, 1759, 43, 1636, 3341,
  3561, 1702, 3386, 6190, 3606, 3781, 3826, 1768,
  2497, 3992, 2618, 4001, 4046, 2728, 1815, 1825,
  1834, 55, 1644, 3349, 3569, 1710, 3394, 6198,
  3614, 3789, 3834, 1776, 3430, 6234, 3650, 6354,
  6682, 3870, 4009, 4054, 4090, 1842, 2508, 4212,
  2629, 4221, 4266, 2739, 4229, 4274, 4310, 2838,
  1881, 1891, 1900, 1908, 67, 1651, 3356, 3576,
  1717, 3401, 6205, 3621, 3796, 3841, 1783, 3437,
  6241, 3657, 6361, 6689, 3877, 4016, 4061, 4097,
  1849, 3465, 6269, 3685, 6389, 6717, 3905, 6473,
  6801, 7010, 4125, 4236, 4281, 4317, 4345, 1915,
  2519, 4432, 2640, 4441, 4486, 2750, 4449, 4494,
  4530, 2849, 4456, 4501, 4537, 4565, 2937, 1947,
  1957, 1966, 1974, 1981, 79, 1657, 3362, 3582,
  1723, 3407, 6211, 3627, 3802, 3847, 1789, 3443,
  6247, 3663, 6367, 6695, 3883, 4022, 4067, 4103,
  1855, 3471, 6275, 3691, 6395, 6723, 3911, 6479,
  6807, 7016, 4131, 4242, 4287, 4323, 4351, 1921,
  3492, 6296, 3712, 6416, 6744, 3932, 6500, 6828,
  7037, 4152, 6556, 6884, 7093, 7218, 4372, 4462,
  4507, 4543, 4571, 4592, 1987, 2530, 4652, 2651,
  4661, 4706, 2761, 4669, 4714, 4750, 2860, 4676,
  4721, 4757, 4785, 2948, 4682, 4727, 4763, 4791,
  4812, 3025, 2013, 2023, 2032, 2040, 2047, 2053,
  91, 1662, 3367, 3587, 1728, 3412, 6216, 3632,
  3807, 3852, 1794, 3448, 6252, 3668, 6372, 6700,
  3888, 4027, 4072, 4108, 1860, 3476, 6280, 3696,
  6400, 6728, 3916, 6484, 6812, 7021, 4136, 4247,
  4292, 4328, 4356, 1926, 3497, 6301, 3717, 6421,
  6749, 3937, 6505, 6833, 7042, 4157, 6561, 6889,
  7098, 7223, 4377, 4467, 4512, 4548, 4576, 4597,
  1992, 3512, 6316, 3732, 6436, 6764, 3952, 6520,
  6848, 7057, 4172, 6576, 6904, 7113, 7238, 4392,
  6611, 6939, 7148, 7273, 7342, 4612, 4687, 4732,
  4768, 4796, 4817, 4832, 2058, 2541, 4872, 2662,
  4881, 4926, 2772, 4889, 4934, 4970, 2871, 4896,
  4941, 4977, 5005, 2959, 4902, 4947, 4983, 5011,
  5032, 3036, 4907, 4952, 4988, 5016, 5037, 5052,
  3102, 2079, 2089, 2098, 2106, 2113, 2119, 2124,
  103, 1666, 3371, 3591, 1732, 3416, 6220, 3636,
  3811, 3856, 1798, 3452, 6256, 3672, 6376, 6704,
  3892, 4031, 4076, 4112, 1864, 3480, 6284, 3700,
  6404, 6732, 3920, 6488, 6816, 7025, 4140, 4251,
  4296, 4332, 4360, 1930, 3501, 6305, 3721, 6425,
  6753, 3941, 6509, 6837, 7046, 4161, 6565, 6893,
  7102, 7227, 4381, 4471, 4516, 4552, 4580, 4601,
  1996, 3516, 6320, 3736, 6440, 6768, 3956, 6524,
  6852, 7061, 4176, 6580, 6908, 7117, 7242, 4396,
  6615, 6943, 7152, 7277, 7346, 4616, 4691, 4736,
  4772, 4800, 4821, 4836, 2062, 3526, 6330, 3746,
  6450, 6778, 3966, 6534, 6862, 7071, 4186, 6590,
  6918, 7127, 7252, 4406, 6625, 6953, 7162, 7287,
  7356, 4626, 1606, 1606, 1606, 1606, 1606, 1605,
  1606, 4911, 4956, 4992, 5020, 5041, 5056, 1606,
  2128, 2552, 5092, 2673, 5101, 5146, 2783, 5109,
  5154, 5190, 2882, 5116, 5161, 5197, 5225, 2970,
  5122, 5167, 5203, 5231, 5252, 3047, 5127, 5172,
  5208, 5236, 5257, 5272, 3113, 5131, 5176, 5212,
  5240, 5261, 5276, 1606, 3168, 2145, 2155, 2164,
  2172, 2179, 2185, 2190, 2194, 115, 175, 2556,
  2677, 187, 2557, 5306, 2678, 2787, 2788, 199,
  2558, 5307, 2679, 5316, 5361, 2789, 2886, 2887,
  2888, 211, 2559, 5308, 2680, 5317, 5362, 2790,
  5325, 5370, 5406, 2889, 2974, 2975, 2976, 2977,
  223, 2560, 5309, 2681, 5318, 5363, 2791, 5326,
  5371, 5407, 2890, 5333, 5378, 5414, 5442, 2978,
  3051, 3052, 3053, 3054, 3055, 235, 2561, 5310,
  2682, 5319, 5364, 2792, 5327, 5372, 5408, 2891,
  5334, 5379, 5415, 5443, 2979, 5340, 5385, 5421,
  5449, 5470, 3056, 3117, 3118, 3119, 3120, 3121,
  3122, 247, 2562, 5311, 2683, 5320, 5365, 2793,
  5328, 5373, 5409, 2892, 5335, 5380, 5416, 5444,
  2980, 5341, 5386, 5422, 5450, 5471, 3057, 5346,
  5391, 5427, 5455, 5476, 5491, 3123, 3172, 3173,
  3174, 3175, 3176, 3177, 3178, 259, 2563, 5312,
  2684, 5321, 5366, 2794, 5329, 5374, 5410, 2893,
  5336, 5381, 5417, 5445, 2981, 5342, 5387, 5423,
  5451, 5472, 3058, 5347, 5392, 5428, 5456, 5477,
  5492, 3124, 5351, 5396, 5432, 5460, 5481, 5496,
  1606, 3179, 3216, 3217, 3218, 3219, 3220, 3221,
  3222, 3223, 271, 275, 2204, 276, 2205, 2215,
  277, 2206, 2216, 2225, 278, 2207, 2217, 2226,
  2234, 279, 2208, 2218, 2227, 2235, 2242, 280,
  2209, 2219, 2228, 2236, 2243, 2249, 281, 2210,
  2220, 2229, 2237, 2244, 2250, 2255, 282, 2211,
  2221, 2230, 2238, 2245, 2251, 2256, 2260, 283,
  119, 120, 121, 122, 123, 124, 125, 126,
  127, 20, 176, 2476, 188, 32, 176, 2567,
  2688, 188, 2487, 2798, 2608, 200, 200, 44,
  176, 2567, 2688, 188, 2568, 5526, 2689, 2798,
  2799, 200, 2498, 2897, 2619, 2897, 2898, 2729,
  212, 212, 212, 56, 176, 2567, 2688, 188,
  2568, 5526, 2689, 2798, 2799, 200, 2569, 5527,
  2690, 5536, 5581, 2800, 2897, 2898, 2899, 212,
  2509, 2985, 2630, 2985, 2986, 2740, 2985, 2986,
  2987, 2839, 224, 224, 224, 224, 68, 176,
  2567, 2688, 188, 2568, 5526, 2689, 2798, 2799,
  200, 2569, 5527, 2690, 5536, 5581, 2800, 2897,
  2898, 2899, 212, 2570, 5528, 2691, 5537, 5582,
  2801, 5545, 5590, 5626, 2900, 2985, 2986, 2987,
  2988, 224, 2520, 3062, 2641, 3062, 3063, 2751,
  3062, 3063, 3064, 2850, 3062, 3063, 3064, 3065,
  2938, 236, 236, 236, 236, 236, 80, 176,
  2567, 2688, 188, 2568, 5526, 2689, 2798, 2799,
  200, 2569, 5527, 2690, 5536, 5581, 2800, 2897,
  2898, 2899, 212, 2570, 5528, 2691, 5537, 5582,
  2801, 5545, 5590, 5626, 2900, 2985, 2986, 2987,
  2988, 224, 2571, 5529, 2692, 5538, 5583, 2802,
  5546, 5591, 5627, 2901, 5553, 5598, 5634, 5662,
  2989, 3062, 3063, 3064, 3065, 3066, 236, 2531,
  3128, 2652, 3128, 3129, 2762, 3128, 3129, 3130,
  2861, 3128, 3129, 3130, 3131, 2949, 3128, 3129,
  3130, 3131, 3132, 3026, 248, 248, 248, 248,
  248, 248, 92, 176, 2567, 2688, 188, 2568,
  5526, 2689, 2798, 2799, 200, 2569, 5527, 2690,
  5536, 5581, 2800, 2897, 2898, 2899, 212, 2570,
  5528, 2691, 5537, 5582, 2801, 5545, 5590, 5626,
  2900, 2985, 2986, 2987, 2988, 224, 2571, 5529,
  2692, 5538, 5583, 2802, 5546, 5591, 5627, 2901,
  5553, 5598, 5634, 5662, 2989, 3062, 3063, 3064,
  3065, 3066, 236, 2572, 5530, 2693, 5539, 5584,
  2803, 5547, 5592, 5628, 2902, 5554, 5599, 5635,
  5663, 2990, 5560, 5605, 5641, 5669, 5690, 3067,
  3128, 3129, 3130, 3131, 3132, 3133, 248, 2542,
  3183, 2663, 3183, 3184, 2773, 3183, 3184, 3185,
  2872, 3183, 3184, 3185, 3186, 2960, 3183, 3184,
  3185, 3186, 3187, 3037, 3183, 3184, 3185, 3186,
  3187, 3188, 3103, 260, 260, 260, 260, 260,
  260, 260, 104, 176, 2567, 2688, 188, 2568,
  5526, 2689, 2798, 2799, 200, 2569, 5527, 2690,
  5536, 5581, 2800, 2897, 2898, 2899, 212, 2570,
  5528, 2691, 5537, 5582, 2801, 5545, 5590, 5626,
  2900, 2985, 2986, 2987, 2988, 224, 2571, 5529,
  2692, 5538, 5583, 2802, 5546, 5591, 5627, 2901,
  5553, 5598, 5634, 5662, 2989, 3062, 3063, 3064,
  3065, 3066, 236, 2572, 5530, 2693, 5539, 5584,
  2803, 5547, 5592, 5628, 2902, 5554, 5599, 5635,
  5663, 2990, 5560, 5605, 5641, 5669, 5690, 3067,
  3128, 3129, 3130, 3131, 3132, 3133, 248, 2573,
  5531, 2694, 5540, 5585, 2804, 5548, 5593, 5629,
  2903, 5555, 5600, 5636, 5664, 2991, 5561, 5606,
  5642, 5670, 5691, 3068, 5566, 5611, 5647, 5675,
  5696, 5711, 3134, 3183, 3184, 3185, 3186, 3187,
  3188, 3189, 260, 2553, 3227, 2674, 3227, 3228,
  2784, 3227, 3228, 3229, 2883, 3227, 3228, 3229,
  3230, 2971, 3227, 3228, 3229, 3230, 3231, 3048,
  3227, 3228, 3229, 3230, 3231, 3232, 3114, 3227,
  3228, 3229, 3230, 3231, 3232, 3233, 3169, 272,
  272, 272, 272, 272, 272, 272, 272, 116,
  176, 2567, 2688, 188, 2568, 5526, 2689, 2798,
  2799, 200, 2569, 5527, 2690, 5536, 5581, 2800,
  2897, 2898, 2899, 212, 2570, 5528, 2691, 5537,
  5582, 2801, 5545, 5590, 5626, 2900, 2985, 2986,
  2987, 2988, 224, 2571, 5529, 2692, 5538, 5583,
  2802, 5546, 5591, 5627, 2901, 5553, 5598, 5634,
  5662, 2989, 3062, 3063, 3064, 3065, 3066, 236,
  2572, 5530, 2693, 5539, 5584, 2803, 5547, 5592,
  5628, 2902, 5554, 5599, 5635, 5663, 2990, 5560,
  5605, 5641, 5669, 5690, 3067, 3128, 3129, 3130,
  3131, 3132, 3133, 248, 2573, 5531, 2694, 5540,
  5585, 2804, 5548, 5593, 5629, 2903, 5555, 5600,
  5636, 5664, 2991, 5561, 5606, 5642, 5670, 5691,
  3068, 5566, 5611, 5647, 5675, 5696, 5711, 3134,
  3183, 3184, 3185, 3186, 3187, 3188, 3189, 260,
  2574, 5532, 2695, 5541, 5586, 2805, 5549, 5594,
  5630, 2904, 5556, 5601, 5637, 5665, 2992, 5562,
  5607, 5643, 5671, 5692, 3069, 5567, 5612, 5648,
  5676, 5697, 5712, 3135, 5571, 5616, 5652, 5680,
  5701, 5716, 1606, 3190, 3227, 3228, 3229, 3230,
  3231, 3232, 3233, 3234, 272, 2564, 3260, 2685,
  3260, 3261, 2795, 3260, 3261, 3262, 2894, 3260,
  3261, 3262, 3263, 2982, 3260, 3261, 3262, 3263,
  3264, 3059, 3260, 3261, 3262, 3263, 3264, 3265,
  3125, 3260, 3261, 3262, 3263, 3264, 3265, 3266,
  3180, 3260, 3261, 3262, 3263, 3264, 3265, 3266,
  3267, 3224, 284, 284, 284, 284, 284, 284,
  284, 284, 284, 128, 176, 287, 288, 188,
  287, 2270, 288, 289, 289, 200, 287, 2270,
  288, 2271, 2281, 289, 290, 290, 290, 212,
  287, 2270, 288, 2271, 2281, 289, 2272, 2282,
  2291, 290, 291, 291, 291, 291, 224, 287,
  2270, 288, 2271, 2281, 289, 2272, 2282, 2291,
  290, 2273, 2283, 2292, 2300, 291, 292, 292,
  292, 292, 292, 236, 287, 2270, 288, 2271,
  2281, 289, 2272, 2282, 2291, 290, 2273, 2283,
  2292, 2300, 291, 2274, 2284, 2293, 2301, 2308,
  292, 293, 293, 293, 293, 293, 293, 248,
  287, 2270, 288, 2271, 2281, 289, 2272, 2282,
  2291, 290, 2273, 2283, 2292, 2300, 291, 2274,
  2284, 2293, 2301, 2308, 292, 2275, 2285, 2294,
  2302, 2309, 2315, 293, 294, 294, 294, 294,
  294, 294, 294, 260, 287, 2270, 288, 2271,
  2281, 289, 2272, 2282, 2291, 290, 2273, 2283,
  2292, 2300, 291, 2274, 2284, 2293, 2301, 2308,
  292, 2275, 2285, 2294, 2302, 2309, 2315, 293,
  2276, 2286, 2295, 2303, 2310, 2316, 2321, 294,
  295, 295, 295, 295, 295, 295, 295, 295,
  272, 287, 2270, 288, 2271, 2281, 289, 2272,
  2282, 2291, 290, 2273, 2283, 2292, 2300, 291,
  2274, 2284, 2293, 2301, 2308, 292, 2275, 2285,
  2294, 2302, 2309, 2315, 293, 2276, 2286, 2295,
  2303, 2310, 2316, 2321, 294, 2277, 2287, 2296,
  2304, 2311, 2317, 2322, 2326, 295, 296, 296,
  296, 296, 296, 296, 296, 296, 296, 284,
  131, 131, 132, 131, 132, 133, 131, 132,
  133, 134, 131, 132, 133, 134, 135, 131,
  132, 133, 134, 135, 136, 131, 132, 133,
  134, 135, 136, 137, 131, 132, 133, 134,
  135, 136, 137, 138, 131, 132, 133, 134,
  135, 136, 137, 138, 139, 131, 132, 133,
  134, 135, 136, 137, 138, 139, 140, 11,
  167, 179, 23, 12, 1610, 2468, 1676, 24,
  168, 2479, 2600, 180, 191, 1742, 192, 35,
  36, 13, 1611, 2469, 1677, 25, 1621, 3326,
  3546, 1687, 2480, 3766, 2601, 1743, 1753, 37,
  169, 2490, 2611, 181, 2491, 3986, 2612, 2721,
  2722, 193, 203, 1808, 204, 1809, 1819, 205,
  47, 48, 49, 14, 1612, 2470, 1678, 26,
  1622, 3327, 3547, 1688, 2481, 3767, 2602, 1744,
  1754, 38, 1631, 3336, 3556, 1697, 3381, 1600,
  3601, 3776, 3821, 1763, 2492, 3987, 2613, 3996,
  4041, 2723, 1810, 1820, 1829, 50, 170, 2501,
  2622, 182, 2502, 4206, 2623, 2732, 2733, 194,
  2503, 4207, 2624, 4216, 4261, 2734, 2831, 2832,
  2833, 206, 215, 1874, 216, 1875, 1885, 217,
  1876, 1886, 1895, 218, 59, 60, 61, 62,
  15, 1613, 2471, 1679, 27, 1623, 3328, 3548,
  1689, 2482, 3768, 2603, 1745, 1755, 39, 1632,
  3337, 3557, 1698, 3382, 6186, 3602, 3777, 3822,
  1764, 2493, 3988, 2614, 3997, 4042, 2724, 1811,
  1821, 1830, 51, 1640, 3345, 3565, 1706, 3390,
  6194, 3610, 3785, 3830, 1772, 3426, 6230, 3646,
  6350, 1601, 3866, 4005, 4050, 4086, 1838, 2504,
  4208, 2625, 4217, 4262, 2735, 4225, 4270, 4306,
  2834, 1877, 1887, 1896, 1904, 63, 171, 2512,
  2633, 183, 2513, 4426, 2634, 2743, 2744, 195,
  2514, 4427, 2635, 4436, 4481, 2745, 2842, 2843,
  2844, 207, 2515, 4428, 2636, 4437, 4482, 2746,
  4445, 4490, 4526, 2845, 2930, 2931, 2932, 2933,
  219, 227, 1940, 228, 1941, 1951, 229, 1942,
  1952, 1961, 230, 1943, 1953, 1962, 1970, 231,
  71, 72, 73, 74, 75, 16, 1614, 2472,
  1680, 28, 1624, 3329, 3549, 1690, 2483, 3769,
  2604, 1746, 1756, 40, 1633, 3338, 3558, 1699,
  3383, 6187, 3603, 3778, 3823, 1765, 2494, 3989,
  2615, 3998, 4043, 2725, 1812, 1822, 1831, 52,
  1641, 3346, 3566, 1707, 3391, 6195, 3611, 3786,
  3831, 1773, 3427, 6231, 3647, 6351, 6679, 3867,
  4006, 4051, 4087, 1839, 2505, 4209, 2626, 4218,
  4263, 2736, 4226, 4271, 4307, 2835, 1878, 1888,
  1897, 1905, 64, 1648, 3353, 3573, 1714, 3398,
  6202, 3618, 3793, 3838, 1780, 3434, 6238, 3654,
  6358, 6686, 3874, 4013, 4058, 4094, 1846, 3462,
  6266, 3682, 6386, 6714, 3902, 6470, 6798, 1602,
  4122, 4233, 4278, 4314, 4342, 1912, 2516, 4429,
  2637, 4438, 4483, 2747, 4446, 4491, 4527, 2846,
  4453, 4498, 4534, 4562, 2934, 1944, 1954, 1963,
  1971, 1978, 76, 172, 2523, 2644, 184, 2524,
  4646, 2645, 2754, 2755, 196, 2525, 4647, 2646,
  4656, 4701, 2756, 2853, 2854, 2855, 208, 2526,
  4648, 2647, 4657, 4702, 2757, 4665, 4710, 4746,
  2856, 2941, 2942, 2943, 2944, 220, 2527, 4649,
  2648, 4658, 4703, 2758, 4666, 4711, 4747, 2857,
  4673, 4718, 4754, 4782, 2945, 3018, 3019, 3020,
  3021, 3022, 232, 239, 2006, 240, 2007, 2017,
  241, 2008, 2018, 2027, 242, 2009, 2019, 2028,
  2036, 243, 2010, 2020, 2029, 2037, 2044, 244,
  83, 84, 85, 86, 87, 88, 17, 1615,
  2473,