text:
5, 1375, 362: 1375, 1375, 1375, 1375, 1375},
		{1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 293: 1396, 1396, 296: 1396, 1396, 1396, 304: 1396, 306: 1396, 1396, 1396, 1396, 1396, 1396, 1396, 314: 1396, 1396, 1396, 1396, 1396, 321: 1396, 1396, 325: 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 336: 1396, 1396, 1396, 341: 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 357: 1396},
		// 1220
		{1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 293: 1395, 1395, 296: 1395, 1395, 1395, 304: 1395, 306: 1395, 1395, 1395, 1395, 1395, 1395, 1395, 314: 1395, 1395, 1395, 1395, 1395, 321: 1395, 1395, 325: 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 336: 1395, 1395, 1395, 341: 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 357: 1395},
		{1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 293: 1394, 1394, 296: 1394, 1394, 1394, 304: 1394, 306: 1394, 1394, 1394, 1394, 1394, 1394, 1394, 314: 1394, 1394, 1394, 1394, 1394, 321: 1394, 1394, 325: 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 336: 1394, 1394, 1394, 341: 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 357: 1394},
		{1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 293: 1377, 1377, 296: 1377, 1377, 1377, 304: 1377, 306: 1377, 1377, 1377, 1377, 1377, 1377, 1377, 314: 1377, 1377, 1377, 1377, 1377, 321: 1377, 1377, 1377, 325: 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 336: 1377, 1377, 1377, 341: 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 357: 1377, 1377, 1377, 1377, 362: 1377, 1377, 1377, 1377, 1377},
		{1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 293: 1397, 1397, 296: 1397, 1397, 1397, 304: 1397, 306: 1397, 1397, 1397, 1397, 1397, 1397, 1397, 314: 1397, 1397, 1397, 1397, 1397, 321: 1397, 1397, 325: 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 336: 1397, 1397, 1397, 341: 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 357: 1397, 539: 2380, 2378},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 2251, 2246, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 2248, 2016, 2012, 2255, 1881, 2250, 2020, 2125, 2021, 2022, 2023, 2264, 2265, 2263, 2259, 2266, 2099, 2096, 2098, 2097, 2100, 2256, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 2257, 1994, 1889, 2247, 1897, 2243, 1971, 1972, 2013, 2252, 2254, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2262, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 2253, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 2258, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 2249, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 2244, 2245, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2267, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 2260, 2261, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2268, 2269, 2150, 2136, 2137, 2138, 2298, 294: 2281, 2239, 297: 2309, 2313, 2374, 301: 2295, 2294, 2331, 305: 2272, 319: 2312, 2329, 324: 2276, 339: 2301, 2232, 361: 2307, 378: 2237, 2314, 2330, 2332, 2275, 2274, 2308, 2289, 2305, 2280, 2279, 2304, 2300, 2271, 2273, 2306, 2310, 2319, 2370, 2320, 2321, 2278, 2299, 2292, 2293, 2343, 2345, 2346, 2347, 2302, 2348, 2327, 2333, 2341, 2342, 2337, 2349, 2350, 2351, 2338, 2353, 2354, 2344, 2339, 2352, 2334, 2340, 2325, 2355, 2356, 2303, 2360, 2315, 2316, 2318, 2359, 2365, 2364, 2366, 2363, 2296, 2367, 2362, 2361, 2358, 2311, 2357, 2317, 2322, 2323, 459: 2231, 1865, 1866, 1864, 517: 2297, 2369, 2283, 2288, 2277, 2286, 2284, 2285, 2324, 2336, 2335, 2328, 2326, 2282, 2291, 2368, 2290, 2287, 2242, 2241, 2240, 2969},
		// 1225
		{1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 293: 1401, 1401, 296: 1401, 1401, 1401, 304: 1401, 306: 1401, 1401, 1401, 1401, 1401, 2384, 1401, 314: 1401, 2382, 2383, 2381, 2379, 321: 1401, 1401, 325: 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 336: 1401, 1401, 1401, 341: 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 357: 1401, 539: 2380, 2378},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 340: 2232, 459: 2231, 1865, 1866, 1864, 519: 2235, 777: 2971},
		{20, 20, 5: 20},
		{340: 2973},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2974, 1865, 1866, 1864},
		// 1230
		{945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 293: 945, 945, 945, 945, 945, 945, 300: 945, 945, 945, 945, 945, 306: 945, 945, 945, 945, 945, 945, 945, 314: 945, 945, 945, 945, 945, 321: 945, 945, 945, 325: 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 341: 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 362: 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 945, 449: 945, 466: 945, 945},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2976, 1865, 1866, 1864},
		{946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 293: 946, 946, 946, 946, 946, 946, 300: 946, 946, 946, 946, 946, 306: 946, 946, 946, 946, 946, 946, 946, 314: 946, 946, 946, 946, 946, 321: 946, 946, 946, 325: 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 340: 2977, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 362: 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 946, 449: 946, 466: 946, 946},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2978, 1865, 1866, 1864},
		{944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 293: 944, 944, 944, 944, 944, 944, 300: 944, 944, 944, 944, 944, 306: 944, 944, 944, 944, 944, 944, 944, 314: 944, 944, 944, 944, 944, 321: 944, 944, 944, 325: 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 341: 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 362: 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 944, 449: 944, 466: 944, 944},
		// 1235
		{1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 313: 1636, 320: 1636, 322: 1636, 1636, 339: 1636, 2988, 1636, 1636, 457: 1636, 477: 1636, 1636, 1636, 487: 1636, 1636, 1636, 1636, 1636, 1636, 494: 1636, 497: 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636},
		{5: 2986, 30: 1628},
		{5: 1627, 30: 1627},
		{5: 1625, 30: 1625},
		{5: 1624, 30: 1624},
		// 1240
		{30: 2985},
		{1622, 1622, 322: 1622},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 378: 2387, 459: 2979, 1865, 1866, 1864, 518: 2983, 548: 2982, 719: 2987},
		{5: 1626, 30: 1626},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 188


