Source file src/github.com/golang/snappy/golden_test.go

Documentation: github.com/golang/snappy

     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/Isaac.Newton-Opticks.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  // encodeBlock implementation (in encode_other.go) to replace the inlined
    14  // version of extendMatch.
    15  //
    16  //      s += 4
    17  //      s0 := s
    18  //      for i := candidate + 4; s < len(src) && src[i] == src[s]; i, s = i+1, s+1 {
    19  //      }
    20  //      println("{", candidate + 4, ",", s0, ",", s, "},")
    21  //
    22  // and running "go test -test.run=EncodeGoldenInput -tags=noasm".
    23  var extendMatchGoldenTestCases = []struct {
    24  	i, j, want int
    25  }{
    26  	{571, 627, 627},
    27  	{220, 644, 645},
    28  	{99, 649, 649},
    29  	{536, 653, 656},
    30  	{643, 671, 673},
    31  	{676, 732, 733},
    32  	{732, 751, 752},
    33  	{67, 768, 772},
    34  	{93, 780, 780},
    35  	{199, 788, 788},
    36  	{487, 792, 796},
    37  	{699, 826, 826},
    38  	{698, 838, 838},
    39  	{697, 899, 901},
    40  	{847, 911, 912},
    41  	{37, 923, 923},
    42  	{833, 928, 928},
    43  	{69, 941, 943},
    44  	{323, 948, 948},
    45  	{671, 955, 957},
    46  	{920, 973, 974},
    47  	{935, 979, 983},
    48  	{750, 997, 999},
    49  	{841, 1014, 1014},
    50  	{928, 1053, 1053},
    51  	{854, 1057, 1060},
    52  	{755, 1072, 1072},
    53  	{838, 1094, 1097},
    54  	{1022, 1106, 1106},
    55  	{1085, 1114, 1114},
    56  	{955, 1128, 1130},
    57  	{814, 1134, 1135},
    58  	{1063, 1145, 1147},
    59  	{918, 1161, 1162},
    60  	{815, 1195, 1196},
    61  	{1128, 1207, 1209},
    62  	{1170, 1225, 1225},
    63  	{897, 1236, 1242},
    64  	{193, 1255, 1262},
    65  	{644, 1266, 1267},
    66  	{784, 1274, 1282},
    67  	{227, 1287, 1289},
    68  	{1161, 1294, 1295},
    69  	{923, 1299, 1299},
    70  	{1195, 1303, 1303},
    71  	{718, 1334, 1339},
    72  	{805, 1350, 1350},
    73  	{874, 1357, 1357},
    74  	{1318, 1362, 1362},
    75  	{994, 1372, 1373},
    76  	{90, 1387, 1387},
    77  	{1053, 1399, 1400},
    78  	{1094, 1417, 1417},
    79  	{1250, 1445, 1445},
    80  	{1285, 1449, 1453},
    81  	{806, 1457, 1461},
    82  	{895, 1472, 1472},
    83  	{1236, 1481, 1488},
    84  	{1266, 1495, 1496},
    85  	{921, 1508, 1509},
    86  	{940, 1522, 1522},
    87  	{1541, 1558, 1559},
    88  	{788, 1582, 1582},
    89  	{1298, 1590, 1590},
    90  	{1361, 1594, 1595},
    91  	{910, 1599, 1601},
    92  	{720, 1605, 1605},
    93  	{1399, 1615, 1616},
    94  	{736, 1629, 1629},
    95  	{1078, 1634, 1638},
    96  	{677, 1645, 1645},
    97  	{757, 1650, 1655},
    98  	{1294, 1659, 1663},
    99  	{1119, 1677, 1684},
   100  	{995, 1688, 1688},
   101  	{1357, 1695, 1696},
   102  	{1169, 1700, 1721},
   103  	{808, 1725, 1727},
   104  	{1390, 1732, 1732},
   105  	{1513, 1736, 1736},
   106  	{1315, 1740, 1740},
   107  	{685, 1748, 1750},
   108  	{899, 1754, 1760},
   109  	{1598, 1764, 1767},
   110  	{1386, 1782, 1783},
   111  	{1465, 1787, 1787},
   112  	{1014, 1791, 1791},
   113  	{1724, 1800, 1805},
   114  	{1166, 1811, 1811},
   115  	{1659, 1823, 1824},
   116  	{1218, 1829, 1843},
   117  	{695, 1847, 1850},
   118  	{1175, 1855, 1857},
   119  	{860, 1876, 1878},
   120  	{1799, 1892, 1892},
   121  	{1319, 1896, 1896},
   122  	{1691, 1900, 1900},
   123  	{1378, 1904, 1904},
   124  	{1495, 1912, 1912},
   125  	{1588, 1917, 1921},
   126  	{679, 1925, 1928},
   127  	{1398, 1935, 1936},
   128  	{1551, 1941, 1942},
   129  	{1612, 1946, 1950},
   130  	{1814, 1959, 1959},
   131  	{1853, 1965, 1966},
   132  	{1307, 1983, 1986},
   133  	{1695, 1990, 1991},
   134  	{905, 1995, 1995},
   135  	{1057, 1999, 2002},
   136  	{1431, 2006, 2007},
   137  	{848, 2018, 2018},
   138  	{1064, 2022, 2023},
   139  	{1151, 2027, 2027},
   140  	{1071, 2050, 2050},
   141  	{1478, 2057, 2057},
   142  	{1911, 2065, 2066},
   143  	{1306, 2070, 2074},
   144  	{2035, 2085, 2085},
   145  	{1188, 2100, 2100},
   146  	{11, 2117, 2118},
   147  	{1725, 2122, 2126},
   148  	{991, 2130, 2130},
   149  	{1786, 2139, 2141},
   150  	{737, 2153, 2154},
   151  	{1481, 2161, 2164},
   152  	{1990, 2173, 2173},
   153  	{2057, 2185, 2185},
   154  	{1881, 2200, 2200},
   155  	{2171, 2205, 2207},
   156  	{1412, 2215, 2216},
   157  	{2210, 2220, 2220},
   158  	{799, 2230, 2230},
   159  	{2103, 2234, 2234},
   160  	{2195, 2238, 2240},
   161  	{1935, 2244, 2245},
   162  	{2220, 2249, 2249},
   163  	{726, 2256, 2256},
   164  	{2188, 2262, 2266},
   165  	{2215, 2270, 2272},
   166  	{2122, 2276, 2278},
   167  	{1110, 2282, 2283},
   168  	{1369, 2287, 2287},
   169  	{724, 2294, 2294},
   170  	{1626, 2300, 2300},
   171  	{2138, 2306, 2309},
   172  	{709, 2313, 2316},
   173  	{1558, 2327, 2327},
   174  	{2109, 2333, 2333},
   175  	{2173, 2354, 2354},
   176  	{2152, 2362, 2367},
   177  	{2065, 2371, 2373},
   178  	{1692, 2377, 2380},
   179  	{819, 2384, 2386},
   180  	{2270, 2393, 2395},
   181  	{1787, 2399, 2400},
   182  	{1989, 2405, 2405},
   183  	{1225, 2414, 2414},
   184  	{2330, 2418, 2418},
   185  	{986, 2424, 2425},
   186  	{1899, 2429, 2431},
   187  	{1070, 2436, 2440},
   188  	{1038, 2450, 2450},
   189  	{1365, 2457, 2457},
   190  	{1983, 2461, 2462},
   191  	{1025, 2469, 2469},
   192  	{2354, 2476, 2476},
   193  	{2457, 2482, 2482},
   194  	{5, 2493, 2494},
   195  	{2234, 2498, 2498},
   196  	{2352, 2514, 2516},
   197  	{2353, 2539, 2540},
   198  	{1594, 2544, 2546},
   199  	{2113, 2550, 2551},
   200  	{2303, 2556, 2557},
   201  	{2429, 2561, 2563},
   202  	{2512, 2568, 2568},
   203  	{1739, 2572, 2572},
   204  	{1396, 2583, 2587},
   205  	{1854, 2593, 2593},
   206  	{2345, 2601, 2602},
   207  	{2536, 2606, 2612},
   208  	{2176, 2617, 2633},
   209  	{2421, 2637, 2637},
   210  	{1645, 2641, 2641},
   211  	{800, 2645, 2647},
   212  	{804, 2654, 2661},
   213  	{687, 2665, 2665},
   214  	{1668, 2669, 2669},
   215  	{1065, 2673, 2673},
   216  	{2027, 2677, 2677},
   217  	{2312, 2685, 2691},
   218  	{2371, 2695, 2697},
   219  	{2453, 2701, 2702},
   220  	{2479, 2711, 2711},
   221  	{2399, 2715, 2715},
   222  	{1018, 2720, 2723},
   223  	{1457, 2727, 2727},
   224  	{2376, 2732, 2732},
   225  	{1387, 2744, 2744},
   226  	{2641, 2748, 2748},
   227  	{2476, 2755, 2755},
   228  	{2460, 2761, 2765},
   229  	{2006, 2769, 2769},
   230  	{2773, 2774, 2809},
   231  	{2769, 2818, 2818},
   232  	{134, 2835, 2835},
   233  	{472, 2847, 2850},
   234  	{206, 2856, 2856},
   235  	{1072, 2860, 2863},
   236  	{801, 2867, 2868},
   237  	{787, 2875, 2883},
   238  	{2560, 2897, 2901},
   239  	{2744, 2909, 2913},
   240  	{2211, 2919, 2919},
   241  	{2150, 2927, 2927},
   242  	{2598, 2931, 2931},
   243  	{2761, 2936, 2938},
   244  	{1312, 2942, 2943},
   245  	{997, 2948, 2950},
   246  	{2637, 2957, 2961},
   247  	{2872, 2971, 2975},
   248  	{1687, 2983, 2984},
   249  	{2755, 2994, 2994},
   250  	{1644, 3000, 3001},
   251  	{1634, 3005, 3008},
   252  	{2555, 3012, 3014},
   253  	{2947, 3018, 3032},
   254  	{1649, 3036, 3051},
   255  	{691, 3055, 3055},
   256  	{2714, 3059, 3061},
   257  	{2498, 3069, 3069},
   258  	{3012, 3074, 3076},
   259  	{2543, 3087, 3089},
   260  	{2983, 3097, 3098},
   261  	{1011, 3111, 3111},
   262  	{1552, 3115, 3115},
   263  	{1427, 3124, 3124},
   264  	{1331, 3133, 3134},
   265  	{1012, 3138, 3140},
   266  	{2194, 3148, 3148},
   267  	{2561, 3152, 3155},
   268  	{3054, 3159, 3161},
   269  	{3065, 3169, 3173},
   270  	{2346, 3177, 3177},
   271  	{2606, 3181, 3185},
   272  	{2994, 3204, 3206},
   273  	{1329, 3210, 3211},
   274  	{1797, 3215, 3215},
   275  	{12, 3221, 3221},
   276  	{1013, 3227, 3228},
   277  	{3168, 3233, 3238},
   278  	{3194, 3247, 3247},
   279  	{3097, 3256, 3257},
   280  	{1219, 3265, 3271},
   281  	{1753, 3275, 3277},
   282  	{1550, 3282, 3292},
   283  	{1182, 3296, 3303},
   284  	{2818, 3307, 3307},
   285  	{2774, 3311, 3346},
   286  	{2812, 3350, 3356},
   287  	{2829, 3367, 3367},
   288  	{2835, 3373, 3387},
   289  	{2860, 3393, 3395},
   290  	{2971, 3405, 3409},
   291  	{1433, 3413, 3414},
   292  	{3405, 3424, 3428},
   293  	{2957, 3432, 3432},
   294  	{2889, 3455, 3460},
   295  	{1213, 3472, 3474},
   296  	{947, 3478, 3479},
   297  	{2747, 3490, 3491},
   298  	{3036, 3495, 3497},
   299  	{2873, 3501, 3504},
   300  	{2979, 3508, 3509},
   301  	{684, 3514, 3516},
   302  	{275, 3524, 3525},
   303  	{3221, 3529, 3529},
   304  	{2748, 3533, 3533},
   305  	{2708, 3546, 3546},
   306  	{1104, 3550, 3550},
   307  	{766, 3554, 3556},
   308  	{1672, 3560, 3561},
   309  	{1155, 3565, 3568},
   310  	{3417, 3572, 3572},
   311  	{2393, 3581, 3583},
   312  	{3533, 3587, 3587},
   313  	{762, 3591, 3591},
   314  	{820, 3604, 3605},
   315  	{3436, 3609, 3615},
   316  	{2497, 3624, 3625},
   317  	{3454, 3630, 3633},
   318  	{2276, 3642, 3644},
   319  	{823, 3649, 3649},
   320  	{648, 3660, 3662},
   321  	{2049, 3666, 3669},
   322  	{3111, 3680, 3680},
   323  	{2048, 3698, 3702},
   324  	{2313, 3706, 3708},
   325  	{2060, 3717, 3717},
   326  	{2695, 3722, 3724},
   327  	{1114, 3733, 3733},
   328  	{1385, 3738, 3738},
   329  	{3477, 3744, 3748},
   330  	{3512, 3753, 3753},
   331  	{2859, 3764, 3764},
   332  	{3210, 3773, 3774},
   333  	{1334, 3778, 3780},
   334  	{3103, 3785, 3785},
   335  	{3018, 3789, 3792},
   336  	{3432, 3802, 3802},
   337  	{3587, 3806, 3806},
   338  	{2148, 3819, 3819},
   339  	{1581, 3827, 3829},
   340  	{3485, 3833, 3838},
   341  	{2727, 3845, 3845},
   342  	{1303, 3849, 3849},
   343  	{2287, 3853, 3855},
   344  	{2133, 3859, 3862},
   345  	{3806, 3866, 3866},
   346  	{3827, 3878, 3880},
   347  	{3845, 3884, 3884},
   348  	{810, 3888, 3888},
   349  	{3866, 3892, 3892},
   350  	{3537, 3896, 3898},
   351  	{2905, 3903, 3907},
   352  	{3666, 3911, 3913},
   353  	{3455, 3920, 3924},
   354  	{3310, 3930, 3934},
   355  	{3311, 3939, 3942},
   356  	{3938, 3946, 3967},
   357  	{2340, 3977, 3977},
   358  	{3542, 3983, 3983},
   359  	{1629, 3992, 3992},
   360  	{3733, 3998, 3999},
   361  	{3816, 4003, 4007},
   362  	{2017, 4018, 4019},
   363  	{883, 4027, 4029},
   364  	{1178, 4033, 4033},
   365  	{3977, 4039, 4039},
   366  	{3069, 4044, 4045},
   367  	{3802, 4049, 4053},
   368  	{3875, 4061, 4066},
   369  	{1628, 4070, 4071},
   370  	{1113, 4075, 4076},
   371  	{1975, 4081, 4081},
   372  	{2414, 4087, 4087},
   373  	{4012, 4096, 4096},
   374  	{4017, 4102, 4104},
   375  	{2169, 4112, 4112},
   376  	{3998, 4123, 4124},
   377  	{2909, 4130, 4130},
   378  	{4032, 4136, 4136},
   379  	{4016, 4140, 4145},
   380  	{3565, 4154, 4157},
   381  	{3892, 4161, 4161},
   382  	{3878, 4168, 4169},
   383  	{3928, 4173, 4215},
   384  	{144, 4238, 4239},
   385  	{4243, 4244, 4244},
   386  	{3307, 4255, 4255},
   387  	{1971, 4261, 4268},
   388  	{3393, 4272, 4274},
   389  	{3591, 4278, 4278},
   390  	{1962, 4282, 4282},
   391  	{1688, 4286, 4286},
   392  	{3911, 4298, 4300},
   393  	{780, 4304, 4305},
   394  	{2842, 4309, 4309},
   395  	{4048, 4314, 4315},
   396  	{3770, 4321, 4321},
   397  	{2244, 4331, 4331},
   398  	{3148, 4336, 4336},
   399  	{1548, 4340, 4340},
   400  	{3209, 4345, 4351},
   401  	{768, 4355, 4355},
   402  	{1903, 4362, 4362},
   403  	{2212, 4366, 4366},
   404  	{1494, 4378, 4380},
   405  	{1183, 4385, 4391},
   406  	{3778, 4403, 4405},
   407  	{3642, 4409, 4411},
   408  	{2593, 4419, 4419},
   409  	{4160, 4430, 4431},
   410  	{3204, 4441, 4441},
   411  	{2875, 4450, 4451},
   412  	{1265, 4455, 4457},
   413  	{3927, 4466, 4466},
   414  	{416, 4479, 4480},
   415  	{4474, 4489, 4490},
   416  	{4135, 4502, 4504},
   417  	{4314, 4511, 4518},
   418  	{1870, 4529, 4529},
   419  	{3188, 4534, 4535},
   420  	{777, 4541, 4542},
   421  	{2370, 4549, 4552},
   422  	{1795, 4556, 4558},
   423  	{1529, 4577, 4577},
   424  	{4298, 4581, 4584},
   425  	{4336, 4596, 4596},
   426  	{1423, 4602, 4602},
   427  	{1004, 4608, 4608},
   428  	{4580, 4615, 4615},
   429  	{4003, 4619, 4623},
   430  	{4593, 4627, 4628},
   431  	{2680, 4644, 4644},
   432  	{2259, 4650, 4650},
   433  	{2544, 4654, 4655},
   434  	{4320, 4660, 4661},
   435  	{4511, 4672, 4673},
   436  	{4545, 4677, 4680},
   437  	{4570, 4689, 4696},
   438  	{2505, 4700, 4700},
   439  	{4605, 4706, 4712},
   440  	{3243, 4717, 4722},
   441  	{4581, 4726, 4734},
   442  	{3852, 4747, 4748},
   443  	{4653, 4756, 4758},
   444  	{4409, 4762, 4764},
   445  	{3165, 4774, 4774},
   446  	{2100, 4780, 4780},
   447  	{3722, 4784, 4786},
   448  	{4756, 4798, 4811},
   449  	{4422, 4815, 4815},
   450  	{3124, 4819, 4819},
   451  	{714, 4825, 4827},
   452  	{4699, 4832, 4832},
   453  	{4725, 4836, 4839},
   454  	{4588, 4844, 4845},
   455  	{1469, 4849, 4849},
   456  	{4743, 4853, 4863},
   457  	{4836, 4869, 4869},
   458  	{2682, 4873, 4873},
   459  	{4774, 4877, 4877},
   460  	{4738, 4881, 4882},
   461  	{4784, 4886, 4892},
   462  	{2759, 4896, 4896},
   463  	{4795, 4900, 4900},
   464  	{4378, 4905, 4905},
   465  	{1050, 4909, 4912},
   466  	{4634, 4917, 4918},
   467  	{4654, 4922, 4923},
   468  	{1542, 4930, 4930},
   469  	{4658, 4934, 4937},
   470  	{4762, 4941, 4943},
   471  	{4751, 4949, 4950},
   472  	{4286, 4961, 4961},
   473  	{1377, 4965, 4965},
   474  	{4587, 4971, 4973},
   475  	{2575, 4977, 4978},
   476  	{4922, 4982, 4983},
   477  	{4941, 4987, 4992},
   478  	{4790, 4996, 5000},
   479  	{4070, 5004, 5005},
   480  	{4538, 5009, 5012},
   481  	{4659, 5016, 5018},
   482  	{4926, 5024, 5034},
   483  	{3884, 5038, 5042},
   484  	{3853, 5046, 5048},
   485  	{4752, 5053, 5053},
   486  	{4954, 5057, 5057},
   487  	{4877, 5063, 5063},
   488  	{4977, 5067, 5067},
   489  	{2418, 5071, 5071},
   490  	{4968, 5075, 5075},
   491  	{681, 5079, 5080},
   492  	{5074, 5086, 5087},
   493  	{5016, 5091, 5092},
   494  	{2196, 5096, 5097},
   495  	{1782, 5107, 5108},
   496  	{5061, 5112, 5113},
   497  	{5096, 5117, 5118},
   498  	{1563, 5127, 5128},
   499  	{4872, 5134, 5135},
   500  	{1324, 5139, 5139},
   501  	{5111, 5144, 5148},
   502  	{4987, 5152, 5154},
   503  	{5075, 5158, 5175},
   504  	{4685, 5181, 5181},
   505  	{4961, 5185, 5185},
   506  	{1564, 5192, 5192},
   507  	{2982, 5198, 5199},
   508  	{917, 5203, 5203},
   509  	{4419, 5208, 5208},
   510  	{4507, 5213, 5213},
   511  	{5083, 5217, 5217},
   512  	{5091, 5221, 5222},
   513  	{3373, 5226, 5226},
   514  	{4475, 5231, 5231},
   515  	{4496, 5238, 5239},
   516  	{1255, 5243, 5244},
   517  	{3680, 5254, 5256},
   518  	{5157, 5260, 5261},
   519  	{4508, 5265, 5274},
   520  	{4946, 5279, 5279},
   521  	{1860, 5285, 5285},
   522  	{889, 5289, 5289},
   523  	{785, 5293, 5297},
   524  	{2290, 5303, 5303},
   525  	{2931, 5310, 5310},
   526  	{5021, 5316, 5316},
   527  	{2571, 5323, 5323},
   528  	{5071, 5327, 5327},
   529  	{5084, 5331, 5333},
   530  	{4614, 5342, 5343},
   531  	{4899, 5347, 5347},
   532  	{4441, 5351, 5351},
   533  	{5327, 5355, 5358},
   534  	{5063, 5362, 5362},
   535  	{3974, 5367, 5367},
   536  	{5316, 5382, 5382},
   537  	{2528, 5389, 5389},
   538  	{1391, 5393, 5393},
   539  	{2582, 5397, 5401},
   540  	{3074, 5405, 5407},
   541  	{4010, 5412, 5412},
   542  	{5382, 5420, 5420},
   543  	{5243, 5429, 5442},
   544  	{5265, 5447, 5447},
   545  	{5278, 5451, 5475},
   546  	{5319, 5479, 5483},
   547  	{1158, 5488, 5488},
   548  	{5423, 5494, 5496},
   549  	{5355, 5500, 5503},
   550  	{5283, 5507, 5509},
   551  	{5340, 5513, 5515},
   552  	{3841, 5530, 5530},
   553  	{1069, 5535, 5537},
   554  	{4970, 5541, 5544},
   555  	{5386, 5548, 5550},
   556  	{2916, 5556, 5563},
   557  	{4023, 5570, 5570},
   558  	{1215, 5576, 5576},
   559  	{4665, 5580, 5581},
   560  	{4402, 5585, 5586},
   561  	{5446, 5592, 5593},
   562  	{5330, 5597, 5597},
   563  	{5221, 5601, 5602},
   564  	{5300, 5606, 5608},
   565  	{4626, 5612, 5614},
   566  	{3660, 5618, 5618},
   567  	{2405, 5623, 5623},
   568  	{3486, 5628, 5633},
   569  	{3143, 5645, 5645},
   570  	{5606, 5650, 5650},
   571  	{5158, 5654, 5654},
   572  	{5378, 5658, 5658},
   573  	{4057, 5663, 5663},
   574  	{5107, 5670, 5670},
   575  	{4886, 5674, 5676},
   576  	{5654, 5680, 5680},
   577  	{5307, 5684, 5687},
   578  	{2449, 5691, 5691},
   579  	{5331, 5695, 5696},
   580  	{3215, 5700, 5700},
   581  	{5447, 5704, 5704},
   582  	{5650, 5708, 5708},
   583  	{4965, 5712, 5715},
   584  	{102, 5722, 5723},
   585  	{2753, 5733, 5735},
   586  	{5695, 5739, 5744},
   587  	{2182, 5748, 5748},
   588  	{4903, 5753, 5753},
   589  	{5507, 5757, 5759},
   590  	{5347, 5763, 5778},
   591  	{5548, 5782, 5784},
   592  	{5392, 5788, 5798},
   593  	{2304, 5803, 5803},
   594  	{4643, 5810, 5810},
   595  	{5703, 5815, 5817},
   596  	{4355, 5821, 5821},
   597  	{5429, 5825, 5826},
   598  	{3624, 5830, 5831},
   599  	{5711, 5836, 5836},
   600  	{5580, 5840, 5844},
   601  	{1909, 5848, 5848},
   602  	{4933, 5853, 5857},
   603  	{5100, 5863, 5870},
   604  	{4904, 5875, 5876},
   605  	{4529, 5883, 5883},
   606  	{3220, 5892, 5893},
   607  	{1533, 5897, 5897},
   608  	{4780, 5904, 5904},
   609  	{3101, 5908, 5909},
   610  	{5627, 5914, 5920},
   611  	{4166, 5926, 5929},
   612  	{5596, 5933, 5934},
   613  	{5680, 5938, 5938},
   614  	{4849, 5942, 5942},
   615  	{5739, 5948, 5949},
   616  	{5533, 5961, 5961},
   617  	{849, 5972, 5972},
   618  	{3752, 5989, 5990},
   619  	{2158, 5996, 5996},
   620  	{4982, 6000, 6001},
   621  	{5601, 6005, 6007},
   622  	{5101, 6014, 6021},
   623  	{4726, 6025, 6025},
   624  	{5720, 6036, 6039},
   625  	{4534, 6045, 6046},
   626  	{5763, 6050, 6050},
   627  	{5914, 6057, 6063},
   628  	{1492, 6067, 6067},
   629  	{2160, 6075, 6078},
   630  	{4619, 6083, 6083},
   631  	{893, 6092, 6093},
   632  	{5948, 6097, 6097},
   633  	{2556, 6105, 6106},
   634  	{1615, 6110, 6110},
   635  	{1156, 6114, 6120},
   636  	{5699, 6128, 6128},
   637  	{2710, 6132, 6133},
   638  	{4446, 6138, 6138},
   639  	{5815, 6143, 6148},
   640  	{1254, 6152, 6161},
   641  	{2357, 6167, 6168},
   642  	{2144, 6172, 6176},
   643  	{2159, 6184, 6184},
   644  	{5810, 6188, 6190},
   645  	{4011, 6195, 6195},
   646  	{6070, 6199, 6199},
   647  	{6005, 6203, 6206},
   648  	{4683, 6211, 6213},
   649  	{4466, 6221, 6222},
   650  	{5230, 6226, 6231},
   651  	{5238, 6235, 6239},
   652  	{5250, 6246, 6253},
   653  	{5704, 6257, 6257},
   654  	{5451, 6261, 6286},
   655  	{181, 6293, 6293},
   656  	{5314, 6297, 6305},
   657  	{5788, 6314, 6316},
   658  	{5938, 6320, 6320},
   659  	{4844, 6324, 6325},
   660  	{5782, 6329, 6332},
   661  	{5628, 6336, 6337},
   662  	{4873, 6341, 6342},
   663  	{6110, 6346, 6346},
   664  	{6328, 6350, 6354},
   665  	{1036, 6358, 6359},
   666  	{6128, 6364, 6364},
   667  	{4740, 6373, 6373},
   668  	{2282, 6377, 6377},
   669  	{5405, 6386, 6388},
   670  	{6257, 6392, 6392},
   671  	{4123, 6396, 6397},
   672  	{5487, 6401, 6410},
   673  	{6290, 6414, 6415},
   674  	{3844, 6423, 6424},
   675  	{3888, 6428, 6428},
   676  	{1086, 6432, 6432},
   677  	{5320, 6436, 6439},
   678  	{6310, 6443, 6444},
   679  	{6401, 6448, 6448},
   680  	{5124, 6452, 6452},
   681  	{5424, 6456, 6457},
   682  	{5851, 6472, 6478},
   683  	{6050, 6482, 6482},
   684  	{5499, 6486, 6490},
   685  	{4900, 6498, 6500},
   686  	{5674, 6510, 6512},
   687  	{871, 6518, 6520},
   688  	{5748, 6528, 6528},
   689  	{6447, 6533, 6534},
   690  	{5820, 6538, 6539},
   691  	{6448, 6543, 6543},
   692  	{6199, 6547, 6547},
   693  	{6320, 6551, 6551},
   694  	{1882, 6555, 6555},
   695  	{6368, 6561, 6566},
   696  	{6097, 6570, 6570},
   697  	{6495, 6576, 6579},
   698  	{5821, 6583, 6583},
   699  	{6507, 6587, 6587},
   700  	{4454, 6596, 6596},
   701  	{2324, 6601, 6601},
   702  	{6547, 6608, 6608},
   703  	{5712, 6612, 6612},
   704  	{5575, 6618, 6619},
   705  	{6414, 6623, 6624},
   706  	{6296, 6629, 6629},
   707  	{4134, 6633, 6634},
   708  	{6561, 6640, 6644},
   709  	{4555, 6649, 6652},
   710  	{4671, 6659, 6660},
   711  	{5592, 6664, 6666},
   712  	{5152, 6670, 6672},
   713  	{6599, 6676, 6676},
   714  	{5521, 6680, 6691},
   715  	{6432, 6695, 6695},
   716  	{6623, 6699, 6705},
   717  	{2601, 6712, 6712},
   718  	{5117, 6723, 6724},
   719  	{6524, 6730, 6733},
   720  	{5351, 6737, 6737},
   721  	{6573, 6741, 6741},
   722  	{6392, 6745, 6746},
   723  	{6592, 6750, 6751},
   724  	{4650, 6760, 6761},
   725  	{5302, 6765, 6765},
   726  	{6615, 6770, 6783},
   727  	{3732, 6787, 6789},
   728  	{6709, 6793, 6793},
   729  	{5306, 6797, 6797},
   730  	{6243, 6801, 6802},
   731  	{5226, 6808, 6816},
   732  	{4497, 6821, 6821},
   733  	{1436, 6825, 6825},
   734  	{1790, 6833, 6834},
   735  	{5525, 6838, 6843},
   736  	{5279, 6847, 6849},
   737  	{6828, 6855, 6857},
   738  	{5038, 6861, 6865},
   739  	{6741, 6869, 6869},
   740  	{4627, 6873, 6873},
   741  	{4037, 6878, 6880},
   742  	{10, 6885, 6887},
   743  	{6730, 6894, 6894},
   744  	{5528, 6898, 6898},
   745  	{6744, 6903, 6903},
   746  	{5839, 6907, 6907},
   747  	{2350, 6911, 6911},
   748  	{2269, 6915, 6918},
   749  	{6869, 6922, 6922},
   750  	{6035, 6929, 6930},
   751  	{1604, 6938, 6939},
   752  	{6922, 6943, 6943},
   753  	{6699, 6947, 6950},
   754  	{6737, 6954, 6954},
   755  	{1775, 6958, 6959},
   756  	{5309, 6963, 6964},
   757  	{6954, 6968, 6968},
   758  	{6369, 6972, 6976},
   759  	{3789, 6980, 6983},
   760  	{2327, 6990, 6990},
   761  	{6837, 6995, 7001},
   762  	{4485, 7006, 7013},
   763  	{6820, 7017, 7031},
   764  	{6291, 7036, 7036},
   765  	{5691, 7041, 7042},
   766  	{7034, 7047, 7047},
   767  	{5310, 7051, 7051},
   768  	{1502, 7056, 7056},
   769  	{4797, 7061, 7061},
   770  	{6855, 7066, 7068},
   771  	{6669, 7072, 7075},
   772  	{6943, 7079, 7079},
   773  	{6528, 7083, 7083},
   774  	{4036, 7087, 7090},
   775  	{6884, 7094, 7100},
   776  	{6946, 7104, 7108},
   777  	{6297, 7112, 7114},
   778  	{5684, 7118, 7121},
   779  	{6903, 7127, 7135},
   780  	{3580, 7141, 7147},
   781  	{6926, 7152, 7182},
   782  	{7117, 7186, 7190},
   783  	{6968, 7194, 7217},
   784  	{6838, 7222, 7227},
   785  	{7005, 7231, 7240},
   786  	{6235, 7244, 7245},
   787  	{6825, 7249, 7249},
   788  	{4594, 7254, 7254},
   789  	{6569, 7258, 7258},
   790  	{7222, 7262, 7267},
   791  	{7047, 7272, 7272},
   792  	{6801, 7276, 7276},
   793  	{7056, 7280, 7280},
   794  	{6583, 7284, 7284},
   795  	{5825, 7288, 7294},
   796  	{6787, 7298, 7300},
   797  	{7079, 7304, 7304},
   798  	{7253, 7308, 7313},
   799  	{6891, 7317, 7317},
   800  	{6829, 7321, 7322},
   801  	{7257, 7326, 7363},
   802  	{7231, 7367, 7377},
   803  	{2854, 7381, 7381},
   804  	{7249, 7385, 7385},
   805  	{6203, 7389, 7391},
   806  	{6363, 7395, 7397},
   807  	{6745, 7401, 7402},
   808  	{6695, 7406, 7406},
   809  	{5208, 7410, 7411},
   810  	{6679, 7415, 7416},
   811  	{7288, 7420, 7421},
   812  	{5248, 7425, 7425},
   813  	{6422, 7429, 7429},
   814  	{5206, 7434, 7436},
   815  	{2255, 7441, 7442},
   816  	{2145, 7452, 7452},
   817  	{7283, 7458, 7459},
   818  	{4830, 7469, 7472},
   819  	{6000, 7476, 7477},
   820  	{7395, 7481, 7492},
   821  	{2715, 7496, 7496},
   822  	{6542, 7500, 7502},
   823  	{7420, 7506, 7513},
   824  	{4981, 7517, 7517},
   825  	{2243, 7522, 7524},
   826  	{916, 7528, 7529},
   827  	{5207, 7533, 7534},
   828  	{1271, 7538, 7539},
   829  	{2654, 7544, 7544},
   830  	{7451, 7553, 7561},
   831  	{7464, 7569, 7571},
   832  	{3992, 7577, 7577},
   833  	{3114, 7581, 7581},
   834  	{7389, 7589, 7591},
   835  	{7433, 7595, 7598},
   836  	{7448, 7602, 7608},
   837  	{1772, 7612, 7612},
   838  	{4152, 7616, 7616},
   839  	{3247, 7621, 7624},
   840  	{963, 7629, 7630},
   841  	{4895, 7640, 7640},
   842  	{6164, 7646, 7646},
   843  	{4339, 7663, 7664},
   844  	{3244, 7668, 7672},
   845  	{7304, 7676, 7676},
   846  	{7401, 7680, 7681},
   847  	{6670, 7685, 7688},
   848  	{6195, 7692, 7693},
   849  	{7505, 7699, 7705},
   850  	{5252, 7709, 7710},
   851  	{6193, 7715, 7718},
   852  	{1916, 7724, 7724},
   853  	{4868, 7729, 7731},
   854  	{1176, 7736, 7736},
   855  	{5700, 7740, 7740},
   856  	{5757, 7744, 7746},
   857  	{6345, 7750, 7752},
   858  	{3132, 7756, 7759},
   859  	{4312, 7763, 7763},
   860  	{7685, 7767, 7769},
   861  	{6907, 7774, 7774},
   862  	{5584, 7779, 7780},
   863  	{6025, 7784, 7784},
   864  	{4435, 7791, 7798},
   865  	{6807, 7809, 7817},
   866  	{6234, 7823, 7825},
   867  	{7385, 7829, 7829},
   868  	{1286, 7833, 7836},
   869  	{7258, 7840, 7840},
   870  	{7602, 7844, 7850},
   871  	{7388, 7854, 7856},
   872  	{7528, 7860, 7866},
   873  	{640, 7874, 7875},
   874  	{7844, 7879, 7886},
   875  	{4700, 7890, 7890},
   876  	{7440, 7894, 7896},
   877  	{4831, 7900, 7902},
   878  	{4556, 7906, 7908},
   879  	{7547, 7914, 7924},
   880  	{7589, 7928, 7929},
   881  	{7914, 7935, 7945},
   882  	{7284, 7949, 7949},
   883  	{7538, 7953, 7957},
   884  	{4635, 7964, 7964},
   885  	{1994, 7968, 7970},
   886  	{7406, 7974, 7976},
   887  	{2409, 7983, 7983},
   888  	{7542, 7989, 7989},
   889  	{7112, 7993, 7993},
   890  	{5259, 7997, 7999},
   891  	{1287, 8004, 8006},
   892  	{7911, 8010, 8011},
   893  	{7449, 8015, 8021},
   894  	{7928, 8025, 8027},
   895  	{1476, 8042, 8044},
   896  	{7784, 8048, 8050},
   897  	{4434, 8054, 8062},
   898  	{7802, 8066, 8074},
   899  	{7367, 8087, 8088},
   900  	{4494, 8094, 8097},
   901  	{7829, 8101, 8101},
   902  	{7321, 8105, 8111},
   903  	{7035, 8115, 8121},
   904  	{7949, 8125, 8125},
   905  	{7506, 8129, 8130},
   906  	{5830, 8134, 8135},
   907  	{8047, 8144, 8144},
   908  	{5362, 8148, 8148},
   909  	{8125, 8152, 8152},
   910  	{7676, 8156, 8156},
   911  	{6324, 8160, 8161},
   912  	{6606, 8173, 8173},
   913  	{7064, 8177, 8182},
   914  	{6993, 8186, 8199},
   915  	{8092, 8203, 8204},
   916  	{7244, 8208, 8213},
   917  	{8105, 8217, 8218},
   918  	{8185, 8222, 8222},
   919  	{8115, 8226, 8232},
   920  	{4164, 8238, 8239},
   921  	{6608, 8244, 8244},
   922  	{8176, 8248, 8277},
   923  	{8208, 8281, 8282},
   924  	{7997, 8287, 8289},
   925  	{7118, 8293, 8303},
   926  	{7103, 8308, 8308},
   927  	{6436, 8312, 8315},
   928  	{3523, 8321, 8321},
   929  	{6442, 8327, 8329},
   930  	{3391, 8333, 8334},
   931  	{6986, 8339, 8344},
   932  	{7221, 8348, 8354},
   933  	{5989, 8358, 8360},
   934  	{4418, 8364, 8365},
   935  	{8307, 8369, 8370},
   936  	{7051, 8375, 8375},
   937  	{4027, 8379, 8380},
   938  	{8333, 8384, 8387},
   939  	{6873, 8391, 8392},
   940  	{4154, 8396, 8399},
   941  	{6878, 8403, 8428},
   942  	{8087, 8432, 8438},
   943  	{7017, 8442, 8443},
   944  	{8129, 8447, 8453},
   945  	{6486, 8457, 8461},
   946  	{8248, 8465, 8465},
   947  	{6349, 8473, 8478},
   948  	{5393, 8482, 8483},
   949  	{8465, 8487, 8487},
   950  	{30, 8495, 8495},
   951  	{4642, 8499, 8500},
   952  	{6768, 8505, 8505},
   953  	{7061, 8513, 8514},
   954  	{7151, 8518, 8528},
   955  	{6648, 8532, 8532},
   956  	{2093, 8539, 8539},
   957  	{3392, 8544, 8544},
   958  	{6980, 8548, 8551},
   959  	{8217, 8555, 8563},
   960  	{8375, 8567, 8567},
   961  	{7041, 8571, 8571},
   962  	{5008, 8576, 8576},
   963  	{4796, 8580, 8582},
   964  	{4271, 8586, 8586},
   965  	{7320, 8591, 8593},
   966  	{8222, 8597, 8597},
   967  	{7262, 8601, 8606},
   968  	{8432, 8610, 8615},
   969  	{8442, 8619, 8620},
   970  	{8101, 8624, 8624},
   971  	{7308, 8628, 8628},
   972  	{8597, 8632, 8641},
   973  	{8498, 8645, 8645},
   974  	{927, 8650, 8651},
   975  	{5979, 8661, 8661},
   976  	{5381, 8665, 8666},
   977  	{2184, 8675, 8675},
   978  	{5342, 8680, 8681},
   979  	{1527, 8686, 8687},
   980  	{4168, 8694, 8694},
   981  	{8332, 8698, 8702},
   982  	{8628, 8706, 8710},
   983  	{8447, 8714, 8720},
   984  	{8610, 8724, 8724},
   985  	{5530, 8730, 8730},
   986  	{6472, 8734, 8734},
   987  	{7476, 8738, 8739},
   988  	{7756, 8743, 8743},
   989  	{8570, 8749, 8753},
   990  	{2706, 8757, 8759},
   991  	{5875, 8763, 8764},
   992  	{8147, 8769, 8770},
   993  	{6526, 8775, 8776},
   994  	{8694, 8780, 8780},
   995  	{3431, 8784, 8785},
   996  	{7787, 8789, 8789},
   997  	{5526, 8794, 8796},
   998  	{6902, 8800, 8801},
   999  	{8756, 8811, 8818},
  1000  	{7735, 8822, 8823},
  1001  	{5523, 8827, 8828},
  1002  	{5668, 8833, 8833},
  1003  	{2237, 8839, 8839},
  1004  	{8152, 8843, 8846},
  1005  	{6633, 8852, 8853},
  1006  	{6152, 8858, 8865},
  1007  	{8762, 8869, 8870},
  1008  	{6216, 8876, 8878},
  1009  	{8632, 8882, 8892},
  1010  	{2436, 8896, 8897},
  1011  	{5541, 8901, 8904},
  1012  	{8293, 8908, 8911},
  1013  	{7194, 8915, 8915},
  1014  	{5658, 8919, 8919},
  1015  	{5045, 8923, 8927},
  1016  	{7549, 8932, 8932},
  1017  	{1623, 8936, 8941},
  1018  	{6471, 8946, 8947},
  1019  	{8487, 8951, 8951},
  1020  	{8714, 8955, 8961},
  1021  	{8574, 8965, 8965},
  1022  	{2701, 8969, 8970},
  1023  	{5500, 8974, 8977},
  1024  	{8481, 8984, 8986},
  1025  	{5416, 8991, 8991},
  1026  	{8950, 8996, 8996},
  1027  	{8706, 9001, 9005},
  1028  	{8601, 9009, 9014},
  1029  	{8882, 9018, 9018},
  1030  	{8951, 9022, 9022},
  1031  	{1521, 9026, 9026},
  1032  	{8025, 9030, 9031},
  1033  	{8645, 9035, 9035},
  1034  	{8384, 9039, 9042},
  1035  	{9001, 9046, 9050},
  1036  	{3189, 9054, 9054},
  1037  	{8955, 9058, 9065},
  1038  	{1043, 9078, 9079},
  1039  	{8974, 9083, 9095},
  1040  	{6496, 9099, 9100},
  1041  	{8995, 9104, 9105},
  1042  	{9045, 9109, 9110},
  1043  	{6395, 9114, 9116},
  1044  	{9038, 9125, 9125},
  1045  	{9029, 9135, 9138},
  1046  	{1051, 9144, 9147},
  1047  	{7833, 9151, 9155},
  1048  	{9022, 9159, 9159},
  1049  	{9046, 9163, 9163},
  1050  	{2732, 9168, 9170},
  1051  	{7750, 9174, 9180},
  1052  	{8747, 9184, 9186},
  1053  	{7663, 9192, 9193},
  1054  	{9159, 9197, 9197},
  1055  	{8730, 9207, 9209},
  1056  	{4429, 9223, 9223},
  1057  	{8536, 9227, 9227},
  1058  	{1231, 9237, 9237},
  1059  	{8965, 9244, 9244},
  1060  	{5840, 9248, 9254},
  1061  	{4058, 9263, 9270},
  1062  	{3214, 9288, 9289},
  1063  	{6346, 9293, 9293},
  1064  	{6114, 9297, 9298},
  1065  	{9104, 9302, 9302},
  1066  	{4818, 9331, 9332},
  1067  	{8513, 9336, 9337},
  1068  	{6971, 9341, 9346},
  1069  	{8779, 9357, 9357},
  1070  	{8989, 9363, 9367},
  1071  	{8843, 9371, 9373},
  1072  	{9035, 9381, 9382},
  1073  	{3648, 9386, 9386},
  1074  	{6988, 9390, 9403},
  1075  	{8869, 9407, 9407},
  1076  	{7767, 9411, 9413},
  1077  	{6341, 9417, 9417},
  1078  	{2293, 9424, 9424},
  1079  	{9360, 9428, 9428},
  1080  	{8048, 9432, 9435},
  1081  	{8981, 9439, 9439},
  1082  	{6336, 9443, 9444},
  1083  	{9431, 9449, 9453},
  1084  	{8391, 9457, 9458},
  1085  	{9380, 9463, 9464},
  1086  	{6947, 9468, 9471},
  1087  	{7993, 9475, 9475},
  1088  	{7185, 9479, 9484},
  1089  	{5848, 9488, 9488},
  1090  	{9371, 9492, 9492},
  1091  	{7628, 9498, 9500},
  1092  	{8757, 9504, 9504},
  1093  	{9410, 9508, 9508},
  1094  	{9293, 9512, 9512},
  1095  	{5138, 9516, 9516},
  1096  	{9420, 9521, 9521},
  1097  	{4416, 9525, 9528},
  1098  	{4825, 9534, 9536},
  1099  	{9057, 9540, 9540},
  1100  	{7276, 9544, 9546},
  1101  	{5491, 9550, 9550},
  1102  	{9058, 9554, 9560},
  1103  	{8321, 9569, 9569},
  1104  	{6357, 9573, 9575},
  1105  	{9385, 9579, 9579},
  1106  	{6972, 9583, 9587},
  1107  	{7996, 9591, 9594},
  1108  	{8990, 9598, 9599},
  1109  	{9442, 9603, 9605},
  1110  	{9579, 9609, 9609},
  1111  	{9389, 9613, 9628},
  1112  	{8789, 9632, 9632},
  1113  	{7152, 9636, 9646},
  1114  	{9491, 9652, 9653},
  1115  	{2493, 9658, 9659},
  1116  	{2456, 9663, 9664},
  1117  	{8509, 9672, 9675},
  1118  	{6510, 9682, 9684},
  1119  	{2533, 9688, 9688},
  1120  	{6632, 9696, 9698},
  1121  	{4460, 9709, 9711},
  1122  	{9302, 9715, 9718},
  1123  	{9609, 9722, 9722},
  1124  	{4824, 9728, 9731},
  1125  	{9553, 9735, 9735},
  1126  	{9544, 9739, 9742},
  1127  	{9492, 9746, 9746},
  1128  	{9554, 9750, 9756},
  1129  	{9525, 9761, 9764},
  1130  	{7789, 9769, 9769},
  1131  	{2136, 9773, 9777},
  1132  	{3848, 9782, 9783},
  1133  	{9432, 9787, 9790},
  1134  	{8165, 9794, 9795},
  1135  	{9590, 9799, 9803},
  1136  	{8555, 9807, 9812},
  1137  	{9009, 9816, 9822},
  1138  	{9656, 9829, 9833},
  1139  	{4101, 9841, 9841},
  1140  	{6382, 9846, 9846},
  1141  	{9721, 9850, 9850},
  1142  	{9296, 9854, 9856},
  1143  	{9573, 9860, 9866},
  1144  	{9636, 9870, 9883},
  1145  	{9722, 9887, 9887},
  1146  	{9163, 9891, 9891},
  1147  	{9799, 9895, 9895},
  1148  	{9816, 9899, 9906},
  1149  	{767, 9912, 9913},
  1150  	{8287, 9918, 9923},
  1151  	{6293, 9927, 9930},
  1152  	{9726, 9934, 9934},
  1153  	{6876, 9939, 9940},
  1154  	{5847, 9945, 9946},
  1155  	{9829, 9951, 9955},
  1156  	{9125, 9962, 9962},
  1157  	{8542, 9967, 9972},
  1158  	{9767, 9978, 9978},
  1159  	{4165, 9982, 9982},
  1160  	{8243, 9986, 9987},
  1161  	{9682, 9993, 9995},
  1162  	{4916, 10006, 10010},
  1163  	{9456, 10016, 10018},
  1164  	{9761, 10024, 10029},
  1165  	{9886, 10033, 10034},
  1166  	{9468, 10038, 10044},
  1167  	{3000, 10052, 10053},
  1168  	{9807, 10057, 10062},
  1169  	{8226, 10066, 10072},
  1170  	{9650, 10077, 10080},
  1171  	{9054, 10084, 10084},
  1172  	{9891, 10088, 10089},
  1173  	{6518, 10095, 10097},
  1174  	{8238, 10101, 10117},
  1175  	{7890, 10121, 10123},
  1176  	{9894, 10128, 10138},
  1177  	{3508, 10142, 10143},
  1178  	{6377, 10147, 10147},
  1179  	{3768, 10152, 10154},
  1180  	{6764, 10158, 10160},
  1181  	{8852, 10164, 10166},
  1182  	{2867, 10172, 10174},
  1183  	{4461, 10178, 10179},
  1184  	{5889, 10184, 10185},
  1185  	{9917, 10189, 10191},
  1186  	{6797, 10195, 10195},
  1187  	{8567, 10199, 10199},
  1188  	{7125, 10203, 10206},
  1189  	{9938, 10210, 10234},
  1190  	{9967, 10240, 10246},
  1191  	{8923, 10251, 10254},
  1192  	{10157, 10258, 10258},
  1193  	{8032, 10264, 10264},
  1194  	{9887, 10268, 10276},
  1195  	{9750, 10280, 10286},
  1196  	{10258, 10290, 10290},
  1197  	{10268, 10294, 10302},
  1198  	{9899, 10306, 10311},
  1199  	{9715, 10315, 10318},
  1200  	{8539, 10322, 10322},
  1201  	{10189, 10327, 10329},
  1202  	{9135, 10333, 10335},
  1203  	{8369, 10340, 10341},
  1204  	{9119, 10347, 10347},
  1205  	{10290, 10352, 10352},
  1206  	{7900, 10357, 10359},
  1207  	{3275, 10363, 10365},
  1208  	{10294, 10369, 10369},
  1209  	{5417, 10376, 10376},
  1210  	{10120, 10381, 10381},
  1211  	{9786, 10385, 10395},
  1212  	{9826, 10399, 10399},
  1213  	{8171, 10403, 10407},
  1214  	{8402, 10421, 10425},
  1215  	{9428, 10429, 10429},
  1216  	{1863, 10434, 10435},
  1217  	{3092, 10446, 10446},
  1218  	{10000, 10450, 10450},
  1219  	{9986, 10463, 10464},
  1220  	{9632, 10468, 10484},
  1221  	{10315, 10489, 10489},
  1222  	{10332, 10493, 10493},
  1223  	{8914, 10506, 10507},
  1224  	{10369, 10511, 10512},
  1225  	{1865, 10516, 10517},
  1226  	{9204, 10521, 10526},
  1227  	{9993, 10533, 10534},
  1228  	{2568, 10539, 10539},
  1229  	{10429, 10543, 10543},
  1230  	{10489, 10549, 10549},
  1231  	{10014, 10553, 10558},
  1232  	{10024, 10563, 10573},
  1233  	{9457, 10577, 10578},
  1234  	{9591, 10582, 10585},
  1235  	{8908, 10589, 10592},
  1236  	{10203, 10596, 10598},
  1237  	{10006, 10602, 10604},
  1238  	{10209, 10613, 10613},
  1239  	{4996, 10617, 10617},
  1240  	{9846, 10621, 10622},
  1241  	{6927, 10627, 10635},
  1242  	{8664, 10639, 10639},
  1243  	{8586, 10643, 10644},
  1244  	{10576, 10648, 10650},
  1245  	{10487, 10654, 10656},
  1246  	{10553, 10660, 10664},
  1247  	{10563, 10670, 10679},
  1248  	{9000, 10683, 10688},
  1249  	{10280, 10692, 10699},
  1250  	{10582, 10703, 10706},
  1251  	{9934, 10710, 10710},
  1252  	{10547, 10714, 10716},
  1253  	{7065, 10720, 10724},
  1254  	{10691, 10730, 10738},
  1255  	{872, 10742, 10744},
  1256  	{10357, 10751, 10752},
  1257  	{1323, 10756, 10756},
  1258  	{10087, 10761, 10763},
  1259  	{9381, 10769, 10769},
  1260  	{9982, 10773, 10778},
  1261  	{10533, 10784, 10785},
  1262  	{9687, 10789, 10789},
  1263  	{8324, 10799, 10799},
  1264  	{8742, 10805, 10813},
  1265  	{9039, 10817, 10824},
  1266  	{5947, 10828, 10828},
  1267  	{10306, 10832, 10837},
  1268  	{10261, 10841, 10843},
  1269  	{10350, 10847, 10850},
  1270  	{7415, 10860, 10861},
  1271  	{19, 10866, 10866},
  1272  	{10188, 10872, 10875},
  1273  	{10613, 10881, 10881},
  1274  	{7869, 10886, 10886},
  1275  	{3801, 10891, 10892},
  1276  	{9099, 10896, 10897},
  1277  	{8738, 10903, 10904},
  1278  	{10322, 10908, 10908},
  1279  	{6494, 10912, 10916},
  1280  	{9772, 10921, 10921},
  1281  	{8170, 10927, 10930},
  1282  	{7456, 10940, 10943},
  1283  	{10457, 10948, 10952},
  1284  	{1405, 10959, 10959},
  1285  	{6936, 10963, 10963},
  1286  	{4549, 10970, 10975},
  1287  	{4880, 10982, 10982},
  1288  	{8763, 10986, 10987},
  1289  	{4565, 10993, 10994},
  1290  	{1310, 11000, 11000},
  1291  	{4596, 11010, 11010},
  1292  	{6427, 11015, 11016},
  1293  	{7729, 11023, 11024},
  1294  	{10978, 11029, 11030},
  1295  	{10947, 11034, 11039},
  1296  	{10577, 11043, 11043},
  1297  	{10542, 11052, 11053},
  1298  	{9443, 11057, 11058},
  1299  	{10468, 11062, 11062},
  1300  	{11028, 11066, 11068},
  1301  	{10057, 11072, 11073},
  1302  	{8881, 11077, 11078},
  1303  	{8148, 11082, 11082},
  1304  	{10816, 11089, 11093},
  1305  	{11066, 11097, 11109},
  1306  	{10511, 11113, 11113},
  1307  	{9174, 11117, 11119},
  1308  	{10345, 11125, 11125},
  1309  	{4532, 11129, 11129},
  1310  	{9918, 11133, 11134},
  1311  	{8858, 11138, 11146},
  1312  	{10703, 11150, 11153},
  1313  	{9030, 11157, 11160},
  1314  	{6481, 11165, 11166},
  1315  	{10543, 11170, 11170},
  1316  	{8580, 11177, 11178},
  1317  	{10886, 11184, 11187},
  1318  	{10210, 11191, 11197},
  1319  	{2015, 11202, 11202},
  1320  	{9312, 11211, 11218},
  1321  	{9324, 11223, 11231},
  1322  	{10884, 11235, 11235},
  1323  	{8166, 11239, 11239},
  1324  	{10502, 11243, 11250},
  1325  	{11182, 11254, 11259},
  1326  	{5366, 11263, 11264},
  1327  	{3676, 11268, 11268},
  1328  	{5649, 11273, 11274},
  1329  	{11065, 11281, 11284},
  1330  	{11034, 11288, 11293},
  1331  	{7083, 11297, 11297},
  1332  	{9550, 11302, 11302},
  1333  	{9336, 11310, 11311},
  1334  	{7071, 11316, 11316},
  1335  	{11314, 11320, 11320},
  1336  	{11113, 11324, 11324},
  1337  	{11157, 11328, 11330},
  1338  	{6482, 11334, 11334},
  1339  	{7139, 11338, 11338},
  1340  	{10152, 11345, 11345},
  1341  	{3554, 11352, 11356},
  1342  	{11190, 11364, 11364},
  1343  	{11324, 11368, 11368},
  1344  	{10710, 11372, 11372},
  1345  	{8793, 11376, 11381},
  1346  	{6358, 11385, 11386},
  1347  	{11368, 11390, 11390},
  1348  	{9704, 11394, 11396},
  1349  	{7778, 11400, 11400},
  1350  	{11149, 11404, 11408},
  1351  	{10889, 11414, 11414},
  1352  	{9781, 11421, 11422},
  1353  	{10267, 11426, 11427},
  1354  	{11328, 11431, 11433},
  1355  	{5751, 11439, 11440},
  1356  	{10817, 11444, 11447},
  1357  	{10896, 11451, 11452},
  1358  	{10751, 11456, 11457},
  1359  	{10163, 11461, 11461},
  1360  	{10504, 11466, 11473},
  1361  	{8743, 11477, 11484},
  1362  	{11150, 11488, 11491},
  1363  	{10088, 11495, 11495},
  1364  	{10828, 11499, 11509},
  1365  	{11444, 11513, 11516},
  1366  	{11495, 11520, 11520},
  1367  	{11487, 11524, 11524},
  1368  	{10692, 11528, 11535},
  1369  	{9121, 11540, 11546},
  1370  	{11389, 11558, 11564},
  1371  	{10195, 11568, 11578},
  1372  	{5004, 11582, 11583},
  1373  	{5908, 11588, 11588},
  1374  	{11170, 11592, 11592},
  1375  	{11253, 11597, 11597},
  1376  	{11372, 11601, 11601},
  1377  	{3115, 11605, 11605},
  1378  	{11390, 11609, 11609},
  1379  	{10832, 11613, 11616},
  1380  	{8800, 11620, 11621},
  1381  	{11384, 11625, 11631},
  1382  	{10171, 11635, 11637},
  1383  	{11400, 11642, 11650},
  1384  	{11451, 11654, 11655},
  1385  	{11419, 11661, 11664},
  1386  	{11608, 11668, 11669},
  1387  	{11431, 11673, 11680},
  1388  	{11550, 11688, 11690},
  1389  	{11609, 11694, 11694},
  1390  	{10588, 11702, 11708},
  1391  	{6664, 11712, 11712},
  1392  	{11461, 11719, 11753},
  1393  	{11524, 11757, 11757},
  1394  	{11613, 11761, 11764},
  1395  	{10257, 11769, 11770},
  1396  	{11694, 11774, 11774},
  1397  	{11520, 11778, 11781},
  1398  	{11138, 11785, 11793},
  1399  	{11539, 11797, 11797},
  1400  	{11512, 11802, 11802},
  1401  	{10602, 11808, 11812},
  1402  	{11773, 11816, 11824},
  1403  	{11760, 11828, 11835},
  1404  	{9083, 11839, 11850},
  1405  	{11654, 11855, 11857},
  1406  	{6612, 11861, 11862},
  1407  	{11816, 11866, 11875},
  1408  	{11528, 11879, 11897},
  1409  	{10549, 11901, 11901},
  1410  	{9108, 11905, 11907},
  1411  	{11757, 11911, 11920},
  1412  	{837, 11924, 11928},
  1413  	{11855, 11932, 11934},
  1414  	{8482, 11938, 11939},
  1415  	{9439, 11943, 11943},
  1416  	{1068, 11950, 11953},
  1417  	{10789, 11958, 11958},
  1418  	{4611, 11963, 11964},
  1419  	{11861, 11968, 11992},
  1420  	{11797, 11997, 12004},
  1421  	{11719, 12009, 12009},
  1422  	{11774, 12013, 12013},
  1423  	{756, 12017, 12019},
  1424  	{10178, 12023, 12024},
  1425  	{9258, 12028, 12047},
  1426  	{9534, 12060, 12063},
  1427  	{12013, 12067, 12067},
  1428  	{8160, 12071, 12072},
  1429  	{10865, 12076, 12083},
  1430  	{9311, 12091, 12099},
  1431  	{11223, 12104, 12115},
  1432  	{11932, 12119, 12120},
  1433  	{2925, 12130, 12130},
  1434  	{6906, 12135, 12136},
  1435  	{8895, 12143, 12143},
  1436  	{4684, 12147, 12148},
  1437  	{11642, 12152, 12152},
  1438  	{5573, 12160, 12164},
  1439  	{10459, 12168, 12168},
  1440  	{2108, 12172, 12172},
  1441  	{187, 12179, 12180},
  1442  	{2358, 12184, 12184},
  1443  	{11796, 12188, 12188},
  1444  	{1963, 12192, 12192},
  1445  	{2538, 12199, 12200},
  1446  	{6497, 12206, 12206},
  1447  	{6723, 12210, 12211},
  1448  	{7657, 12216, 12216},
  1449  	{12204, 12224, 12231},
  1450  	{1080, 12239, 12240},
  1451  	{12224, 12244, 12246},
  1452  	{11911, 12250, 12250},
  1453  	{9912, 12266, 12268},
  1454  	{7616, 12272, 12272},
  1455  	{1956, 12279, 12279},
  1456  	{1522, 12283, 12285},
  1457  	{9504, 12289, 12290},
  1458  	{11672, 12297, 12300},
  1459  	{10621, 12304, 12304},
  1460  	{11592, 12308, 12308},
  1461  	{11385, 12312, 12313},
  1462  	{3281, 12317, 12317},
  1463  	{3487, 12321, 12321},
  1464  	{9417, 12325, 12325},
  1465  	{9613, 12335, 12337},
  1466  	{10670, 12342, 12348},
  1467  	{10589, 12352, 12357},
  1468  	{10616, 12362, 12363},
  1469  	{9326, 12369, 12375},
  1470  	{5211, 12379, 12382},
  1471  	{12304, 12386, 12395},
  1472  	{1048, 12399, 12399},
  1473  	{12335, 12403, 12405},
  1474  	{12250, 12410, 12410},
  1475  	{10084, 12414, 12414},
  1476  	{11394, 12418, 12421},
  1477  	{12126, 12425, 12429},
  1478  	{9582, 12433, 12438},
  1479  	{10784, 12445, 12447},
  1480  	{9568, 12454, 12455},
  1481  	{12308, 12459, 12459},
  1482  	{9635, 12464, 12475},
  1483  	{11513, 12479, 12482},
  1484  	{12119, 12486, 12487},
  1485  	{12066, 12494, 12495},
  1486  	{12403, 12499, 12502},
  1487  	{11687, 12506, 12513},
  1488  	{12418, 12517, 12519},
  1489  	{12352, 12523, 12528},
  1490  	{11600, 12532, 12532},
  1491  	{12450, 12539, 12539},
  1492  	{12067, 12543, 12543},
  1493  	{11477, 12547, 12565},
  1494  	{11540, 12569, 12575},
  1495  	{11202, 12580, 12581},
  1496  	{10903, 12585, 12586},
  1497  	{11601, 12590, 12590},
  1498  	{12459, 12599, 12599},
  1499  	{11839, 12603, 12605},
  1500  	{11426, 12609, 12610},
  1501  	{12486, 12614, 12616},
  1502  	{9406, 12621, 12621},
  1503  	{6897, 12625, 12628},
  1504  	{12312, 12632, 12633},
  1505  	{12445, 12638, 12640},
  1506  	{1743, 12645, 12645},
  1507  	{11551, 12649, 12650},
  1508  	{12543, 12654, 12654},
  1509  	{11635, 12658, 12660},
  1510  	{12522, 12664, 12675},
  1511  	{12539, 12683, 12712},
  1512  	{11801, 12716, 12721},
  1513  	{5803, 12725, 12725},
  1514  	{716, 12730, 12732},
  1515  	{8900, 12736, 12740},
  1516  	{12076, 12744, 12746},
  1517  	{5046, 12751, 12751},
  1518  	{12735, 12755, 12755},
  1519  	{11879, 12759, 12766},
  1520  	{1609, 12770, 12770},
  1521  	{10921, 12774, 12774},
  1522  	{11420, 12778, 12778},
  1523  	{12754, 12783, 12784},
  1524  	{12177, 12788, 12788},
  1525  	{12191, 12792, 12792},
  1526  	{12139, 12798, 12802},
  1527  	{11082, 12806, 12806},
  1528  	{12152, 12810, 12810},
  1529  	{10381, 12814, 12814},
  1530  	{11239, 12820, 12821},
  1531  	{2198, 12825, 12826},
  1532  	{6123, 12832, 12832},
  1533  	{10642, 12836, 12839},
  1534  	{11117, 12843, 12844},
  1535  	{12210, 12848, 12849},
  1536  	{9688, 12853, 12853},
  1537  	{12832, 12857, 12860},
  1538  	{12147, 12864, 12870},
  1539  	{12028, 12874, 12893},
  1540  	{12052, 12898, 12898},
  1541  	{8202, 12902, 12903},
  1542  	{7243, 12907, 12909},
  1543  	{8014, 12913, 12920},
  1544  	{7680, 12924, 12931},
  1545  	{11056, 12939, 12941},
  1546  	{3817, 12946, 12949},
  1547  	{9390, 12954, 12954},
  1548  	{12249, 12958, 12960},
  1549  	{12237, 12966, 12969},
  1550  	{12638, 12973, 12975},
  1551  	{12386, 12979, 12979},
  1552  	{10626, 12984, 12997},
  1553  	{6793, 13005, 13005},
  1554  	{10625, 13009, 13025},
  1555  	{12963, 13029, 13029},
  1556  	{10038, 13033, 13036},
  1557  	{12599, 13040, 13041},
  1558  	{11568, 13046, 13050},
  1559  	{13040, 13054, 13054},
  1560  	{11238, 13058, 13060},
  1561  	{5125, 13064, 13064},
  1562  	{12425, 13068, 13080},
  1563  	{9760, 13084, 13088},
  1564  	{12729, 13092, 13093},
  1565  	{9672, 13097, 13099},
  1566  	{3675, 13104, 13104},
  1567  	{6055, 13108, 13112},
  1568  	{2681, 13119, 13120},
  1569  	{12843, 13124, 13125},
  1570  	{12952, 13129, 13132},
  1571  	{13063, 13137, 13137},
  1572  	{5861, 13141, 13141},
  1573  	{10948, 13145, 13149},
  1574  	{3080, 13153, 13153},
  1575  	{12743, 13158, 13158},
  1576  	{13123, 13163, 13166},
  1577  	{11043, 13170, 13171},
  1578  	{13136, 13175, 13176},
  1579  	{12796, 13180, 13181},
  1580  	{13107, 13185, 13185},
  1581  	{13156, 13192, 13202},
  1582  	{12954, 13207, 13208},
  1583  	{8648, 13213, 13231},
  1584  	{10403, 13235, 13235},
  1585  	{12603, 13239, 13239},
  1586  	{13029, 13243, 13243},
  1587  	{6420, 13251, 13251},
  1588  	{5801, 13261, 13265},
  1589  	{8901, 13269, 13272},
  1590  	{5139, 13276, 13278},
  1591  	{8036, 13282, 13283},
  1592  	{8041, 13288, 13288},
  1593  	{10871, 13293, 13297},
  1594  	{12923, 13301, 13303},
  1595  	{10340, 13307, 13308},
  1596  	{9926, 13312, 13316},
  1597  	{9478, 13320, 13328},
  1598  	{4571, 13334, 13339},
  1599  	{8325, 13343, 13343},
  1600  	{10933, 13349, 13349},
  1601  	{9515, 13354, 13354},
  1602  	{10979, 13358, 13358},
  1603  	{7500, 13364, 13366},
  1604  	{12820, 13371, 13375},
  1605  	{13068, 13380, 13392},
  1606  	{8724, 13397, 13397},
  1607  	{8624, 13401, 13401},
  1608  	{13206, 13405, 13406},
  1609  	{12939, 13410, 13412},
  1610  	{11015, 13417, 13418},
  1611  	{12924, 13422, 13423},
  1612  	{13103, 13427, 13431},
  1613  	{13353, 13435, 13435},
  1614  	{13415, 13440, 13443},
  1615  	{10147, 13447, 13448},
  1616  	{13180, 13452, 13457},
  1617  	{12751, 13461, 13461},
  1618  	{2291, 13465, 13465},
  1619  	{12168, 13469, 13471},
  1620  	{7744, 13475, 13477},
  1621  	{6386, 13488, 13490},
  1622  	{12755, 13494, 13494},
  1623  	{13482, 13498, 13499},
  1624  	{12410, 13503, 13503},
  1625  	{13494, 13507, 13507},
  1626  	{11376, 13511, 13516},
  1627  	{13422, 13520, 13521},
  1628  	{10742, 13525, 13527},
  1629  	{1528, 13531, 13531},
  1630  	{7517, 13537, 13537},
  1631  	{4930, 13541, 13542},
  1632  	{13507, 13546, 13546},
  1633  	{13033, 13550, 13553},
  1634  	{9475, 13557, 13568},
  1635  	{12805, 13572, 13572},
  1636  	{6188, 13576, 13578},
  1637  	{12770, 13582, 13587},
  1638  	{12648, 13593, 13594},
  1639  	{13054, 13598, 13598},
  1640  	{8856, 13603, 13613},
  1641  	{1046, 13618, 13619},
  1642  	{13348, 13623, 13624},
  1643  	{13520, 13628, 13628},
  1644  	{10142, 13632, 13633},
  1645  	{13434, 13643, 13643},
  1646  	{5488, 13648, 13648},
  1647  	{649, 13652, 13652},
  1648  	{11272, 13657, 13657},
  1649  	{12873, 13663, 13663},
  1650  	{4631, 13670, 13670},
  1651  	{12578, 13674, 13677},
  1652  	{12091, 13684, 13692},
  1653  	{13581, 13699, 13699},
  1654  	{13549, 13704, 13708},
  1655  	{13598, 13712, 13712},
  1656  	{13320, 13716, 13722},
  1657  	{13712, 13726, 13726},
  1658  	{13370, 13730, 13731},
  1659  	{11352, 13735, 13737},
  1660  	{13601, 13742, 13742},
  1661  	{13497, 13746, 13769},
  1662  	{12973, 13773, 13775},
  1663  	{11235, 13784, 13784},
  1664  	{10627, 13788, 13796},
  1665  	{13152, 13800, 13800},
  1666  	{12585, 13804, 13804},
  1667  	{13730, 13809, 13810},
  1668  	{13488, 13814, 13816},
  1669  	{11815, 13821, 13821},
  1670  	{11254, 13825, 13825},
  1671  	{13788, 13829, 13838},
  1672  	{13141, 13842, 13842},
  1673  	{9658, 13846, 13848},
  1674  	{11088, 13852, 13853},
  1675  	{10239, 13860, 13866},
  1676  	{13780, 13870, 13871},
  1677  	{9981, 13877, 13883},
  1678  	{11901, 13889, 13891},
  1679  	{13405, 13895, 13897},
  1680  	{12680, 13901, 13901},
  1681  	{8363, 13905, 13910},
  1682  	{13546, 13914, 13914},
  1683  	{13498, 13918, 13927},
  1684  	{13550, 13931, 13937},
  1685  	{13628, 13941, 13941},
  1686  	{13900, 13952, 13952},
  1687  	{13841, 13957, 13957},
  1688  	{3102, 13961, 13961},
  1689  	{12835, 13966, 13970},
  1690  	{12071, 13974, 13975},
  1691  	{12810, 13979, 13980},
  1692  	{11488, 13984, 13987},
  1693  	{13809, 13991, 13992},
  1694  	{13234, 13996, 13997},
  1695  	{13886, 14001, 14002},
  1696  	{11128, 14006, 14007},
  1697  	{6013, 14012, 14013},
  1698  	{8748, 14018, 14020},
  1699  	{9678, 14024, 14024},
  1700  	{12188, 14029, 14029},
  1701  	{13914, 14033, 14033},
  1702  	{11778, 14037, 14040},
  1703  	{11828, 14044, 14051},
  1704  	{12479, 14055, 14058},
  1705  	{14037, 14062, 14066},
  1706  	{12759, 14070, 14076},
  1707  	{13889, 14080, 14081},
  1708  	{13895, 14086, 14121},
  1709  	{10199, 14125, 14131},
  1710  	{13663, 14135, 14135},
  1711  	{9261, 14139, 14155},
  1712  	{12898, 14160, 14160},
  1713  	{13667, 14164, 14167},
  1714  	{12579, 14172, 14174},
  1715  	{13681, 14178, 14189},
  1716  	{13697, 14194, 14196},
  1717  	{14033, 14200, 14200},
  1718  	{13931, 14204, 14207},
  1719  	{13726, 14211, 14211},
  1720  	{9583, 14215, 14222},
  1721  	{13243, 14226, 14226},
  1722  	{13379, 14230, 14231},
  1723  	{7481, 14237, 14239},
  1724  	{10373, 14243, 14243},
  1725  	{8644, 14248, 14249},
  1726  	{1082, 14259, 14260},
  1727  	{5814, 14265, 14265},
  1728  	{10414, 14269, 14270},
  1729  	{9512, 14274, 14274},
  1730  	{9286, 14285, 14288},
  1731  	{12593, 14295, 14295},
  1732  	{13773, 14300, 14302},
  1733  	{5874, 14308, 14308},
  1734  	{13804, 14312, 14312},
  1735  	{10412, 14317, 14320},
  1736  	{12836, 14324, 14327},
  1737  	{13974, 14331, 14337},
  1738  	{14200, 14341, 14341},
  1739  	{14086, 14345, 14347},
  1740  	{4853, 14352, 14353},
  1741  	{13961, 14357, 14357},
  1742  	{14340, 14361, 14367},
  1743  	{14005, 14374, 14374},
  1744  	{13857, 14379, 14388},
  1745  	{10532, 14397, 14399},
  1746  	{14379, 14405, 14406},
  1747  	{11957, 14411, 14413},
  1748  	{10939, 14419, 14419},
  1749  	{12547, 14423, 14429},
  1750  	{13772, 14435, 14438},
  1751  	{14341, 14442, 14447},
  1752  	{14409, 14453, 14453},
  1753  	{14442, 14457, 14457},
  1754  	{13918, 14461, 14470},
  1755  	{13511, 14474, 14483},
  1756  	{14080, 14487, 14488},
  1757  	{14344, 14492, 14495},
  1758  	{13901, 14499, 14520},
  1759  	{12609, 14524, 14525},
  1760  	{14204, 14529, 14532},
  1761  	{13557, 14536, 14536},
  1762  	{6220, 14541, 14542},
  1763  	{14139, 14546, 14562},
  1764  	{14160, 14567, 14574},
  1765  	{14172, 14579, 14596},
  1766  	{14194, 14601, 14610},
  1767  	{14125, 14614, 14614},
  1768  	{14211, 14618, 14659},
  1769  	{2011, 14663, 14663},
  1770  	{14264, 14667, 14680},
  1771  	{9951, 14687, 14691},
  1772  	{12863, 14696, 14698},
  1773  	{7980, 14702, 14703},
  1774  	{14357, 14707, 14708},
  1775  	{12266, 14714, 14715},
  1776  	{10772, 14723, 14729},
  1777  	{12806, 14733, 14733},
  1778  	{2583, 14737, 14741},
  1779  	{14006, 14745, 14745},
  1780  	{12945, 14749, 14752},
  1781  	{8679, 14756, 14758},
  1782  	{12184, 14762, 14763},
  1783  	{14423, 14767, 14773},
  1784  	{14054, 14777, 14779},
  1785  	{10411, 14785, 14789},
  1786  	{11310, 14794, 14795},
  1787  	{6455, 14799, 14800},
  1788  	{5418, 14804, 14804},
  1789  	{13821, 14808, 14808},
  1790  	{11905, 14812, 14814},
  1791  	{13502, 14818, 14819},
  1792  	{11761, 14823, 14829},
  1793  	{14745, 14833, 14833},
  1794  	{14070, 14837, 14843},
  1795  	{8173, 14850, 14850},
  1796  	{2999, 14854, 14856},
  1797  	{9201, 14860, 14867},
  1798  	{14807, 14871, 14872},
  1799  	{14812, 14878, 14881},
  1800  	{13814, 14885, 14887},
  1801  	{12644, 14891, 14892},
  1802  	{14295, 14898, 14898},
  1803  	{14457, 14902, 14902},
  1804  	{14331, 14906, 14907},
  1805  	{13170, 14911, 14911},
  1806  	{14352, 14915, 14916},
  1807  	{12649, 14920, 14921},
  1808  	{12399, 14925, 14925},
  1809  	{13349, 14929, 14929},
  1810  	{13207, 14934, 14935},
  1811  	{14372, 14939, 14941},
  1812  	{14498, 14945, 14945},
  1813  	{13860, 14949, 14955},
  1814  	{14452, 14960, 14962},
  1815  	{14792, 14970, 14970},
  1816  	{14720, 14975, 14975},
  1817  	{13858, 14984, 14984},
  1818  	{5733, 14989, 14991},
  1819  	{14982, 14995, 14995},
  1820  	{14524, 14999, 15000},
  1821  	{2347, 15004, 15004},
  1822  	{4612, 15009, 15009},
  1823  	{3225, 15013, 15013},
  1824  	{12320, 15017, 15018},
  1825  	{14975, 15022, 15022},
  1826  	{13416, 15026, 15028},
  1827  	{8140, 15034, 15034},
  1828  	{15016, 15040, 15042},
  1829  	{14299, 15046, 15051},
  1830  	{14901, 15055, 15056},
  1831  	{14933, 15060, 15061},
  1832  	{14960, 15066, 15066},
  1833  	{14999, 15070, 15071},
  1834  	{14461, 15075, 15080},
  1835  	{14666, 15084, 15084},
  1836  	{14474, 15088, 15134},
  1837  	{15055, 15138, 15138},
  1838  	{13046, 15142, 15146},
  1839  	{14536, 15150, 15176},
  1840  	{14567, 15181, 15181},
  1841  	{12725, 15185, 15185},
  1842  	{13346, 15189, 15189},
  1843  	{13268, 15193, 15197},
  1844  	{5568, 15203, 15203},
  1845  	{15192, 15207, 15207},
  1846  	{15075, 15211, 15216},
  1847  	{15207, 15220, 15220},
  1848  	{13941, 15224, 15224},
  1849  	{13091, 15228, 15230},
  1850  	{13623, 15234, 15235},
  1851  	{13362, 15239, 15243},
  1852  	{10066, 15247, 15252},
  1853  	{6452, 15257, 15257},
  1854  	{14837, 15261, 15267},
  1855  	{13576, 15271, 15281},
  1856  	{12874, 15285, 15304},
  1857  	{15181, 15309, 15309},
  1858  	{14164, 15313, 15316},
  1859  	{14579, 15321, 15326},
  1860  	{12090, 15330, 15339},
  1861  	{14601, 15344, 15346},
  1862  	{15084, 15350, 15350},
  1863  	{12523, 15354, 15357},
  1864  	{14618, 15361, 15361},
  1865  	{12788, 15365, 15365},
  1866  	{6032, 15369, 15369},
  1867  	{12127, 15373, 15378},
  1868  	{4703, 15382, 15382},
  1869  	{12140, 15386, 15387},
  1870  	{4602, 15392, 15392},
  1871  	{12856, 15396, 15398},
  1872  	{13990, 15403, 15406},
  1873  	{13213, 15412, 15416},
  1874  	{13979, 15420, 15420},
  1875  	{14300, 15424, 15426},
  1876  	{10617, 15430, 15430},
  1877  	{10094, 15435, 15435},
  1878  	{12413, 15439, 15440},
  1879  	{10900, 15447, 15450},
  1880  	{10908, 15455, 15455},
  1881  	{15220, 15459, 15459},
  1882  	{14911, 15463, 15464},
  1883  	{15026, 15468, 15470},
  1884  	{14696, 15478, 15480},
  1885  	{12414, 15484, 15484},
  1886  	{14215, 15488, 15491},
  1887  	{13009, 15496, 15508},
  1888  	{15424, 15512, 15514},
  1889  	{11334, 15518, 15519},
  1890  	{11280, 15523, 15524},
  1891  	{11345, 15528, 15529},
  1892  	{15459, 15533, 15533},
  1893  	{14243, 15537, 15539},
  1894  	{14818, 15543, 15544},
  1895  	{15533, 15548, 15548},
  1896  	{14230, 15552, 15554},
  1897  	{14832, 15561, 15562},
  1898  	{9787, 15566, 15567},
  1899  	{15443, 15573, 15575},
  1900  	{13845, 15579, 15584},
  1901  	{15430, 15588, 15588},
  1902  	{15561, 15593, 15593},
  1903  	{14453, 15601, 15608},
  1904  	{14870, 15613, 15615},
  1905  	{12275, 15619, 15619},
  1906  	{14613, 15623, 15624},
  1907  	{10596, 15628, 15630},
  1908  	{1940, 15634, 15634},
  1909  	{9773, 15638, 15638},
  1910  	{2665, 15642, 15642},
  1911  	{13638, 15646, 15646},
  1912  	{6861, 15650, 15650},
  1913  	{12781, 15654, 15657},
  1914  	{15088, 15661, 15665},
  1915  	{11712, 15669, 15669},
  1916  	{5534, 15673, 15674},
  1917  	{12864, 15678, 15684},
  1918  	{15547, 15688, 15689},
  1919  	{15365, 15693, 15693},
  1920  	{7973, 15697, 15698},
  1921  	{13144, 15702, 15710},
  1922  	{15548, 15714, 15714},
  1923  	{14906, 15718, 15719},
  1924  	{15444, 15723, 15723},
  1925  	{11456, 15727, 15729},
  1926  	{12632, 15733, 15734},
  1927  	{13602, 15738, 15738},
  1928  	{8932, 15746, 15746},
  1929  	{15598, 15752, 15753},
  1930  	{14257, 15757, 15758},
  1931  	{8379, 15762, 15763},
  1932  	{10531, 15767, 15767},
  1933  	{8403, 15771, 15775},
  1934  	{10432, 15779, 15784},
  1935  	{14285, 15791, 15794},
  1936  	{3086, 15800, 15803},
  1937  	{14925, 15807, 15807},
  1938  	{14934, 15812, 15812},
  1939  	{15065, 15816, 15817},
  1940  	{15737, 15821, 15821},
  1941  	{15210, 15825, 15831},
  1942  	{15350, 15835, 15835},
  1943  	{15661, 15839, 15843},
  1944  	{15223, 15847, 15848},
  1945  	{10450, 15855, 15855},
  1946  	{10501, 15860, 15870},
  1947  	{10515, 15879, 15879},
  1948  	{12621, 15884, 15884},
  1949  	{15593, 15890, 15890},
  1950  	{15021, 15894, 15894},
  1951  	{15512, 15898, 15900},
  1952  	{14274, 15904, 15905},
  1953  	{15566, 15909, 15909},
  1954  	{3785, 15913, 15913},
  1955  	{14995, 15917, 15917},
  1956  	{15565, 15921, 15921},
  1957  	{14762, 15925, 15926},
  1958  	{14016, 15933, 15940},
  1959  	{10264, 15948, 15948},
  1960  	{15944, 15952, 15953},
  1961  	{14847, 15962, 15966},
  1962  	{15321, 15973, 15975},
  1963  	{15917, 15979, 15980},
  1964  	{8141, 15984, 15984},
  1965  	{15714, 15988, 15988},
  1966  	{15004, 15992, 16018},
  1967  	{5180, 16023, 16024},
  1968  	{15017, 16028, 16029},
  1969  	{15046, 16033, 16036},
  1970  	{14499, 16040, 16061},
  1971  	{15987, 16065, 16066},
  1972  	{15354, 16070, 16073},
  1973  	{15628, 16077, 16081},
  1974  	{13235, 16085, 16088},
  1975  	{15835, 16093, 16093},
  1976  	{13247, 16097, 16107},
  1977  	{15929, 16112, 16112},
  1978  	{7992, 16118, 16118},
  1979  	{15988, 16122, 16122},
  1980  	{15811, 16126, 16133},
  1981  	{5185, 16137, 16137},
  1982  	{6056, 16149, 16156},
  1983  	{15723, 16160, 16160},
  1984  	{13435, 16167, 16167},
  1985  	{15692, 16173, 16175},
  1986  	{1346, 16182, 16183},
  1987  	{15641, 16187, 16187},
  1988  	{13157, 16192, 16192},
  1989  	{12813, 16197, 16197},
  1990  	{5216, 16201, 16202},
  1991  	{16170, 16206, 16206},
  1992  	{15224, 16210, 16211},
  1993  	{12979, 16215, 16215},
  1994  	{13342, 16230, 16230},
  1995  	{15070, 16236, 16237},
  1996  	{16070, 16241, 16244},
  1997  	{15361, 16248, 16248},
  1998  	{15488, 16252, 16256},
  1999  	{15184, 16265, 16273},
  2000  	{10860, 16277, 16278},
  2001  	{8780, 16286, 16287},
  2002  	{15271, 16291, 16293},
  2003  	{16206, 16297, 16297},
  2004  	{14529, 16301, 16304},
  2005  	{16248, 16308, 16308},
  2006  	{13716, 16312, 16322},
  2007  	{16252, 16326, 16330},
  2008  	{13874, 16334, 16334},
  2009  	{12773, 16338, 16349},
  2010  	{14929, 16353, 16353},
  2011  	{15697, 16361, 16362},
  2012  	{13531, 16366, 16368},
  2013  	{14833, 16373, 16373},
  2014  	{15904, 16377, 16378},
  2015  	{16173, 16386, 16388},
  2016  	{13582, 16392, 16393},
  2017  	{9488, 16399, 16399},
  2018  	{15468, 16403, 16404},
  2019  	{13905, 16409, 16411},
  2020  	{3784, 16415, 16416},
  2021  	{16297, 16420, 16420},
  2022  	{16210, 16424, 16426},
  2023  	{12936, 16430, 16430},
  2024  	{8508, 16435, 16438},
  2025  	{9602, 16443, 16446},
  2026  	{1317, 16450, 16451},
  2027  	{4739, 16456, 16461},
  2028  }
  2029  

View as plain text