vendor/github.com/golang/snappy/golden_test.go

   1 // Copyright 2016 The Snappy-Go Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style
   3 // license that can be found in the LICENSE file.
   4
   5 package snappy
   6
   7 // extendMatchGoldenTestCases is the i and j arguments, and the returned value,
   8 // for every extendMatch call issued when encoding the
   9 // testdata/Mark.Twain-Tom.Sawyer.txt file. It is used to benchmark the
  10 // extendMatch implementation.
  11 //
  12 // It was generated manually by adding some print statements to the (pure Go)
  13 // extendMatch implementation:
  14 //
  15 //      func extendMatch(src []byte, i, j int) int {
  16 //              i0, j0 := i, j
  17 //              for ; j < len(src) && src[i] == src[j]; i, j = i+1, j+1 {
  18 //              }
  19 //              println("{", i0, ",", j0, ",", j, "},")
  20 //              return j
  21 //      }
  22 //
  23 // and running "go test -test.run=EncodeGoldenInput -tags=noasm".
  24 var extendMatchGoldenTestCases = []struct {
  25         i, j, want int
  26 }{
  27         {11, 61, 62},
  28         {80, 81, 82},
  29         {86, 87, 101},
  30         {85, 133, 149},
  31         {152, 153, 162},
  32         {133, 168, 193},
  33         {168, 207, 225},
  34         {81, 255, 275},
  35         {278, 279, 283},
  36         {306, 417, 417},
  37         {373, 428, 430},
  38         {389, 444, 447},
  39         {474, 510, 512},
  40         {465, 533, 533},
  41         {47, 547, 547},
  42         {307, 551, 554},
  43         {420, 582, 587},
  44         {309, 604, 604},
  45         {604, 625, 625},
  46         {538, 629, 629},
  47         {328, 640, 640},
  48         {573, 645, 645},
  49         {319, 657, 657},
  50         {30, 664, 664},
  51         {45, 679, 680},
  52         {621, 684, 684},
  53         {376, 700, 700},
  54         {33, 707, 708},
  55         {601, 733, 733},
  56         {334, 744, 745},
  57         {625, 758, 759},
  58         {382, 763, 763},
  59         {550, 769, 771},
  60         {533, 789, 789},
  61         {804, 813, 813},
  62         {342, 841, 842},
  63         {742, 847, 847},
  64         {74, 852, 852},
  65         {810, 864, 864},
  66         {758, 868, 869},
  67         {714, 883, 883},
  68         {582, 889, 891},
  69         {61, 934, 935},
  70         {894, 942, 942},
  71         {939, 949, 949},
  72         {785, 956, 957},
  73         {886, 978, 978},
  74         {792, 998, 998},
  75         {998, 1005, 1005},
  76         {572, 1032, 1032},
  77         {698, 1051, 1053},
  78         {599, 1067, 1069},
  79         {1056, 1079, 1079},
  80         {942, 1089, 1090},
  81         {831, 1094, 1096},
  82         {1088, 1100, 1103},
  83         {732, 1113, 1114},
  84         {1037, 1118, 1118},
  85         {872, 1128, 1130},
  86         {1079, 1140, 1142},
  87         {332, 1162, 1162},
  88         {207, 1168, 1186},
  89         {1189, 1190, 1225},
  90         {105, 1229, 1230},
  91         {79, 1256, 1257},
  92         {1190, 1261, 1283},
  93         {255, 1306, 1306},
  94         {1319, 1339, 1358},
  95         {364, 1370, 1370},
  96         {955, 1378, 1380},
  97         {122, 1403, 1403},
  98         {1325, 1407, 1419},
  99         {664, 1423, 1424},
 100         {941, 1461, 1463},
 101         {867, 1477, 1478},
 102         {757, 1488, 1489},
 103         {1140, 1499, 1499},
 104         {31, 1506, 1506},
 105         {1487, 1510, 1512},
 106         {1089, 1520, 1521},
 107         {1467, 1525, 1529},
 108         {1394, 1537, 1537},
 109         {1499, 1541, 1541},
 110         {367, 1558, 1558},
 111         {1475, 1564, 1564},
 112         {1525, 1568, 1571},
 113         {1541, 1582, 1583},
 114         {864, 1587, 1588},
 115         {704, 1597, 1597},
 116         {336, 1602, 1602},
 117         {1383, 1613, 1613},
 118         {1498, 1617, 1618},
 119         {1051, 1623, 1625},
 120         {401, 1643, 1645},
 121         {1072, 1654, 1655},
 122         {1067, 1667, 1669},
 123         {699, 1673, 1674},
 124         {1587, 1683, 1684},
 125         {920, 1696, 1696},
 126         {1505, 1710, 1710},
 127         {1550, 1723, 1723},
 128         {996, 1727, 1727},
 129         {833, 1733, 1734},
 130         {1638, 1739, 1740},
 131         {1654, 1744, 1744},
 132         {753, 1761, 1761},
 133         {1548, 1773, 1773},
 134         {1568, 1777, 1780},
 135         {1683, 1793, 1794},
 136         {948, 1801, 1801},
 137         {1666, 1805, 1808},
 138         {1502, 1814, 1814},
 139         {1696, 1822, 1822},
 140         {502, 1836, 1837},
 141         {917, 1843, 1843},
 142         {1733, 1854, 1855},
 143         {970, 1859, 1859},
 144         {310, 1863, 1863},
 145         {657, 1872, 1872},
 146         {1005, 1876, 1876},
 147         {1662, 1880, 1880},
 148         {904, 1892, 1892},
 149         {1427, 1910, 1910},
 150         {1772, 1929, 1930},
 151         {1822, 1937, 1940},
 152         {1858, 1949, 1950},
 153         {1602, 1956, 1956},
 154         {1150, 1962, 1962},
 155         {1504, 1966, 1967},
 156         {51, 1971, 1971},
 157         {1605, 1979, 1979},
 158         {1458, 1983, 1988},
 159         {1536, 2001, 2006},
 160         {1373, 2014, 2018},
 161         {1494, 2025, 2025},
 162         {1667, 2029, 2031},
 163         {1592, 2035, 2035},
 164         {330, 2045, 2045},
 165         {1376, 2053, 2053},
 166         {1991, 2058, 2059},
 167         {1635, 2065, 2065},
 168         {1992, 2073, 2074},
 169         {2014, 2080, 2081},
 170         {1546, 2085, 2087},
 171         {59, 2099, 2099},
 172         {1996, 2106, 2106},
 173         {1836, 2110, 2110},
 174         {2068, 2114, 2114},
 175         {1338, 2122, 2122},
 176         {1562, 2128, 2130},
 177         {1934, 2134, 2134},
 178         {2114, 2141, 2142},
 179         {977, 2149, 2150},
 180         {956, 2154, 2155},
 181         {1407, 2162, 2162},
 182         {1773, 2166, 2166},
 183         {883, 2171, 2171},
 184         {623, 2175, 2178},
 185         {1520, 2191, 2192},
 186         {1162, 2200, 2200},
 187         {912, 2204, 2204},
 188         {733, 2208, 2208},
 189         {1777, 2212, 2215},
 190         {1532, 2219, 2219},
 191         {718, 2223, 2225},
 192         {2069, 2229, 2229},
 193         {2207, 2245, 2246},
 194         {1139, 2264, 2264},
 195         {677, 2274, 2274},
 196         {2099, 2279, 2279},
 197         {1863, 2283, 2283},
 198         {1966, 2305, 2306},
 199         {2279, 2313, 2313},
 200         {1628, 2319, 2319},
 201         {755, 2329, 2329},
 202         {1461, 2334, 2334},
 203         {2117, 2340, 2340},
 204         {2313, 2349, 2349},
 205         {1859, 2353, 2353},
 206         {1048, 2362, 2362},
 207         {895, 2366, 2366},
 208         {2278, 2373, 2373},
 209         {1884, 2377, 2377},
 210         {1402, 2387, 2392},
 211         {700, 2398, 2398},
 212         {1971, 2402, 2402},
 213         {2009, 2419, 2419},
 214         {1441, 2426, 2428},
 215         {2208, 2432, 2432},
 216         {2038, 2436, 2436},
 217         {932, 2443, 2443},
 218         {1759, 2447, 2448},
 219         {744, 2452, 2452},
 220         {1875, 2458, 2458},
 221         {2405, 2468, 2468},
 222         {1596, 2472, 2473},
 223         {1953, 2480, 2482},
 224         {736, 2487, 2487},
 225         {1913, 2493, 2493},
 226         {774, 2497, 2497},
 227         {1484, 2506, 2508},
 228         {2432, 2512, 2512},
 229         {752, 2519, 2519},
 230         {2497, 2523, 2523},
 231         {2409, 2528, 2529},
 232         {2122, 2533, 2533},
 233         {2396, 2537, 2538},
 234         {2410, 2547, 2548},
 235         {1093, 2555, 2560},
 236         {551, 2564, 2565},
 237         {2268, 2569, 2569},
 238         {1362, 2580, 2580},
 239         {1916, 2584, 2585},
 240         {994, 2589, 2590},
 241         {1979, 2596, 2596},
 242         {1041, 2602, 2602},
 243         {2104, 2614, 2616},
 244         {2609, 2621, 2628},
 245         {2329, 2638, 2638},
 246         {2211, 2657, 2658},
 247         {2638, 2662, 2667},
 248         {2578, 2676, 2679},
 249         {2153, 2685, 2686},
 250         {2608, 2696, 2697},
 251         {598, 2712, 2712},
 252         {2620, 2719, 2720},
 253         {1888, 2724, 2728},
 254         {2709, 2732, 2732},
 255         {1365, 2739, 2739},
 256         {784, 2747, 2748},
 257         {424, 2753, 2753},
 258         {2204, 2759, 2759},
 259         {812, 2768, 2769},
 260         {2455, 2773, 2773},
 261         {1722, 2781, 2781},
 262         {1917, 2792, 2792},
 263         {2705, 2799, 2799},
 264         {2685, 2806, 2807},
 265         {2742, 2811, 2811},
 266         {1370, 2818, 2818},
 267         {2641, 2830, 2830},
 268         {2512, 2837, 2837},
 269         {2457, 2841, 2841},
 270         {2756, 2845, 2845},
 271         {2719, 2855, 2855},
 272         {1423, 2859, 2859},
 273         {2849, 2863, 2865},
 274         {1474, 2871, 2871},
 275         {1161, 2875, 2876},
 276         {2282, 2880, 2881},
 277         {2746, 2888, 2888},
 278         {1783, 2893, 2893},
 279         {2401, 2899, 2900},
 280         {2632, 2920, 2923},
 281         {2422, 2928, 2930},
 282         {2715, 2939, 2939},
 283         {2162, 2943, 2943},
 284         {2859, 2947, 2947},
 285         {1910, 2951, 2951},
 286         {1431, 2955, 2956},
 287         {1439, 2964, 2964},
 288         {2501, 2968, 2969},
 289         {2029, 2973, 2976},
 290         {689, 2983, 2984},
 291         {1658, 2988, 2988},
 292         {1031, 2996, 2996},
 293         {2149, 3001, 3002},
 294         {25, 3009, 3013},
 295         {2964, 3023, 3023},
 296         {953, 3027, 3028},
 297         {2359, 3036, 3036},
 298         {3023, 3049, 3049},
 299         {2880, 3055, 3056},
 300         {2973, 3076, 3077},
 301         {2874, 3090, 3090},
 302         {2871, 3094, 3094},
 303         {2532, 3100, 3100},
 304         {2938, 3107, 3108},
 305         {350, 3115, 3115},
 306         {2196, 3119, 3121},
 307         {1133, 3127, 3129},
 308         {1797, 3134, 3150},
 309         {3032, 3158, 3158},
 310         {3016, 3172, 3172},
 311         {2533, 3179, 3179},
 312         {3055, 3187, 3188},
 313         {1384, 3192, 3193},
 314         {2799, 3199, 3199},
 315         {2126, 3203, 3207},
 316         {2334, 3215, 3215},
 317         {2105, 3220, 3221},
 318         {3199, 3229, 3229},
 319         {2891, 3233, 3233},
 320         {855, 3240, 3240},
 321         {1852, 3253, 3256},
 322         {2140, 3263, 3263},
 323         {1682, 3268, 3270},
 324         {3243, 3274, 3274},
 325         {924, 3279, 3279},
 326         {2212, 3283, 3283},
 327         {2596, 3287, 3287},
 328         {2999, 3291, 3291},
 329         {2353, 3295, 3295},
 330         {2480, 3302, 3304},
 331         {1959, 3308, 3311},
 332         {3000, 3318, 3318},
 333         {845, 3330, 3330},
 334         {2283, 3334, 3334},
 335         {2519, 3342, 3342},
 336         {3325, 3346, 3348},
 337         {2397, 3353, 3354},
 338         {2763, 3358, 3358},
 339         {3198, 3363, 3364},
 340         {3211, 3368, 3372},
 341         {2950, 3376, 3377},
 342         {3245, 3388, 3391},
 343         {2264, 3398, 3398},
 344         {795, 3403, 3403},
 345         {3287, 3407, 3407},
 346         {3358, 3411, 3411},
 347         {3317, 3415, 3415},
 348         {3232, 3431, 3431},
 349         {2128, 3435, 3437},
 350         {3236, 3441, 3441},
 351         {3398, 3445, 3446},
 352         {2814, 3450, 3450},
 353         {3394, 3466, 3466},
 354         {2425, 3470, 3470},
 355         {3330, 3476, 3476},
 356         {1612, 3480, 3480},
 357         {1004, 3485, 3486},
 358         {2732, 3490, 3490},
 359         {1117, 3494, 3495},
 360         {629, 3501, 3501},
 361         {3087, 3514, 3514},
 362         {684, 3518, 3518},
 363         {3489, 3522, 3524},
 364         {1760, 3529, 3529},
 365         {617, 3537, 3537},
 366         {3431, 3541, 3541},
 367         {997, 3547, 3547},
 368         {882, 3552, 3553},
 369         {2419, 3558, 3558},
 370         {610, 3562, 3563},
 371         {1903, 3567, 3569},
 372         {3005, 3575, 3575},
 373         {3076, 3585, 3586},
 374         {3541, 3590, 3590},
 375         {3490, 3594, 3594},
 376         {1899, 3599, 3599},
 377         {3545, 3606, 3606},
 378         {3290, 3614, 3615},
 379         {2056, 3619, 3620},
 380         {3556, 3625, 3625},
 381         {3294, 3632, 3633},
 382         {637, 3643, 3644},
 383         {3609, 3648, 3650},
 384         {3175, 3658, 3658},
 385         {3498, 3665, 3665},
 386         {1597, 3669, 3669},
 387         {1983, 3673, 3673},
 388         {3215, 3682, 3682},
 389         {3544, 3689, 3689},
 390         {3694, 3698, 3698},
 391         {3228, 3715, 3716},
 392         {2594, 3720, 3722},
 393         {3573, 3726, 3726},
 394         {2479, 3732, 3735},
 395         {3191, 3741, 3742},
 396         {1113, 3746, 3747},
 397         {2844, 3751, 3751},
 398         {3445, 3756, 3757},
 399         {3755, 3766, 3766},
 400         {3421, 3775, 3780},
 401         {3593, 3784, 3786},
 402         {3263, 3796, 3796},
 403         {3469, 3806, 3806},
 404         {2602, 3815, 3815},
 405         {723, 3819, 3821},
 406         {1608, 3826, 3826},
 407         {3334, 3830, 3830},
 408         {2198, 3835, 3835},
 409         {2635, 3840, 3840},
 410         {3702, 3852, 3853},
 411         {3406, 3858, 3859},
 412         {3681, 3867, 3870},
 413         {3407, 3880, 3880},
 414         {340, 3889, 3889},
 415         {3772, 3893, 3893},
 416         {593, 3897, 3897},
 417         {2563, 3914, 3916},
 418         {2981, 3929, 3929},
 419         {1835, 3933, 3934},
 420         {3906, 3951, 3951},
 421         {1459, 3958, 3958},
 422         {3889, 3974, 3974},
 423         {2188, 3982, 3982},
 424         {3220, 3986, 3987},
 425         {3585, 3991, 3993},
 426         {3712, 3997, 4001},
 427         {2805, 4007, 4007},
 428         {1879, 4012, 4013},
 429         {3618, 4018, 4018},
 430         {1145, 4031, 4032},
 431         {3901, 4037, 4037},
 432         {2772, 4046, 4047},
 433         {2802, 4053, 4054},
 434         {3299, 4058, 4058},
 435         {3725, 4066, 4066},
 436         {2271, 4070, 4070},
 437         {385, 4075, 4076},
 438         {3624, 4089, 4090},
 439         {3745, 4096, 4098},
 440         {1563, 4102, 4102},
 441         {4045, 4106, 4111},
 442         {3696, 4115, 4119},
 443         {3376, 4125, 4126},
 444         {1880, 4130, 4130},
 445         {2048, 4140, 4141},
 446         {2724, 4149, 4149},
 447         {1767, 4156, 4156},
 448         {2601, 4164, 4164},
 449         {2757, 4168, 4168},
 450         {3974, 4172, 4172},
 451         {3914, 4178, 4178},
 452         {516, 4185, 4185},
 453         {1032, 4189, 4190},
 454         {3462, 4197, 4198},
 455         {3805, 4202, 4203},
 456         {3910, 4207, 4212},
 457         {3075, 4221, 4221},
 458         {3756, 4225, 4226},
 459         {1872, 4236, 4237},
 460         {3844, 4241, 4241},
 461         {3991, 4245, 4249},
 462         {2203, 4258, 4258},
 463         {3903, 4267, 4268},
 464         {705, 4272, 4272},
 465         {1896, 4276, 4276},
 466         {1955, 4285, 4288},
 467         {3746, 4302, 4303},
 468         {2672, 4311, 4311},
 469         {3969, 4317, 4317},
 470         {3883, 4322, 4322},
 471         {1920, 4339, 4340},
 472         {3527, 4344, 4346},
 473         {1160, 4358, 4358},
 474         {3648, 4364, 4366},
 475         {2711, 4387, 4387},
 476         {3619, 4391, 4392},
 477         {1944, 4396, 4396},
 478         {4369, 4400, 4400},
 479         {2736, 4404, 4407},
 480         {2546, 4411, 4412},
 481         {4390, 4422, 4422},
 482         {3610, 4426, 4427},
 483         {4058, 4431, 4431},
 484         {4374, 4435, 4435},
 485         {3463, 4445, 4446},
 486         {1813, 4452, 4452},
 487         {3669, 4456, 4456},
 488         {3830, 4460, 4460},
 489         {421, 4464, 4465},
 490         {1719, 4471, 4471},
 491         {3880, 4475, 4475},
 492         {1834, 4485, 4487},
 493         {3590, 4491, 4491},
 494         {442, 4496, 4497},
 495         {4435, 4501, 4501},
 496         {3814, 4509, 4509},
 497         {987, 4513, 4513},
 498         {4494, 4518, 4521},
 499         {3218, 4526, 4529},
 500         {4221, 4537, 4537},
 501         {2778, 4543, 4545},
 502         {4422, 4552, 4552},
 503         {4031, 4558, 4559},
 504         {4178, 4563, 4563},
 505         {3726, 4567, 4574},
 506         {4027, 4578, 4578},
 507         {4339, 4585, 4587},
 508         {3796, 4592, 4595},
 509         {543, 4600, 4613},
 510         {2855, 4620, 4621},
 511         {2795, 4627, 4627},
 512         {3440, 4631, 4632},
 513         {4279, 4636, 4639},
 514         {4245, 4643, 4645},
 515         {4516, 4649, 4650},
 516         {3133, 4654, 4654},
 517         {4042, 4658, 4659},
 518         {3422, 4663, 4663},
 519         {4046, 4667, 4668},
 520         {4267, 4672, 4672},
 521         {4004, 4676, 4677},
 522         {2490, 4682, 4682},
 523         {2451, 4697, 4697},
 524         {3027, 4705, 4705},
 525         {4028, 4717, 4717},
 526         {4460, 4721, 4721},
 527         {2471, 4725, 4727},
 528         {3090, 4735, 4735},
 529         {3192, 4739, 4740},
 530         {3835, 4760, 4760},
 531         {4540, 4764, 4764},
 532         {4007, 4772, 4774},
 533         {619, 4784, 4784},
 534         {3561, 4789, 4791},
 535         {3367, 4805, 4805},
 536         {4490, 4810, 4811},
 537         {2402, 4815, 4815},
 538         {3352, 4819, 4822},
 539         {2773, 4828, 4828},
 540         {4552, 4832, 4832},
 541         {2522, 4840, 4841},
 542         {316, 4847, 4852},
 543         {4715, 4858, 4858},
 544         {2959, 4862, 4862},
 545         {4858, 4868, 4869},
 546         {2134, 4873, 4873},
 547         {578, 4878, 4878},
 548         {4189, 4889, 4890},
 549         {2229, 4894, 4894},
 550         {4501, 4898, 4898},
 551         {2297, 4903, 4903},
 552         {2933, 4909, 4909},
 553         {3008, 4913, 4913},
 554         {3153, 4917, 4917},
 555         {4819, 4921, 4921},
 556         {4921, 4932, 4933},
 557         {4920, 4944, 4945},
 558         {4814, 4954, 4955},
 559         {576, 4966, 4966},
 560         {1854, 4970, 4971},
 561         {1374, 4975, 4976},
 562         {3307, 4980, 4980},
 563         {974, 4984, 4988},
 564         {4721, 4992, 4992},
 565         {4898, 4996, 4996},
 566         {4475, 5006, 5006},
 567         {3819, 5012, 5012},
 568         {1948, 5019, 5021},
 569         {4954, 5027, 5029},
 570         {3740, 5038, 5040},
 571         {4763, 5044, 5045},
 572         {1936, 5051, 5051},
 573         {4844, 5055, 5060},
 574         {4215, 5069, 5072},
 575         {1146, 5076, 5076},
 576         {3845, 5082, 5082},
 577         {4865, 5090, 5090},
 578         {4624, 5094, 5094},
 579         {4815, 5098, 5098},
 580         {5006, 5105, 5105},
 581         {4980, 5109, 5109},
 582         {4795, 5113, 5115},
 583         {5043, 5119, 5121},
 584         {4782, 5129, 5129},
 585         {3826, 5139, 5139},
 586         {3876, 5156, 5156},
 587         {3111, 5167, 5171},
 588         {1470, 5177, 5177},
 589         {4431, 5181, 5181},
 590         {546, 5189, 5189},
 591         {4225, 5193, 5193},
 592         {1672, 5199, 5201},
 593         {4207, 5205, 5209},
 594         {4220, 5216, 5217},
 595         {4658, 5224, 5225},
 596         {3295, 5235, 5235},
 597         {2436, 5239, 5239},
 598         {2349, 5246, 5246},
 599         {2175, 5250, 5250},
 600         {5180, 5257, 5258},
 601         {3161, 5263, 5263},
 602         {5105, 5272, 5272},
 603         {3552, 5282, 5282},
 604         {4944, 5299, 5300},
 605         {4130, 5312, 5313},
 606         {902, 5323, 5323},
 607         {913, 5327, 5327},
 608         {2987, 5333, 5334},
 609         {5150, 5344, 5344},
 610         {5249, 5348, 5348},
 611         {1965, 5358, 5359},
 612         {5330, 5364, 5364},
 613         {2012, 5373, 5377},
 614         {712, 5384, 5386},
 615         {5235, 5390, 5390},
 616         {5044, 5398, 5399},
 617         {564, 5406, 5406},
 618         {39, 5410, 5410},
 619         {4642, 5422, 5425},
 620         {4421, 5437, 5438},
 621         {2347, 5449, 5449},
 622         {5333, 5453, 5454},
 623         {4136, 5458, 5459},
 624         {3793, 5468, 5468},
 625         {2243, 5480, 5480},
 626         {4889, 5492, 5493},
 627         {4295, 5504, 5504},
 628         {2785, 5511, 5511},
 629         {2377, 5518, 5518},
 630         {3662, 5525, 5525},
 631         {5097, 5529, 5530},
 632         {4781, 5537, 5538},
 633         {4697, 5547, 5548},
 634         {436, 5552, 5553},
 635         {5542, 5558, 5558},
 636         {3692, 5562, 5562},
 637         {2696, 5568, 5569},
 638         {4620, 5578, 5578},
 639         {2898, 5590, 5590},
 640         {5557, 5596, 5618},
 641         {2797, 5623, 5625},
 642         {2792, 5629, 5629},
 643         {5243, 5633, 5633},
 644         {5348, 5637, 5637},
 645         {5547, 5643, 5643},
 646         {4296, 5654, 5655},
 647         {5568, 5662, 5662},
 648         {3001, 5670, 5671},
 649         {3794, 5679, 5679},
 650         {4006, 5685, 5686},
 651         {4969, 5690, 5692},
 652         {687, 5704, 5704},
 653         {4563, 5708, 5708},
 654         {1723, 5738, 5738},
 655         {649, 5742, 5742},
 656         {5163, 5748, 5755},
 657         {3907, 5759, 5759},
 658         {3074, 5764, 5764},
 659         {5326, 5771, 5771},
 660         {2951, 5776, 5776},
 661         {5181, 5780, 5780},
 662         {2614, 5785, 5788},
 663         {4709, 5794, 5794},
 664         {2784, 5799, 5799},
 665         {5518, 5803, 5803},
 666         {4155, 5812, 5815},
 667         {921, 5819, 5819},
 668         {5224, 5823, 5824},
 669         {2853, 5830, 5836},
 670         {5776, 5840, 5840},
 671         {2955, 5844, 5845},
 672         {5745, 5853, 5853},
 673         {3291, 5857, 5857},
 674         {2988, 5861, 5861},
 675         {2647, 5865, 5865},
 676         {5398, 5869, 5870},
 677         {1085, 5874, 5875},
 678         {4906, 5881, 5881},
 679         {802, 5886, 5886},
 680         {5119, 5890, 5893},
 681         {5802, 5899, 5900},
 682         {3415, 5904, 5904},
 683         {5629, 5908, 5908},
 684         {3714, 5912, 5914},
 685         {5558, 5921, 5921},
 686         {2710, 5927, 5928},
 687         {1094, 5932, 5934},
 688         {2653, 5940, 5941},
 689         {4735, 5954, 5954},
 690         {5861, 5958, 5958},
 691         {1040, 5971, 5971},
 692         {5514, 5977, 5977},
 693         {5048, 5981, 5982},
 694         {5953, 5992, 5993},
 695         {3751, 5997, 5997},
 696         {4991, 6001, 6002},
 697         {5885, 6006, 6007},
 698         {5529, 6011, 6012},
 699         {4974, 6019, 6020},
 700         {5857, 6024, 6024},
 701         {3483, 6032, 6032},
 702         {3594, 6036, 6036},
 703         {1997, 6040, 6040},
 704         {5997, 6044, 6047},
 705         {5197, 6051, 6051},
 706         {1764, 6055, 6055},
 707         {6050, 6059, 6059},
 708         {5239, 6063, 6063},
 709         {5049, 6067, 6067},
 710         {5957, 6073, 6074},
 711         {1022, 6078, 6078},
 712         {3414, 6083, 6084},
 713         {3809, 6090, 6090},
 714         {4562, 6095, 6096},
 715         {5878, 6104, 6104},
 716         {594, 6108, 6109},
 717         {3353, 6115, 6116},
 718         {4992, 6120, 6121},
 719         {2424, 6125, 6125},
 720         {4484, 6130, 6130},
 721         {3900, 6134, 6135},
 722         {5793, 6139, 6141},
 723         {3562, 6145, 6145},
 724         {1438, 6152, 6153},
 725         {6058, 6157, 6158},
 726         {4411, 6162, 6163},
 727         {4590, 6167, 6171},
 728         {4748, 6175, 6175},
 729         {5517, 6183, 6184},
 730         {6095, 6191, 6192},
 731         {1471, 6203, 6203},
 732         {2643, 6209, 6210},
 733         {450, 6220, 6220},
 734         {5266, 6226, 6226},
 735         {2576, 6233, 6233},
 736         {2607, 6239, 6240},
 737         {5164, 6244, 6251},
 738         {6054, 6255, 6255},
 739         {1789, 6260, 6261},
 740         {5250, 6265, 6265},
 741         {6062, 6273, 6278},
 742         {5990, 6282, 6282},
 743         {3283, 6286, 6286},
 744         {5436, 6290, 6290},
 745         {6059, 6294, 6294},
 746         {5668, 6298, 6300},
 747         {3072, 6324, 6329},
 748         {3132, 6338, 6339},
 749         {3246, 6343, 6344},
 750         {28, 6348, 6349},
 751         {1503, 6353, 6355},
 752         {6067, 6359, 6359},
 753         {3384, 6364, 6364},
 754         {545, 6375, 6376},
 755         {5803, 6380, 6380},
 756         {5522, 6384, 6385},
 757         {5908, 6389, 6389},
 758         {2796, 6393, 6396},
 759         {4831, 6403, 6404},
 760         {6388, 6412, 6412},
 761         {6005, 6417, 6420},
 762         {4450, 6430, 6430},
 763         {4050, 6435, 6435},
 764         {5372, 6441, 6441},
 765         {4378, 6447, 6447},
 766         {6199, 6452, 6452},
 767         {3026, 6456, 6456},
 768         {2642, 6460, 6462},
 769         {6392, 6470, 6470},
 770         {6459, 6474, 6474},
 771         {2829, 6487, 6488},
 772         {2942, 6499, 6504},
 773         {5069, 6508, 6511},
 774         {5341, 6515, 6516},
 775         {5853, 6521, 6525},
 776         {6104, 6531, 6531},
 777         {5759, 6535, 6538},
 778         {4672, 6542, 6543},
 779         {2443, 6550, 6550},
 780         {5109, 6554, 6554},
 781         {6494, 6558, 6560},
 782         {6006, 6570, 6572},
 783         {6424, 6576, 6580},
 784         {4693, 6591, 6592},
 785         {6439, 6596, 6597},
 786         {3179, 6601, 6601},
 787         {5299, 6606, 6607},
 788         {4148, 6612, 6613},
 789         {3774, 6617, 6617},
 790         {3537, 6623, 6624},
 791         {4975, 6628, 6629},
 792         {3848, 6636, 6636},
 793         {856, 6640, 6640},
 794         {5724, 6645, 6645},
 795         {6632, 6651, 6651},
 796         {4630, 6656, 6658},
 797         {1440, 6662, 6662},
 798         {4281, 6666, 6667},
 799         {4302, 6671, 6672},
 800         {2589, 6676, 6677},
 801         {5647, 6681, 6687},
 802         {6082, 6691, 6693},
 803         {6144, 6698, 6698},
 804         {6103, 6709, 6710},
 805         {3710, 6714, 6714},
 806         {4253, 6718, 6721},
 807         {2467, 6730, 6730},
 808         {4778, 6734, 6734},
 809         {6528, 6738, 6738},
 810         {4358, 6747, 6747},
 811         {5889, 6753, 6753},
 812         {5193, 6757, 6757},
 813         {5797, 6761, 6761},
 814         {3858, 6765, 6766},
 815         {5951, 6776, 6776},
 816         {6487, 6781, 6782},
 817         {3282, 6786, 6787},
 818         {4667, 6797, 6799},
 819         {1927, 6803, 6806},
 820         {6583, 6810, 6810},
 821         {4937, 6814, 6814},
 822         {6099, 6824, 6824},
 823         {4415, 6835, 6836},
 824         {6332, 6840, 6841},
 825         {5160, 6850, 6850},
 826         {4764, 6854, 6854},
 827         {6814, 6858, 6859},
 828         {3018, 6864, 6864},
 829         {6293, 6868, 6869},
 830         {6359, 6877, 6877},
 831         {3047, 6884, 6886},
 832         {5262, 6890, 6891},
 833         {5471, 6900, 6900},
 834         {3268, 6910, 6912},
 835         {1047, 6916, 6916},
 836         {5904, 6923, 6923},
 837         {5798, 6933, 6938},
 838         {4149, 6942, 6942},
 839         {1821, 6946, 6946},
 840         {3599, 6952, 6952},
 841         {6470, 6957, 6957},
 842         {5562, 6961, 6961},
 843         {6268, 6965, 6967},
 844         {6389, 6971, 6971},
 845         {6596, 6975, 6976},
 846         {6553, 6980, 6981},
 847         {6576, 6985, 6989},
 848         {1375, 6993, 6993},
 849         {652, 6998, 6998},
 850         {4876, 7002, 7003},
 851         {5768, 7011, 7013},
 852         {3973, 7017, 7017},
 853         {6802, 7025, 7025},
 854         {6955, 7034, 7036},
 855         {6974, 7040, 7040},
 856         {5944, 7044, 7044},
 857         {6992, 7048, 7054},
 858         {6872, 7059, 7059},
 859         {2943, 7063, 7063},
 860         {6923, 7067, 7067},
 861         {5094, 7071, 7071},
 862         {4873, 7075, 7075},
 863         {5819, 7079, 7079},
 864         {5945, 7085, 7085},
 865         {1540, 7090, 7091},
 866         {2090, 7095, 7095},
 867         {5024, 7104, 7105},
 868         {6900, 7109, 7109},
 869         {6024, 7113, 7114},
 870         {6000, 7118, 7120},
 871         {2187, 7124, 7125},
 872         {6760, 7129, 7130},
 873         {5898, 7134, 7136},
 874         {7032, 7144, 7144},
 875         {4271, 7148, 7148},
 876         {3706, 7152, 7152},
 877         {6970, 7156, 7157},
 878         {7088, 7161, 7163},
 879         {2718, 7168, 7169},
 880         {5674, 7175, 7175},
 881         {4631, 7182, 7182},
 882         {7070, 7188, 7189},
 883         {6220, 7196, 7196},
 884         {3458, 7201, 7202},
 885         {2041, 7211, 7212},
 886         {1454, 7216, 7216},
 887         {5199, 7225, 7227},
 888         {3529, 7234, 7234},
 889         {6890, 7238, 7238},
 890         {3815, 7242, 7243},
 891         {5490, 7250, 7253},
 892         {6554, 7257, 7263},
 893         {5890, 7267, 7269},
 894         {6877, 7273, 7273},
 895         {4877, 7277, 7277},
 896         {2502, 7285, 7285},
 897         {1483, 7289, 7295},
 898         {7210, 7304, 7308},
 899         {6845, 7313, 7316},
 900         {7219, 7320, 7320},
 901         {7001, 7325, 7329},
 902         {6853, 7333, 7334},
 903         {6120, 7338, 7338},
 904         {6606, 7342, 7343},
 905         {7020, 7348, 7350},
 906         {3509, 7354, 7354},
 907         {7133, 7359, 7363},
 908         {3434, 7371, 7374},
 909         {2787, 7384, 7384},
 910         {7044, 7388, 7388},
 911         {6960, 7394, 7395},
 912         {6676, 7399, 7400},
 913         {7161, 7404, 7404},
 914         {7285, 7417, 7418},
 915         {4558, 7425, 7426},
 916         {4828, 7430, 7430},
 917         {6063, 7436, 7436},
 918         {3597, 7442, 7442},
 919         {914, 7446, 7446},
 920         {7320, 7452, 7454},
 921         {7267, 7458, 7460},
 922         {5076, 7464, 7464},
 923         {7430, 7468, 7469},
 924         {6273, 7473, 7474},
 925         {7440, 7478, 7487},
 926         {7348, 7491, 7494},
 927         {1021, 7510, 7510},
 928         {7473, 7515, 7515},
 929         {2823, 7519, 7519},
 930         {6264, 7527, 7527},
 931         {7302, 7531, 7531},
 932         {7089, 7535, 7535},
 933         {7342, 7540, 7541},
 934         {3688, 7547, 7551},
 935         {3054, 7558, 7560},
 936         {4177, 7566, 7567},
 937         {6691, 7574, 7575},
 938         {7156, 7585, 7586},
 939         {7147, 7590, 7592},
 940         {7407, 7598, 7598},
 941         {7403, 7602, 7603},
 942         {6868, 7607, 7607},
 943         {6636, 7611, 7611},
 944         {4805, 7617, 7617},
 945         {5779, 7623, 7623},
 946         {7063, 7627, 7627},
 947         {5079, 7632, 7632},
 948         {7377, 7637, 7637},
 949         {7337, 7641, 7642},
 950         {6738, 7655, 7655},
 951         {7338, 7659, 7659},
 952         {6541, 7669, 7671},
 953         {595, 7675, 7675},
 954         {7658, 7679, 7680},
 955         {7647, 7685, 7686},
 956         {2477, 7690, 7690},
 957         {5823, 7694, 7694},
 958         {4156, 7699, 7699},
 959         {5931, 7703, 7706},
 960         {6854, 7712, 7712},
 961         {4931, 7718, 7718},
 962         {6979, 7722, 7722},
 963         {5085, 7727, 7727},
 964         {6965, 7732, 7732},
 965         {7201, 7736, 7737},
 966         {3639, 7741, 7743},
 967         {7534, 7749, 7749},
 968         {4292, 7753, 7753},
 969         {3427, 7759, 7763},
 970         {7273, 7767, 7767},
 971         {940, 7778, 7778},
 972         {4838, 7782, 7785},
 973         {4216, 7790, 7792},
 974         {922, 7800, 7801},
 975         {7256, 7810, 7811},
 976         {7789, 7815, 7819},
 977         {7225, 7823, 7825},
 978         {7531, 7829, 7829},
 979         {6997, 7833, 7833},
 980         {7757, 7837, 7838},
 981         {4129, 7842, 7842},
 982         {7333, 7848, 7849},
 983         {6776, 7855, 7855},
 984         {7527, 7859, 7859},
 985         {4370, 7863, 7863},
 986         {4512, 7868, 7868},
 987         {5679, 7880, 7880},
 988         {3162, 7884, 7885},
 989         {3933, 7892, 7894},
 990         {7804, 7899, 7902},
 991         {6363, 7906, 7907},
 992         {7848, 7911, 7912},
 993         {5584, 7917, 7921},
 994         {874, 7926, 7926},
 995         {3342, 7930, 7930},
 996         {4507, 7935, 7937},
 997         {3672, 7943, 7944},
 998         {7911, 7948, 7949},
 999         {6402, 7956, 7956},
1000         {7940, 7960, 7960},
1001         {7113, 7964, 7964},
1002         {1073, 7968, 7968},
1003         {7740, 7974, 7974},
1004         {7601, 7978, 7982},
1005         {6797, 7987, 7988},
1006         {3528, 7994, 7995},
1007         {5483, 7999, 7999},
1008         {5717, 8011, 8011},
1009         {5480, 8017, 8017},
1010         {7770, 8023, 8030},
1011         {2452, 8034, 8034},
1012         {5282, 8047, 8047},
1013         {7967, 8051, 8051},
1014         {1128, 8058, 8066},
1015         {6348, 8070, 8070},
1016         {8055, 8077, 8077},
1017         {7925, 8081, 8086},
1018         {6810, 8090, 8090},
1019         {5051, 8101, 8101},
1020         {4696, 8109, 8110},
1021         {5129, 8119, 8119},
1022         {4449, 8123, 8123},
1023         {7222, 8127, 8127},
1024         {4649, 8131, 8134},
1025         {7994, 8138, 8138},
1026         {5954, 8148, 8148},
1027         {475, 8152, 8153},
1028         {7906, 8157, 8157},
1029         {7458, 8164, 8166},
1030         {7632, 8171, 8173},
1031         {3874, 8177, 8183},
1032         {4391, 8187, 8187},
1033         {561, 8191, 8191},
1034         {2417, 8195, 8195},
1035         {2357, 8204, 8204},
1036         {2269, 8216, 8218},
1037         {3968, 8222, 8222},
1038         {2200, 8226, 8227},
1039         {3453, 8247, 8247},
1040         {2439, 8251, 8252},
1041         {7175, 8257, 8257},
1042         {976, 8262, 8264},
1043         {4953, 8273, 8273},
1044         {4219, 8278, 8278},
1045         {6, 8285, 8291},
1046         {5703, 8295, 8296},
1047         {5272, 8300, 8300},
1048         {8037, 8304, 8304},
1049         {8186, 8314, 8314},
1050         {8304, 8318, 8318},
1051         {8051, 8326, 8326},
1052         {8318, 8330, 8330},
1053         {2671, 8334, 8335},
1054         {2662, 8339, 8339},
1055         {8081, 8349, 8350},
1056         {3328, 8356, 8356},
1057         {2879, 8360, 8362},
1058         {8050, 8370, 8371},
1059         {8330, 8375, 8376},
1060         {8375, 8386, 8386},
1061         {4961, 8390, 8390},
1062         {1017, 8403, 8405},
1063         {3533, 8416, 8416},
1064         {4555, 8422, 8422},
1065         {6445, 8426, 8426},
1066         {8169, 8432, 8432},
1067         {990, 8436, 8436},
1068         {4102, 8440, 8440},
1069         {7398, 8444, 8446},
1070         {3480, 8450, 8450},
1071         {6324, 8462, 8462},
1072         {7948, 8466, 8467},
1073         {5950, 8471, 8471},
1074         {5189, 8476, 8476},
1075         {4026, 8490, 8490},
1076         {8374, 8494, 8495},
1077         {4682, 8501, 8501},
1078         {7387, 8506, 8506},
1079         {8164, 8510, 8515},
1080         {4079, 8524, 8524},
1081         {8360, 8529, 8531},
1082         {7446, 8540, 8543},
1083         {7971, 8547, 8548},
1084         {4311, 8552, 8552},
1085         {5204, 8556, 8557},
1086         {7968, 8562, 8562},
1087         {7847, 8571, 8573},
1088         {8547, 8577, 8577},
1089         {5320, 8581, 8581},
1090         {8556, 8585, 8586},
1091         {8504, 8590, 8590},
1092         {7669, 8602, 8604},
1093         {5874, 8608, 8609},
1094         {5828, 8613, 8613},
1095         {7998, 8617, 8617},
1096         {8519, 8625, 8625},
1097         {7250, 8637, 8637},
1098         {426, 8641, 8641},
1099         {8436, 8645, 8645},
1100         {5986, 8649, 8656},
1101         {8157, 8660, 8660},
1102         {7182, 8665, 8665},
1103         {8421, 8675, 8675},
1104         {8509, 8681, 8681},
1105         {5137, 8688, 8689},
1106         {8625, 8694, 8695},
1107         {5228, 8701, 8702},
1108         {6661, 8714, 8714},
1109         {1010, 8719, 8719},
1110         {6648, 8723, 8723},
1111         {3500, 8728, 8728},
1112         {2442, 8735, 8735},
1113         {8494, 8740, 8741},
1114         {8171, 8753, 8755},
1115         {7242, 8763, 8764},
1116         {4739, 8768, 8769},
1117         {7079, 8773, 8773},
1118         {8386, 8777, 8777},
1119         {8624, 8781, 8787},
1120         {661, 8791, 8794},
1121         {8631, 8801, 8801},
1122         {7753, 8805, 8805},
1123         {4783, 8809, 8810},
1124         {1673, 8814, 8815},
1125         {6623, 8819, 8819},
1126         {4404, 8823, 8823},
1127         {8089, 8827, 8828},
1128         {8773, 8832, 8832},
1129         {5394, 8836, 8836},
1130         {6231, 8841, 8843},
1131         {1015, 8852, 8853},
1132         {6873, 8857, 8857},
1133         {6289, 8865, 8865},
1134         {8577, 8869, 8869},
1135         {8114, 8873, 8875},
1136         {8534, 8883, 8883},
1137         {3007, 8887, 8888},
1138         {8827, 8892, 8893},
1139         {4788, 8897, 8900},
1140         {5698, 8906, 8907},
1141         {7690, 8911, 8911},
1142         {6643, 8919, 8919},
1143         {7206, 8923, 8924},
1144         {7866, 8929, 8931},
1145         {8880, 8942, 8942},
1146         {8630, 8951, 8952},
1147         {6027, 8958, 8958},
1148         {7749, 8966, 8967},
1149         {4932, 8972, 8973},
1150         {8892, 8980, 8981},
1151         {634, 9003, 9003},
1152         {8109, 9007, 9008},
1153         {8777, 9012, 9012},
1154         {3981, 9016, 9017},
1155         {5723, 9025, 9025},
1156         {7662, 9034, 9038},
1157         {8955, 9042, 9042},
1158         {8070, 9060, 9062},
1159         {8910, 9066, 9066},
1160         {5363, 9070, 9071},
1161         {7699, 9075, 9076},
1162         {8991, 9081, 9081},
1163         {6850, 9085, 9085},
1164         {5811, 9092, 9094},
1165         {9079, 9098, 9102},
1166         {6456, 9106, 9106},
1167         {2259, 9111, 9111},
1168         {4752, 9116, 9116},
1169         {9060, 9120, 9123},
1170         {8090, 9127, 9127},
1171         {5305, 9131, 9132},
1172         {8623, 9137, 9137},
1173         {7417, 9141, 9141},
1174         {6564, 9148, 9149},
1175         {9126, 9157, 9158},
1176         {4285, 9169, 9170},
1177         {8698, 9174, 9174},
1178         {8869, 9178, 9178},
1179         {2572, 9182, 9183},
1180         {6482, 9188, 9190},
1181         {9181, 9201, 9201},
1182         {2968, 9208, 9209},
1183         {2506, 9213, 9215},
1184         {9127, 9219, 9219},
1185         {7910, 9225, 9227},
1186         {5422, 9235, 9239},
1187         {8813, 9244, 9246},
1188         {9178, 9250, 9250},
1189         {8748, 9255, 9255},
1190         {7354, 9265, 9265},
1191         {7767, 9269, 9269},
1192         {7710, 9281, 9283},
1193         {8826, 9288, 9290},
1194         {861, 9295, 9295},
1195         {4482, 9301, 9301},
1196         {9264, 9305, 9306},
1197         {8805, 9310, 9310},
1198         {4995, 9314, 9314},
1199         {6730, 9318, 9318},
1200         {7457, 9328, 9328},
1201         {2547, 9335, 9336},
1202         {6298, 9340, 9343},
1203         {9305, 9353, 9354},
1204         {9269, 9358, 9358},
1205         {6338, 9370, 9370},
1206         {7289, 9376, 9379},
1207         {5780, 9383, 9383},
1208         {7607, 9387, 9387},
1209         {2065, 9392, 9392},
1210         {7238, 9396, 9396},
1211         {8856, 9400, 9400},
1212         {8069, 9412, 9413},
1213         {611, 9420, 9420},
1214         {7071, 9424, 9424},
1215         {3089, 9430, 9431},
1216         {7117, 9435, 9438},
1217         {1976, 9445, 9445},
1218         {6640, 9449, 9449},
1219         {5488, 9453, 9453},
1220         {8739, 9457, 9459},
1221         {5958, 9466, 9466},
1222         {7985, 9470, 9470},
1223         {8735, 9475, 9475},
1224         {5009, 9479, 9479},
1225         {8073, 9483, 9484},
1226         {2328, 9490, 9491},
1227         {9250, 9495, 9495},
1228         {4043, 9502, 9502},
1229         {7712, 9506, 9506},
1230         {9012, 9510, 9510},
1231         {9028, 9514, 9515},
1232         {2190, 9521, 9524},
1233         {9029, 9528, 9528},
1234         {9519, 9532, 9532},
1235         {9495, 9536, 9536},
1236         {8527, 9540, 9540},
1237         {2137, 9550, 9550},
1238         {8419, 9557, 9557},
1239         {9383, 9561, 9562},
1240         {8970, 9575, 9578},
1241         {8911, 9582, 9582},
1242         {7828, 9595, 9596},
1243         {6180, 9600, 9600},
1244         {8738, 9604, 9607},
1245         {7540, 9611, 9612},
1246         {9599, 9616, 9618},
1247         {9187, 9623, 9623},
1248         {9294, 9628, 9629},
1249         {4536, 9639, 9639},
1250         {3867, 9643, 9643},
1251         {6305, 9648, 9648},
1252         {1617, 9654, 9657},
1253         {5762, 9666, 9666},
1254         {8314, 9670, 9670},
1255         {9666, 9674, 9675},
1256         {9506, 9679, 9679},
1257         {9669, 9685, 9686},
1258         {9683, 9690, 9690},
1259         {8763, 9697, 9698},
1260         {7468, 9702, 9702},
1261         {460, 9707, 9707},
1262         {3115, 9712, 9712},
1263         {9424, 9716, 9717},
1264         {7359, 9721, 9724},
1265         {7547, 9728, 9729},
1266         {7151, 9733, 9738},
1267         {7627, 9742, 9742},
1268         {2822, 9747, 9747},
1269         {8247, 9751, 9753},
1270         {9550, 9758, 9758},
1271         {7585, 9762, 9763},
1272         {1002, 9767, 9767},
1273         {7168, 9772, 9773},
1274         {6941, 9777, 9780},
1275         {9728, 9784, 9786},
1276         {9770, 9792, 9796},
1277         {6411, 9801, 9802},
1278         {3689, 9806, 9808},
1279         {9575, 9814, 9816},
1280         {7025, 9820, 9821},
1281         {2776, 9826, 9826},
1282         {9806, 9830, 9830},
1283         {9820, 9834, 9835},
1284         {9800, 9839, 9847},
1285         {9834, 9851, 9852},
1286         {9829, 9856, 9862},
1287         {1400, 9866, 9866},
1288         {3197, 9870, 9871},
1289         {9851, 9875, 9876},
1290         {9742, 9883, 9884},
1291         {3362, 9888, 9889},
1292         {9883, 9893, 9893},
1293         {5711, 9899, 9910},
1294         {7806, 9915, 9915},
1295         {9120, 9919, 9919},
1296         {9715, 9925, 9934},
1297         {2580, 9938, 9938},
1298         {4907, 9942, 9944},
1299         {6239, 9953, 9954},
1300         {6961, 9963, 9963},
1301         {5295, 9967, 9968},
1302         {1915, 9972, 9973},
1303         {3426, 9983, 9985},
1304         {9875, 9994, 9995},
1305         {6942, 9999, 9999},
1306         {6621, 10005, 10005},
1307         {7589, 10010, 10012},
1308         {9286, 10020, 10020},
1309         {838, 10024, 10024},
1310         {9980, 10028, 10031},
1311         {9994, 10035, 10041},
1312         {2702, 10048, 10051},
1313         {2621, 10059, 10059},
1314         {10054, 10065, 10065},
1315         {8612, 10073, 10074},
1316         {7033, 10078, 10078},
1317         {916, 10082, 10082},
1318         {10035, 10086, 10087},
1319         {8613, 10097, 10097},
1320         {9919, 10107, 10108},
1321         {6133, 10114, 10115},
1322         {10059, 10119, 10119},
1323         {10065, 10126, 10127},
1324         {7732, 10131, 10131},
1325         {7155, 10135, 10136},
1326         {6728, 10140, 10140},
1327         {6162, 10144, 10145},
1328         {4724, 10150, 10150},
1329         {1665, 10154, 10154},
1330         {10126, 10163, 10163},
1331         {9783, 10168, 10168},
1332         {1715, 10172, 10173},
1333         {7152, 10177, 10182},
1334         {8760, 10187, 10187},
1335         {7829, 10191, 10191},
1336         {9679, 10196, 10196},
1337         {9369, 10201, 10201},
1338         {2928, 10206, 10208},
1339         {6951, 10214, 10217},
1340         {5633, 10221, 10221},
1341         {7199, 10225, 10225},
1342         {10118, 10230, 10231},
1343         {9999, 10235, 10236},
1344         {10045, 10240, 10249},
1345         {5565, 10256, 10256},
1346         {9866, 10261, 10261},
1347         {10163, 10268, 10268},
1348         {9869, 10272, 10272},
1349         {9789, 10276, 10283},
1350         {10235, 10287, 10288},
1351         {10214, 10298, 10299},
1352         {6971, 10303, 10303},
1353         {3346, 10307, 10307},
1354         {10185, 10311, 10312},
1355         {9993, 10318, 10320},
1356         {2779, 10332, 10334},
1357         {1726, 10338, 10338},
1358         {741, 10354, 10360},
1359         {10230, 10372, 10373},
1360         {10260, 10384, 10385},
1361         {10131, 10389, 10398},
1362         {6946, 10406, 10409},
1363         {10158, 10413, 10420},
1364         {10123, 10424, 10424},
1365         {6157, 10428, 10429},
1366         {4518, 10434, 10434},
1367         {9893, 10438, 10438},
1368         {9865, 10442, 10446},
1369         {7558, 10454, 10454},
1370         {10434, 10460, 10460},
1371         {10064, 10466, 10468},
1372         {2703, 10472, 10474},
1373         {9751, 10478, 10479},
1374         {6714, 10485, 10485},
1375         {8020, 10490, 10490},
1376         {10303, 10494, 10494},
1377         {3521, 10499, 10500},
1378         {9281, 10513, 10515},
1379         {6028, 10519, 10523},
1380         {9387, 10527, 10527},
1381         {7614, 10531, 10531},
1382         {3611, 10536, 10536},
1383         {9162, 10540, 10540},
1384         {10081, 10546, 10547},
1385         {10034, 10560, 10562},
1386         {6726, 10567, 10571},
1387         {8237, 10575, 10575},
1388         {10438, 10579, 10583},
1389         {10140, 10587, 10587},
1390         {5784, 10592, 10592},
1391         {9819, 10597, 10600},
1392         {10567, 10604, 10608},
1393         {9335, 10613, 10613},
1394         {8300, 10617, 10617},
1395         {10575, 10621, 10621},
1396         {9678, 10625, 10626},
1397         {9962, 10632, 10633},
1398         {10535, 10637, 10638},
1399         {8199, 10642, 10642},
1400         {10372, 10647, 10648},
1401         {10637, 10656, 10657},
1402         {10579, 10667, 10668},
1403         {10465, 10677, 10680},
1404         {6702, 10684, 10685},
1405         {10073, 10691, 10692},
1406         {4505, 10696, 10697},
1407         {9042, 10701, 10701},
1408         {6460, 10705, 10706},
1409         {10010, 10714, 10716},
1410         {10656, 10720, 10722},
1411         {7282, 10727, 10729},
1412         {2327, 10733, 10733},
1413         {2491, 10740, 10741},
1414         {10704, 10748, 10750},
1415         {6465, 10754, 10754},
1416         {10647, 10758, 10759},
1417         {10424, 10763, 10763},
1418         {10748, 10776, 10776},
1419         {10546, 10780, 10781},
1420         {10758, 10785, 10786},
1421         {10287, 10790, 10797},
1422         {10785, 10801, 10807},
1423         {10240, 10811, 10826},
1424         {9509, 10830, 10830},
1425         {2579, 10836, 10838},
1426         {9801, 10843, 10845},
1427         {7555, 10849, 10850},
1428         {10776, 10860, 10865},
1429         {8023, 10869, 10869},
1430         {10046, 10876, 10884},
1431         {10253, 10888, 10892},
1432         {9941, 10897, 10897},
1433         {7898, 10901, 10905},
1434         {6725, 10909, 10913},
1435         {10757, 10921, 10923},
1436         {10160, 10931, 10931},
1437         {10916, 10935, 10942},
1438         {10261, 10946, 10946},
1439         {10318, 10952, 10954},
1440         {5911, 10959, 10961},
1441         {10801, 10965, 10966},
1442         {10946, 10970, 10977},
1443         {10592, 10982, 10984},
1444         {9913, 10988, 10990},
1445         {8510, 10994, 10996},
1446         {9419, 11000, 11001},
1447         {6765, 11006, 11007},
1448         {10725, 11011, 11011},
1449         {5537, 11017, 11019},
1450         {9208, 11024, 11025},
1451         {5850, 11030, 11030},
1452         {9610, 11034, 11036},
1453         {8846, 11041, 11047},
1454         {9697, 11051, 11051},
1455         {1622, 11055, 11058},
1456         {2370, 11062, 11062},
1457         {8393, 11067, 11067},
1458         {9756, 11071, 11071},
1459         {10172, 11076, 11076},
1460         {27, 11081, 11081},
1461         {7357, 11087, 11092},
1462         {8151, 11104, 11106},
1463         {6115, 11110, 11110},
1464         {10667, 11114, 11115},
1465         {11099, 11121, 11123},
1466         {10705, 11127, 11127},
1467         {8938, 11131, 11131},
1468         {11114, 11135, 11136},
1469         {1390, 11140, 11141},
1470         {10964, 11146, 11148},
1471         {11140, 11152, 11155},
1472         {9813, 11159, 11166},
1473         {624, 11171, 11172},
1474         {3118, 11177, 11179},
1475         {11029, 11184, 11186},
1476         {10186, 11190, 11190},
1477         {10306, 11196, 11196},
1478         {8665, 11201, 11201},
1479         {7382, 11205, 11205},
1480         {1100, 11210, 11210},
1481         {2337, 11216, 11217},
1482         {1609, 11221, 11223},
1483         {5763, 11228, 11229},
1484         {5220, 11233, 11233},
1485         {11061, 11241, 11241},
1486         {10617, 11246, 11246},
1487         {11190, 11250, 11251},
1488         {10144, 11255, 11256},
1489         {11232, 11260, 11260},
1490         {857, 11264, 11265},
1491         {10994, 11269, 11271},
1492         {3879, 11280, 11281},
1493         {11184, 11287, 11289},
1494         {9611, 11293, 11295},
1495         {11250, 11299, 11299},
1496         {4495, 11304, 11304},
1497         {7574, 11308, 11309},
1498         {9814, 11315, 11317},
1499         {1713, 11321, 11324},
1500         {1905, 11328, 11328},
1501         {8745, 11335, 11340},
1502         {8883, 11351, 11351},
1503         {8119, 11358, 11358},
1504         {1842, 11363, 11364},
1505         {11237, 11368, 11368},
1506         {8814, 11373, 11374},
1507         {5684, 11378, 11378},
1508         {11011, 11382, 11382},
1509         {6520, 11389, 11389},
1510         {11183, 11393, 11396},
1511         {1790, 11404, 11404},
1512         {9536, 11408, 11408},
1513         {11298, 11418, 11419},
1514         {3929, 11425, 11425},
1515         {5588, 11429, 11429},
1516         {8476, 11436, 11436},
1517         {4096, 11440, 11442},
1518         {11084, 11446, 11454},
1519         {10603, 11458, 11463},
1520         {7332, 11472, 11474},
1521         {7611, 11483, 11486},
1522         {4836, 11490, 11491},
1523         {10024, 11495, 11495},
1524         {4917, 11501, 11506},
1525         {6486, 11510, 11512},
1526         {11269, 11516, 11518},
1527         {3603, 11522, 11525},
1528         {11126, 11535, 11535},
1529         {11418, 11539, 11541},
1530         {11408, 11545, 11545},
1531         {9021, 11549, 11552},
1532         {6745, 11557, 11557},
1533         {5118, 11561, 11564},
1534         {7590, 11568, 11569},
1535         {4426, 11573, 11578},
1536         {9790, 11582, 11583},
1537         {6447, 11587, 11587},
1538         {10229, 11591, 11594},
1539         {10457, 11598, 11598},
1540         {10168, 11604, 11604},
1541         {10543, 11608, 11608},
1542         {7404, 11612, 11612},
1543         {11127, 11616, 11616},
1544         {3337, 11620, 11620},
1545         {11501, 11624, 11628},
1546         {4543, 11633, 11635},
1547         {8449, 11642, 11642},
1548         {4943, 11646, 11648},
1549         {10526, 11652, 11654},
1550         {11620, 11659, 11659},
1551         {8927, 11664, 11669},
1552         {532, 11673, 11673},
1553         {10513, 11677, 11679},
1554         {10428, 11683, 11683},
1555         {10999, 11689, 11690},
1556         {9469, 11695, 11695},
1557         {3606, 11699, 11699},
1558         {9560, 11708, 11709},
1559         {1564, 11714, 11714},
1560         {10527, 11718, 11718},
1561         {3071, 11723, 11726},
1562         {11590, 11731, 11732},
1563         {6605, 11737, 11737},
1564         {11624, 11741, 11745},
1565         {7822, 11749, 11752},
1566         {5269, 11757, 11758},
1567         {1339, 11767, 11767},
1568         {1363, 11771, 11773},
1569         {3704, 11777, 11777},
1570         {10952, 11781, 11783},
1571         {6764, 11793, 11795},
1572         {8675, 11800, 11800},
1573         {9963, 11804, 11804},
1574         {11573, 11808, 11809},
1575         {9548, 11813, 11813},
1576         {11591, 11817, 11818},
1577         {11446, 11822, 11822},
1578         {9224, 11828, 11828},
1579         {3158, 11836, 11836},
1580         {10830, 11840, 11840},
1581         {7234, 11846, 11846},
1582         {11299, 11850, 11850},
1583         {11544, 11854, 11855},
1584         {11498, 11859, 11859},
1585         {10993, 11865, 11868},
1586         {9720, 11872, 11878},
1587         {10489, 11882, 11890},
1588         {11712, 11898, 11904},
1589         {11516, 11908, 11910},
1590         {11568, 11914, 11915},
1591         {10177, 11919, 11924},
1592         {11363, 11928, 11929},
1593         {10494, 11933, 11933},
1594         {9870, 11937, 11938},
1595         {9427, 11942, 11942},
1596         {11481, 11949, 11949},
1597         {6030, 11955, 11957},
1598         {11718, 11961, 11961},
1599         {10531, 11965, 11983},
1600         {5126, 11987, 11987},
1601         {7515, 11991, 11991},
1602         {10646, 11996, 11997},
1603         {2947, 12001, 12001},
1604         {9582, 12009, 12010},
1605         {6202, 12017, 12018},
1606         {11714, 12022, 12022},
1607         {9235, 12033, 12037},
1608         {9721, 12041, 12044},
1609         {11932, 12051, 12052},
1610         {12040, 12056, 12056},
1611         {12051, 12060, 12060},
1612         {11601, 12066, 12066},
1613         {8426, 12070, 12070},
1614         {4053, 12077, 12077},
1615         {4262, 12081, 12081},
1616         {9761, 12086, 12088},
1617         {11582, 12092, 12093},
1618         {10965, 12097, 12098},
1619         {11803, 12103, 12104},
1620         {11933, 12108, 12109},
1621         {10688, 12117, 12117},
1622         {12107, 12125, 12126},
1623         {6774, 12130, 12132},
1624         {6286, 12137, 12137},
1625         {9543, 12141, 12141},
1626         {12097, 12145, 12146},
1627         {10790, 12150, 12150},
1628         {10125, 12154, 12156},
1629         {12125, 12164, 12164},
1630         {12064, 12168, 12172},
1631         {10811, 12178, 12188},
1632         {12092, 12192, 12193},
1633         {10058, 12197, 12198},
1634         {11611, 12211, 12212},
1635         {3459, 12216, 12216},
1636         {10291, 12225, 12228},
1637         {12191, 12232, 12234},
1638         {12145, 12238, 12238},
1639         {12001, 12242, 12250},
1640         {3840, 12255, 12255},
1641         {12216, 12259, 12259},
1642         {674, 12272, 12272},
1643         {12141, 12276, 12276},
1644         {10766, 12280, 12280},
1645         {11545, 12284, 12284},
1646         {6496, 12290, 12290},
1647         {11381, 12294, 12295},
1648         {603, 12302, 12303},
1649         {12276, 12308, 12308},
1650         {11850, 12313, 12314},
1651         {565, 12319, 12319},
1652         {9351, 12324, 12324},
1653         {11822, 12328, 12328},
1654         {2691, 12333, 12334},
1655         {11840, 12338, 12338},
1656         {11070, 12343, 12343},
1657         {9510, 12347, 12347},
1658         {11024, 12352, 12353},
1659         {7173, 12359, 12359},
1660         {517, 12363, 12363},
1661         {6311, 12367, 12368},
1662         {11367, 12372, 12373},
1663         {12008, 12377, 12377},
1664         {11372, 12382, 12384},
1665         {11358, 12391, 12392},
1666         {11382, 12396, 12396},
1667         {6882, 12400, 12401},
1668         {11246, 12405, 12405},
1669         {8359, 12409, 12412},
1670         {10154, 12418, 12418},
1671         {12016, 12425, 12426},
1672         {8972, 12434, 12435},
1673         {10478, 12439, 12440},
1674         {12395, 12449, 12449},
1675         {11612, 12454, 12454},
1676         {12347, 12458, 12458},
1677         {10700, 12466, 12467},
1678         {3637, 12471, 12476},
1679         {1042, 12480, 12481},
1680         {6747, 12488, 12488},
1681         {12396, 12492, 12493},
1682         {9420, 12497, 12497},
1683         {11285, 12501, 12510},
1684         {4470, 12515, 12515},
1685         {9374, 12519, 12519},
1686         {11293, 12528, 12528},
1687         {2058, 12534, 12535},
1688         {6521, 12539, 12539},
1689         {12492, 12543, 12543},
1690         {3043, 12547, 12547},
1691         {2982, 12551, 12553},
1692         {11030, 12557, 12563},
1693         {7636, 12568, 12568},
1694         {9639, 12572, 12572},
1695         {12543, 12576, 12576},
1696         {5989, 12580, 12583},
1697         {11051, 12587, 12587},
1698         {1061, 12592, 12594},
1699         {12313, 12599, 12601},
1700         {11846, 12605, 12605},
1701         {12576, 12609, 12609},
1702         {11040, 12618, 12625},
1703         {12479, 12629, 12629},
1704         {6903, 12633, 12633},
1705         {12322, 12639, 12639},
1706         {12253, 12643, 12645},
1707         {5594, 12651, 12651},
1708         {12522, 12655, 12655},
1709         {11703, 12659, 12659},
1710         {1377, 12665, 12665},
1711         {8022, 12669, 12669},
1712         {12280, 12674, 12674},
1713         {9023, 12680, 12681},
1714         {12328, 12685, 12685},
1715         {3085, 12689, 12693},
1716         {4700, 12698, 12698},
1717         {10224, 12702, 12702},
1718         {8781, 12706, 12706},
1719         {1651, 12710, 12710},
1720         {12458, 12714, 12714},
1721         {12005, 12718, 12721},
1722         {11908, 12725, 12726},
1723         {8202, 12733, 12733},
1724         {11708, 12739, 12740},
1725         {12599, 12744, 12745},
1726         {12284, 12749, 12749},
1727         {5285, 12756, 12756},
1728         {12055, 12775, 12777},
1729         {6919, 12782, 12782},
1730         {12242, 12786, 12786},
1731         {12009, 12790, 12790},
1732         {9628, 12794, 12796},
1733         {11354, 12801, 12802},
1734         {10225, 12806, 12807},
1735         {579, 12813, 12813},
1736         {8935, 12817, 12822},
1737         {8753, 12827, 12829},
1738         {11006, 12835, 12835},
1739         {858, 12841, 12845},
1740         {476, 12849, 12849},
1741         {7667, 12854, 12854},
1742         {12760, 12860, 12871},
1743         {11677, 12875, 12877},
1744         {12714, 12881, 12881},
1745         {12731, 12885, 12890},
1746         {7108, 12894, 12896},
1747         {1165, 12900, 12900},
1748         {4021, 12906, 12906},
1749         {10829, 12910, 12911},
1750         {12331, 12915, 12915},
1751         {8887, 12919, 12921},
1752         {11639, 12925, 12925},
1753         {7964, 12929, 12929},
1754         {12528, 12937, 12937},
1755         {8148, 12941, 12941},
1756         {12770, 12948, 12950},
1757         {12609, 12954, 12954},
1758         {12685, 12958, 12958},
1759         {2803, 12962, 12962},
1760         {9561, 12966, 12966},
1761         {6671, 12972, 12973},
1762         {12056, 12977, 12977},
1763         {6380, 12981, 12981},
1764         {12048, 12985, 12985},
1765         {11961, 12989, 12993},
1766         {3368, 12997, 12999},
1767         {6634, 13004, 13004},
1768         {6775, 13009, 13010},
1769         {12136, 13014, 13019},
1770         {10341, 13023, 13023},
1771         {13002, 13027, 13027},
1772         {10587, 13031, 13031},
1773         {10307, 13035, 13035},
1774         {12736, 13039, 13039},
1775         {12744, 13043, 13044},
1776         {6175, 13048, 13048},
1777         {9702, 13053, 13054},
1778         {662, 13059, 13061},
1779         {12718, 13065, 13068},
1780         {12893, 13072, 13075},
1781         {8299, 13086, 13091},
1782         {12604, 13095, 13096},
1783         {12848, 13100, 13101},
1784         {12749, 13105, 13105},
1785         {12526, 13109, 13114},
1786         {9173, 13122, 13122},
1787         {12769, 13128, 13128},
1788         {13038, 13132, 13132},
1789         {12725, 13136, 13137},
1790         {12639, 13146, 13146},
1791         {9711, 13150, 13151},
1792         {12137, 13155, 13155},
1793         {13039, 13159, 13159},
1794         {4681, 13163, 13164},
1795         {12954, 13168, 13168},
1796         {13158, 13175, 13176},
1797         {13105, 13180, 13180},
1798         {10754, 13184, 13184},
1799         {13167, 13188, 13188},
1800         {12658, 13192, 13192},
1801         {4294, 13199, 13200},
1802         {11682, 13204, 13205},
1803         {11695, 13209, 13209},
1804         {11076, 13214, 13214},
1805         {12232, 13218, 13218},
1806         {9399, 13223, 13224},
1807         {12880, 13228, 13229},
1808         {13048, 13234, 13234},
1809         {9701, 13238, 13239},
1810         {13209, 13243, 13243},
1811         {3658, 13248, 13248},
1812         {3698, 13252, 13254},
1813         {12237, 13260, 13260},
1814         {8872, 13266, 13266},
1815         {12957, 13272, 13273},
1816         {1393, 13281, 13281},
1817         {2013, 13285, 13288},
1818         {4244, 13296, 13299},
1819         {9428, 13303, 13303},
1820         {12702, 13307, 13307},
1821         {13078, 13311, 13311},
1822         {6071, 13315, 13315},
1823         {3061, 13319, 13319},
1824         {2051, 13324, 13324},
1825         {11560, 13328, 13331},
1826         {6584, 13336, 13336},
1827         {8482, 13340, 13340},
1828         {5331, 13344, 13344},
1829         {4171, 13348, 13348},
1830         {8501, 13352, 13352},
1831         {9219, 13356, 13356},
1832         {9473, 13360, 13363},
1833         {12881, 13367, 13367},
1834         {13065, 13371, 13375},
1835         {2979, 13379, 13384},
1836         {1518, 13388, 13388},
1837         {11177, 13392, 13392},
1838         {9457, 13398, 13398},
1839         {12293, 13407, 13410},
1840         {3697, 13414, 13417},
1841         {10338, 13425, 13425},
1842         {13367, 13429, 13429},
1843         {11074, 13433, 13437},
1844         {4201, 13441, 13443},
1845         {1812, 13447, 13448},
1846         {13360, 13452, 13456},
1847         {13188, 13463, 13463},
1848         {9732, 13470, 13470},
1849         {11332, 13477, 13477},
1850         {9918, 13487, 13487},
1851         {6337, 13497, 13497},
1852         {13429, 13501, 13501},
1853         {11413, 13505, 13505},
1854         {4685, 13512, 13513},
1855         {13136, 13517, 13519},
1856         {7416, 13528, 13530},
1857         {12929, 13534, 13534},
1858         {11110, 13539, 13539},
1859         {11521, 13543, 13543},
1860         {12825, 13553, 13553},
1861         {13447, 13557, 13558},
1862         {12299, 13562, 13563},
1863         {9003, 13570, 13570},
1864         {12500, 13577, 13577},
1865         {13501, 13581, 13581},
1866         {9392, 13586, 13586},
1867         {12454, 13590, 13590},
1868         {6189, 13595, 13595},
1869         {13053, 13599, 13599},
1870         {11881, 13604, 13604},
1871         {13159, 13608, 13608},
1872         {4894, 13612, 13612},
1873         {13221, 13621, 13621},
1874         {8950, 13625, 13625},
1875         {13533, 13629, 13629},
1876         {9633, 13633, 13633},
1877         {7892, 13637, 13639},
1878         {13581, 13643, 13643},
1879         {13616, 13647, 13649},
1880         {12794, 13653, 13654},
1881         {8919, 13659, 13659},
1882         {9674, 13663, 13663},
1883         {13577, 13668, 13668},
1884         {12966, 13672, 13672},
1885         {12659, 13676, 13683},
1886         {6124, 13688, 13688},
1887         {9225, 13693, 13695},
1888         {11833, 13702, 13702},
1889         {12904, 13709, 13717},
1890         {13647, 13721, 13722},
1891         {11687, 13726, 13727},
1892         {12434, 13731, 13732},
1893         {12689, 13736, 13742},
1894         {13168, 13746, 13746},
1895         {6151, 13751, 13752},
1896         {11821, 13756, 13757},
1897         {6467, 13764, 13764},
1898         {5730, 13769, 13769},
1899         {5136, 13780, 13780},
1900         {724, 13784, 13785},
1901         {13517, 13789, 13791},
1902         {640, 13795, 13796},
1903         {7721, 13800, 13802},
1904         {11121, 13806, 13807},
1905         {5791, 13811, 13815},
1906         {12894, 13819, 13819},
1907         {11100, 13824, 13824},
1908         {7011, 13830, 13830},
1909         {7129, 13834, 13837},
1910         {13833, 13841, 13841},
1911         {11276, 13847, 13847},
1912         {13621, 13853, 13853},
1913         {13589, 13862, 13863},
1914         {12989, 13867, 13867},
1915         {12789, 13871, 13871},
1916         {1239, 13875, 13875},
1917         {4675, 13879, 13881},
1918         {4686, 13885, 13885},
1919         {707, 13889, 13889},
1920         {5449, 13897, 13898},
1921         {13867, 13902, 13903},
1922         {10613, 13908, 13908},
1923         {13789, 13912, 13914},
1924         {4451, 13918, 13919},
1925         {9200, 13924, 13924},
1926         {2011, 13930, 13930},
1927         {11433, 13934, 13936},
1928         {4695, 13942, 13943},
1929         {9435, 13948, 13951},
1930         {13688, 13955, 13957},
1931         {11694, 13961, 13962},
1932         {5712, 13966, 13966},
1933         {5991, 13970, 13972},
1934         {13477, 13976, 13976},
1935         {10213, 13987, 13987},
1936         {11839, 13991, 13993},
1937         {12272, 13997, 13997},
1938         {6206, 14001, 14001},
1939         {13179, 14006, 14007},
1940         {2939, 14011, 14011},
1941         {12972, 14016, 14017},
1942         {13918, 14021, 14022},
1943         {7436, 14026, 14027},
1944         {7678, 14032, 14034},
1945         {13586, 14040, 14040},
1946         {13347, 14044, 14044},
1947         {13109, 14048, 14051},
1948         {9244, 14055, 14057},
1949         {13315, 14061, 14061},
1950         {13276, 14067, 14067},
1951         {11435, 14073, 14074},
1952         {13853, 14078, 14078},
1953         {13452, 14082, 14082},
1954         {14044, 14087, 14087},
1955         {4440, 14091, 14095},
1956         {4479, 14100, 14103},
1957         {9395, 14107, 14109},
1958         {6834, 14119, 14119},
1959         {10458, 14123, 14124},
1960         {1429, 14129, 14129},
1961         {8443, 14135, 14135},
1962         {10365, 14140, 14140},
1963         {5267, 14145, 14145},
1964         {11834, 14151, 14153},
1965 }