text:
3, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2989, 1865, 1866, 1864},
		// 1245
		{1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 313: 1635, 320: 1635, 322: 1635, 1635, 339: 1635, 2990, 1635, 1635, 457: 1635, 477: 1635, 1635, 1635, 487: 1635, 1635, 1635, 1635, 1635, 1635, 494: 1635, 497: 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2991, 1865, 1866, 1864},
		{1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 313: 1634, 320: 1634, 322: 1634, 1634, 339: 1634, 341: 1634, 1634, 457: 1634, 477: 1634, 1634, 1634, 487: 1634, 1634, 1634, 1634, 1634, 1634, 494: 1634, 497: 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634},
		{506, 506, 5: 506, 321: 506, 378: 1307, 468: 506, 476: 1307},
		{5: 79, 292: 79, 79, 378: 1267, 476: 1267},
		// 1250
		{5: 75, 292: 75, 75, 378: 1170, 476: 1170},
		{5: 80, 292: 80, 80, 378: 1164, 476: 1164},
		{111: 3081, 148: 3080, 378: 1146, 476: 1146},
		{5: 67, 292: 67, 67, 378: 1143, 476: 1143},
		{5: 58, 292: 58, 58, 378: 1140, 476: 1140},
		// 1255
		{507, 507, 5: 507, 321: 507, 378: 160, 468: 507, 476: 160},
		{505, 505, 5: 505, 321: 505, 468: 505},
		{378: 3096, 476: 3095},
		{502, 502, 5: 502, 321: 502, 468: 502},
		{5: 3088, 321: 3089},
		// 1260
		{5: 92, 292: 3082, 92},
		{5: 90, 293: 90},
		{5: 3035, 293: 3036},
		{5: 88, 69: 3034, 292: 88, 88},
		{5: 86, 145: 3033, 292: 86, 86},
		// 1265
		{5: 85, 31: 3029, 75: 3030, 77: 3027, 102: 3028, 145: 3031, 292: 85, 85},
		{5: 83, 292: 83, 83},
		{5: 82, 292: 82, 82},
		{5: 81, 75: 3026, 292: 81, 81},
		{5: 78, 292: 78, 78},
		// 1270
		{5: 77, 292: 77, 77},
		{5: 76, 292: 76, 76},
		{31: 3025, 732: 3024},
		{5: 73, 292: 73, 73},
		{666: 3023},
		// 1275
		{5: 71, 292: 71, 71},
		{5: 68, 292: 68, 68},
		{35: 3022},
		{5: 65, 292: 65, 65},
		{5: 72, 292: 72, 72},
		// 1280
		{5: 74, 292: 74, 74},
		{5: 63, 292: 63, 63},
		{5: 61, 292: 61, 61},
		{5: 84, 292: 84, 84},
		{35: 3032},
		// 1285
		{5: 64, 292: 64, 64},
		{5: 62, 292: 62, 62},
		{5: 60, 292: 60, 60},
		{5: 66, 292: 66, 66},
		{5: 59, 292: 59, 59},
		// 1290
		{5: 87, 292: 87, 87},
		{91: 3075, 143: 3078, 186: 3079, 217: 3074, 223: 3077, 234: 3076, 309: 3021, 380: 3014, 453: 3019, 456: 3015, 458: 3013, 478: 3012, 482: 3008, 546: 3007, 559: 3017, 563: 3011, 623: 3009, 627: 3018, 634: 3016, 695: 3073, 3004, 701: 3010, 703: 3020},
		{2: 57, 57, 57, 6: 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 31: 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 335: 57, 554: 3037, 785: 3038},
		{2: 56, 56, 56, 6: 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 31: 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 56, 335: 56},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 335: 3039, 459: 3040, 1865, 1866, 1864, 809: 3041},
		// 1295
		{321: 55, 340: 3071, 468: 55},
		{321: 51, 340: 3068, 468: 51},
		{321: 3042},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573: 3045, 652: 3046, 672: 3047},
		{516, 516, 5: 516, 8: 516, 28: 516, 31: 516, 61: 516, 304: 516, 306: 516, 323: 516, 378: 3066, 471: 516, 475: 516, 3065},
		// 1300
		{874, 874, 5: 874, 8: 874, 28: 874, 31: 874, 61: 874, 292: 2757, 304: 874, 306: 874, 323: 874, 471: 874, 475: 874, 793: 3064},
		{112, 112, 5: 112, 8: 112, 28: 112, 61: 3051, 304: 112, 471: 112, 865: 3050},
		{145, 145, 5: 145, 8: 145, 28: 145, 304: 145, 471: 145},
		{50, 50, 5: 3048},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573: 3045, 652: 3049},
		// 1305
		{144, 144, 5: 144, 8: 144, 28: 144, 304: 144, 471: 144},
		{146, 146, 5: 146, 8: 146, 28: 146, 304: 146, 471: 146},
		{304: 3053, 469: 3052},
		{8: 3062, 294: 3059, 655: 3061},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 459: 2188, 1865, 1866, 1864, 543: 3054},
		// 1310
		{110, 110, 5: 110, 8: 110, 28: 110, 296: 3056, 304: 110, 469: 3055, 471: 110},
		{294: 3059, 655: 3060},
		{294: 3058, 765: 3057},
		{108, 108, 5: 108, 8: 108, 28: 108, 304: 108, 471: 108},
		{106, 106, 5: 106, 8: 106, 28: 106, 304: 106, 471: 106},
		// 1315
		{508, 508, 5: 508, 8: 508, 28: 508, 30: 508, 304: 508, 471: 508},
		{109, 109, 5: 109, 8: 109, 28: 109, 304: 109, 471: 109},
		{111, 111, 5: 111, 8: 111, 28: 111, 304: 111, 471: 111},
		{294: 3058, 765: 3063},
		{107, 107, 5: 107, 8: 107, 28: 107, 304: 107, 471: 107},
		// 1320
		{513, 513, 5: 513, 8: 513, 28: 513, 31: 513, 61: 513, 304: 513, 306: 513, 323: 513, 471: 513, 475: 513},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 459: 2188, 1865, 1866, 1864, 543: 3067},
		{514, 514, 5: 514, 8: 514, 28: 514, 31: 514, 61: 514, 304: 514, 306: 514, 323: 514, 471: 514, 475: 514},
		{515, 515, 5: 515, 8: 515, 28: 515, 31: 515, 61: 515, 304: 515, 306: 515, 323: 515, 471: 515, 475: 515},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 335: 3069, 459: 3070, 1865, 1866, 1864},
		// 1325
		{321: 53, 468: 53},
		{321: 52, 468: 52},
		{335: 3072},
		{321: 54, 468: 54},
		{5: 89, 293: 89},
		// 1330
		{5: 80, 292: 80, 80},
		{5: 79, 292: 79, 79},
		{5: 75, 292: 75, 75},
		{111: 3081, 148: 3080},
		{5: 67, 292: 67, 67},
		// 1335
		{5: 58, 292: 58, 58},
		{5: 70, 292: 70, 70},
		{5: 69, 292: 69, 69},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2979, 1865, 1866, 1864, 548: 3083, 616: 3084},
		{5: 1633, 30: 1633},
		// 1340
		{5: 3085, 30: 3086},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 2979, 1865, 1866, 1864, 548: 3087},
		{5: 91, 293: 91},
		{5: 1632, 30: 1632},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 2992, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2999, 459: 2188, 1865, 1866, 1864, 543: 3001, 588: 3094, 3000},
		// 1345
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573: 3090, 651: 3091},
		{512, 512, 5: 512},
		{49, 49, 5: 3092},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573

