mirror of https://github.com/tidwall/tile38.git
1966 lines
42 KiB
Go
1966 lines
42 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/Mark.Twain-Tom.Sawyer.txt file. It is used to benchmark the
|
|
// extendMatch implementation.
|
|
//
|
|
// It was generated manually by adding some print statements to the (pure Go)
|
|
// extendMatch implementation:
|
|
//
|
|
// func extendMatch(src []byte, i, j int) int {
|
|
// i0, j0 := i, j
|
|
// for ; j < len(src) && src[i] == src[j]; i, j = i+1, j+1 {
|
|
// }
|
|
// println("{", i0, ",", j0, ",", j, "},")
|
|
// return j
|
|
// }
|
|
//
|
|
// and running "go test -test.run=EncodeGoldenInput -tags=noasm".
|
|
var extendMatchGoldenTestCases = []struct {
|
|
i, j, want int
|
|
}{
|
|
{11, 61, 62},
|
|
{80, 81, 82},
|
|
{86, 87, 101},
|
|
{85, 133, 149},
|
|
{152, 153, 162},
|
|
{133, 168, 193},
|
|
{168, 207, 225},
|
|
{81, 255, 275},
|
|
{278, 279, 283},
|
|
{306, 417, 417},
|
|
{373, 428, 430},
|
|
{389, 444, 447},
|
|
{474, 510, 512},
|
|
{465, 533, 533},
|
|
{47, 547, 547},
|
|
{307, 551, 554},
|
|
{420, 582, 587},
|
|
{309, 604, 604},
|
|
{604, 625, 625},
|
|
{538, 629, 629},
|
|
{328, 640, 640},
|
|
{573, 645, 645},
|
|
{319, 657, 657},
|
|
{30, 664, 664},
|
|
{45, 679, 680},
|
|
{621, 684, 684},
|
|
{376, 700, 700},
|
|
{33, 707, 708},
|
|
{601, 733, 733},
|
|
{334, 744, 745},
|
|
{625, 758, 759},
|
|
{382, 763, 763},
|
|
{550, 769, 771},
|
|
{533, 789, 789},
|
|
{804, 813, 813},
|
|
{342, 841, 842},
|
|
{742, 847, 847},
|
|
{74, 852, 852},
|
|
{810, 864, 864},
|
|
{758, 868, 869},
|
|
{714, 883, 883},
|
|
{582, 889, 891},
|
|
{61, 934, 935},
|
|
{894, 942, 942},
|
|
{939, 949, 949},
|
|
{785, 956, 957},
|
|
{886, 978, 978},
|
|
{792, 998, 998},
|
|
{998, 1005, 1005},
|
|
{572, 1032, 1032},
|
|
{698, 1051, 1053},
|
|
{599, 1067, 1069},
|
|
{1056, 1079, 1079},
|
|
{942, 1089, 1090},
|
|
{831, 1094, 1096},
|
|
{1088, 1100, 1103},
|
|
{732, 1113, 1114},
|
|
{1037, 1118, 1118},
|
|
{872, 1128, 1130},
|
|
{1079, 1140, 1142},
|
|
{332, 1162, 1162},
|
|
{207, 1168, 1186},
|
|
{1189, 1190, 1225},
|
|
{105, 1229, 1230},
|
|
{79, 1256, 1257},
|
|
{1190, 1261, 1283},
|
|
{255, 1306, 1306},
|
|
{1319, 1339, 1358},
|
|
{364, 1370, 1370},
|
|
{955, 1378, 1380},
|
|
{122, 1403, 1403},
|
|
{1325, 1407, 1419},
|
|
{664, 1423, 1424},
|
|
{941, 1461, 1463},
|
|
{867, 1477, 1478},
|
|
{757, 1488, 1489},
|
|
{1140, 1499, 1499},
|
|
{31, 1506, 1506},
|
|
{1487, 1510, 1512},
|
|
{1089, 1520, 1521},
|
|
{1467, 1525, 1529},
|
|
{1394, 1537, 1537},
|
|
{1499, 1541, 1541},
|
|
{367, 1558, 1558},
|
|
{1475, 1564, 1564},
|
|
{1525, 1568, 1571},
|
|
{1541, 1582, 1583},
|
|
{864, 1587, 1588},
|
|
{704, 1597, 1597},
|
|
{336, 1602, 1602},
|
|
{1383, 1613, 1613},
|
|
{1498, 1617, 1618},
|
|
{1051, 1623, 1625},
|
|
{401, 1643, 1645},
|
|
{1072, 1654, 1655},
|
|
{1067, 1667, 1669},
|
|
{699, 1673, 1674},
|
|
{1587, 1683, 1684},
|
|
{920, 1696, 1696},
|
|
{1505, 1710, 1710},
|
|
{1550, 1723, 1723},
|
|
{996, 1727, 1727},
|
|
{833, 1733, 1734},
|
|
{1638, 1739, 1740},
|
|
{1654, 1744, 1744},
|
|
{753, 1761, 1761},
|
|
{1548, 1773, 1773},
|
|
{1568, 1777, 1780},
|
|
{1683, 1793, 1794},
|
|
{948, 1801, 1801},
|
|
{1666, 1805, 1808},
|
|
{1502, 1814, 1814},
|
|
{1696, 1822, 1822},
|
|
{502, 1836, 1837},
|
|
{917, 1843, 1843},
|
|
{1733, 1854, 1855},
|
|
{970, 1859, 1859},
|
|
{310, 1863, 1863},
|
|
{657, 1872, 1872},
|
|
{1005, 1876, 1876},
|
|
{1662, 1880, 1880},
|
|
{904, 1892, 1892},
|
|
{1427, 1910, 1910},
|
|
{1772, 1929, 1930},
|
|
{1822, 1937, 1940},
|
|
{1858, 1949, 1950},
|
|
{1602, 1956, 1956},
|
|
{1150, 1962, 1962},
|
|
{1504, 1966, 1967},
|
|
{51, 1971, 1971},
|
|
{1605, 1979, 1979},
|
|
{1458, 1983, 1988},
|
|
{1536, 2001, 2006},
|
|
{1373, 2014, 2018},
|
|
{1494, 2025, 2025},
|
|
{1667, 2029, 2031},
|
|
{1592, 2035, 2035},
|
|
{330, 2045, 2045},
|
|
{1376, 2053, 2053},
|
|
{1991, 2058, 2059},
|
|
{1635, 2065, 2065},
|
|
{1992, 2073, 2074},
|
|
{2014, 2080, 2081},
|
|
{1546, 2085, 2087},
|
|
{59, 2099, 2099},
|
|
{1996, 2106, 2106},
|
|
{1836, 2110, 2110},
|
|
{2068, 2114, 2114},
|
|
{1338, 2122, 2122},
|
|
{1562, 2128, 2130},
|
|
{1934, 2134, 2134},
|
|
{2114, 2141, 2142},
|
|
{977, 2149, 2150},
|
|
{956, 2154, 2155},
|
|
{1407, 2162, 2162},
|
|
{1773, 2166, 2166},
|
|
{883, 2171, 2171},
|
|
{623, 2175, 2178},
|
|
{1520, 2191, 2192},
|
|
{1162, 2200, 2200},
|
|
{912, 2204, 2204},
|
|
{733, 2208, 2208},
|
|
{1777, 2212, 2215},
|
|
{1532, 2219, 2219},
|
|
{718, 2223, 2225},
|
|
{2069, 2229, 2229},
|
|
{2207, 2245, 2246},
|
|
{1139, 2264, 2264},
|
|
{677, 2274, 2274},
|
|
{2099, 2279, 2279},
|
|
{1863, 2283, 2283},
|
|
{1966, 2305, 2306},
|
|
{2279, 2313, 2313},
|
|
{1628, 2319, 2319},
|
|
{755, 2329, 2329},
|
|
{1461, 2334, 2334},
|
|
{2117, 2340, 2340},
|
|
{2313, 2349, 2349},
|
|
{1859, 2353, 2353},
|
|
{1048, 2362, 2362},
|
|
{895, 2366, 2366},
|
|
{2278, 2373, 2373},
|
|
{1884, 2377, 2377},
|
|
{1402, 2387, 2392},
|
|
{700, 2398, 2398},
|
|
{1971, 2402, 2402},
|
|
{2009, 2419, 2419},
|
|
{1441, 2426, 2428},
|
|
{2208, 2432, 2432},
|
|
{2038, 2436, 2436},
|
|
{932, 2443, 2443},
|
|
{1759, 2447, 2448},
|
|
{744, 2452, 2452},
|
|
{1875, 2458, 2458},
|
|
{2405, 2468, 2468},
|
|
{1596, 2472, 2473},
|
|
{1953, 2480, 2482},
|
|
{736, 2487, 2487},
|
|
{1913, 2493, 2493},
|
|
{774, 2497, 2497},
|
|
{1484, 2506, 2508},
|
|
{2432, 2512, 2512},
|
|
{752, 2519, 2519},
|
|
{2497, 2523, 2523},
|
|
{2409, 2528, 2529},
|
|
{2122, 2533, 2533},
|
|
{2396, 2537, 2538},
|
|
{2410, 2547, 2548},
|
|
{1093, 2555, 2560},
|
|
{551, 2564, 2565},
|
|
{2268, 2569, 2569},
|
|
{1362, 2580, 2580},
|
|
{1916, 2584, 2585},
|
|
{994, 2589, 2590},
|
|
{1979, 2596, 2596},
|
|
{1041, 2602, 2602},
|
|
{2104, 2614, 2616},
|
|
{2609, 2621, 2628},
|
|
{2329, 2638, 2638},
|
|
{2211, 2657, 2658},
|
|
{2638, 2662, 2667},
|
|
{2578, 2676, 2679},
|
|
{2153, 2685, 2686},
|
|
{2608, 2696, 2697},
|
|
{598, 2712, 2712},
|
|
{2620, 2719, 2720},
|
|
{1888, 2724, 2728},
|
|
{2709, 2732, 2732},
|
|
{1365, 2739, 2739},
|
|
{784, 2747, 2748},
|
|
{424, 2753, 2753},
|
|
{2204, 2759, 2759},
|
|
{812, 2768, 2769},
|
|
{2455, 2773, 2773},
|
|
{1722, 2781, 2781},
|
|
{1917, 2792, 2792},
|
|
{2705, 2799, 2799},
|
|
{2685, 2806, 2807},
|
|
{2742, 2811, 2811},
|
|
{1370, 2818, 2818},
|
|
{2641, 2830, 2830},
|
|
{2512, 2837, 2837},
|
|
{2457, 2841, 2841},
|
|
{2756, 2845, 2845},
|
|
{2719, 2855, 2855},
|
|
{1423, 2859, 2859},
|
|
{2849, 2863, 2865},
|
|
{1474, 2871, 2871},
|
|
{1161, 2875, 2876},
|
|
{2282, 2880, 2881},
|
|
{2746, 2888, 2888},
|
|
{1783, 2893, 2893},
|
|
{2401, 2899, 2900},
|
|
{2632, 2920, 2923},
|
|
{2422, 2928, 2930},
|
|
{2715, 2939, 2939},
|
|
{2162, 2943, 2943},
|
|
{2859, 2947, 2947},
|
|
{1910, 2951, 2951},
|
|
{1431, 2955, 2956},
|
|
{1439, 2964, 2964},
|
|
{2501, 2968, 2969},
|
|
{2029, 2973, 2976},
|
|
{689, 2983, 2984},
|
|
{1658, 2988, 2988},
|
|
{1031, 2996, 2996},
|
|
{2149, 3001, 3002},
|
|
{25, 3009, 3013},
|
|
{2964, 3023, 3023},
|
|
{953, 3027, 3028},
|
|
{2359, 3036, 3036},
|
|
{3023, 3049, 3049},
|
|
{2880, 3055, 3056},
|
|
{2973, 3076, 3077},
|
|
{2874, 3090, 3090},
|
|
{2871, 3094, 3094},
|
|
{2532, 3100, 3100},
|
|
{2938, 3107, 3108},
|
|
{350, 3115, 3115},
|
|
{2196, 3119, 3121},
|
|
{1133, 3127, 3129},
|
|
{1797, 3134, 3150},
|
|
{3032, 3158, 3158},
|
|
{3016, 3172, 3172},
|
|
{2533, 3179, 3179},
|
|
{3055, 3187, 3188},
|
|
{1384, 3192, 3193},
|
|
{2799, 3199, 3199},
|
|
{2126, 3203, 3207},
|
|
{2334, 3215, 3215},
|
|
{2105, 3220, 3221},
|
|
{3199, 3229, 3229},
|
|
{2891, 3233, 3233},
|
|
{855, 3240, 3240},
|
|
{1852, 3253, 3256},
|
|
{2140, 3263, 3263},
|
|
{1682, 3268, 3270},
|
|
{3243, 3274, 3274},
|
|
{924, 3279, 3279},
|
|
{2212, 3283, 3283},
|
|
{2596, 3287, 3287},
|
|
{2999, 3291, 3291},
|
|
{2353, 3295, 3295},
|
|
{2480, 3302, 3304},
|
|
{1959, 3308, 3311},
|
|
{3000, 3318, 3318},
|
|
{845, 3330, 3330},
|
|
{2283, 3334, 3334},
|
|
{2519, 3342, 3342},
|
|
{3325, 3346, 3348},
|
|
{2397, 3353, 3354},
|
|
{2763, 3358, 3358},
|
|
{3198, 3363, 3364},
|
|
{3211, 3368, 3372},
|
|
{2950, 3376, 3377},
|
|
{3245, 3388, 3391},
|
|
{2264, 3398, 3398},
|
|
{795, 3403, 3403},
|
|
{3287, 3407, 3407},
|
|
{3358, 3411, 3411},
|
|
{3317, 3415, 3415},
|
|
{3232, 3431, 3431},
|
|
{2128, 3435, 3437},
|
|
{3236, 3441, 3441},
|
|
{3398, 3445, 3446},
|
|
{2814, 3450, 3450},
|
|
{3394, 3466, 3466},
|
|
{2425, 3470, 3470},
|
|
{3330, 3476, 3476},
|
|
{1612, 3480, 3480},
|
|
{1004, 3485, 3486},
|
|
{2732, 3490, 3490},
|
|
{1117, 3494, 3495},
|
|
{629, 3501, 3501},
|
|
{3087, 3514, 3514},
|
|
{684, 3518, 3518},
|
|
{3489, 3522, 3524},
|
|
{1760, 3529, 3529},
|
|
{617, 3537, 3537},
|
|
{3431, 3541, 3541},
|
|
{997, 3547, 3547},
|
|
{882, 3552, 3553},
|
|
{2419, 3558, 3558},
|
|
{610, 3562, 3563},
|
|
{1903, 3567, 3569},
|
|
{3005, 3575, 3575},
|
|
{3076, 3585, 3586},
|
|
{3541, 3590, 3590},
|
|
{3490, 3594, 3594},
|
|
{1899, 3599, 3599},
|
|
{3545, 3606, 3606},
|
|
{3290, 3614, 3615},
|
|
{2056, 3619, 3620},
|
|
{3556, 3625, 3625},
|
|
{3294, 3632, 3633},
|
|
{637, 3643, 3644},
|
|
{3609, 3648, 3650},
|
|
{3175, 3658, 3658},
|
|
{3498, 3665, 3665},
|
|
{1597, 3669, 3669},
|
|
{1983, 3673, 3673},
|
|
{3215, 3682, 3682},
|
|
{3544, 3689, 3689},
|
|
{3694, 3698, 3698},
|
|
{3228, 3715, 3716},
|
|
{2594, 3720, 3722},
|
|
{3573, 3726, 3726},
|
|
{2479, 3732, 3735},
|
|
{3191, 3741, 3742},
|
|
{1113, 3746, 3747},
|
|
{2844, 3751, 3751},
|
|
{3445, 3756, 3757},
|
|
{3755, 3766, 3766},
|
|
{3421, 3775, 3780},
|
|
{3593, 3784, 3786},
|
|
{3263, 3796, 3796},
|
|
{3469, 3806, 3806},
|
|
{2602, 3815, 3815},
|
|
{723, 3819, 3821},
|
|
{1608, 3826, 3826},
|
|
{3334, 3830, 3830},
|
|
{2198, 3835, 3835},
|
|
{2635, 3840, 3840},
|
|
{3702, 3852, 3853},
|
|
{3406, 3858, 3859},
|
|
{3681, 3867, 3870},
|
|
{3407, 3880, 3880},
|
|
{340, 3889, 3889},
|
|
{3772, 3893, 3893},
|
|
{593, 3897, 3897},
|
|
{2563, 3914, 3916},
|
|
{2981, 3929, 3929},
|
|
{1835, 3933, 3934},
|
|
{3906, 3951, 3951},
|
|
{1459, 3958, 3958},
|
|
{3889, 3974, 3974},
|
|
{2188, 3982, 3982},
|
|
{3220, 3986, 3987},
|
|
{3585, 3991, 3993},
|
|
{3712, 3997, 4001},
|
|
{2805, 4007, 4007},
|
|
{1879, 4012, 4013},
|
|
{3618, 4018, 4018},
|
|
{1145, 4031, 4032},
|
|
{3901, 4037, 4037},
|
|
{2772, 4046, 4047},
|
|
{2802, 4053, 4054},
|
|
{3299, 4058, 4058},
|
|
{3725, 4066, 4066},
|
|
{2271, 4070, 4070},
|
|
{385, 4075, 4076},
|
|
{3624, 4089, 4090},
|
|
{3745, 4096, 4098},
|
|
{1563, 4102, 4102},
|
|
{4045, 4106, 4111},
|
|
{3696, 4115, 4119},
|
|
{3376, 4125, 4126},
|
|
{1880, 4130, 4130},
|
|
{2048, 4140, 4141},
|
|
{2724, 4149, 4149},
|
|
{1767, 4156, 4156},
|
|
{2601, 4164, 4164},
|
|
{2757, 4168, 4168},
|
|
{3974, 4172, 4172},
|
|
{3914, 4178, 4178},
|
|
{516, 4185, 4185},
|
|
{1032, 4189, 4190},
|
|
{3462, 4197, 4198},
|
|
{3805, 4202, 4203},
|
|
{3910, 4207, 4212},
|
|
{3075, 4221, 4221},
|
|
{3756, 4225, 4226},
|
|
{1872, 4236, 4237},
|
|
{3844, 4241, 4241},
|
|
{3991, 4245, 4249},
|
|
{2203, 4258, 4258},
|
|
{3903, 4267, 4268},
|
|
{705, 4272, 4272},
|
|
{1896, 4276, 4276},
|
|
{1955, 4285, 4288},
|
|
{3746, 4302, 4303},
|
|
{2672, 4311, 4311},
|
|
{3969, 4317, 4317},
|
|
{3883, 4322, 4322},
|
|
{1920, 4339, 4340},
|
|
{3527, 4344, 4346},
|
|
{1160, 4358, 4358},
|
|
{3648, 4364, 4366},
|
|
{2711, 4387, 4387},
|
|
{3619, 4391, 4392},
|
|
{1944, 4396, 4396},
|
|
{4369, 4400, 4400},
|
|
{2736, 4404, 4407},
|
|
{2546, 4411, 4412},
|
|
{4390, 4422, 4422},
|
|
{3610, 4426, 4427},
|
|
{4058, 4431, 4431},
|
|
{4374, 4435, 4435},
|
|
{3463, 4445, 4446},
|
|
{1813, 4452, 4452},
|
|
{3669, 4456, 4456},
|
|
{3830, 4460, 4460},
|
|
{421, 4464, 4465},
|
|
{1719, 4471, 4471},
|
|
{3880, 4475, 4475},
|
|
{1834, 4485, 4487},
|
|
{3590, 4491, 4491},
|
|
{442, 4496, 4497},
|
|
{4435, 4501, 4501},
|
|
{3814, 4509, 4509},
|
|
{987, 4513, 4513},
|
|
{4494, 4518, 4521},
|
|
{3218, 4526, 4529},
|
|
{4221, 4537, 4537},
|
|
{2778, 4543, 4545},
|
|
{4422, 4552, 4552},
|
|
{4031, 4558, 4559},
|
|
{4178, 4563, 4563},
|
|
{3726, 4567, 4574},
|
|
{4027, 4578, 4578},
|
|
{4339, 4585, 4587},
|
|
{3796, 4592, 4595},
|
|
{543, 4600, 4613},
|
|
{2855, 4620, 4621},
|
|
{2795, 4627, 4627},
|
|
{3440, 4631, 4632},
|
|
{4279, 4636, 4639},
|
|
{4245, 4643, 4645},
|
|
{4516, 4649, 4650},
|
|
{3133, 4654, 4654},
|
|
{4042, 4658, 4659},
|
|
{3422, 4663, 4663},
|
|
{4046, 4667, 4668},
|
|
{4267, 4672, 4672},
|
|
{4004, 4676, 4677},
|
|
{2490, 4682, 4682},
|
|
{2451, 4697, 4697},
|
|
{3027, 4705, 4705},
|
|
{4028, 4717, 4717},
|
|
{4460, 4721, 4721},
|
|
{2471, 4725, 4727},
|
|
{3090, 4735, 4735},
|
|
{3192, 4739, 4740},
|
|
{3835, 4760, 4760},
|
|
{4540, 4764, 4764},
|
|
{4007, 4772, 4774},
|
|
{619, 4784, 4784},
|
|
{3561, 4789, 4791},
|
|
{3367, 4805, 4805},
|
|
{4490, 4810, 4811},
|
|
{2402, 4815, 4815},
|
|
{3352, 4819, 4822},
|
|
{2773, 4828, 4828},
|
|
{4552, 4832, 4832},
|
|
{2522, 4840, 4841},
|
|
{316, 4847, 4852},
|
|
{4715, 4858, 4858},
|
|
{2959, 4862, 4862},
|
|
{4858, 4868, 4869},
|
|
{2134, 4873, 4873},
|
|
{578, 4878, 4878},
|
|
{4189, 4889, 4890},
|
|
{2229, 4894, 4894},
|
|
{4501, 4898, 4898},
|
|
{2297, 4903, 4903},
|
|
{2933, 4909, 4909},
|
|
{3008, 4913, 4913},
|
|
{3153, 4917, 4917},
|
|
{4819, 4921, 4921},
|
|
{4921, 4932, 4933},
|
|
{4920, 4944, 4945},
|
|
{4814, 4954, 4955},
|
|
{576, 4966, 4966},
|
|
{1854, 4970, 4971},
|
|
{1374, 4975, 4976},
|
|
{3307, 4980, 4980},
|
|
{974, 4984, 4988},
|
|
{4721, 4992, 4992},
|
|
{4898, 4996, 4996},
|
|
{4475, 5006, 5006},
|
|
{3819, 5012, 5012},
|
|
{1948, 5019, 5021},
|
|
{4954, 5027, 5029},
|
|
{3740, 5038, 5040},
|
|
{4763, 5044, 5045},
|
|
{1936, 5051, 5051},
|
|
{4844, 5055, 5060},
|
|
{4215, 5069, 5072},
|
|
{1146, 5076, 5076},
|
|
{3845, 5082, 5082},
|
|
{4865, 5090, 5090},
|
|
{4624, 5094, 5094},
|
|
{4815, 5098, 5098},
|
|
{5006, 5105, 5105},
|
|
{4980, 5109, 5109},
|
|
{4795, 5113, 5115},
|
|
{5043, 5119, 5121},
|
|
{4782, 5129, 5129},
|
|
{3826, 5139, 5139},
|
|
{3876, 5156, 5156},
|
|
{3111, 5167, 5171},
|
|
{1470, 5177, 5177},
|
|
{4431, 5181, 5181},
|
|
{546, 5189, 5189},
|
|
{4225, 5193, 5193},
|
|
{1672, 5199, 5201},
|
|
{4207, 5205, 5209},
|
|
{4220, 5216, 5217},
|
|
{4658, 5224, 5225},
|
|
{3295, 5235, 5235},
|
|
{2436, 5239, 5239},
|
|
{2349, 5246, 5246},
|
|
{2175, 5250, 5250},
|
|
{5180, 5257, 5258},
|
|
{3161, 5263, 5263},
|
|
{5105, 5272, 5272},
|
|
{3552, 5282, 5282},
|
|
{4944, 5299, 5300},
|
|
{4130, 5312, 5313},
|
|
{902, 5323, 5323},
|
|
{913, 5327, 5327},
|
|
{2987, 5333, 5334},
|
|
{5150, 5344, 5344},
|
|
{5249, 5348, 5348},
|
|
{1965, 5358, 5359},
|
|
{5330, 5364, 5364},
|
|
{2012, 5373, 5377},
|
|
{712, 5384, 5386},
|
|
{5235, 5390, 5390},
|
|
{5044, 5398, 5399},
|
|
{564, 5406, 5406},
|
|
{39, 5410, 5410},
|
|
{4642, 5422, 5425},
|
|
{4421, 5437, 5438},
|
|
{2347, 5449, 5449},
|
|
{5333, 5453, 5454},
|
|
{4136, 5458, 5459},
|
|
{3793, 5468, 5468},
|
|
{2243, 5480, 5480},
|
|
{4889, 5492, 5493},
|
|
{4295, 5504, 5504},
|
|
{2785, 5511, 5511},
|
|
{2377, 5518, 5518},
|
|
{3662, 5525, 5525},
|
|
{5097, 5529, 5530},
|
|
{4781, 5537, 5538},
|
|
{4697, 5547, 5548},
|
|
{436, 5552, 5553},
|
|
{5542, 5558, 5558},
|
|
{3692, 5562, 5562},
|
|
{2696, 5568, 5569},
|
|
{4620, 5578, 5578},
|
|
{2898, 5590, 5590},
|
|
{5557, 5596, 5618},
|
|
{2797, 5623, 5625},
|
|
{2792, 5629, 5629},
|
|
{5243, 5633, 5633},
|
|
{5348, 5637, 5637},
|
|
{5547, 5643, 5643},
|
|
{4296, 5654, 5655},
|
|
{5568, 5662, 5662},
|
|
{3001, 5670, 5671},
|
|
{3794, 5679, 5679},
|
|
{4006, 5685, 5686},
|
|
{4969, 5690, 5692},
|
|
{687, 5704, 5704},
|
|
{4563, 5708, 5708},
|
|
{1723, 5738, 5738},
|
|
{649, 5742, 5742},
|
|
{5163, 5748, 5755},
|
|
{3907, 5759, 5759},
|
|
{3074, 5764, 5764},
|
|
{5326, 5771, 5771},
|
|
{2951, 5776, 5776},
|
|
{5181, 5780, 5780},
|
|
{2614, 5785, 5788},
|
|
{4709, 5794, 5794},
|
|
{2784, 5799, 5799},
|
|
{5518, 5803, 5803},
|
|
{4155, 5812, 5815},
|
|
{921, 5819, 5819},
|
|
{5224, 5823, 5824},
|
|
{2853, 5830, 5836},
|
|
{5776, 5840, 5840},
|
|
{2955, 5844, 5845},
|
|
{5745, 5853, 5853},
|
|
{3291, 5857, 5857},
|
|
{2988, 5861, 5861},
|
|
{2647, 5865, 5865},
|
|
{5398, 5869, 5870},
|
|
{1085, 5874, 5875},
|
|
{4906, 5881, 5881},
|
|
{802, 5886, 5886},
|
|
{5119, 5890, 5893},
|
|
{5802, 5899, 5900},
|
|
{3415, 5904, 5904},
|
|
{5629, 5908, 5908},
|
|
{3714, 5912, 5914},
|
|
{5558, 5921, 5921},
|
|
{2710, 5927, 5928},
|
|
{1094, 5932, 5934},
|
|
{2653, 5940, 5941},
|
|
{4735, 5954, 5954},
|
|
{5861, 5958, 5958},
|
|
{1040, 5971, 5971},
|
|
{5514, 5977, 5977},
|
|
{5048, 5981, 5982},
|
|
{5953, 5992, 5993},
|
|
{3751, 5997, 5997},
|
|
{4991, 6001, 6002},
|
|
{5885, 6006, 6007},
|
|
{5529, 6011, 6012},
|
|
{4974, 6019, 6020},
|
|
{5857, 6024, 6024},
|
|
{3483, 6032, 6032},
|
|
{3594, 6036, 6036},
|
|
{1997, 6040, 6040},
|
|
{5997, 6044, 6047},
|
|
{5197, 6051, 6051},
|
|
{1764, 6055, 6055},
|
|
{6050, 6059, 6059},
|
|
{5239, 6063, 6063},
|
|
{5049, 6067, 6067},
|
|
{5957, 6073, 6074},
|
|
{1022, 6078, 6078},
|
|
{3414, 6083, 6084},
|
|
{3809, 6090, 6090},
|
|
{4562, 6095, 6096},
|
|
{5878, 6104, 6104},
|
|
{594, 6108, 6109},
|
|
{3353, 6115, 6116},
|
|
{4992, 6120, 6121},
|
|
{2424, 6125, 6125},
|
|
{4484, 6130, 6130},
|
|
{3900, 6134, 6135},
|
|
{5793, 6139, 6141},
|
|
{3562, 6145, 6145},
|
|
{1438, 6152, 6153},
|
|
{6058, 6157, 6158},
|
|
{4411, 6162, 6163},
|
|
{4590, 6167, 6171},
|
|
{4748, 6175, 6175},
|
|
{5517, 6183, 6184},
|
|
{6095, 6191, 6192},
|
|
{1471, 6203, 6203},
|
|
{2643, 6209, 6210},
|
|
{450, 6220, 6220},
|
|
{5266, 6226, 6226},
|
|
{2576, 6233, 6233},
|
|
{2607, 6239, 6240},
|
|
{5164, 6244, 6251},
|
|
{6054, 6255, 6255},
|
|
{1789, 6260, 6261},
|
|
{5250, 6265, 6265},
|
|
{6062, 6273, 6278},
|
|
{5990, 6282, 6282},
|
|
{3283, 6286, 6286},
|
|
{5436, 6290, 6290},
|
|
{6059, 6294, 6294},
|
|
{5668, 6298, 6300},
|
|
{3072, 6324, 6329},
|
|
{3132, 6338, 6339},
|
|
{3246, 6343, 6344},
|
|
{28, 6348, 6349},
|
|
{1503, 6353, 6355},
|
|
{6067, 6359, 6359},
|
|
{3384, 6364, 6364},
|
|
{545, 6375, 6376},
|
|
{5803, 6380, 6380},
|
|
{5522, 6384, 6385},
|
|
{5908, 6389, 6389},
|
|
{2796, 6393, 6396},
|
|
{4831, 6403, 6404},
|
|
{6388, 6412, 6412},
|
|
{6005, 6417, 6420},
|
|
{4450, 6430, 6430},
|
|
{4050, 6435, 6435},
|
|
{5372, 6441, 6441},
|
|
{4378, 6447, 6447},
|
|
{6199, 6452, 6452},
|
|
{3026, 6456, 6456},
|
|
{2642, 6460, 6462},
|
|
{6392, 6470, 6470},
|
|
{6459, 6474, 6474},
|
|
{2829, 6487, 6488},
|
|
{2942, 6499, 6504},
|
|
{5069, 6508, 6511},
|
|
{5341, 6515, 6516},
|
|
{5853, 6521, 6525},
|
|
{6104, 6531, 6531},
|
|
{5759, 6535, 6538},
|
|
{4672, 6542, 6543},
|
|
{2443, 6550, 6550},
|
|
{5109, 6554, 6554},
|
|
{6494, 6558, 6560},
|
|
{6006, 6570, 6572},
|
|
{6424, 6576, 6580},
|
|
{4693, 6591, 6592},
|
|
{6439, 6596, 6597},
|
|
{3179, 6601, 6601},
|
|
{5299, 6606, 6607},
|
|
{4148, 6612, 6613},
|
|
{3774, 6617, 6617},
|
|
{3537, 6623, 6624},
|
|
{4975, 6628, 6629},
|
|
{3848, 6636, 6636},
|
|
{856, 6640, 6640},
|
|
{5724, 6645, 6645},
|
|
{6632, 6651, 6651},
|
|
{4630, 6656, 6658},
|
|
{1440, 6662, 6662},
|
|
{4281, 6666, 6667},
|
|
{4302, 6671, 6672},
|
|
{2589, 6676, 6677},
|
|
{5647, 6681, 6687},
|
|
{6082, 6691, 6693},
|
|
{6144, 6698, 6698},
|
|
{6103, 6709, 6710},
|
|
{3710, 6714, 6714},
|
|
{4253, 6718, 6721},
|
|
{2467, 6730, 6730},
|
|
{4778, 6734, 6734},
|
|
{6528, 6738, 6738},
|
|
{4358, 6747, 6747},
|
|
{5889, 6753, 6753},
|
|
{5193, 6757, 6757},
|
|
{5797, 6761, 6761},
|
|
{3858, 6765, 6766},
|
|
{5951, 6776, 6776},
|
|
{6487, 6781, 6782},
|
|
{3282, 6786, 6787},
|
|
{4667, 6797, 6799},
|
|
{1927, 6803, 6806},
|
|
{6583, 6810, 6810},
|
|
{4937, 6814, 6814},
|
|
{6099, 6824, 6824},
|
|
{4415, 6835, 6836},
|
|
{6332, 6840, 6841},
|
|
{5160, 6850, 6850},
|
|
{4764, 6854, 6854},
|
|
{6814, 6858, 6859},
|
|
{3018, 6864, 6864},
|
|
{6293, 6868, 6869},
|
|
{6359, 6877, 6877},
|
|
{3047, 6884, 6886},
|
|
{5262, 6890, 6891},
|
|
{5471, 6900, 6900},
|
|
{3268, 6910, 6912},
|
|
{1047, 6916, 6916},
|
|
{5904, 6923, 6923},
|
|
{5798, 6933, 6938},
|
|
{4149, 6942, 6942},
|
|
{1821, 6946, 6946},
|
|
{3599, 6952, 6952},
|
|
{6470, 6957, 6957},
|
|
{5562, 6961, 6961},
|
|
{6268, 6965, 6967},
|
|
{6389, 6971, 6971},
|
|
{6596, 6975, 6976},
|
|
{6553, 6980, 6981},
|
|
{6576, 6985, 6989},
|
|
{1375, 6993, 6993},
|
|
{652, 6998, 6998},
|
|
{4876, 7002, 7003},
|
|
{5768, 7011, 7013},
|
|
{3973, 7017, 7017},
|
|
{6802, 7025, 7025},
|
|
{6955, 7034, 7036},
|
|
{6974, 7040, 7040},
|
|
{5944, 7044, 7044},
|
|
{6992, 7048, 7054},
|
|
{6872, 7059, 7059},
|
|
{2943, 7063, 7063},
|
|
{6923, 7067, 7067},
|
|
{5094, 7071, 7071},
|
|
{4873, 7075, 7075},
|
|
{5819, 7079, 7079},
|
|
{5945, 7085, 7085},
|
|
{1540, 7090, 7091},
|
|
{2090, 7095, 7095},
|
|
{5024, 7104, 7105},
|
|
{6900, 7109, 7109},
|
|
{6024, 7113, 7114},
|
|
{6000, 7118, 7120},
|
|
{2187, 7124, 7125},
|
|
{6760, 7129, 7130},
|
|
{5898, 7134, 7136},
|
|
{7032, 7144, 7144},
|
|
{4271, 7148, 7148},
|
|
{3706, 7152, 7152},
|
|
{6970, 7156, 7157},
|
|
{7088, 7161, 7163},
|
|
{2718, 7168, 7169},
|
|
{5674, 7175, 7175},
|
|
{4631, 7182, 7182},
|
|
{7070, 7188, 7189},
|
|
{6220, 7196, 7196},
|
|
{3458, 7201, 7202},
|
|
{2041, 7211, 7212},
|
|
{1454, 7216, 7216},
|
|
{5199, 7225, 7227},
|
|
{3529, 7234, 7234},
|
|
{6890, 7238, 7238},
|
|
{3815, 7242, 7243},
|
|
{5490, 7250, 7253},
|
|
{6554, 7257, 7263},
|
|
{5890, 7267, 7269},
|
|
{6877, 7273, 7273},
|
|
{4877, 7277, 7277},
|
|
{2502, 7285, 7285},
|
|
{1483, 7289, 7295},
|
|
{7210, 7304, 7308},
|
|
{6845, 7313, 7316},
|
|
{7219, 7320, 7320},
|
|
{7001, 7325, 7329},
|
|
{6853, 7333, 7334},
|
|
{6120, 7338, 7338},
|
|
{6606, 7342, 7343},
|
|
{7020, 7348, 7350},
|
|
{3509, 7354, 7354},
|
|
{7133, 7359, 7363},
|
|
{3434, 7371, 7374},
|
|
{2787, 7384, 7384},
|
|
{7044, 7388, 7388},
|
|
{6960, 7394, 7395},
|
|
{6676, 7399, 7400},
|
|
{7161, 7404, 7404},
|
|
{7285, 7417, 7418},
|
|
{4558, 7425, 7426},
|
|
{4828, 7430, 7430},
|
|
{6063, 7436, 7436},
|
|
{3597, 7442, 7442},
|
|
{914, 7446, 7446},
|
|
{7320, 7452, 7454},
|
|
{7267, 7458, 7460},
|
|
{5076, 7464, 7464},
|
|
{7430, 7468, 7469},
|
|
{6273, 7473, 7474},
|
|
{7440, 7478, 7487},
|
|
{7348, 7491, 7494},
|
|
{1021, 7510, 7510},
|
|
{7473, 7515, 7515},
|
|
{2823, 7519, 7519},
|
|
{6264, 7527, 7527},
|
|
{7302, 7531, 7531},
|
|
{7089, 7535, 7535},
|
|
{7342, 7540, 7541},
|
|
{3688, 7547, 7551},
|
|
{3054, 7558, 7560},
|
|
{4177, 7566, 7567},
|
|
{6691, 7574, 7575},
|
|
{7156, 7585, 7586},
|
|
{7147, 7590, 7592},
|
|
{7407, 7598, 7598},
|
|
{7403, 7602, 7603},
|
|
{6868, 7607, 7607},
|
|
{6636, 7611, 7611},
|
|
{4805, 7617, 7617},
|
|
{5779, 7623, 7623},
|
|
{7063, 7627, 7627},
|
|
{5079, 7632, 7632},
|
|
{7377, 7637, 7637},
|
|
{7337, 7641, 7642},
|
|
{6738, 7655, 7655},
|
|
{7338, 7659, 7659},
|
|
{6541, 7669, 7671},
|
|
{595, 7675, 7675},
|
|
{7658, 7679, 7680},
|
|
{7647, 7685, 7686},
|
|
{2477, 7690, 7690},
|
|
{5823, 7694, 7694},
|
|
{4156, 7699, 7699},
|
|
{5931, 7703, 7706},
|
|
{6854, 7712, 7712},
|
|
{4931, 7718, 7718},
|
|
{6979, 7722, 7722},
|
|
{5085, 7727, 7727},
|
|
{6965, 7732, 7732},
|
|
{7201, 7736, 7737},
|
|
{3639, 7741, 7743},
|
|
{7534, 7749, 7749},
|
|
{4292, 7753, 7753},
|
|
{3427, 7759, 7763},
|
|
{7273, 7767, 7767},
|
|
{940, 7778, 7778},
|
|
{4838, 7782, 7785},
|
|
{4216, 7790, 7792},
|
|
{922, 7800, 7801},
|
|
{7256, 7810, 7811},
|
|
{7789, 7815, 7819},
|
|
{7225, 7823, 7825},
|
|
{7531, 7829, 7829},
|
|
{6997, 7833, 7833},
|
|
{7757, 7837, 7838},
|
|
{4129, 7842, 7842},
|
|
{7333, 7848, 7849},
|
|
{6776, 7855, 7855},
|
|
{7527, 7859, 7859},
|
|
{4370, 7863, 7863},
|
|
{4512, 7868, 7868},
|
|
{5679, 7880, 7880},
|
|
{3162, 7884, 7885},
|
|
{3933, 7892, 7894},
|
|
{7804, 7899, 7902},
|
|
{6363, 7906, 7907},
|
|
{7848, 7911, 7912},
|
|
{5584, 7917, 7921},
|
|
{874, 7926, 7926},
|
|
{3342, 7930, 7930},
|
|
{4507, 7935, 7937},
|
|
{3672, 7943, 7944},
|
|
{7911, 7948, 7949},
|
|
{6402, 7956, 7956},
|
|
{7940, 7960, 7960},
|
|
{7113, 7964, 7964},
|
|
{1073, 7968, 7968},
|
|
{7740, 7974, 7974},
|
|
{7601, 7978, 7982},
|
|
{6797, 7987, 7988},
|
|
{3528, 7994, 7995},
|
|
{5483, 7999, 7999},
|
|
{5717, 8011, 8011},
|
|
{5480, 8017, 8017},
|
|
{7770, 8023, 8030},
|
|
{2452, 8034, 8034},
|
|
{5282, 8047, 8047},
|
|
{7967, 8051, 8051},
|
|
{1128, 8058, 8066},
|
|
{6348, 8070, 8070},
|
|
{8055, 8077, 8077},
|
|
{7925, 8081, 8086},
|
|
{6810, 8090, 8090},
|
|
{5051, 8101, 8101},
|
|
{4696, 8109, 8110},
|
|
{5129, 8119, 8119},
|
|
{4449, 8123, 8123},
|
|
{7222, 8127, 8127},
|
|
{4649, 8131, 8134},
|
|
{7994, 8138, 8138},
|
|
{5954, 8148, 8148},
|
|
{475, 8152, 8153},
|
|
{7906, 8157, 8157},
|
|
{7458, 8164, 8166},
|
|
{7632, 8171, 8173},
|
|
{3874, 8177, 8183},
|
|
{4391, 8187, 8187},
|
|
{561, 8191, 8191},
|
|
{2417, 8195, 8195},
|
|
{2357, 8204, 8204},
|
|
{2269, 8216, 8218},
|
|
{3968, 8222, 8222},
|
|
{2200, 8226, 8227},
|
|
{3453, 8247, 8247},
|
|
{2439, 8251, 8252},
|
|
{7175, 8257, 8257},
|
|
{976, 8262, 8264},
|
|
{4953, 8273, 8273},
|
|
{4219, 8278, 8278},
|
|
{6, 8285, 8291},
|
|
{5703, 8295, 8296},
|
|
{5272, 8300, 8300},
|
|
{8037, 8304, 8304},
|
|
{8186, 8314, 8314},
|
|
{8304, 8318, 8318},
|
|
{8051, 8326, 8326},
|
|
{8318, 8330, 8330},
|
|
{2671, 8334, 8335},
|
|
{2662, 8339, 8339},
|
|
{8081, 8349, 8350},
|
|
{3328, 8356, 8356},
|
|
{2879, 8360, 8362},
|
|
{8050, 8370, 8371},
|
|
{8330, 8375, 8376},
|
|
{8375, 8386, 8386},
|
|
{4961, 8390, 8390},
|
|
{1017, 8403, 8405},
|
|
{3533, 8416, 8416},
|
|
{4555, 8422, 8422},
|
|
{6445, 8426, 8426},
|
|
{8169, 8432, 8432},
|
|
{990, 8436, 8436},
|
|
{4102, 8440, 8440},
|
|
{7398, 8444, 8446},
|
|
{3480, 8450, 8450},
|
|
{6324, 8462, 8462},
|
|
{7948, 8466, 8467},
|
|
{5950, 8471, 8471},
|
|
{5189, 8476, 8476},
|
|
{4026, 8490, 8490},
|
|
{8374, 8494, 8495},
|
|
{4682, 8501, 8501},
|
|
{7387, 8506, 8506},
|
|
{8164, 8510, 8515},
|
|
{4079, 8524, 8524},
|
|
{8360, 8529, 8531},
|
|
{7446, 8540, 8543},
|
|
{7971, 8547, 8548},
|
|
{4311, 8552, 8552},
|
|
{5204, 8556, 8557},
|
|
{7968, 8562, 8562},
|
|
{7847, 8571, 8573},
|
|
{8547, 8577, 8577},
|
|
{5320, 8581, 8581},
|
|
{8556, 8585, 8586},
|
|
{8504, 8590, 8590},
|
|
{7669, 8602, 8604},
|
|
{5874, 8608, 8609},
|
|
{5828, 8613, 8613},
|
|
{7998, 8617, 8617},
|
|
{8519, 8625, 8625},
|
|
{7250, 8637, 8637},
|
|
{426, 8641, 8641},
|
|
{8436, 8645, 8645},
|
|
{5986, 8649, 8656},
|
|
{8157, 8660, 8660},
|
|
{7182, 8665, 8665},
|
|
{8421, 8675, 8675},
|
|
{8509, 8681, 8681},
|
|
{5137, 8688, 8689},
|
|
{8625, 8694, 8695},
|
|
{5228, 8701, 8702},
|
|
{6661, 8714, 8714},
|
|
{1010, 8719, 8719},
|
|
{6648, 8723, 8723},
|
|
{3500, 8728, 8728},
|
|
{2442, 8735, 8735},
|
|
{8494, 8740, 8741},
|
|
{8171, 8753, 8755},
|
|
{7242, 8763, 8764},
|
|
{4739, 8768, 8769},
|
|
{7079, 8773, 8773},
|
|
{8386, 8777, 8777},
|
|
{8624, 8781, 8787},
|
|
{661, 8791, 8794},
|
|
{8631, 8801, 8801},
|
|
{7753, 8805, 8805},
|
|
{4783, 8809, 8810},
|
|
{1673, 8814, 8815},
|
|
{6623, 8819, 8819},
|
|
{4404, 8823, 8823},
|
|
{8089, 8827, 8828},
|
|
{8773, 8832, 8832},
|
|
{5394, 8836, 8836},
|
|
{6231, 8841, 8843},
|
|
{1015, 8852, 8853},
|
|
{6873, 8857, 8857},
|
|
{6289, 8865, 8865},
|
|
{8577, 8869, 8869},
|
|
{8114, 8873, 8875},
|
|
{8534, 8883, 8883},
|
|
{3007, 8887, 8888},
|
|
{8827, 8892, 8893},
|
|
{4788, 8897, 8900},
|
|
{5698, 8906, 8907},
|
|
{7690, 8911, 8911},
|
|
{6643, 8919, 8919},
|
|
{7206, 8923, 8924},
|
|
{7866, 8929, 8931},
|
|
{8880, 8942, 8942},
|
|
{8630, 8951, 8952},
|
|
{6027, 8958, 8958},
|
|
{7749, 8966, 8967},
|
|
{4932, 8972, 8973},
|
|
{8892, 8980, 8981},
|
|
{634, 9003, 9003},
|
|
{8109, 9007, 9008},
|
|
{8777, 9012, 9012},
|
|
{3981, 9016, 9017},
|
|
{5723, 9025, 9025},
|
|
{7662, 9034, 9038},
|
|
{8955, 9042, 9042},
|
|
{8070, 9060, 9062},
|
|
{8910, 9066, 9066},
|
|
{5363, 9070, 9071},
|
|
{7699, 9075, 9076},
|
|
{8991, 9081, 9081},
|
|
{6850, 9085, 9085},
|
|
{5811, 9092, 9094},
|
|
{9079, 9098, 9102},
|
|
{6456, 9106, 9106},
|
|
{2259, 9111, 9111},
|
|
{4752, 9116, 9116},
|
|
{9060, 9120, 9123},
|
|
{8090, 9127, 9127},
|
|
{5305, 9131, 9132},
|
|
{8623, 9137, 9137},
|
|
{7417, 9141, 9141},
|
|
{6564, 9148, 9149},
|
|
{9126, 9157, 9158},
|
|
{4285, 9169, 9170},
|
|
{8698, 9174, 9174},
|
|
{8869, 9178, 9178},
|
|
{2572, 9182, 9183},
|
|
{6482, 9188, 9190},
|
|
{9181, 9201, 9201},
|
|
{2968, 9208, 9209},
|
|
{2506, 9213, 9215},
|
|
{9127, 9219, 9219},
|
|
{7910, 9225, 9227},
|
|
{5422, 9235, 9239},
|
|
{8813, 9244, 9246},
|
|
{9178, 9250, 9250},
|
|
{8748, 9255, 9255},
|
|
{7354, 9265, 9265},
|
|
{7767, 9269, 9269},
|
|
{7710, 9281, 9283},
|
|
{8826, 9288, 9290},
|
|
{861, 9295, 9295},
|
|
{4482, 9301, 9301},
|
|
{9264, 9305, 9306},
|
|
{8805, 9310, 9310},
|
|
{4995, 9314, 9314},
|
|
{6730, 9318, 9318},
|
|
{7457, 9328, 9328},
|
|
{2547, 9335, 9336},
|
|
{6298, 9340, 9343},
|
|
{9305, 9353, 9354},
|
|
{9269, 9358, 9358},
|
|
{6338, 9370, 9370},
|
|
{7289, 9376, 9379},
|
|
{5780, 9383, 9383},
|
|
{7607, 9387, 9387},
|
|
{2065, 9392, 9392},
|
|
{7238, 9396, 9396},
|
|
{8856, 9400, 9400},
|
|
{8069, 9412, 9413},
|
|
{611, 9420, 9420},
|
|
{7071, 9424, 9424},
|
|
{3089, 9430, 9431},
|
|
{7117, 9435, 9438},
|
|
{1976, 9445, 9445},
|
|
{6640, 9449, 9449},
|
|
{5488, 9453, 9453},
|
|
{8739, 9457, 9459},
|
|
{5958, 9466, 9466},
|
|
{7985, 9470, 9470},
|
|
{8735, 9475, 9475},
|
|
{5009, 9479, 9479},
|
|
{8073, 9483, 9484},
|
|
{2328, 9490, 9491},
|
|
{9250, 9495, 9495},
|
|
{4043, 9502, 9502},
|
|
{7712, 9506, 9506},
|
|
{9012, 9510, 9510},
|
|
{9028, 9514, 9515},
|
|
{2190, 9521, 9524},
|
|
{9029, 9528, 9528},
|
|
{9519, 9532, 9532},
|
|
{9495, 9536, 9536},
|
|
{8527, 9540, 9540},
|
|
{2137, 9550, 9550},
|
|
{8419, 9557, 9557},
|
|
{9383, 9561, 9562},
|
|
{8970, 9575, 9578},
|
|
{8911, 9582, 9582},
|
|
{7828, 9595, 9596},
|
|
{6180, 9600, 9600},
|
|
{8738, 9604, 9607},
|
|
{7540, 9611, 9612},
|
|
{9599, 9616, 9618},
|
|
{9187, 9623, 9623},
|
|
{9294, 9628, 9629},
|
|
{4536, 9639, 9639},
|
|
{3867, 9643, 9643},
|
|
{6305, 9648, 9648},
|
|
{1617, 9654, 9657},
|
|
{5762, 9666, 9666},
|
|
{8314, 9670, 9670},
|
|
{9666, 9674, 9675},
|
|
{9506, 9679, 9679},
|
|
{9669, 9685, 9686},
|
|
{9683, 9690, 9690},
|
|
{8763, 9697, 9698},
|
|
{7468, 9702, 9702},
|
|
{460, 9707, 9707},
|
|
{3115, 9712, 9712},
|
|
{9424, 9716, 9717},
|
|
{7359, 9721, 9724},
|
|
{7547, 9728, 9729},
|
|
{7151, 9733, 9738},
|
|
{7627, 9742, 9742},
|
|
{2822, 9747, 9747},
|
|
{8247, 9751, 9753},
|
|
{9550, 9758, 9758},
|
|
{7585, 9762, 9763},
|
|
{1002, 9767, 9767},
|
|
{7168, 9772, 9773},
|
|
{6941, 9777, 9780},
|
|
{9728, 9784, 9786},
|
|
{9770, 9792, 9796},
|
|
{6411, 9801, 9802},
|
|
{3689, 9806, 9808},
|
|
{9575, 9814, 9816},
|
|
{7025, 9820, 9821},
|
|
{2776, 9826, 9826},
|
|
{9806, 9830, 9830},
|
|
{9820, 9834, 9835},
|
|
{9800, 9839, 9847},
|
|
{9834, 9851, 9852},
|
|
{9829, 9856, 9862},
|
|
{1400, 9866, 9866},
|
|
{3197, 9870, 9871},
|
|
{9851, 9875, 9876},
|
|
{9742, 9883, 9884},
|
|
{3362, 9888, 9889},
|
|
{9883, 9893, 9893},
|
|
{5711, 9899, 9910},
|
|
{7806, 9915, 9915},
|
|
{9120, 9919, 9919},
|
|
{9715, 9925, 9934},
|
|
{2580, 9938, 9938},
|
|
{4907, 9942, 9944},
|
|
{6239, 9953, 9954},
|
|
{6961, 9963, 9963},
|
|
{5295, 9967, 9968},
|
|
{1915, 9972, 9973},
|
|
{3426, 9983, 9985},
|
|
{9875, 9994, 9995},
|
|
{6942, 9999, 9999},
|
|
{6621, 10005, 10005},
|
|
{7589, 10010, 10012},
|
|
{9286, 10020, 10020},
|
|
{838, 10024, 10024},
|
|
{9980, 10028, 10031},
|
|
{9994, 10035, 10041},
|
|
{2702, 10048, 10051},
|
|
{2621, 10059, 10059},
|
|
{10054, 10065, 10065},
|
|
{8612, 10073, 10074},
|
|
{7033, 10078, 10078},
|
|
{916, 10082, 10082},
|
|
{10035, 10086, 10087},
|
|
{8613, 10097, 10097},
|
|
{9919, 10107, 10108},
|
|
{6133, 10114, 10115},
|
|
{10059, 10119, 10119},
|
|
{10065, 10126, 10127},
|
|
{7732, 10131, 10131},
|
|
{7155, 10135, 10136},
|
|
{6728, 10140, 10140},
|
|
{6162, 10144, 10145},
|
|
{4724, 10150, 10150},
|
|
{1665, 10154, 10154},
|
|
{10126, 10163, 10163},
|
|
{9783, 10168, 10168},
|
|
{1715, 10172, 10173},
|
|
{7152, 10177, 10182},
|
|
{8760, 10187, 10187},
|
|
{7829, 10191, 10191},
|
|
{9679, 10196, 10196},
|
|
{9369, 10201, 10201},
|
|
{2928, 10206, 10208},
|
|
{6951, 10214, 10217},
|
|
{5633, 10221, 10221},
|
|
{7199, 10225, 10225},
|
|
{10118, 10230, 10231},
|
|
{9999, 10235, 10236},
|
|
{10045, 10240, 10249},
|
|
{5565, 10256, 10256},
|
|
{9866, 10261, 10261},
|
|
{10163, 10268, 10268},
|
|
{9869, 10272, 10272},
|
|
{9789, 10276, 10283},
|
|
{10235, 10287, 10288},
|
|
{10214, 10298, 10299},
|
|
{6971, 10303, 10303},
|
|
{3346, 10307, 10307},
|
|
{10185, 10311, 10312},
|
|
{9993, 10318, 10320},
|
|
{2779, 10332, 10334},
|
|
{1726, 10338, 10338},
|
|
{741, 10354, 10360},
|
|
{10230, 10372, 10373},
|
|
{10260, 10384, 10385},
|
|
{10131, 10389, 10398},
|
|
{6946, 10406, 10409},
|
|
{10158, 10413, 10420},
|
|
{10123, 10424, 10424},
|
|
{6157, 10428, 10429},
|
|
{4518, 10434, 10434},
|
|
{9893, 10438, 10438},
|
|
{9865, 10442, 10446},
|
|
{7558, 10454, 10454},
|
|
{10434, 10460, 10460},
|
|
{10064, 10466, 10468},
|
|
{2703, 10472, 10474},
|
|
{9751, 10478, 10479},
|
|
{6714, 10485, 10485},
|
|
{8020, 10490, 10490},
|
|
{10303, 10494, 10494},
|
|
{3521, 10499, 10500},
|
|
{9281, 10513, 10515},
|
|
{6028, 10519, 10523},
|
|
{9387, 10527, 10527},
|
|
{7614, 10531, 10531},
|
|
{3611, 10536, 10536},
|
|
{9162, 10540, 10540},
|
|
{10081, 10546, 10547},
|
|
{10034, 10560, 10562},
|
|
{6726, 10567, 10571},
|
|
{8237, 10575, 10575},
|
|
{10438, 10579, 10583},
|
|
{10140, 10587, 10587},
|
|
{5784, 10592, 10592},
|
|
{9819, 10597, 10600},
|
|
{10567, 10604, 10608},
|
|
{9335, 10613, 10613},
|
|
{8300, 10617, 10617},
|
|
{10575, 10621, 10621},
|
|
{9678, 10625, 10626},
|
|
{9962, 10632, 10633},
|
|
{10535, 10637, 10638},
|
|
{8199, 10642, 10642},
|
|
{10372, 10647, 10648},
|
|
{10637, 10656, 10657},
|
|
{10579, 10667, 10668},
|
|
{10465, 10677, 10680},
|
|
{6702, 10684, 10685},
|
|
{10073, 10691, 10692},
|
|
{4505, 10696, 10697},
|
|
{9042, 10701, 10701},
|
|
{6460, 10705, 10706},
|
|
{10010, 10714, 10716},
|
|
{10656, 10720, 10722},
|
|
{7282, 10727, 10729},
|
|
{2327, 10733, 10733},
|
|
{2491, 10740, 10741},
|
|
{10704, 10748, 10750},
|
|
{6465, 10754, 10754},
|
|
{10647, 10758, 10759},
|
|
{10424, 10763, 10763},
|
|
{10748, 10776, 10776},
|
|
{10546, 10780, 10781},
|
|
{10758, 10785, 10786},
|
|
{10287, 10790, 10797},
|
|
{10785, 10801, 10807},
|
|
{10240, 10811, 10826},
|
|
{9509, 10830, 10830},
|
|
{2579, 10836, 10838},
|
|
{9801, 10843, 10845},
|
|
{7555, 10849, 10850},
|
|
{10776, 10860, 10865},
|
|
{8023, 10869, 10869},
|
|
{10046, 10876, 10884},
|
|
{10253, 10888, 10892},
|
|
{9941, 10897, 10897},
|
|
{7898, 10901, 10905},
|
|
{6725, 10909, 10913},
|
|
{10757, 10921, 10923},
|
|
{10160, 10931, 10931},
|
|
{10916, 10935, 10942},
|
|
{10261, 10946, 10946},
|
|
{10318, 10952, 10954},
|
|
{5911, 10959, 10961},
|
|
{10801, 10965, 10966},
|
|
{10946, 10970, 10977},
|
|
{10592, 10982, 10984},
|
|
{9913, 10988, 10990},
|
|
{8510, 10994, 10996},
|
|
{9419, 11000, 11001},
|
|
{6765, 11006, 11007},
|
|
{10725, 11011, 11011},
|
|
{5537, 11017, 11019},
|
|
{9208, 11024, 11025},
|
|
{5850, 11030, 11030},
|
|
{9610, 11034, 11036},
|
|
{8846, 11041, 11047},
|
|
{9697, 11051, 11051},
|
|
{1622, 11055, 11058},
|
|
{2370, 11062, 11062},
|
|
{8393, 11067, 11067},
|
|
{9756, 11071, 11071},
|
|
{10172, 11076, 11076},
|
|
{27, 11081, 11081},
|
|
{7357, 11087, 11092},
|
|
{8151, 11104, 11106},
|
|
{6115, 11110, 11110},
|
|
{10667, 11114, 11115},
|
|
{11099, 11121, 11123},
|
|
{10705, 11127, 11127},
|
|
{8938, 11131, 11131},
|
|
{11114, 11135, 11136},
|
|
{1390, 11140, 11141},
|
|
{10964, 11146, 11148},
|
|
{11140, 11152, 11155},
|
|
{9813, 11159, 11166},
|
|
{624, 11171, 11172},
|
|
{3118, 11177, 11179},
|
|
{11029, 11184, 11186},
|
|
{10186, 11190, 11190},
|
|
{10306, 11196, 11196},
|
|
{8665, 11201, 11201},
|
|
{7382, 11205, 11205},
|
|
{1100, 11210, 11210},
|
|
{2337, 11216, 11217},
|
|
{1609, 11221, 11223},
|
|
{5763, 11228, 11229},
|
|
{5220, 11233, 11233},
|
|
{11061, 11241, 11241},
|
|
{10617, 11246, 11246},
|
|
{11190, 11250, 11251},
|
|
{10144, 11255, 11256},
|
|
{11232, 11260, 11260},
|
|
{857, 11264, 11265},
|
|
{10994, 11269, 11271},
|
|
{3879, 11280, 11281},
|
|
{11184, 11287, 11289},
|
|
{9611, 11293, 11295},
|
|
{11250, 11299, 11299},
|
|
{4495, 11304, 11304},
|
|
{7574, 11308, 11309},
|
|
{9814, 11315, 11317},
|
|
{1713, 11321, 11324},
|
|
{1905, 11328, 11328},
|
|
{8745, 11335, 11340},
|
|
{8883, 11351, 11351},
|
|
{8119, 11358, 11358},
|
|
{1842, 11363, 11364},
|
|
{11237, 11368, 11368},
|
|
{8814, 11373, 11374},
|
|
{5684, 11378, 11378},
|
|
{11011, 11382, 11382},
|
|
{6520, 11389, 11389},
|
|
{11183, 11393, 11396},
|
|
{1790, 11404, 11404},
|
|
{9536, 11408, 11408},
|
|
{11298, 11418, 11419},
|
|
{3929, 11425, 11425},
|
|
{5588, 11429, 11429},
|
|
{8476, 11436, 11436},
|
|
{4096, 11440, 11442},
|
|
{11084, 11446, 11454},
|
|
{10603, 11458, 11463},
|
|
{7332, 11472, 11474},
|
|
{7611, 11483, 11486},
|
|
{4836, 11490, 11491},
|
|
{10024, 11495, 11495},
|
|
{4917, 11501, 11506},
|
|
{6486, 11510, 11512},
|
|
{11269, 11516, 11518},
|
|
{3603, 11522, 11525},
|
|
{11126, 11535, 11535},
|
|
{11418, 11539, 11541},
|
|
{11408, 11545, 11545},
|
|
{9021, 11549, 11552},
|
|
{6745, 11557, 11557},
|
|
{5118, 11561, 11564},
|
|
{7590, 11568, 11569},
|
|
{4426, 11573, 11578},
|
|
{9790, 11582, 11583},
|
|
{6447, 11587, 11587},
|
|
{10229, 11591, 11594},
|
|
{10457, 11598, 11598},
|
|
{10168, 11604, 11604},
|
|
{10543, 11608, 11608},
|
|
{7404, 11612, 11612},
|
|
{11127, 11616, 11616},
|
|
{3337, 11620, 11620},
|
|
{11501, 11624, 11628},
|
|
{4543, 11633, 11635},
|
|
{8449, 11642, 11642},
|
|
{4943, 11646, 11648},
|
|
{10526, 11652, 11654},
|
|
{11620, 11659, 11659},
|
|
{8927, 11664, 11669},
|
|
{532, 11673, 11673},
|
|
{10513, 11677, 11679},
|
|
{10428, 11683, 11683},
|
|
{10999, 11689, 11690},
|
|
{9469, 11695, 11695},
|
|
{3606, 11699, 11699},
|
|
{9560, 11708, 11709},
|
|
{1564, 11714, 11714},
|
|
{10527, 11718, 11718},
|
|
{3071, 11723, 11726},
|
|
{11590, 11731, 11732},
|
|
{6605, 11737, 11737},
|
|
{11624, 11741, 11745},
|
|
{7822, 11749, 11752},
|
|
{5269, 11757, 11758},
|
|
{1339, 11767, 11767},
|
|
{1363, 11771, 11773},
|
|
{3704, 11777, 11777},
|
|
{10952, 11781, 11783},
|
|
{6764, 11793, 11795},
|
|
{8675, 11800, 11800},
|
|
{9963, 11804, 11804},
|
|
{11573, 11808, 11809},
|
|
{9548, 11813, 11813},
|
|
{11591, 11817, 11818},
|
|
{11446, 11822, 11822},
|
|
{9224, 11828, 11828},
|
|
{3158, 11836, 11836},
|
|
{10830, 11840, 11840},
|
|
{7234, 11846, 11846},
|
|
{11299, 11850, 11850},
|
|
{11544, 11854, 11855},
|
|
{11498, 11859, 11859},
|
|
{10993, 11865, 11868},
|
|
{9720, 11872, 11878},
|
|
{10489, 11882, 11890},
|
|
{11712, 11898, 11904},
|
|
{11516, 11908, 11910},
|
|
{11568, 11914, 11915},
|
|
{10177, 11919, 11924},
|
|
{11363, 11928, 11929},
|
|
{10494, 11933, 11933},
|
|
{9870, 11937, 11938},
|
|
{9427, 11942, 11942},
|
|
{11481, 11949, 11949},
|
|
{6030, 11955, 11957},
|
|
{11718, 11961, 11961},
|
|
{10531, 11965, 11983},
|
|
{5126, 11987, 11987},
|
|
{7515, 11991, 11991},
|
|
{10646, 11996, 11997},
|
|
{2947, 12001, 12001},
|
|
{9582, 12009, 12010},
|
|
{6202, 12017, 12018},
|
|
{11714, 12022, 12022},
|
|
{9235, 12033, 12037},
|
|
{9721, 12041, 12044},
|
|
{11932, 12051, 12052},
|
|
{12040, 12056, 12056},
|
|
{12051, 12060, 12060},
|
|
{11601, 12066, 12066},
|
|
{8426, 12070, 12070},
|
|
{4053, 12077, 12077},
|
|
{4262, 12081, 12081},
|
|
{9761, 12086, 12088},
|
|
{11582, 12092, 12093},
|
|
{10965, 12097, 12098},
|
|
{11803, 12103, 12104},
|
|
{11933, 12108, 12109},
|
|
{10688, 12117, 12117},
|
|
{12107, 12125, 12126},
|
|
{6774, 12130, 12132},
|
|
{6286, 12137, 12137},
|
|
{9543, 12141, 12141},
|
|
{12097, 12145, 12146},
|
|
{10790, 12150, 12150},
|
|
{10125, 12154, 12156},
|
|
{12125, 12164, 12164},
|
|
{12064, 12168, 12172},
|
|
{10811, 12178, 12188},
|
|
{12092, 12192, 12193},
|
|
{10058, 12197, 12198},
|
|
{11611, 12211, 12212},
|
|
{3459, 12216, 12216},
|
|
{10291, 12225, 12228},
|
|
{12191, 12232, 12234},
|
|
{12145, 12238, 12238},
|
|
{12001, 12242, 12250},
|
|
{3840, 12255, 12255},
|
|
{12216, 12259, 12259},
|
|
{674, 12272, 12272},
|
|
{12141, 12276, 12276},
|
|
{10766, 12280, 12280},
|
|
{11545, 12284, 12284},
|
|
{6496, 12290, 12290},
|
|
{11381, 12294, 12295},
|
|
{603, 12302, 12303},
|
|
{12276, 12308, 12308},
|
|
{11850, 12313, 12314},
|
|
{565, 12319, 12319},
|
|
{9351, 12324, 12324},
|
|
{11822, 12328, 12328},
|
|
{2691, 12333, 12334},
|
|
{11840, 12338, 12338},
|
|
{11070, 12343, 12343},
|
|
{9510, 12347, 12347},
|
|
{11024, 12352, 12353},
|
|
{7173, 12359, 12359},
|
|
{517, 12363, 12363},
|
|
{6311, 12367, 12368},
|
|
{11367, 12372, 12373},
|
|
{12008, 12377, 12377},
|
|
{11372, 12382, 12384},
|
|
{11358, 12391, 12392},
|
|
{11382, 12396, 12396},
|
|
{6882, 12400, 12401},
|
|
{11246, 12405, 12405},
|
|
{8359, 12409, 12412},
|
|
{10154, 12418, 12418},
|
|
{12016, 12425, 12426},
|
|
{8972, 12434, 12435},
|
|
{10478, 12439, 12440},
|
|
{12395, 12449, 12449},
|
|
{11612, 12454, 12454},
|
|
{12347, 12458, 12458},
|
|
{10700, 12466, 12467},
|
|
{3637, 12471, 12476},
|
|
{1042, 12480, 12481},
|
|
{6747, 12488, 12488},
|
|
{12396, 12492, 12493},
|
|
{9420, 12497, 12497},
|
|
{11285, 12501, 12510},
|
|
{4470, 12515, 12515},
|
|
{9374, 12519, 12519},
|
|
{11293, 12528, 12528},
|
|
{2058, 12534, 12535},
|
|
{6521, 12539, 12539},
|
|
{12492, 12543, 12543},
|
|
{3043, 12547, 12547},
|
|
{2982, 12551, 12553},
|
|
{11030, 12557, 12563},
|
|
{7636, 12568, 12568},
|
|
{9639, 12572, 12572},
|
|
{12543, 12576, 12576},
|
|
{5989, 12580, 12583},
|
|
{11051, 12587, 12587},
|
|
{1061, 12592, 12594},
|
|
{12313, 12599, 12601},
|
|
{11846, 12605, 12605},
|
|
{12576, 12609, 12609},
|
|
{11040, 12618, 12625},
|
|
{12479, 12629, 12629},
|
|
{6903, 12633, 12633},
|
|
{12322, 12639, 12639},
|
|
{12253, 12643, 12645},
|
|
{5594, 12651, 12651},
|
|
{12522, 12655, 12655},
|
|
{11703, 12659, 12659},
|
|
{1377, 12665, 12665},
|
|
{8022, 12669, 12669},
|
|
{12280, 12674, 12674},
|
|
{9023, 12680, 12681},
|
|
{12328, 12685, 12685},
|
|
{3085, 12689, 12693},
|
|
{4700, 12698, 12698},
|
|
{10224, 12702, 12702},
|
|
{8781, 12706, 12706},
|
|
{1651, 12710, 12710},
|
|
{12458, 12714, 12714},
|
|
{12005, 12718, 12721},
|
|
{11908, 12725, 12726},
|
|
{8202, 12733, 12733},
|
|
{11708, 12739, 12740},
|
|
{12599, 12744, 12745},
|
|
{12284, 12749, 12749},
|
|
{5285, 12756, 12756},
|
|
{12055, 12775, 12777},
|
|
{6919, 12782, 12782},
|
|
{12242, 12786, 12786},
|
|
{12009, 12790, 12790},
|
|
{9628, 12794, 12796},
|
|
{11354, 12801, 12802},
|
|
{10225, 12806, 12807},
|
|
{579, 12813, 12813},
|
|
{8935, 12817, 12822},
|
|
{8753, 12827, 12829},
|
|
{11006, 12835, 12835},
|
|
{858, 12841, 12845},
|
|
{476, 12849, 12849},
|
|
{7667, 12854, 12854},
|
|
{12760, 12860, 12871},
|
|
{11677, 12875, 12877},
|
|
{12714, 12881, 12881},
|
|
{12731, 12885, 12890},
|
|
{7108, 12894, 12896},
|
|
{1165, 12900, 12900},
|
|
{4021, 12906, 12906},
|
|
{10829, 12910, 12911},
|
|
{12331, 12915, 12915},
|
|
{8887, 12919, 12921},
|
|
{11639, 12925, 12925},
|
|
{7964, 12929, 12929},
|
|
{12528, 12937, 12937},
|
|
{8148, 12941, 12941},
|
|
{12770, 12948, 12950},
|
|
{12609, 12954, 12954},
|
|
{12685, 12958, 12958},
|
|
{2803, 12962, 12962},
|
|
{9561, 12966, 12966},
|
|
{6671, 12972, 12973},
|
|
{12056, 12977, 12977},
|
|
{6380, 12981, 12981},
|
|
{12048, 12985, 12985},
|
|
{11961, 12989, 12993},
|
|
{3368, 12997, 12999},
|
|
{6634, 13004, 13004},
|
|
{6775, 13009, 13010},
|
|
{12136, 13014, 13019},
|
|
{10341, 13023, 13023},
|
|
{13002, 13027, 13027},
|
|
{10587, 13031, 13031},
|
|
{10307, 13035, 13035},
|
|
{12736, 13039, 13039},
|
|
{12744, 13043, 13044},
|
|
{6175, 13048, 13048},
|
|
{9702, 13053, 13054},
|
|
{662, 13059, 13061},
|
|
{12718, 13065, 13068},
|
|
{12893, 13072, 13075},
|
|
{8299, 13086, 13091},
|
|
{12604, 13095, 13096},
|
|
{12848, 13100, 13101},
|
|
{12749, 13105, 13105},
|
|
{12526, 13109, 13114},
|
|
{9173, 13122, 13122},
|
|
{12769, 13128, 13128},
|
|
{13038, 13132, 13132},
|
|
{12725, 13136, 13137},
|
|
{12639, 13146, 13146},
|
|
{9711, 13150, 13151},
|
|
{12137, 13155, 13155},
|
|
{13039, 13159, 13159},
|
|
{4681, 13163, 13164},
|
|
{12954, 13168, 13168},
|
|
{13158, 13175, 13176},
|
|
{13105, 13180, 13180},
|
|
{10754, 13184, 13184},
|
|
{13167, 13188, 13188},
|
|
{12658, 13192, 13192},
|
|
{4294, 13199, 13200},
|
|
{11682, 13204, 13205},
|
|
{11695, 13209, 13209},
|
|
{11076, 13214, 13214},
|
|
{12232, 13218, 13218},
|
|
{9399, 13223, 13224},
|
|
{12880, 13228, 13229},
|
|
{13048, 13234, 13234},
|
|
{9701, 13238, 13239},
|
|
{13209, 13243, 13243},
|
|
{3658, 13248, 13248},
|
|
{3698, 13252, 13254},
|
|
{12237, 13260, 13260},
|
|
{8872, 13266, 13266},
|
|
{12957, 13272, 13273},
|
|
{1393, 13281, 13281},
|
|
{2013, 13285, 13288},
|
|
{4244, 13296, 13299},
|
|
{9428, 13303, 13303},
|
|
{12702, 13307, 13307},
|
|
{13078, 13311, 13311},
|
|
{6071, 13315, 13315},
|
|
{3061, 13319, 13319},
|
|
{2051, 13324, 13324},
|
|
{11560, 13328, 13331},
|
|
{6584, 13336, 13336},
|
|
{8482, 13340, 13340},
|
|
{5331, 13344, 13344},
|
|
{4171, 13348, 13348},
|
|
{8501, 13352, 13352},
|
|
{9219, 13356, 13356},
|
|
{9473, 13360, 13363},
|
|
{12881, 13367, 13367},
|
|
{13065, 13371, 13375},
|
|
{2979, 13379, 13384},
|
|
{1518, 13388, 13388},
|
|
{11177, 13392, 13392},
|
|
{9457, 13398, 13398},
|
|
{12293, 13407, 13410},
|
|
{3697, 13414, 13417},
|
|
{10338, 13425, 13425},
|
|
{13367, 13429, 13429},
|
|
{11074, 13433, 13437},
|
|
{4201, 13441, 13443},
|
|
{1812, 13447, 13448},
|
|
{13360, 13452, 13456},
|
|
{13188, 13463, 13463},
|
|
{9732, 13470, 13470},
|
|
{11332, 13477, 13477},
|
|
{9918, 13487, 13487},
|
|
{6337, 13497, 13497},
|
|
{13429, 13501, 13501},
|
|
{11413, 13505, 13505},
|
|
{4685, 13512, 13513},
|
|
{13136, 13517, 13519},
|
|
{7416, 13528, 13530},
|
|
{12929, 13534, 13534},
|
|
{11110, 13539, 13539},
|
|
{11521, 13543, 13543},
|
|
{12825, 13553, 13553},
|
|
{13447, 13557, 13558},
|
|
{12299, 13562, 13563},
|
|
{9003, 13570, 13570},
|
|
{12500, 13577, 13577},
|
|
{13501, 13581, 13581},
|
|
{9392, 13586, 13586},
|
|
{12454, 13590, 13590},
|
|
{6189, 13595, 13595},
|
|
{13053, 13599, 13599},
|
|
{11881, 13604, 13604},
|
|
{13159, 13608, 13608},
|
|
{4894, 13612, 13612},
|
|
{13221, 13621, 13621},
|
|
{8950, 13625, 13625},
|
|
{13533, 13629, 13629},
|
|
{9633, 13633, 13633},
|
|
{7892, 13637, 13639},
|
|
{13581, 13643, 13643},
|
|
{13616, 13647, 13649},
|
|
{12794, 13653, 13654},
|
|
{8919, 13659, 13659},
|
|
{9674, 13663, 13663},
|
|
{13577, 13668, 13668},
|
|
{12966, 13672, 13672},
|
|
{12659, 13676, 13683},
|
|
{6124, 13688, 13688},
|
|
{9225, 13693, 13695},
|
|
{11833, 13702, 13702},
|
|
{12904, 13709, 13717},
|
|
{13647, 13721, 13722},
|
|
{11687, 13726, 13727},
|
|
{12434, 13731, 13732},
|
|
{12689, 13736, 13742},
|
|
{13168, 13746, 13746},
|
|
{6151, 13751, 13752},
|
|
{11821, 13756, 13757},
|
|
{6467, 13764, 13764},
|
|
{5730, 13769, 13769},
|
|
{5136, 13780, 13780},
|
|
{724, 13784, 13785},
|
|
{13517, 13789, 13791},
|
|
{640, 13795, 13796},
|
|
{7721, 13800, 13802},
|
|
{11121, 13806, 13807},
|
|
{5791, 13811, 13815},
|
|
{12894, 13819, 13819},
|
|
{11100, 13824, 13824},
|
|
{7011, 13830, 13830},
|
|
{7129, 13834, 13837},
|
|
{13833, 13841, 13841},
|
|
{11276, 13847, 13847},
|
|
{13621, 13853, 13853},
|
|
{13589, 13862, 13863},
|
|
{12989, 13867, 13867},
|
|
{12789, 13871, 13871},
|
|
{1239, 13875, 13875},
|
|
{4675, 13879, 13881},
|
|
{4686, 13885, 13885},
|
|
{707, 13889, 13889},
|
|
{5449, 13897, 13898},
|
|
{13867, 13902, 13903},
|
|
{10613, 13908, 13908},
|
|
{13789, 13912, 13914},
|
|
{4451, 13918, 13919},
|
|
{9200, 13924, 13924},
|
|
{2011, 13930, 13930},
|
|
{11433, 13934, 13936},
|
|
{4695, 13942, 13943},
|
|
{9435, 13948, 13951},
|
|
{13688, 13955, 13957},
|
|
{11694, 13961, 13962},
|
|
{5712, 13966, 13966},
|
|
{5991, 13970, 13972},
|
|
{13477, 13976, 13976},
|
|
{10213, 13987, 13987},
|
|
{11839, 13991, 13993},
|
|
{12272, 13997, 13997},
|
|
{6206, 14001, 14001},
|
|
{13179, 14006, 14007},
|
|
{2939, 14011, 14011},
|
|
{12972, 14016, 14017},
|
|
{13918, 14021, 14022},
|
|
{7436, 14026, 14027},
|
|
{7678, 14032, 14034},
|
|
{13586, 14040, 14040},
|
|
{13347, 14044, 14044},
|
|
{13109, 14048, 14051},
|
|
{9244, 14055, 14057},
|
|
{13315, 14061, 14061},
|
|
{13276, 14067, 14067},
|
|
{11435, 14073, 14074},
|
|
{13853, 14078, 14078},
|
|
{13452, 14082, 14082},
|
|
{14044, 14087, 14087},
|
|
{4440, 14091, 14095},
|
|
{4479, 14100, 14103},
|
|
{9395, 14107, 14109},
|
|
{6834, 14119, 14119},
|
|
{10458, 14123, 14124},
|
|
{1429, 14129, 14129},
|
|
{8443, 14135, 14135},
|
|
{10365, 14140, 14140},
|
|
{5267, 14145, 14145},
|
|
{11834, 14151, 14153},
|
|
}
|