зеркало из https://github.com/golang/snappy.git
2029 строки
44 KiB
Go
2029 строки
44 KiB
Go
// Copyright 2016 The Snappy-Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
package snappy
|
|
|
|
// extendMatchGoldenTestCases is the i and j arguments, and the returned value,
|
|
// for every extendMatch call issued when encoding the
|
|
// testdata/Isaac.Newton-Opticks.txt file. It is used to benchmark the
|
|
// extendMatch implementation.
|
|
//
|
|
// It was generated manually by adding some print statements to the (pure Go)
|
|
// encodeBlock implementation (in encode_other.go) to replace the inlined
|
|
// version of extendMatch.
|
|
//
|
|
// s += 4
|
|
// s0 := s
|
|
// for i := candidate + 4; s < len(src) && src[i] == src[s]; i, s = i+1, s+1 {
|
|
// }
|
|
// println("{", candidate + 4, ",", s0, ",", s, "},")
|
|
//
|
|
// and running "go test -test.run=EncodeGoldenInput -tags=noasm".
|
|
var extendMatchGoldenTestCases = []struct {
|
|
i, j, want int
|
|
}{
|
|
{571, 627, 627},
|
|
{220, 644, 645},
|
|
{99, 649, 649},
|
|
{536, 653, 656},
|
|
{643, 671, 673},
|
|
{676, 732, 733},
|
|
{732, 751, 752},
|
|
{67, 768, 772},
|
|
{93, 780, 780},
|
|
{199, 788, 788},
|
|
{487, 792, 796},
|
|
{699, 826, 826},
|
|
{698, 838, 838},
|
|
{697, 899, 901},
|
|
{847, 911, 912},
|
|
{37, 923, 923},
|
|
{833, 928, 928},
|
|
{69, 941, 943},
|
|
{323, 948, 948},
|
|
{671, 955, 957},
|
|
{920, 973, 974},
|
|
{935, 979, 983},
|
|
{750, 997, 999},
|
|
{841, 1014, 1014},
|
|
{928, 1053, 1053},
|
|
{854, 1057, 1060},
|
|
{755, 1072, 1072},
|
|
{838, 1094, 1097},
|
|
{1022, 1106, 1106},
|
|
{1085, 1114, 1114},
|
|
{955, 1128, 1130},
|
|
{814, 1134, 1135},
|
|
{1063, 1145, 1147},
|
|
{918, 1161, 1162},
|
|
{815, 1195, 1196},
|
|
{1128, 1207, 1209},
|
|
{1170, 1225, 1225},
|
|
{897, 1236, 1242},
|
|
{193, 1255, 1262},
|
|
{644, 1266, 1267},
|
|
{784, 1274, 1282},
|
|
{227, 1287, 1289},
|
|
{1161, 1294, 1295},
|
|
{923, 1299, 1299},
|
|
{1195, 1303, 1303},
|
|
{718, 1334, 1339},
|
|
{805, 1350, 1350},
|
|
{874, 1357, 1357},
|
|
{1318, 1362, 1362},
|
|
{994, 1372, 1373},
|
|
{90, 1387, 1387},
|
|
{1053, 1399, 1400},
|
|
{1094, 1417, 1417},
|
|
{1250, 1445, 1445},
|
|
{1285, 1449, 1453},
|
|
{806, 1457, 1461},
|
|
{895, 1472, 1472},
|
|
{1236, 1481, 1488},
|
|
{1266, 1495, 1496},
|
|
{921, 1508, 1509},
|
|
{940, 1522, 1522},
|
|
{1541, 1558, 1559},
|
|
{788, 1582, 1582},
|
|
{1298, 1590, 1590},
|
|
{1361, 1594, 1595},
|
|
{910, 1599, 1601},
|
|
{720, 1605, 1605},
|
|
{1399, 1615, 1616},
|
|
{736, 1629, 1629},
|
|
{1078, 1634, 1638},
|
|
{677, 1645, 1645},
|
|
{757, 1650, 1655},
|
|
{1294, 1659, 1663},
|
|
{1119, 1677, 1684},
|
|
{995, 1688, 1688},
|
|
{1357, 1695, 1696},
|
|
{1169, 1700, 1721},
|
|
{808, 1725, 1727},
|
|
{1390, 1732, 1732},
|
|
{1513, 1736, 1736},
|
|
{1315, 1740, 1740},
|
|
{685, 1748, 1750},
|
|
{899, 1754, 1760},
|
|
{1598, 1764, 1767},
|
|
{1386, 1782, 1783},
|
|
{1465, 1787, 1787},
|
|
{1014, 1791, 1791},
|
|
{1724, 1800, 1805},
|
|
{1166, 1811, 1811},
|
|
{1659, 1823, 1824},
|
|
{1218, 1829, 1843},
|
|
{695, 1847, 1850},
|
|
{1175, 1855, 1857},
|
|
{860, 1876, 1878},
|
|
{1799, 1892, 1892},
|
|
{1319, 1896, 1896},
|
|
{1691, 1900, 1900},
|
|
{1378, 1904, 1904},
|
|
{1495, 1912, 1912},
|
|
{1588, 1917, 1921},
|
|
{679, 1925, 1928},
|
|
{1398, 1935, 1936},
|
|
{1551, 1941, 1942},
|
|
{1612, 1946, 1950},
|
|
{1814, 1959, 1959},
|
|
{1853, 1965, 1966},
|
|
{1307, 1983, 1986},
|
|
{1695, 1990, 1991},
|
|
{905, 1995, 1995},
|
|
{1057, 1999, 2002},
|
|
{1431, 2006, 2007},
|
|
{848, 2018, 2018},
|
|
{1064, 2022, 2023},
|
|
{1151, 2027, 2027},
|
|
{1071, 2050, 2050},
|
|
{1478, 2057, 2057},
|
|
{1911, 2065, 2066},
|
|
{1306, 2070, 2074},
|
|
{2035, 2085, 2085},
|
|
{1188, 2100, 2100},
|
|
{11, 2117, 2118},
|
|
{1725, 2122, 2126},
|
|
{991, 2130, 2130},
|
|
{1786, 2139, 2141},
|
|
{737, 2153, 2154},
|
|
{1481, 2161, 2164},
|
|
{1990, 2173, 2173},
|
|
{2057, 2185, 2185},
|
|
{1881, 2200, 2200},
|
|
{2171, 2205, 2207},
|
|
{1412, 2215, 2216},
|
|
{2210, 2220, 2220},
|
|
{799, 2230, 2230},
|
|
{2103, 2234, 2234},
|
|
{2195, 2238, 2240},
|
|
{1935, 2244, 2245},
|
|
{2220, 2249, 2249},
|
|
{726, 2256, 2256},
|
|
{2188, 2262, 2266},
|
|
{2215, 2270, 2272},
|
|
{2122, 2276, 2278},
|
|
{1110, 2282, 2283},
|
|
{1369, 2287, 2287},
|
|
{724, 2294, 2294},
|
|
{1626, 2300, 2300},
|
|
{2138, 2306, 2309},
|
|
{709, 2313, 2316},
|
|
{1558, 2327, 2327},
|
|
{2109, 2333, 2333},
|
|
{2173, 2354, 2354},
|
|
{2152, 2362, 2367},
|
|
{2065, 2371, 2373},
|
|
{1692, 2377, 2380},
|
|
{819, 2384, 2386},
|
|
{2270, 2393, 2395},
|
|
{1787, 2399, 2400},
|
|
{1989, 2405, 2405},
|
|
{1225, 2414, 2414},
|
|
{2330, 2418, 2418},
|
|
{986, 2424, 2425},
|
|
{1899, 2429, 2431},
|
|
{1070, 2436, 2440},
|
|
{1038, 2450, 2450},
|
|
{1365, 2457, 2457},
|
|
{1983, 2461, 2462},
|
|
{1025, 2469, 2469},
|
|
{2354, 2476, 2476},
|
|
{2457, 2482, 2482},
|
|
{5, 2493, 2494},
|
|
{2234, 2498, 2498},
|
|
{2352, 2514, 2516},
|
|
{2353, 2539, 2540},
|
|
{1594, 2544, 2546},
|
|
{2113, 2550, 2551},
|
|
{2303, 2556, 2557},
|
|
{2429, 2561, 2563},
|
|
{2512, 2568, 2568},
|
|
{1739, 2572, 2572},
|
|
{1396, 2583, 2587},
|
|
{1854, 2593, 2593},
|
|
{2345, 2601, 2602},
|
|
{2536, 2606, 2612},
|
|
{2176, 2617, 2633},
|
|
{2421, 2637, 2637},
|
|
{1645, 2641, 2641},
|
|
{800, 2645, 2647},
|
|
{804, 2654, 2661},
|
|
{687, 2665, 2665},
|
|
{1668, 2669, 2669},
|
|
{1065, 2673, 2673},
|
|
{2027, 2677, 2677},
|
|
{2312, 2685, 2691},
|
|
{2371, 2695, 2697},
|
|
{2453, 2701, 2702},
|
|
{2479, 2711, 2711},
|
|
{2399, 2715, 2715},
|
|
{1018, 2720, 2723},
|
|
{1457, 2727, 2727},
|
|
{2376, 2732, 2732},
|
|
{1387, 2744, 2744},
|
|
{2641, 2748, 2748},
|
|
{2476, 2755, 2755},
|
|
{2460, 2761, 2765},
|
|
{2006, 2769, 2769},
|
|
{2773, 2774, 2809},
|
|
{2769, 2818, 2818},
|
|
{134, 2835, 2835},
|
|
{472, 2847, 2850},
|
|
{206, 2856, 2856},
|
|
{1072, 2860, 2863},
|
|
{801, 2867, 2868},
|
|
{787, 2875, 2883},
|
|
{2560, 2897, 2901},
|
|
{2744, 2909, 2913},
|
|
{2211, 2919, 2919},
|
|
{2150, 2927, 2927},
|
|
{2598, 2931, 2931},
|
|
{2761, 2936, 2938},
|
|
{1312, 2942, 2943},
|
|
{997, 2948, 2950},
|
|
{2637, 2957, 2961},
|
|
{2872, 2971, 2975},
|
|
{1687, 2983, 2984},
|
|
{2755, 2994, 2994},
|
|
{1644, 3000, 3001},
|
|
{1634, 3005, 3008},
|
|
{2555, 3012, 3014},
|
|
{2947, 3018, 3032},
|
|
{1649, 3036, 3051},
|
|
{691, 3055, 3055},
|
|
{2714, 3059, 3061},
|
|
{2498, 3069, 3069},
|
|
{3012, 3074, 3076},
|
|
{2543, 3087, 3089},
|
|
{2983, 3097, 3098},
|
|
{1011, 3111, 3111},
|
|
{1552, 3115, 3115},
|
|
{1427, 3124, 3124},
|
|
{1331, 3133, 3134},
|
|
{1012, 3138, 3140},
|
|
{2194, 3148, 3148},
|
|
{2561, 3152, 3155},
|
|
{3054, 3159, 3161},
|
|
{3065, 3169, 3173},
|
|
{2346, 3177, 3177},
|
|
{2606, 3181, 3185},
|
|
{2994, 3204, 3206},
|
|
{1329, 3210, 3211},
|
|
{1797, 3215, 3215},
|
|
{12, 3221, 3221},
|
|
{1013, 3227, 3228},
|
|
{3168, 3233, 3238},
|
|
{3194, 3247, 3247},
|
|
{3097, 3256, 3257},
|
|
{1219, 3265, 3271},
|
|
{1753, 3275, 3277},
|
|
{1550, 3282, 3292},
|
|
{1182, 3296, 3303},
|
|
{2818, 3307, 3307},
|
|
{2774, 3311, 3346},
|
|
{2812, 3350, 3356},
|
|
{2829, 3367, 3367},
|
|
{2835, 3373, 3387},
|
|
{2860, 3393, 3395},
|
|
{2971, 3405, 3409},
|
|
{1433, 3413, 3414},
|
|
{3405, 3424, 3428},
|
|
{2957, 3432, 3432},
|
|
{2889, 3455, 3460},
|
|
{1213, 3472, 3474},
|
|
{947, 3478, 3479},
|
|
{2747, 3490, 3491},
|
|
{3036, 3495, 3497},
|
|
{2873, 3501, 3504},
|
|
{2979, 3508, 3509},
|
|
{684, 3514, 3516},
|
|
{275, 3524, 3525},
|
|
{3221, 3529, 3529},
|
|
{2748, 3533, 3533},
|
|
{2708, 3546, 3546},
|
|
{1104, 3550, 3550},
|
|
{766, 3554, 3556},
|
|
{1672, 3560, 3561},
|
|
{1155, 3565, 3568},
|
|
{3417, 3572, 3572},
|
|
{2393, 3581, 3583},
|
|
{3533, 3587, 3587},
|
|
{762, 3591, 3591},
|
|
{820, 3604, 3605},
|
|
{3436, 3609, 3615},
|
|
{2497, 3624, 3625},
|
|
{3454, 3630, 3633},
|
|
{2276, 3642, 3644},
|
|
{823, 3649, 3649},
|
|
{648, 3660, 3662},
|
|
{2049, 3666, 3669},
|
|
{3111, 3680, 3680},
|
|
{2048, 3698, 3702},
|
|
{2313, 3706, 3708},
|
|
{2060, 3717, 3717},
|
|
{2695, 3722, 3724},
|
|
{1114, 3733, 3733},
|
|
{1385, 3738, 3738},
|
|
{3477, 3744, 3748},
|
|
{3512, 3753, 3753},
|
|
{2859, 3764, 3764},
|
|
{3210, 3773, 3774},
|
|
{1334, 3778, 3780},
|
|
{3103, 3785, 3785},
|
|
{3018, 3789, 3792},
|
|
{3432, 3802, 3802},
|
|
{3587, 3806, 3806},
|
|
{2148, 3819, 3819},
|
|
{1581, 3827, 3829},
|
|
{3485, 3833, 3838},
|
|
{2727, 3845, 3845},
|
|
{1303, 3849, 3849},
|
|
{2287, 3853, 3855},
|
|
{2133, 3859, 3862},
|
|
{3806, 3866, 3866},
|
|
{3827, 3878, 3880},
|
|
{3845, 3884, 3884},
|
|
{810, 3888, 3888},
|
|
{3866, 3892, 3892},
|
|
{3537, 3896, 3898},
|
|
{2905, 3903, 3907},
|
|
{3666, 3911, 3913},
|
|
{3455, 3920, 3924},
|
|
{3310, 3930, 3934},
|
|
{3311, 3939, 3942},
|
|
{3938, 3946, 3967},
|
|
{2340, 3977, 3977},
|
|
{3542, 3983, 3983},
|
|
{1629, 3992, 3992},
|
|
{3733, 3998, 3999},
|
|
{3816, 4003, 4007},
|
|
{2017, 4018, 4019},
|
|
{883, 4027, 4029},
|
|
{1178, 4033, 4033},
|
|
{3977, 4039, 4039},
|
|
{3069, 4044, 4045},
|
|
{3802, 4049, 4053},
|
|
{3875, 4061, 4066},
|
|
{1628, 4070, 4071},
|
|
{1113, 4075, 4076},
|
|
{1975, 4081, 4081},
|
|
{2414, 4087, 4087},
|
|
{4012, 4096, 4096},
|
|
{4017, 4102, 4104},
|
|
{2169, 4112, 4112},
|
|
{3998, 4123, 4124},
|
|
{2909, 4130, 4130},
|
|
{4032, 4136, 4136},
|
|
{4016, 4140, 4145},
|
|
{3565, 4154, 4157},
|
|
{3892, 4161, 4161},
|
|
{3878, 4168, 4169},
|
|
{3928, 4173, 4215},
|
|
{144, 4238, 4239},
|
|
{4243, 4244, 4244},
|
|
{3307, 4255, 4255},
|
|
{1971, 4261, 4268},
|
|
{3393, 4272, 4274},
|
|
{3591, 4278, 4278},
|
|
{1962, 4282, 4282},
|
|
{1688, 4286, 4286},
|
|
{3911, 4298, 4300},
|
|
{780, 4304, 4305},
|
|
{2842, 4309, 4309},
|
|
{4048, 4314, 4315},
|
|
{3770, 4321, 4321},
|
|
{2244, 4331, 4331},
|
|
{3148, 4336, 4336},
|
|
{1548, 4340, 4340},
|
|
{3209, 4345, 4351},
|
|
{768, 4355, 4355},
|
|
{1903, 4362, 4362},
|
|
{2212, 4366, 4366},
|
|
{1494, 4378, 4380},
|
|
{1183, 4385, 4391},
|
|
{3778, 4403, 4405},
|
|
{3642, 4409, 4411},
|
|
{2593, 4419, 4419},
|
|
{4160, 4430, 4431},
|
|
{3204, 4441, 4441},
|
|
{2875, 4450, 4451},
|
|
{1265, 4455, 4457},
|
|
{3927, 4466, 4466},
|
|
{416, 4479, 4480},
|
|
{4474, 4489, 4490},
|
|
{4135, 4502, 4504},
|
|
{4314, 4511, 4518},
|
|
{1870, 4529, 4529},
|
|
{3188, 4534, 4535},
|
|
{777, 4541, 4542},
|
|
{2370, 4549, 4552},
|
|
{1795, 4556, 4558},
|
|
{1529, 4577, 4577},
|
|
{4298, 4581, 4584},
|
|
{4336, 4596, 4596},
|
|
{1423, 4602, 4602},
|
|
{1004, 4608, 4608},
|
|
{4580, 4615, 4615},
|
|
{4003, 4619, 4623},
|
|
{4593, 4627, 4628},
|
|
{2680, 4644, 4644},
|
|
{2259, 4650, 4650},
|
|
{2544, 4654, 4655},
|
|
{4320, 4660, 4661},
|
|
{4511, 4672, 4673},
|
|
{4545, 4677, 4680},
|
|
{4570, 4689, 4696},
|
|
{2505, 4700, 4700},
|
|
{4605, 4706, 4712},
|
|
{3243, 4717, 4722},
|
|
{4581, 4726, 4734},
|
|
{3852, 4747, 4748},
|
|
{4653, 4756, 4758},
|
|
{4409, 4762, 4764},
|
|
{3165, 4774, 4774},
|
|
{2100, 4780, 4780},
|
|
{3722, 4784, 4786},
|
|
{4756, 4798, 4811},
|
|
{4422, 4815, 4815},
|
|
{3124, 4819, 4819},
|
|
{714, 4825, 4827},
|
|
{4699, 4832, 4832},
|
|
{4725, 4836, 4839},
|
|
{4588, 4844, 4845},
|
|
{1469, 4849, 4849},
|
|
{4743, 4853, 4863},
|
|
{4836, 4869, 4869},
|
|
{2682, 4873, 4873},
|
|
{4774, 4877, 4877},
|
|
{4738, 4881, 4882},
|
|
{4784, 4886, 4892},
|
|
{2759, 4896, 4896},
|
|
{4795, 4900, 4900},
|
|
{4378, 4905, 4905},
|
|
{1050, 4909, 4912},
|
|
{4634, 4917, 4918},
|
|
{4654, 4922, 4923},
|
|
{1542, 4930, 4930},
|
|
{4658, 4934, 4937},
|
|
{4762, 4941, 4943},
|
|
{4751, 4949, 4950},
|
|
{4286, 4961, 4961},
|
|
{1377, 4965, 4965},
|
|
{4587, 4971, 4973},
|
|
{2575, 4977, 4978},
|
|
{4922, 4982, 4983},
|
|
{4941, 4987, 4992},
|
|
{4790, 4996, 5000},
|
|
{4070, 5004, 5005},
|
|
{4538, 5009, 5012},
|
|
{4659, 5016, 5018},
|
|
{4926, 5024, 5034},
|
|
{3884, 5038, 5042},
|
|
{3853, 5046, 5048},
|
|
{4752, 5053, 5053},
|
|
{4954, 5057, 5057},
|
|
{4877, 5063, 5063},
|
|
{4977, 5067, 5067},
|
|
{2418, 5071, 5071},
|
|
{4968, 5075, 5075},
|
|
{681, 5079, 5080},
|
|
{5074, 5086, 5087},
|
|
{5016, 5091, 5092},
|
|
{2196, 5096, 5097},
|
|
{1782, 5107, 5108},
|
|
{5061, 5112, 5113},
|
|
{5096, 5117, 5118},
|
|
{1563, 5127, 5128},
|
|
{4872, 5134, 5135},
|
|
{1324, 5139, 5139},
|
|
{5111, 5144, 5148},
|
|
{4987, 5152, 5154},
|
|
{5075, 5158, 5175},
|
|
{4685, 5181, 5181},
|
|
{4961, 5185, 5185},
|
|
{1564, 5192, 5192},
|
|
{2982, 5198, 5199},
|
|
{917, 5203, 5203},
|
|
{4419, 5208, 5208},
|
|
{4507, 5213, 5213},
|
|
{5083, 5217, 5217},
|
|
{5091, 5221, 5222},
|
|
{3373, 5226, 5226},
|
|
{4475, 5231, 5231},
|
|
{4496, 5238, 5239},
|
|
{1255, 5243, 5244},
|
|
{3680, 5254, 5256},
|
|
{5157, 5260, 5261},
|
|
{4508, 5265, 5274},
|
|
{4946, 5279, 5279},
|
|
{1860, 5285, 5285},
|
|
{889, 5289, 5289},
|
|
{785, 5293, 5297},
|
|
{2290, 5303, 5303},
|
|
{2931, 5310, 5310},
|
|
{5021, 5316, 5316},
|
|
{2571, 5323, 5323},
|
|
{5071, 5327, 5327},
|
|
{5084, 5331, 5333},
|
|
{4614, 5342, 5343},
|
|
{4899, 5347, 5347},
|
|
{4441, 5351, 5351},
|
|
{5327, 5355, 5358},
|
|
{5063, 5362, 5362},
|
|
{3974, 5367, 5367},
|
|
{5316, 5382, 5382},
|
|
{2528, 5389, 5389},
|
|
{1391, 5393, 5393},
|
|
{2582, 5397, 5401},
|
|
{3074, 5405, 5407},
|
|
{4010, 5412, 5412},
|
|
{5382, 5420, 5420},
|
|
{5243, 5429, 5442},
|
|
{5265, 5447, 5447},
|
|
{5278, 5451, 5475},
|
|
{5319, 5479, 5483},
|
|
{1158, 5488, 5488},
|
|
{5423, 5494, 5496},
|
|
{5355, 5500, 5503},
|
|
{5283, 5507, 5509},
|
|
{5340, 5513, 5515},
|
|
{3841, 5530, 5530},
|
|
{1069, 5535, 5537},
|
|
{4970, 5541, 5544},
|
|
{5386, 5548, 5550},
|
|
{2916, 5556, 5563},
|
|
{4023, 5570, 5570},
|
|
{1215, 5576, 5576},
|
|
{4665, 5580, 5581},
|
|
{4402, 5585, 5586},
|
|
{5446, 5592, 5593},
|
|
{5330, 5597, 5597},
|
|
{5221, 5601, 5602},
|
|
{5300, 5606, 5608},
|
|
{4626, 5612, 5614},
|
|
{3660, 5618, 5618},
|
|
{2405, 5623, 5623},
|
|
{3486, 5628, 5633},
|
|
{3143, 5645, 5645},
|
|
{5606, 5650, 5650},
|
|
{5158, 5654, 5654},
|
|
{5378, 5658, 5658},
|
|
{4057, 5663, 5663},
|
|
{5107, 5670, 5670},
|
|
{4886, 5674, 5676},
|
|
{5654, 5680, 5680},
|
|
{5307, 5684, 5687},
|
|
{2449, 5691, 5691},
|
|
{5331, 5695, 5696},
|
|
{3215, 5700, 5700},
|
|
{5447, 5704, 5704},
|
|
{5650, 5708, 5708},
|
|
{4965, 5712, 5715},
|
|
{102, 5722, 5723},
|
|
{2753, 5733, 5735},
|
|
{5695, 5739, 5744},
|
|
{2182, 5748, 5748},
|
|
{4903, 5753, 5753},
|
|
{5507, 5757, 5759},
|
|
{5347, 5763, 5778},
|
|
{5548, 5782, 5784},
|
|
{5392, 5788, 5798},
|
|
{2304, 5803, 5803},
|
|
{4643, 5810, 5810},
|
|
{5703, 5815, 5817},
|
|
{4355, 5821, 5821},
|
|
{5429, 5825, 5826},
|
|
{3624, 5830, 5831},
|
|
{5711, 5836, 5836},
|
|
{5580, 5840, 5844},
|
|
{1909, 5848, 5848},
|
|
{4933, 5853, 5857},
|
|
{5100, 5863, 5870},
|
|
{4904, 5875, 5876},
|
|
{4529, 5883, 5883},
|
|
{3220, 5892, 5893},
|
|
{1533, 5897, 5897},
|
|
{4780, 5904, 5904},
|
|
{3101, 5908, 5909},
|
|
{5627, 5914, 5920},
|
|
{4166, 5926, 5929},
|
|
{5596, 5933, 5934},
|
|
{5680, 5938, 5938},
|
|
{4849, 5942, 5942},
|
|
{5739, 5948, 5949},
|
|
{5533, 5961, 5961},
|
|
{849, 5972, 5972},
|
|
{3752, 5989, 5990},
|
|
{2158, 5996, 5996},
|
|
{4982, 6000, 6001},
|
|
{5601, 6005, 6007},
|
|
{5101, 6014, 6021},
|
|
{4726, 6025, 6025},
|
|
{5720, 6036, 6039},
|
|
{4534, 6045, 6046},
|
|
{5763, 6050, 6050},
|
|
{5914, 6057, 6063},
|
|
{1492, 6067, 6067},
|
|
{2160, 6075, 6078},
|
|
{4619, 6083, 6083},
|
|
{893, 6092, 6093},
|
|
{5948, 6097, 6097},
|
|
{2556, 6105, 6106},
|
|
{1615, 6110, 6110},
|
|
{1156, 6114, 6120},
|
|
{5699, 6128, 6128},
|
|
{2710, 6132, 6133},
|
|
{4446, 6138, 6138},
|
|
{5815, 6143, 6148},
|
|
{1254, 6152, 6161},
|
|
{2357, 6167, 6168},
|
|
{2144, 6172, 6176},
|
|
{2159, 6184, 6184},
|
|
{5810, 6188, 6190},
|
|
{4011, 6195, 6195},
|
|
{6070, 6199, 6199},
|
|
{6005, 6203, 6206},
|
|
{4683, 6211, 6213},
|
|
{4466, 6221, 6222},
|
|
{5230, 6226, 6231},
|
|
{5238, 6235, 6239},
|
|
{5250, 6246, 6253},
|
|
{5704, 6257, 6257},
|
|
{5451, 6261, 6286},
|
|
{181, 6293, 6293},
|
|
{5314, 6297, 6305},
|
|
{5788, 6314, 6316},
|
|
{5938, 6320, 6320},
|
|
{4844, 6324, 6325},
|
|
{5782, 6329, 6332},
|
|
{5628, 6336, 6337},
|
|
{4873, 6341, 6342},
|
|
{6110, 6346, 6346},
|
|
{6328, 6350, 6354},
|
|
{1036, 6358, 6359},
|
|
{6128, 6364, 6364},
|
|
{4740, 6373, 6373},
|
|
{2282, 6377, 6377},
|
|
{5405, 6386, 6388},
|
|
{6257, 6392, 6392},
|
|
{4123, 6396, 6397},
|
|
{5487, 6401, 6410},
|
|
{6290, 6414, 6415},
|
|
{3844, 6423, 6424},
|
|
{3888, 6428, 6428},
|
|
{1086, 6432, 6432},
|
|
{5320, 6436, 6439},
|
|
{6310, 6443, 6444},
|
|
{6401, 6448, 6448},
|
|
{5124, 6452, 6452},
|
|
{5424, 6456, 6457},
|
|
{5851, 6472, 6478},
|
|
{6050, 6482, 6482},
|
|
{5499, 6486, 6490},
|
|
{4900, 6498, 6500},
|
|
{5674, 6510, 6512},
|
|
{871, 6518, 6520},
|
|
{5748, 6528, 6528},
|
|
{6447, 6533, 6534},
|
|
{5820, 6538, 6539},
|
|
{6448, 6543, 6543},
|
|
{6199, 6547, 6547},
|
|
{6320, 6551, 6551},
|
|
{1882, 6555, 6555},
|
|
{6368, 6561, 6566},
|
|
{6097, 6570, 6570},
|
|
{6495, 6576, 6579},
|
|
{5821, 6583, 6583},
|
|
{6507, 6587, 6587},
|
|
{4454, 6596, 6596},
|
|
{2324, 6601, 6601},
|
|
{6547, 6608, 6608},
|
|
{5712, 6612, 6612},
|
|
{5575, 6618, 6619},
|
|
{6414, 6623, 6624},
|
|
{6296, 6629, 6629},
|
|
{4134, 6633, 6634},
|
|
{6561, 6640, 6644},
|
|
{4555, 6649, 6652},
|
|
{4671, 6659, 6660},
|
|
{5592, 6664, 6666},
|
|
{5152, 6670, 6672},
|
|
{6599, 6676, 6676},
|
|
{5521, 6680, 6691},
|
|
{6432, 6695, 6695},
|
|
{6623, 6699, 6705},
|
|
{2601, 6712, 6712},
|
|
{5117, 6723, 6724},
|
|
{6524, 6730, 6733},
|
|
{5351, 6737, 6737},
|
|
{6573, 6741, 6741},
|
|
{6392, 6745, 6746},
|
|
{6592, 6750, 6751},
|
|
{4650, 6760, 6761},
|
|
{5302, 6765, 6765},
|
|
{6615, 6770, 6783},
|
|
{3732, 6787, 6789},
|
|
{6709, 6793, 6793},
|
|
{5306, 6797, 6797},
|
|
{6243, 6801, 6802},
|
|
{5226, 6808, 6816},
|
|
{4497, 6821, 6821},
|
|
{1436, 6825, 6825},
|
|
{1790, 6833, 6834},
|
|
{5525, 6838, 6843},
|
|
{5279, 6847, 6849},
|
|
{6828, 6855, 6857},
|
|
{5038, 6861, 6865},
|
|
{6741, 6869, 6869},
|
|
{4627, 6873, 6873},
|
|
{4037, 6878, 6880},
|
|
{10, 6885, 6887},
|
|
{6730, 6894, 6894},
|
|
{5528, 6898, 6898},
|
|
{6744, 6903, 6903},
|
|
{5839, 6907, 6907},
|
|
{2350, 6911, 6911},
|
|
{2269, 6915, 6918},
|
|
{6869, 6922, 6922},
|
|
{6035, 6929, 6930},
|
|
{1604, 6938, 6939},
|
|
{6922, 6943, 6943},
|
|
{6699, 6947, 6950},
|
|
{6737, 6954, 6954},
|
|
{1775, 6958, 6959},
|
|
{5309, 6963, 6964},
|
|
{6954, 6968, 6968},
|
|
{6369, 6972, 6976},
|
|
{3789, 6980, 6983},
|
|
{2327, 6990, 6990},
|
|
{6837, 6995, 7001},
|
|
{4485, 7006, 7013},
|
|
{6820, 7017, 7031},
|
|
{6291, 7036, 7036},
|
|
{5691, 7041, 7042},
|
|
{7034, 7047, 7047},
|
|
{5310, 7051, 7051},
|
|
{1502, 7056, 7056},
|
|
{4797, 7061, 7061},
|
|
{6855, 7066, 7068},
|
|
{6669, 7072, 7075},
|
|
{6943, 7079, 7079},
|
|
{6528, 7083, 7083},
|
|
{4036, 7087, 7090},
|
|
{6884, 7094, 7100},
|
|
{6946, 7104, 7108},
|
|
{6297, 7112, 7114},
|
|
{5684, 7118, 7121},
|
|
{6903, 7127, 7135},
|
|
{3580, 7141, 7147},
|
|
{6926, 7152, 7182},
|
|
{7117, 7186, 7190},
|
|
{6968, 7194, 7217},
|
|
{6838, 7222, 7227},
|
|
{7005, 7231, 7240},
|
|
{6235, 7244, 7245},
|
|
{6825, 7249, 7249},
|
|
{4594, 7254, 7254},
|
|
{6569, 7258, 7258},
|
|
{7222, 7262, 7267},
|
|
{7047, 7272, 7272},
|
|
{6801, 7276, 7276},
|
|
{7056, 7280, 7280},
|
|
{6583, 7284, 7284},
|
|
{5825, 7288, 7294},
|
|
{6787, 7298, 7300},
|
|
{7079, 7304, 7304},
|
|
{7253, 7308, 7313},
|
|
{6891, 7317, 7317},
|
|
{6829, 7321, 7322},
|
|
{7257, 7326, 7363},
|
|
{7231, 7367, 7377},
|
|
{2854, 7381, 7381},
|
|
{7249, 7385, 7385},
|
|
{6203, 7389, 7391},
|
|
{6363, 7395, 7397},
|
|
{6745, 7401, 7402},
|
|
{6695, 7406, 7406},
|
|
{5208, 7410, 7411},
|
|
{6679, 7415, 7416},
|
|
{7288, 7420, 7421},
|
|
{5248, 7425, 7425},
|
|
{6422, 7429, 7429},
|
|
{5206, 7434, 7436},
|
|
{2255, 7441, 7442},
|
|
{2145, 7452, 7452},
|
|
{7283, 7458, 7459},
|
|
{4830, 7469, 7472},
|
|
{6000, 7476, 7477},
|
|
{7395, 7481, 7492},
|
|
{2715, 7496, 7496},
|
|
{6542, 7500, 7502},
|
|
{7420, 7506, 7513},
|
|
{4981, 7517, 7517},
|
|
{2243, 7522, 7524},
|
|
{916, 7528, 7529},
|
|
{5207, 7533, 7534},
|
|
{1271, 7538, 7539},
|
|
{2654, 7544, 7544},
|
|
{7451, 7553, 7561},
|
|
{7464, 7569, 7571},
|
|
{3992, 7577, 7577},
|
|
{3114, 7581, 7581},
|
|
{7389, 7589, 7591},
|
|
{7433, 7595, 7598},
|
|
{7448, 7602, 7608},
|
|
{1772, 7612, 7612},
|
|
{4152, 7616, 7616},
|
|
{3247, 7621, 7624},
|
|
{963, 7629, 7630},
|
|
{4895, 7640, 7640},
|
|
{6164, 7646, 7646},
|
|
{4339, 7663, 7664},
|
|
{3244, 7668, 7672},
|
|
{7304, 7676, 7676},
|
|
{7401, 7680, 7681},
|
|
{6670, 7685, 7688},
|
|
{6195, 7692, 7693},
|
|
{7505, 7699, 7705},
|
|
{5252, 7709, 7710},
|
|
{6193, 7715, 7718},
|
|
{1916, 7724, 7724},
|
|
{4868, 7729, 7731},
|
|
{1176, 7736, 7736},
|
|
{5700, 7740, 7740},
|
|
{5757, 7744, 7746},
|
|
{6345, 7750, 7752},
|
|
{3132, 7756, 7759},
|
|
{4312, 7763, 7763},
|
|
{7685, 7767, 7769},
|
|
{6907, 7774, 7774},
|
|
{5584, 7779, 7780},
|
|
{6025, 7784, 7784},
|
|
{4435, 7791, 7798},
|
|
{6807, 7809, 7817},
|
|
{6234, 7823, 7825},
|
|
{7385, 7829, 7829},
|
|
{1286, 7833, 7836},
|
|
{7258, 7840, 7840},
|
|
{7602, 7844, 7850},
|
|
{7388, 7854, 7856},
|
|
{7528, 7860, 7866},
|
|
{640, 7874, 7875},
|
|
{7844, 7879, 7886},
|
|
{4700, 7890, 7890},
|
|
{7440, 7894, 7896},
|
|
{4831, 7900, 7902},
|
|
{4556, 7906, 7908},
|
|
{7547, 7914, 7924},
|
|
{7589, 7928, 7929},
|
|
{7914, 7935, 7945},
|
|
{7284, 7949, 7949},
|
|
{7538, 7953, 7957},
|
|
{4635, 7964, 7964},
|
|
{1994, 7968, 7970},
|
|
{7406, 7974, 7976},
|
|
{2409, 7983, 7983},
|
|
{7542, 7989, 7989},
|
|
{7112, 7993, 7993},
|
|
{5259, 7997, 7999},
|
|
{1287, 8004, 8006},
|
|
{7911, 8010, 8011},
|
|
{7449, 8015, 8021},
|
|
{7928, 8025, 8027},
|
|
{1476, 8042, 8044},
|
|
{7784, 8048, 8050},
|
|
{4434, 8054, 8062},
|
|
{7802, 8066, 8074},
|
|
{7367, 8087, 8088},
|
|
{4494, 8094, 8097},
|
|
{7829, 8101, 8101},
|
|
{7321, 8105, 8111},
|
|
{7035, 8115, 8121},
|
|
{7949, 8125, 8125},
|
|
{7506, 8129, 8130},
|
|
{5830, 8134, 8135},
|
|
{8047, 8144, 8144},
|
|
{5362, 8148, 8148},
|
|
{8125, 8152, 8152},
|
|
{7676, 8156, 8156},
|
|
{6324, 8160, 8161},
|
|
{6606, 8173, 8173},
|
|
{7064, 8177, 8182},
|
|
{6993, 8186, 8199},
|
|
{8092, 8203, 8204},
|
|
{7244, 8208, 8213},
|
|
{8105, 8217, 8218},
|
|
{8185, 8222, 8222},
|
|
{8115, 8226, 8232},
|
|
{4164, 8238, 8239},
|
|
{6608, 8244, 8244},
|
|
{8176, 8248, 8277},
|
|
{8208, 8281, 8282},
|
|
{7997, 8287, 8289},
|
|
{7118, 8293, 8303},
|
|
{7103, 8308, 8308},
|
|
{6436, 8312, 8315},
|
|
{3523, 8321, 8321},
|
|
{6442, 8327, 8329},
|
|
{3391, 8333, 8334},
|
|
{6986, 8339, 8344},
|
|
{7221, 8348, 8354},
|
|
{5989, 8358, 8360},
|
|
{4418, 8364, 8365},
|
|
{8307, 8369, 8370},
|
|
{7051, 8375, 8375},
|
|
{4027, 8379, 8380},
|
|
{8333, 8384, 8387},
|
|
{6873, 8391, 8392},
|
|
{4154, 8396, 8399},
|
|
{6878, 8403, 8428},
|
|
{8087, 8432, 8438},
|
|
{7017, 8442, 8443},
|
|
{8129, 8447, 8453},
|
|
{6486, 8457, 8461},
|
|
{8248, 8465, 8465},
|
|
{6349, 8473, 8478},
|
|
{5393, 8482, 8483},
|
|
{8465, 8487, 8487},
|
|
{30, 8495, 8495},
|
|
{4642, 8499, 8500},
|
|
{6768, 8505, 8505},
|
|
{7061, 8513, 8514},
|
|
{7151, 8518, 8528},
|
|
{6648, 8532, 8532},
|
|
{2093, 8539, 8539},
|
|
{3392, 8544, 8544},
|
|
{6980, 8548, 8551},
|
|
{8217, 8555, 8563},
|
|
{8375, 8567, 8567},
|
|
{7041, 8571, 8571},
|
|
{5008, 8576, 8576},
|
|
{4796, 8580, 8582},
|
|
{4271, 8586, 8586},
|
|
{7320, 8591, 8593},
|
|
{8222, 8597, 8597},
|
|
{7262, 8601, 8606},
|
|
{8432, 8610, 8615},
|
|
{8442, 8619, 8620},
|
|
{8101, 8624, 8624},
|
|
{7308, 8628, 8628},
|
|
{8597, 8632, 8641},
|
|
{8498, 8645, 8645},
|
|
{927, 8650, 8651},
|
|
{5979, 8661, 8661},
|
|
{5381, 8665, 8666},
|
|
{2184, 8675, 8675},
|
|
{5342, 8680, 8681},
|
|
{1527, 8686, 8687},
|
|
{4168, 8694, 8694},
|
|
{8332, 8698, 8702},
|
|
{8628, 8706, 8710},
|
|
{8447, 8714, 8720},
|
|
{8610, 8724, 8724},
|
|
{5530, 8730, 8730},
|
|
{6472, 8734, 8734},
|
|
{7476, 8738, 8739},
|
|
{7756, 8743, 8743},
|
|
{8570, 8749, 8753},
|
|
{2706, 8757, 8759},
|
|
{5875, 8763, 8764},
|
|
{8147, 8769, 8770},
|
|
{6526, 8775, 8776},
|
|
{8694, 8780, 8780},
|
|
{3431, 8784, 8785},
|
|
{7787, 8789, 8789},
|
|
{5526, 8794, 8796},
|
|
{6902, 8800, 8801},
|
|
{8756, 8811, 8818},
|
|
{7735, 8822, 8823},
|
|
{5523, 8827, 8828},
|
|
{5668, 8833, 8833},
|
|
{2237, 8839, 8839},
|
|
{8152, 8843, 8846},
|
|
{6633, 8852, 8853},
|
|
{6152, 8858, 8865},
|
|
{8762, 8869, 8870},
|
|
{6216, 8876, 8878},
|
|
{8632, 8882, 8892},
|
|
{2436, 8896, 8897},
|
|
{5541, 8901, 8904},
|
|
{8293, 8908, 8911},
|
|
{7194, 8915, 8915},
|
|
{5658, 8919, 8919},
|
|
{5045, 8923, 8927},
|
|
{7549, 8932, 8932},
|
|
{1623, 8936, 8941},
|
|
{6471, 8946, 8947},
|
|
{8487, 8951, 8951},
|
|
{8714, 8955, 8961},
|
|
{8574, 8965, 8965},
|
|
{2701, 8969, 8970},
|
|
{5500, 8974, 8977},
|
|
{8481, 8984, 8986},
|
|
{5416, 8991, 8991},
|
|
{8950, 8996, 8996},
|
|
{8706, 9001, 9005},
|
|
{8601, 9009, 9014},
|
|
{8882, 9018, 9018},
|
|
{8951, 9022, 9022},
|
|
{1521, 9026, 9026},
|
|
{8025, 9030, 9031},
|
|
{8645, 9035, 9035},
|
|
{8384, 9039, 9042},
|
|
{9001, 9046, 9050},
|
|
{3189, 9054, 9054},
|
|
{8955, 9058, 9065},
|
|
{1043, 9078, 9079},
|
|
{8974, 9083, 9095},
|
|
{6496, 9099, 9100},
|
|
{8995, 9104, 9105},
|
|
{9045, 9109, 9110},
|
|
{6395, 9114, 9116},
|
|
{9038, 9125, 9125},
|
|
{9029, 9135, 9138},
|
|
{1051, 9144, 9147},
|
|
{7833, 9151, 9155},
|
|
{9022, 9159, 9159},
|
|
{9046, 9163, 9163},
|
|
{2732, 9168, 9170},
|
|
{7750, 9174, 9180},
|
|
{8747, 9184, 9186},
|
|
{7663, 9192, 9193},
|
|
{9159, 9197, 9197},
|
|
{8730, 9207, 9209},
|
|
{4429, 9223, 9223},
|
|
{8536, 9227, 9227},
|
|
{1231, 9237, 9237},
|
|
{8965, 9244, 9244},
|
|
{5840, 9248, 9254},
|
|
{4058, 9263, 9270},
|
|
{3214, 9288, 9289},
|
|
{6346, 9293, 9293},
|
|
{6114, 9297, 9298},
|
|
{9104, 9302, 9302},
|
|
{4818, 9331, 9332},
|
|
{8513, 9336, 9337},
|
|
{6971, 9341, 9346},
|
|
{8779, 9357, 9357},
|
|
{8989, 9363, 9367},
|
|
{8843, 9371, 9373},
|
|
{9035, 9381, 9382},
|
|
{3648, 9386, 9386},
|
|
{6988, 9390, 9403},
|
|
{8869, 9407, 9407},
|
|
{7767, 9411, 9413},
|
|
{6341, 9417, 9417},
|
|
{2293, 9424, 9424},
|
|
{9360, 9428, 9428},
|
|
{8048, 9432, 9435},
|
|
{8981, 9439, 9439},
|
|
{6336, 9443, 9444},
|
|
{9431, 9449, 9453},
|
|
{8391, 9457, 9458},
|
|
{9380, 9463, 9464},
|
|
{6947, 9468, 9471},
|
|
{7993, 9475, 9475},
|
|
{7185, 9479, 9484},
|
|
{5848, 9488, 9488},
|
|
{9371, 9492, 9492},
|
|
{7628, 9498, 9500},
|
|
{8757, 9504, 9504},
|
|
{9410, 9508, 9508},
|
|
{9293, 9512, 9512},
|
|
{5138, 9516, 9516},
|
|
{9420, 9521, 9521},
|
|
{4416, 9525, 9528},
|
|
{4825, 9534, 9536},
|
|
{9057, 9540, 9540},
|
|
{7276, 9544, 9546},
|
|
{5491, 9550, 9550},
|
|
{9058, 9554, 9560},
|
|
{8321, 9569, 9569},
|
|
{6357, 9573, 9575},
|
|
{9385, 9579, 9579},
|
|
{6972, 9583, 9587},
|
|
{7996, 9591, 9594},
|
|
{8990, 9598, 9599},
|
|
{9442, 9603, 9605},
|
|
{9579, 9609, 9609},
|
|
{9389, 9613, 9628},
|
|
{8789, 9632, 9632},
|
|
{7152, 9636, 9646},
|
|
{9491, 9652, 9653},
|
|
{2493, 9658, 9659},
|
|
{2456, 9663, 9664},
|
|
{8509, 9672, 9675},
|
|
{6510, 9682, 9684},
|
|
{2533, 9688, 9688},
|
|
{6632, 9696, 9698},
|
|
{4460, 9709, 9711},
|
|
{9302, 9715, 9718},
|
|
{9609, 9722, 9722},
|
|
{4824, 9728, 9731},
|
|
{9553, 9735, 9735},
|
|
{9544, 9739, 9742},
|
|
{9492, 9746, 9746},
|
|
{9554, 9750, 9756},
|
|
{9525, 9761, 9764},
|
|
{7789, 9769, 9769},
|
|
{2136, 9773, 9777},
|
|
{3848, 9782, 9783},
|
|
{9432, 9787, 9790},
|
|
{8165, 9794, 9795},
|
|
{9590, 9799, 9803},
|
|
{8555, 9807, 9812},
|
|
{9009, 9816, 9822},
|
|
{9656, 9829, 9833},
|
|
{4101, 9841, 9841},
|
|
{6382, 9846, 9846},
|
|
{9721, 9850, 9850},
|
|
{9296, 9854, 9856},
|
|
{9573, 9860, 9866},
|
|
{9636, 9870, 9883},
|
|
{9722, 9887, 9887},
|
|
{9163, 9891, 9891},
|
|
{9799, 9895, 9895},
|
|
{9816, 9899, 9906},
|
|
{767, 9912, 9913},
|
|
{8287, 9918, 9923},
|
|
{6293, 9927, 9930},
|
|
{9726, 9934, 9934},
|
|
{6876, 9939, 9940},
|
|
{5847, 9945, 9946},
|
|
{9829, 9951, 9955},
|
|
{9125, 9962, 9962},
|
|
{8542, 9967, 9972},
|
|
{9767, 9978, 9978},
|
|
{4165, 9982, 9982},
|
|
{8243, 9986, 9987},
|
|
{9682, 9993, 9995},
|
|
{4916, 10006, 10010},
|
|
{9456, 10016, 10018},
|
|
{9761, 10024, 10029},
|
|
{9886, 10033, 10034},
|
|
{9468, 10038, 10044},
|
|
{3000, 10052, 10053},
|
|
{9807, 10057, 10062},
|
|
{8226, 10066, 10072},
|
|
{9650, 10077, 10080},
|
|
{9054, 10084, 10084},
|
|
{9891, 10088, 10089},
|
|
{6518, 10095, 10097},
|
|
{8238, 10101, 10117},
|
|
{7890, 10121, 10123},
|
|
{9894, 10128, 10138},
|
|
{3508, 10142, 10143},
|
|
{6377, 10147, 10147},
|
|
{3768, 10152, 10154},
|
|
{6764, 10158, 10160},
|
|
{8852, 10164, 10166},
|
|
{2867, 10172, 10174},
|
|
{4461, 10178, 10179},
|
|
{5889, 10184, 10185},
|
|
{9917, 10189, 10191},
|
|
{6797, 10195, 10195},
|
|
{8567, 10199, 10199},
|
|
{7125, 10203, 10206},
|
|
{9938, 10210, 10234},
|
|
{9967, 10240, 10246},
|
|
{8923, 10251, 10254},
|
|
{10157, 10258, 10258},
|
|
{8032, 10264, 10264},
|
|
{9887, 10268, 10276},
|
|
{9750, 10280, 10286},
|
|
{10258, 10290, 10290},
|
|
{10268, 10294, 10302},
|
|
{9899, 10306, 10311},
|
|
{9715, 10315, 10318},
|
|
{8539, 10322, 10322},
|
|
{10189, 10327, 10329},
|
|
{9135, 10333, 10335},
|
|
{8369, 10340, 10341},
|
|
{9119, 10347, 10347},
|
|
{10290, 10352, 10352},
|
|
{7900, 10357, 10359},
|
|
{3275, 10363, 10365},
|
|
{10294, 10369, 10369},
|
|
{5417, 10376, 10376},
|
|
{10120, 10381, 10381},
|
|
{9786, 10385, 10395},
|
|
{9826, 10399, 10399},
|
|
{8171, 10403, 10407},
|
|
{8402, 10421, 10425},
|
|
{9428, 10429, 10429},
|
|
{1863, 10434, 10435},
|
|
{3092, 10446, 10446},
|
|
{10000, 10450, 10450},
|
|
{9986, 10463, 10464},
|
|
{9632, 10468, 10484},
|
|
{10315, 10489, 10489},
|
|
{10332, 10493, 10493},
|
|
{8914, 10506, 10507},
|
|
{10369, 10511, 10512},
|
|
{1865, 10516, 10517},
|
|
{9204, 10521, 10526},
|
|
{9993, 10533, 10534},
|
|
{2568, 10539, 10539},
|
|
{10429, 10543, 10543},
|
|
{10489, 10549, 10549},
|
|
{10014, 10553, 10558},
|
|
{10024, 10563, 10573},
|
|
{9457, 10577, 10578},
|
|
{9591, 10582, 10585},
|
|
{8908, 10589, 10592},
|
|
{10203, 10596, 10598},
|
|
{10006, 10602, 10604},
|
|
{10209, 10613, 10613},
|
|
{4996, 10617, 10617},
|
|
{9846, 10621, 10622},
|
|
{6927, 10627, 10635},
|
|
{8664, 10639, 10639},
|
|
{8586, 10643, 10644},
|
|
{10576, 10648, 10650},
|
|
{10487, 10654, 10656},
|
|
{10553, 10660, 10664},
|
|
{10563, 10670, 10679},
|
|
{9000, 10683, 10688},
|
|
{10280, 10692, 10699},
|
|
{10582, 10703, 10706},
|
|
{9934, 10710, 10710},
|
|
{10547, 10714, 10716},
|
|
{7065, 10720, 10724},
|
|
{10691, 10730, 10738},
|
|
{872, 10742, 10744},
|
|
{10357, 10751, 10752},
|
|
{1323, 10756, 10756},
|
|
{10087, 10761, 10763},
|
|
{9381, 10769, 10769},
|
|
{9982, 10773, 10778},
|
|
{10533, 10784, 10785},
|
|
{9687, 10789, 10789},
|
|
{8324, 10799, 10799},
|
|
{8742, 10805, 10813},
|
|
{9039, 10817, 10824},
|
|
{5947, 10828, 10828},
|
|
{10306, 10832, 10837},
|
|
{10261, 10841, 10843},
|
|
{10350, 10847, 10850},
|
|
{7415, 10860, 10861},
|
|
{19, 10866, 10866},
|
|
{10188, 10872, 10875},
|
|
{10613, 10881, 10881},
|
|
{7869, 10886, 10886},
|
|
{3801, 10891, 10892},
|
|
{9099, 10896, 10897},
|
|
{8738, 10903, 10904},
|
|
{10322, 10908, 10908},
|
|
{6494, 10912, 10916},
|
|
{9772, 10921, 10921},
|
|
{8170, 10927, 10930},
|
|
{7456, 10940, 10943},
|
|
{10457, 10948, 10952},
|
|
{1405, 10959, 10959},
|
|
{6936, 10963, 10963},
|
|
{4549, 10970, 10975},
|
|
{4880, 10982, 10982},
|
|
{8763, 10986, 10987},
|
|
{4565, 10993, 10994},
|
|
{1310, 11000, 11000},
|
|
{4596, 11010, 11010},
|
|
{6427, 11015, 11016},
|
|
{7729, 11023, 11024},
|
|
{10978, 11029, 11030},
|
|
{10947, 11034, 11039},
|
|
{10577, 11043, 11043},
|
|
{10542, 11052, 11053},
|
|
{9443, 11057, 11058},
|
|
{10468, 11062, 11062},
|
|
{11028, 11066, 11068},
|
|
{10057, 11072, 11073},
|
|
{8881, 11077, 11078},
|
|
{8148, 11082, 11082},
|
|
{10816, 11089, 11093},
|
|
{11066, 11097, 11109},
|
|
{10511, 11113, 11113},
|
|
{9174, 11117, 11119},
|
|
{10345, 11125, 11125},
|
|
{4532, 11129, 11129},
|
|
{9918, 11133, 11134},
|
|
{8858, 11138, 11146},
|
|
{10703, 11150, 11153},
|
|
{9030, 11157, 11160},
|
|
{6481, 11165, 11166},
|
|
{10543, 11170, 11170},
|
|
{8580, 11177, 11178},
|
|
{10886, 11184, 11187},
|
|
{10210, 11191, 11197},
|
|
{2015, 11202, 11202},
|
|
{9312, 11211, 11218},
|
|
{9324, 11223, 11231},
|
|
{10884, 11235, 11235},
|
|
{8166, 11239, 11239},
|
|
{10502, 11243, 11250},
|
|
{11182, 11254, 11259},
|
|
{5366, 11263, 11264},
|
|
{3676, 11268, 11268},
|
|
{5649, 11273, 11274},
|
|
{11065, 11281, 11284},
|
|
{11034, 11288, 11293},
|
|
{7083, 11297, 11297},
|
|
{9550, 11302, 11302},
|
|
{9336, 11310, 11311},
|
|
{7071, 11316, 11316},
|
|
{11314, 11320, 11320},
|
|
{11113, 11324, 11324},
|
|
{11157, 11328, 11330},
|
|
{6482, 11334, 11334},
|
|
{7139, 11338, 11338},
|
|
{10152, 11345, 11345},
|
|
{3554, 11352, 11356},
|
|
{11190, 11364, 11364},
|
|
{11324, 11368, 11368},
|
|
{10710, 11372, 11372},
|
|
{8793, 11376, 11381},
|
|
{6358, 11385, 11386},
|
|
{11368, 11390, 11390},
|
|
{9704, 11394, 11396},
|
|
{7778, 11400, 11400},
|
|
{11149, 11404, 11408},
|
|
{10889, 11414, 11414},
|
|
{9781, 11421, 11422},
|
|
{10267, 11426, 11427},
|
|
{11328, 11431, 11433},
|
|
{5751, 11439, 11440},
|
|
{10817, 11444, 11447},
|
|
{10896, 11451, 11452},
|
|
{10751, 11456, 11457},
|
|
{10163, 11461, 11461},
|
|
{10504, 11466, 11473},
|
|
{8743, 11477, 11484},
|
|
{11150, 11488, 11491},
|
|
{10088, 11495, 11495},
|
|
{10828, 11499, 11509},
|
|
{11444, 11513, 11516},
|
|
{11495, 11520, 11520},
|
|
{11487, 11524, 11524},
|
|
{10692, 11528, 11535},
|
|
{9121, 11540, 11546},
|
|
{11389, 11558, 11564},
|
|
{10195, 11568, 11578},
|
|
{5004, 11582, 11583},
|
|
{5908, 11588, 11588},
|
|
{11170, 11592, 11592},
|
|
{11253, 11597, 11597},
|
|
{11372, 11601, 11601},
|
|
{3115, 11605, 11605},
|
|
{11390, 11609, 11609},
|
|
{10832, 11613, 11616},
|
|
{8800, 11620, 11621},
|
|
{11384, 11625, 11631},
|
|
{10171, 11635, 11637},
|
|
{11400, 11642, 11650},
|
|
{11451, 11654, 11655},
|
|
{11419, 11661, 11664},
|
|
{11608, 11668, 11669},
|
|
{11431, 11673, 11680},
|
|
{11550, 11688, 11690},
|
|
{11609, 11694, 11694},
|
|
{10588, 11702, 11708},
|
|
{6664, 11712, 11712},
|
|
{11461, 11719, 11753},
|
|
{11524, 11757, 11757},
|
|
{11613, 11761, 11764},
|
|
{10257, 11769, 11770},
|
|
{11694, 11774, 11774},
|
|
{11520, 11778, 11781},
|
|
{11138, 11785, 11793},
|
|
{11539, 11797, 11797},
|
|
{11512, 11802, 11802},
|
|
{10602, 11808, 11812},
|
|
{11773, 11816, 11824},
|
|
{11760, 11828, 11835},
|
|
{9083, 11839, 11850},
|
|
{11654, 11855, 11857},
|
|
{6612, 11861, 11862},
|
|
{11816, 11866, 11875},
|
|
{11528, 11879, 11897},
|
|
{10549, 11901, 11901},
|
|
{9108, 11905, 11907},
|
|
{11757, 11911, 11920},
|
|
{837, 11924, 11928},
|
|
{11855, 11932, 11934},
|
|
{8482, 11938, 11939},
|
|
{9439, 11943, 11943},
|
|
{1068, 11950, 11953},
|
|
{10789, 11958, 11958},
|
|
{4611, 11963, 11964},
|
|
{11861, 11968, 11992},
|
|
{11797, 11997, 12004},
|
|
{11719, 12009, 12009},
|
|
{11774, 12013, 12013},
|
|
{756, 12017, 12019},
|
|
{10178, 12023, 12024},
|
|
{9258, 12028, 12047},
|
|
{9534, 12060, 12063},
|
|
{12013, 12067, 12067},
|
|
{8160, 12071, 12072},
|
|
{10865, 12076, 12083},
|
|
{9311, 12091, 12099},
|
|
{11223, 12104, 12115},
|
|
{11932, 12119, 12120},
|
|
{2925, 12130, 12130},
|
|
{6906, 12135, 12136},
|
|
{8895, 12143, 12143},
|
|
{4684, 12147, 12148},
|
|
{11642, 12152, 12152},
|
|
{5573, 12160, 12164},
|
|
{10459, 12168, 12168},
|
|
{2108, 12172, 12172},
|
|
{187, 12179, 12180},
|
|
{2358, 12184, 12184},
|
|
{11796, 12188, 12188},
|
|
{1963, 12192, 12192},
|
|
{2538, 12199, 12200},
|
|
{6497, 12206, 12206},
|
|
{6723, 12210, 12211},
|
|
{7657, 12216, 12216},
|
|
{12204, 12224, 12231},
|
|
{1080, 12239, 12240},
|
|
{12224, 12244, 12246},
|
|
{11911, 12250, 12250},
|
|
{9912, 12266, 12268},
|
|
{7616, 12272, 12272},
|
|
{1956, 12279, 12279},
|
|
{1522, 12283, 12285},
|
|
{9504, 12289, 12290},
|
|
{11672, 12297, 12300},
|
|
{10621, 12304, 12304},
|
|
{11592, 12308, 12308},
|
|
{11385, 12312, 12313},
|
|
{3281, 12317, 12317},
|
|
{3487, 12321, 12321},
|
|
{9417, 12325, 12325},
|
|
{9613, 12335, 12337},
|
|
{10670, 12342, 12348},
|
|
{10589, 12352, 12357},
|
|
{10616, 12362, 12363},
|
|
{9326, 12369, 12375},
|
|
{5211, 12379, 12382},
|
|
{12304, 12386, 12395},
|
|
{1048, 12399, 12399},
|
|
{12335, 12403, 12405},
|
|
{12250, 12410, 12410},
|
|
{10084, 12414, 12414},
|
|
{11394, 12418, 12421},
|
|
{12126, 12425, 12429},
|
|
{9582, 12433, 12438},
|
|
{10784, 12445, 12447},
|
|
{9568, 12454, 12455},
|
|
{12308, 12459, 12459},
|
|
{9635, 12464, 12475},
|
|
{11513, 12479, 12482},
|
|
{12119, 12486, 12487},
|
|
{12066, 12494, 12495},
|
|
{12403, 12499, 12502},
|
|
{11687, 12506, 12513},
|
|
{12418, 12517, 12519},
|
|
{12352, 12523, 12528},
|
|
{11600, 12532, 12532},
|
|
{12450, 12539, 12539},
|
|
{12067, 12543, 12543},
|
|
{11477, 12547, 12565},
|
|
{11540, 12569, 12575},
|
|
{11202, 12580, 12581},
|
|
{10903, 12585, 12586},
|
|
{11601, 12590, 12590},
|
|
{12459, 12599, 12599},
|
|
{11839, 12603, 12605},
|
|
{11426, 12609, 12610},
|
|
{12486, 12614, 12616},
|
|
{9406, 12621, 12621},
|
|
{6897, 12625, 12628},
|
|
{12312, 12632, 12633},
|
|
{12445, 12638, 12640},
|
|
{1743, 12645, 12645},
|
|
{11551, 12649, 12650},
|
|
{12543, 12654, 12654},
|
|
{11635, 12658, 12660},
|
|
{12522, 12664, 12675},
|
|
{12539, 12683, 12712},
|
|
{11801, 12716, 12721},
|
|
{5803, 12725, 12725},
|
|
{716, 12730, 12732},
|
|
{8900, 12736, 12740},
|
|
{12076, 12744, 12746},
|
|
{5046, 12751, 12751},
|
|
{12735, 12755, 12755},
|
|
{11879, 12759, 12766},
|
|
{1609, 12770, 12770},
|
|
{10921, 12774, 12774},
|
|
{11420, 12778, 12778},
|
|
{12754, 12783, 12784},
|
|
{12177, 12788, 12788},
|
|
{12191, 12792, 12792},
|
|
{12139, 12798, 12802},
|
|
{11082, 12806, 12806},
|
|
{12152, 12810, 12810},
|
|
{10381, 12814, 12814},
|
|
{11239, 12820, 12821},
|
|
{2198, 12825, 12826},
|
|
{6123, 12832, 12832},
|
|
{10642, 12836, 12839},
|
|
{11117, 12843, 12844},
|
|
{12210, 12848, 12849},
|
|
{9688, 12853, 12853},
|
|
{12832, 12857, 12860},
|
|
{12147, 12864, 12870},
|
|
{12028, 12874, 12893},
|
|
{12052, 12898, 12898},
|
|
{8202, 12902, 12903},
|
|
{7243, 12907, 12909},
|
|
{8014, 12913, 12920},
|
|
{7680, 12924, 12931},
|
|
{11056, 12939, 12941},
|
|
{3817, 12946, 12949},
|
|
{9390, 12954, 12954},
|
|
{12249, 12958, 12960},
|
|
{12237, 12966, 12969},
|
|
{12638, 12973, 12975},
|
|
{12386, 12979, 12979},
|
|
{10626, 12984, 12997},
|
|
{6793, 13005, 13005},
|
|
{10625, 13009, 13025},
|
|
{12963, 13029, 13029},
|
|
{10038, 13033, 13036},
|
|
{12599, 13040, 13041},
|
|
{11568, 13046, 13050},
|
|
{13040, 13054, 13054},
|
|
{11238, 13058, 13060},
|
|
{5125, 13064, 13064},
|
|
{12425, 13068, 13080},
|
|
{9760, 13084, 13088},
|
|
{12729, 13092, 13093},
|
|
{9672, 13097, 13099},
|
|
{3675, 13104, 13104},
|
|
{6055, 13108, 13112},
|
|
{2681, 13119, 13120},
|
|
{12843, 13124, 13125},
|
|
{12952, 13129, 13132},
|
|
{13063, 13137, 13137},
|
|
{5861, 13141, 13141},
|
|
{10948, 13145, 13149},
|
|
{3080, 13153, 13153},
|
|
{12743, 13158, 13158},
|
|
{13123, 13163, 13166},
|
|
{11043, 13170, 13171},
|
|
{13136, 13175, 13176},
|
|
{12796, 13180, 13181},
|
|
{13107, 13185, 13185},
|
|
{13156, 13192, 13202},
|
|
{12954, 13207, 13208},
|
|
{8648, 13213, 13231},
|
|
{10403, 13235, 13235},
|
|
{12603, 13239, 13239},
|
|
{13029, 13243, 13243},
|
|
{6420, 13251, 13251},
|
|
{5801, 13261, 13265},
|
|
{8901, 13269, 13272},
|
|
{5139, 13276, 13278},
|
|
{8036, 13282, 13283},
|
|
{8041, 13288, 13288},
|
|
{10871, 13293, 13297},
|
|
{12923, 13301, 13303},
|
|
{10340, 13307, 13308},
|
|
{9926, 13312, 13316},
|
|
{9478, 13320, 13328},
|
|
{4571, 13334, 13339},
|
|
{8325, 13343, 13343},
|
|
{10933, 13349, 13349},
|
|
{9515, 13354, 13354},
|
|
{10979, 13358, 13358},
|
|
{7500, 13364, 13366},
|
|
{12820, 13371, 13375},
|
|
{13068, 13380, 13392},
|
|
{8724, 13397, 13397},
|
|
{8624, 13401, 13401},
|
|
{13206, 13405, 13406},
|
|
{12939, 13410, 13412},
|
|
{11015, 13417, 13418},
|
|
{12924, 13422, 13423},
|
|
{13103, 13427, 13431},
|
|
{13353, 13435, 13435},
|
|
{13415, 13440, 13443},
|
|
{10147, 13447, 13448},
|
|
{13180, 13452, 13457},
|
|
{12751, 13461, 13461},
|
|
{2291, 13465, 13465},
|
|
{12168, 13469, 13471},
|
|
{7744, 13475, 13477},
|
|
{6386, 13488, 13490},
|
|
{12755, 13494, 13494},
|
|
{13482, 13498, 13499},
|
|
{12410, 13503, 13503},
|
|
{13494, 13507, 13507},
|
|
{11376, 13511, 13516},
|
|
{13422, 13520, 13521},
|
|
{10742, 13525, 13527},
|
|
{1528, 13531, 13531},
|
|
{7517, 13537, 13537},
|
|
{4930, 13541, 13542},
|
|
{13507, 13546, 13546},
|
|
{13033, 13550, 13553},
|
|
{9475, 13557, 13568},
|
|
{12805, 13572, 13572},
|
|
{6188, 13576, 13578},
|
|
{12770, 13582, 13587},
|
|
{12648, 13593, 13594},
|
|
{13054, 13598, 13598},
|
|
{8856, 13603, 13613},
|
|
{1046, 13618, 13619},
|
|
{13348, 13623, 13624},
|
|
{13520, 13628, 13628},
|
|
{10142, 13632, 13633},
|
|
{13434, 13643, 13643},
|
|
{5488, 13648, 13648},
|
|
{649, 13652, 13652},
|
|
{11272, 13657, 13657},
|
|
{12873, 13663, 13663},
|
|
{4631, 13670, 13670},
|
|
{12578, 13674, 13677},
|
|
{12091, 13684, 13692},
|
|
{13581, 13699, 13699},
|
|
{13549, 13704, 13708},
|
|
{13598, 13712, 13712},
|
|
{13320, 13716, 13722},
|
|
{13712, 13726, 13726},
|
|
{13370, 13730, 13731},
|
|
{11352, 13735, 13737},
|
|
{13601, 13742, 13742},
|
|
{13497, 13746, 13769},
|
|
{12973, 13773, 13775},
|
|
{11235, 13784, 13784},
|
|
{10627, 13788, 13796},
|
|
{13152, 13800, 13800},
|
|
{12585, 13804, 13804},
|
|
{13730, 13809, 13810},
|
|
{13488, 13814, 13816},
|
|
{11815, 13821, 13821},
|
|
{11254, 13825, 13825},
|
|
{13788, 13829, 13838},
|
|
{13141, 13842, 13842},
|
|
{9658, 13846, 13848},
|
|
{11088, 13852, 13853},
|
|
{10239, 13860, 13866},
|
|
{13780, 13870, 13871},
|
|
{9981, 13877, 13883},
|
|
{11901, 13889, 13891},
|
|
{13405, 13895, 13897},
|
|
{12680, 13901, 13901},
|
|
{8363, 13905, 13910},
|
|
{13546, 13914, 13914},
|
|
{13498, 13918, 13927},
|
|
{13550, 13931, 13937},
|
|
{13628, 13941, 13941},
|
|
{13900, 13952, 13952},
|
|
{13841, 13957, 13957},
|
|
{3102, 13961, 13961},
|
|
{12835, 13966, 13970},
|
|
{12071, 13974, 13975},
|
|
{12810, 13979, 13980},
|
|
{11488, 13984, 13987},
|
|
{13809, 13991, 13992},
|
|
{13234, 13996, 13997},
|
|
{13886, 14001, 14002},
|
|
{11128, 14006, 14007},
|
|
{6013, 14012, 14013},
|
|
{8748, 14018, 14020},
|
|
{9678, 14024, 14024},
|
|
{12188, 14029, 14029},
|
|
{13914, 14033, 14033},
|
|
{11778, 14037, 14040},
|
|
{11828, 14044, 14051},
|
|
{12479, 14055, 14058},
|
|
{14037, 14062, 14066},
|
|
{12759, 14070, 14076},
|
|
{13889, 14080, 14081},
|
|
{13895, 14086, 14121},
|
|
{10199, 14125, 14131},
|
|
{13663, 14135, 14135},
|
|
{9261, 14139, 14155},
|
|
{12898, 14160, 14160},
|
|
{13667, 14164, 14167},
|
|
{12579, 14172, 14174},
|
|
{13681, 14178, 14189},
|
|
{13697, 14194, 14196},
|
|
{14033, 14200, 14200},
|
|
{13931, 14204, 14207},
|
|
{13726, 14211, 14211},
|
|
{9583, 14215, 14222},
|
|
{13243, 14226, 14226},
|
|
{13379, 14230, 14231},
|
|
{7481, 14237, 14239},
|
|
{10373, 14243, 14243},
|
|
{8644, 14248, 14249},
|
|
{1082, 14259, 14260},
|
|
{5814, 14265, 14265},
|
|
{10414, 14269, 14270},
|
|
{9512, 14274, 14274},
|
|
{9286, 14285, 14288},
|
|
{12593, 14295, 14295},
|
|
{13773, 14300, 14302},
|
|
{5874, 14308, 14308},
|
|
{13804, 14312, 14312},
|
|
{10412, 14317, 14320},
|
|
{12836, 14324, 14327},
|
|
{13974, 14331, 14337},
|
|
{14200, 14341, 14341},
|
|
{14086, 14345, 14347},
|
|
{4853, 14352, 14353},
|
|
{13961, 14357, 14357},
|
|
{14340, 14361, 14367},
|
|
{14005, 14374, 14374},
|
|
{13857, 14379, 14388},
|
|
{10532, 14397, 14399},
|
|
{14379, 14405, 14406},
|
|
{11957, 14411, 14413},
|
|
{10939, 14419, 14419},
|
|
{12547, 14423, 14429},
|
|
{13772, 14435, 14438},
|
|
{14341, 14442, 14447},
|
|
{14409, 14453, 14453},
|
|
{14442, 14457, 14457},
|
|
{13918, 14461, 14470},
|
|
{13511, 14474, 14483},
|
|
{14080, 14487, 14488},
|
|
{14344, 14492, 14495},
|
|
{13901, 14499, 14520},
|
|
{12609, 14524, 14525},
|
|
{14204, 14529, 14532},
|
|
{13557, 14536, 14536},
|
|
{6220, 14541, 14542},
|
|
{14139, 14546, 14562},
|
|
{14160, 14567, 14574},
|
|
{14172, 14579, 14596},
|
|
{14194, 14601, 14610},
|
|
{14125, 14614, 14614},
|
|
{14211, 14618, 14659},
|
|
{2011, 14663, 14663},
|
|
{14264, 14667, 14680},
|
|
{9951, 14687, 14691},
|
|
{12863, 14696, 14698},
|
|
{7980, 14702, 14703},
|
|
{14357, 14707, 14708},
|
|
{12266, 14714, 14715},
|
|
{10772, 14723, 14729},
|
|
{12806, 14733, 14733},
|
|
{2583, 14737, 14741},
|
|
{14006, 14745, 14745},
|
|
{12945, 14749, 14752},
|
|
{8679, 14756, 14758},
|
|
{12184, 14762, 14763},
|
|
{14423, 14767, 14773},
|
|
{14054, 14777, 14779},
|
|
{10411, 14785, 14789},
|
|
{11310, 14794, 14795},
|
|
{6455, 14799, 14800},
|
|
{5418, 14804, 14804},
|
|
{13821, 14808, 14808},
|
|
{11905, 14812, 14814},
|
|
{13502, 14818, 14819},
|
|
{11761, 14823, 14829},
|
|
{14745, 14833, 14833},
|
|
{14070, 14837, 14843},
|
|
{8173, 14850, 14850},
|
|
{2999, 14854, 14856},
|
|
{9201, 14860, 14867},
|
|
{14807, 14871, 14872},
|
|
{14812, 14878, 14881},
|
|
{13814, 14885, 14887},
|
|
{12644, 14891, 14892},
|
|
{14295, 14898, 14898},
|
|
{14457, 14902, 14902},
|
|
{14331, 14906, 14907},
|
|
{13170, 14911, 14911},
|
|
{14352, 14915, 14916},
|
|
{12649, 14920, 14921},
|
|
{12399, 14925, 14925},
|
|
{13349, 14929, 14929},
|
|
{13207, 14934, 14935},
|
|
{14372, 14939, 14941},
|
|
{14498, 14945, 14945},
|
|
{13860, 14949, 14955},
|
|
{14452, 14960, 14962},
|
|
{14792, 14970, 14970},
|
|
{14720, 14975, 14975},
|
|
{13858, 14984, 14984},
|
|
{5733, 14989, 14991},
|
|
{14982, 14995, 14995},
|
|
{14524, 14999, 15000},
|
|
{2347, 15004, 15004},
|
|
{4612, 15009, 15009},
|
|
{3225, 15013, 15013},
|
|
{12320, 15017, 15018},
|
|
{14975, 15022, 15022},
|
|
{13416, 15026, 15028},
|
|
{8140, 15034, 15034},
|
|
{15016, 15040, 15042},
|
|
{14299, 15046, 15051},
|
|
{14901, 15055, 15056},
|
|
{14933, 15060, 15061},
|
|
{14960, 15066, 15066},
|
|
{14999, 15070, 15071},
|
|
{14461, 15075, 15080},
|
|
{14666, 15084, 15084},
|
|
{14474, 15088, 15134},
|
|
{15055, 15138, 15138},
|
|
{13046, 15142, 15146},
|
|
{14536, 15150, 15176},
|
|
{14567, 15181, 15181},
|
|
{12725, 15185, 15185},
|
|
{13346, 15189, 15189},
|
|
{13268, 15193, 15197},
|
|
{5568, 15203, 15203},
|
|
{15192, 15207, 15207},
|
|
{15075, 15211, 15216},
|
|
{15207, 15220, 15220},
|
|
{13941, 15224, 15224},
|
|
{13091, 15228, 15230},
|
|
{13623, 15234, 15235},
|
|
{13362, 15239, 15243},
|
|
{10066, 15247, 15252},
|
|
{6452, 15257, 15257},
|
|
{14837, 15261, 15267},
|
|
{13576, 15271, 15281},
|
|
{12874, 15285, 15304},
|
|
{15181, 15309, 15309},
|
|
{14164, 15313, 15316},
|
|
{14579, 15321, 15326},
|
|
{12090, 15330, 15339},
|
|
{14601, 15344, 15346},
|
|
{15084, 15350, 15350},
|
|
{12523, 15354, 15357},
|
|
{14618, 15361, 15361},
|
|
{12788, 15365, 15365},
|
|
{6032, 15369, 15369},
|
|
{12127, 15373, 15378},
|
|
{4703, 15382, 15382},
|
|
{12140, 15386, 15387},
|
|
{4602, 15392, 15392},
|
|
{12856, 15396, 15398},
|
|
{13990, 15403, 15406},
|
|
{13213, 15412, 15416},
|
|
{13979, 15420, 15420},
|
|
{14300, 15424, 15426},
|
|
{10617, 15430, 15430},
|
|
{10094, 15435, 15435},
|
|
{12413, 15439, 15440},
|
|
{10900, 15447, 15450},
|
|
{10908, 15455, 15455},
|
|
{15220, 15459, 15459},
|
|
{14911, 15463, 15464},
|
|
{15026, 15468, 15470},
|
|
{14696, 15478, 15480},
|
|
{12414, 15484, 15484},
|
|
{14215, 15488, 15491},
|
|
{13009, 15496, 15508},
|
|
{15424, 15512, 15514},
|
|
{11334, 15518, 15519},
|
|
{11280, 15523, 15524},
|
|
{11345, 15528, 15529},
|
|
{15459, 15533, 15533},
|
|
{14243, 15537, 15539},
|
|
{14818, 15543, 15544},
|
|
{15533, 15548, 15548},
|
|
{14230, 15552, 15554},
|
|
{14832, 15561, 15562},
|
|
{9787, 15566, 15567},
|
|
{15443, 15573, 15575},
|
|
{13845, 15579, 15584},
|
|
{15430, 15588, 15588},
|
|
{15561, 15593, 15593},
|
|
{14453, 15601, 15608},
|
|
{14870, 15613, 15615},
|
|
{12275, 15619, 15619},
|
|
{14613, 15623, 15624},
|
|
{10596, 15628, 15630},
|
|
{1940, 15634, 15634},
|
|
{9773, 15638, 15638},
|
|
{2665, 15642, 15642},
|
|
{13638, 15646, 15646},
|
|
{6861, 15650, 15650},
|
|
{12781, 15654, 15657},
|
|
{15088, 15661, 15665},
|
|
{11712, 15669, 15669},
|
|
{5534, 15673, 15674},
|
|
{12864, 15678, 15684},
|
|
{15547, 15688, 15689},
|
|
{15365, 15693, 15693},
|
|
{7973, 15697, 15698},
|
|
{13144, 15702, 15710},
|
|
{15548, 15714, 15714},
|
|
{14906, 15718, 15719},
|
|
{15444, 15723, 15723},
|
|
{11456, 15727, 15729},
|
|
{12632, 15733, 15734},
|
|
{13602, 15738, 15738},
|
|
{8932, 15746, 15746},
|
|
{15598, 15752, 15753},
|
|
{14257, 15757, 15758},
|
|
{8379, 15762, 15763},
|
|
{10531, 15767, 15767},
|
|
{8403, 15771, 15775},
|
|
{10432, 15779, 15784},
|
|
{14285, 15791, 15794},
|
|
{3086, 15800, 15803},
|
|
{14925, 15807, 15807},
|
|
{14934, 15812, 15812},
|
|
{15065, 15816, 15817},
|
|
{15737, 15821, 15821},
|
|
{15210, 15825, 15831},
|
|
{15350, 15835, 15835},
|
|
{15661, 15839, 15843},
|
|
{15223, 15847, 15848},
|
|
{10450, 15855, 15855},
|
|
{10501, 15860, 15870},
|
|
{10515, 15879, 15879},
|
|
{12621, 15884, 15884},
|
|
{15593, 15890, 15890},
|
|
{15021, 15894, 15894},
|
|
{15512, 15898, 15900},
|
|
{14274, 15904, 15905},
|
|
{15566, 15909, 15909},
|
|
{3785, 15913, 15913},
|
|
{14995, 15917, 15917},
|
|
{15565, 15921, 15921},
|
|
{14762, 15925, 15926},
|
|
{14016, 15933, 15940},
|
|
{10264, 15948, 15948},
|
|
{15944, 15952, 15953},
|
|
{14847, 15962, 15966},
|
|
{15321, 15973, 15975},
|
|
{15917, 15979, 15980},
|
|
{8141, 15984, 15984},
|
|
{15714, 15988, 15988},
|
|
{15004, 15992, 16018},
|
|
{5180, 16023, 16024},
|
|
{15017, 16028, 16029},
|
|
{15046, 16033, 16036},
|
|
{14499, 16040, 16061},
|
|
{15987, 16065, 16066},
|
|
{15354, 16070, 16073},
|
|
{15628, 16077, 16081},
|
|
{13235, 16085, 16088},
|
|
{15835, 16093, 16093},
|
|
{13247, 16097, 16107},
|
|
{15929, 16112, 16112},
|
|
{7992, 16118, 16118},
|
|
{15988, 16122, 16122},
|
|
{15811, 16126, 16133},
|
|
{5185, 16137, 16137},
|
|
{6056, 16149, 16156},
|
|
{15723, 16160, 16160},
|
|
{13435, 16167, 16167},
|
|
{15692, 16173, 16175},
|
|
{1346, 16182, 16183},
|
|
{15641, 16187, 16187},
|
|
{13157, 16192, 16192},
|
|
{12813, 16197, 16197},
|
|
{5216, 16201, 16202},
|
|
{16170, 16206, 16206},
|
|
{15224, 16210, 16211},
|
|
{12979, 16215, 16215},
|
|
{13342, 16230, 16230},
|
|
{15070, 16236, 16237},
|
|
{16070, 16241, 16244},
|
|
{15361, 16248, 16248},
|
|
{15488, 16252, 16256},
|
|
{15184, 16265, 16273},
|
|
{10860, 16277, 16278},
|
|
{8780, 16286, 16287},
|
|
{15271, 16291, 16293},
|
|
{16206, 16297, 16297},
|
|
{14529, 16301, 16304},
|
|
{16248, 16308, 16308},
|
|
{13716, 16312, 16322},
|
|
{16252, 16326, 16330},
|
|
{13874, 16334, 16334},
|
|
{12773, 16338, 16349},
|
|
{14929, 16353, 16353},
|
|
{15697, 16361, 16362},
|
|
{13531, 16366, 16368},
|
|
{14833, 16373, 16373},
|
|
{15904, 16377, 16378},
|
|
{16173, 16386, 16388},
|
|
{13582, 16392, 16393},
|
|
{9488, 16399, 16399},
|
|
{15468, 16403, 16404},
|
|
{13905, 16409, 16411},
|
|
{3784, 16415, 16416},
|
|
{16297, 16420, 16420},
|
|
{16210, 16424, 16426},
|
|
{12936, 16430, 16430},
|
|
{8508, 16435, 16438},
|
|
{9602, 16443, 16446},
|
|
{1317, 16450, 16451},
|
|
{4739, 16456, 16461},
|
|
}
|