license_type: permissive

branch_name: refs/heads/master

extension: go


text:
: 3093},
		{511, 511, 5: 511},
		// 1350
		{501, 501, 5: 501, 321: 501, 468: 501},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 459: 2188, 1865, 1866, 1864, 543: 3097},
		{503, 503, 5: 503, 321: 503, 468: 503},
		{504, 504, 5: 504, 321: 504, 468: 504},
		{5: 3088, 468: 3117},
		// 1355
		{5: 3035, 293: 3100},
		{2: 57, 57, 57, 6: 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 31: 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 335: 57, 554: 3037, 785: 3101},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 335: 3039, 459: 3040, 1865, 1866, 1864, 809: 3102},
		{468: 3103},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573: 3045, 652: 3046, 672: 3104},
		// 1360
		{98, 98, 5: 3048, 304: 3106, 1020: 3105},
		{100, 100},
		{43: 3110, 45: 3108, 3109, 3111, 627: 3107},
		{666: 3116},
		{324: 1854, 541: 3115},
		// 1365
		{324: 1854, 541: 3114},
		{324: 1854, 541: 3113},
		{324: 1854, 541: 3112},
		{93, 93},
		{94, 94},
		// 1370
		{95, 95},
		{96, 96},
		{97, 97},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 379: 3044, 459: 2188, 1865, 1866, 1864, 543: 3043, 573: 3090, 651: 3118},
		{99, 99, 5: 3092},
		// 1375
		{1537, 1537, 9: 1537, 34: 1537, 299: 1537, 1537, 314: 1537, 320: 1537, 334: 1537, 457: 1537},
		{156, 156},
		{44: 3260, 53: 3258, 3257, 3256, 3255, 3259, 842: 3254, 895: 3253, 990: 3252},
		{2: 754, 754, 754, 6: 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 31: 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 381: 754, 455: 754, 566: 3125, 3124, 3123, 649: 3126},
		{2: 753, 753, 753, 6: 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 31: 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 294: 753, 753, 297: 753, 753, 753, 301: 753, 753, 753, 305: 753, 319: 753, 753, 753, 324: 753, 753, 335: 753, 339: 753, 753, 361: 753, 378: 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 455: 753, 558: 753, 569: 753, 577: 753, 579: 753},
		// 1380
		{2: 752, 752, 752, 6: 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 31: 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 294: 752, 752, 297: 752, 752, 752, 301: 752, 752, 752, 305: 752, 319: 752, 752, 752, 324: 752, 752, 335: 752, 339: 752, 752, 361: 752, 378: 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 455: 752, 558: 752, 569: 752, 577: 752, 579: 752},
		{2: 751, 751, 751, 6: 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 31: 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 294: 751, 751, 297: 751, 751, 751, 301: 751, 751, 751, 305: 751, 319: 751, 751, 751, 324: 751, 751, 335: 751, 339: 751, 751, 361: 751, 378: 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, 455: 751, 558: 751, 569: 751, 577: 751, 579: 751},
		{2: 1321, 1321, 1321, 6: 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 31: 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 381: 1321, 455: 3127, 661: 3128},
		{2: 1320, 1320, 1320, 6: 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 31: 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 321: 1320, 381: 1320, 554: 1320, 579: 1320},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 3136, 381: 3132, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3131, 617: 3129, 637: 3130},
		// 1385
		{665, 665, 5: 665, 30: 665, 293: 665, 304: 665, 306: 665, 665, 665, 665, 665, 312: 665, 314: 665, 322: 665, 326: 665, 665, 329: 665},
		{5: 3188, 322: 3249},
		{5: 663, 297: 3155, 3156, 322: 3231, 325: 3154, 328: 3157, 330: 3158, 3159, 3153, 601: 3152, 603: 3151},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 459: 3228, 1865, 1866, 1864},
		{661, 661, 5: 661, 30: 661, 293: 661, 297: 661, 661, 304: 661, 306: 661, 661, 661, 661, 661, 312: 661, 314: 661, 322: 661, 325: 661, 661, 661, 661, 661, 661, 661, 661, 661},
		// 1390
		{660, 660, 5: 660, 30: 660, 293: 660, 297: 660, 660, 304: 660, 306: 660, 660, 660, 660, 660, 312: 660, 314: 660, 322: 660, 325: 660, 660, 660, 660, 660, 660, 660, 660, 660},
		{655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 655, 293: 655, 296: 655, 655, 655, 304: 655, 306: 655, 655, 655, 655, 655, 312: 655, 3192, 655, 322: 655, 325: 655, 655, 655, 655, 655, 655, 655, 655, 655, 455: 655, 473: 655, 655, 952: 3191},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 3139, 381: 3132, 456: 1772, 459: 2154, 1865, 1866, 1864, 542: 3135, 550: 3140, 1773, 1774, 1775, 560: 1778, 1777, 3141, 580: 3134, 582: 3133, 3138, 617: 3129, 637: 3137},
		{5: 3188, 30: 3189},
		{663, 663, 5: 663, 30: 663, 293: 663, 297: 3155, 3156, 304: 663, 306: 663, 663, 663, 663, 663, 312: 663, 314: 663, 322: 663, 325: 3154, 663, 663, 3157, 663, 3158, 3159, 3153, 601: 3152, 603: 3151},
		// 1395
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 3139, 381: 3132, 456: 1772, 459: 2154, 1865, 1866, 1864, 542: 3135, 550: 3149, 1773, 1774, 1775, 560: 1778, 1777, 3141, 580: 3134, 582: 3133, 3138, 617: 3129, 637: 3137},
		{30: 3147, 308: 568},
		{30: 3142},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 296: 3145, 459: 3144, 1865, 1866, 1864, 650: 3143},
		{657, 657, 5: 657, 30: 657, 293: 657, 297: 657, 657, 304: 657, 306: 657, 657, 657, 657, 657, 312: 657, 314: 657, 322: 657, 325: 657, 657, 657, 657, 657, 657, 657, 657, 657},
		// 1400
		{651, 651, 5: 651, 30: 651, 293: 651, 297: 651, 651, 304: 651, 306: 651, 651, 651, 651, 651, 312: 651, 314: 651, 322: 651, 325: 651, 651, 651, 651, 651, 651, 651, 651, 651, 455: 651, 473: 651, 651},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2