text:
100, 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: 3146, 1865, 1866, 1864},
		{650, 650, 5: 650, 30: 650, 293: 650, 297: 650, 650, 304: 650, 306: 650, 650, 650, 650, 650, 312: 650, 314: 650, 322: 650, 325: 650, 650, 650, 650, 650, 650, 650, 650, 650, 455: 650, 473: 650, 650},
		{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: 3148},
		{658, 658, 5: 658, 30: 658, 293: 658, 297: 658, 658, 304: 658, 306: 658, 658, 658, 658, 658, 312: 658, 314: 658, 322: 658, 325: 658, 658, 658, 658, 658, 658, 658, 658, 658},
		// 1405
		{30: 3150, 308: 568},
		{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, 308: 567, 459: 3144, 1865, 1866, 1864, 650: 3148},
		{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, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3181},
		{328: 622, 667: 3168, 798: 3172},
		{297: 3155, 3156, 328: 3165, 601: 3166},
		// 1410
		{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, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3162},
		{328: 624, 667: 624},
		{328: 623, 667: 623},
		{2: 620, 620, 620, 6: 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 31: 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620, 620},
		{328: 3161},
		// 1415
		{328: 3160},
		{2: 618, 618, 618, 6: 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 31: 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618},
		{2: 619, 619, 619, 6: 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 31: 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619, 619},
		{626, 626, 5: 626, 30: 626, 293: 3163, 297: 626, 626, 304: 626, 306: 626, 626, 626, 626, 626, 312: 626, 314: 626, 322: 626, 325: 626, 626, 626, 626, 626, 626, 626, 626, 626, 601: 3152, 603: 3151},
		{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, 3164},
		// 1420
		{625, 625, 5: 625, 30: 625, 293: 625, 297: 625, 625, 304: 625, 306: 625, 625, 625, 625, 625, 2384, 625, 314: 625, 2382, 2383, 2381, 2379, 322: 625, 325: 625, 625, 625, 625, 625, 625, 625, 625, 625, 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, 3136, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3171},
		{328: 622, 667: 3168, 798: 3167},
		{328: 3169},
		{328: 621},
		// 1425
		{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, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3170},
		{627, 627, 5: 627, 30: 627, 293: 627, 297: 627, 627, 304: 627, 306: 627, 627, 627, 627, 627, 312: 627, 314: 627, 322: 627, 325: 627, 627, 627, 627, 627, 627, 627, 627, 627, 601: 3152, 603: 3151},
		{628, 628, 5: 628, 30: 628, 293: 628, 297: 628, 628, 304: 628, 306: 628, 628, 628, 628, 628, 312: 628, 314: 628, 322: 628, 325: 628, 628, 628, 628, 628, 628, 628, 628, 628, 601: 3152, 603: 3151},
		{328: 3173},
		{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, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3174},
		// 1430
		{293: 3175, 297: 3155, 3156, 306: 3176, 325: 3154, 328: 3157, 330: 3158, 3159, 3153, 601: 3152, 603: 3151},
		{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, 3180},
		{292: 3177},
		{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: 3178},
		{5: 3085, 30: 3179},
		// 1435
		{629, 629, 5: 629, 30: 629, 293: 629, 297: 629, 629, 304: 629, 306: 629, 629, 629, 629, 629, 312: 629, 314: 629, 322: 629, 325: 629, 629, 629, 629, 629, 629, 629, 629, 629},
		{630, 630, 5: 630, 30: 630, 293: 630, 297: 630, 630, 304: 630, 306: 630, 630, 630, 630, 630, 2384, 630, 314: 630, 2382, 2383, 2381, 2379, 322: 630, 325: 630, 630, 630, 630, 630, 630, 630, 630, 630, 539: 2380, 2378},
		{633, 633, 5: 633, 30: 633, 293: 3182, 297: 633, 633, 304: 633, 306: 3183, 633, 633, 633, 633, 312: 633, 314: 633, 322: 633, 325: 633, 633, 633, 633, 633, 633, 633, 633, 633, 601: 3152, 603: 3151},
		{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, 3187},
		{292: 3184},
		// 1440
		{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: 3185},
		{5: 3085, 30: 3186},
		{631, 631, 5: 631, 30: 631, 293: 631, 297: 631, 631, 304: 631, 306: 631, 631, 631, 631, 631, 312: 631, 314: 631, 322: 631, 325: 631, 631, 631, 631, 631, 631, 631, 631, 631},
		{632, 632, 5: 632, 30: 632, 293: 632, 297: 632, 632, 304: 632, 306: 632, 632, 632, 632, 632, 2384, 632, 314: 632, 2382, 2383, 2381, 2379, 322: 632, 325: 632, 632, 632, 632, 632, 632, 632, 632, 632, 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


text:
, 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, 3138, 617: 3190},
		// 1445
		{656, 656, 5: 656, 30: 656, 293: 656, 297: 656, 656, 304: 656, 306: 656, 656, 656, 656, 656, 312: 656, 314: 656, 322: 656, 325: 656, 656, 656, 656, 656, 656, 656, 656, 656},
		{664, 664, 5: 664, 30: 664, 293: 664, 304: 664, 306: 664, 664, 664, 664, 664, 312: 664, 314: 664, 322: 664, 326: 664, 664, 329: 664},
		{653, 653, 2068, 1955, 1869, 653, 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 653, 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, 293: 653, 296: 3145, 653, 653, 304: 653, 306: 653, 653, 653, 653, 653, 312: 653, 314: 653, 322: 653, 325: 653, 653, 653, 653, 653, 653, 653, 653, 653, 455: 653, 459: 3144, 1865, 1866, 1864, 473: 653, 653, 650: 3200, 839: 3199},
		{292: 3193},
		{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: 3194, 1865, 1866, 1864, 630: 3195},
		// 1450
		{1682, 1682, 1682, 5: 1682, 30: 1682, 304: 1682, 313: 1682, 458: 1682},
		{5: 3196, 30: 3197},
		{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: 3198, 1865, 1866, 1864},
		{654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, 293: 654, 296: 654, 654, 654, 304: 654, 306: 654, 654, 654, 654, 654, 312: 654, 314: 654, 322: 654, 325: 654, 654, 654, 654, 654, 654, 654, 654, 654, 455: 654, 473: 654, 654},
		{1681, 1681, 1681, 5: 1681, 30: 1681, 304: 1681, 313: 1681, 458: 1681},
		// 1455
		{635, 635, 5: 635, 30: 635, 293: 635, 297: 635, 635, 304: 635, 306: 635, 635, 635, 635, 635, 312: 635, 314: 635, 322: 635, 325: 635, 635, 635, 635, 635, 635, 635, 635, 635, 455: 3203, 473: 3204, 3202, 684: 3206, 3205, 766: 3207, 3201},
		{652, 652, 5: 652, 30: 652, 293: 652, 297: 652, 652, 304: 652, 306: 652, 652, 652, 652, 652, 312: 652, 314: 652, 322: 652, 325: 652, 652, 652, 652, 652, 652, 652, 652, 652, 455: 652, 473: 652, 652},
		{659, 659, 5: 659, 30: 659, 293: 659, 297: 659, 659, 304: 659, 306: 659, 659, 659, 659, 659, 312: 659, 314: 659, 322: 659, 325: 659, 659, 659, 659, 659, 659, 659, 659, 659},
		{448: 3223, 458: 3224, 607: 3227},
		{448: 3223, 458: 3224, 607: 3226},
		// 1460
		{448: 3223, 458: 3224, 607: 3225},
		{292: 646, 307: 3209, 913: 3210},
		{637, 637, 5: 637, 30: 637, 293: 637, 297: 637, 637, 304: 637, 306: 637, 637, 637, 637, 637, 312: 637, 314: 637, 322: 637, 325: 637, 637, 637, 637, 637, 637, 637, 637, 637, 455: 637, 473: 637, 637},
		{634, 634, 5: 634, 30: 634, 293: 634, 297: 634, 634, 304: 634, 306: 634, 634, 634, 634, 634, 312: 634, 314: 634, 322: 634, 325: 634, 634, 634, 634, 634, 634, 634, 634, 634, 455: 3203, 473: 3204, 3202, 684: 3208, 3205},
		{636, 636, 5: 636, 30: 636, 293: 636, 297: 636, 636, 304: 636, 306: 636, 636, 636, 636, 636, 312: 636, 314: 636, 322: 636, 325: 636, 636, 636, 636, 636, 636, 636, 636, 636, 455: 636, 473: 636, 636},
		// 1465
		{312: 3219, 328: 3218, 3220},
		{292: 3211},
		{2: 2068, 1955, 1869, 641, 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 641, 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, 450: 3214, 459: 3213, 1865, 1866, 1864, 628: 3212},
		{5: 3216, 30: 3215},
		{640, 640, 5: 640, 30: 640, 304: 640},
		// 1470
		{638, 638, 5: 638, 30: 638, 304: 638},
		{642, 642, 5: 642, 30: 642, 293: 642, 297: 642, 642, 304: 642, 306: 642, 642, 642, 642, 642, 312: 642, 314: 642, 322: 642, 325: 642, 642, 642, 642, 642, 642, 642, 642, 642, 455: 642, 473: 642, 642},
		{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: 3217, 1865, 1866, 1864},
		{639, 639, 5: 639, 30: 639, 304: 639},
		{292: 645},
		// 1475
		{469: 3222},
		{469: 3221},
		{292: 643},
		{292: 644},
		{2: 1695, 1695, 1695, 6: 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 31: 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 1695, 306: 1695, 1695, 361: 1695},
		// 1480
		{2: 1694, 1694, 1694, 6: 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 31: 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 1694, 306: 1694, 1694, 361: 1694},
		{292: 647, 307: 647},
		{292: 648, 307: 648},
		{292: 649, 307: 649},
		{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, 459: 2154, 1865, 1866, 1864, 542: 3135, 580: 3134, 582: 3133, 3229},
		// 1485
		{297: 3155, 3156, 325: 3154, 328: 3157, 330: 3158, 3159, 3153, 3230, 601: 3152, 603: 3151},
		{662, 662, 5: 662, 30: 662, 293: 662, 304: 662, 306: 662, 662, 662, 662, 662, 312: 662, 314: 662, 322: 662, 326: 662, 662, 329: 662},
		{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: 3232, 654: 3233, 674: 3234},
		{323: 3247},
		{1649, 1649, 5: 1649, 310: 1649, 312: 1649, 314: 1649},
		// 1490
		{154, 154, 5: 3235, 310: 154, 312: 154, 314: 3237, 621: 3238, 3236},
		{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: 3232, 654: 3246},
		{964, 964, 310: 964, 312: 2586, 595: 2587, 3240},
		{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, 3239},
		{153, 153, 30: 153, 293: 153, 304: 153, 306: 153, 153, 153, 153, 153, 312: 153, 326: 153, 153, 329: 153},
		// 1495
		{155, 155, 30: 155, 293: 155, 304: 155, 306: 155, 155, 155, 155, 155, 2384, 155, 315: 2382, 2383, 2381, 2379, 326: 155, 155, 329: 155, 539: 2380, 2378},
		{617, 617, 310: 3241, 774: 3242},
		{324: 1854, 385: 3245, 541: 2792, 556: 3244, 663: 3243},
		{158, 158},
		{616, 616},
		// 1500
		{615, 615, 5: 615, 30: 615, 72: 615, 293: 615, 304: 615, 306: 615, 615, 615, 615},
		{614, 614, 5: 614, 30: 614, 72: 614, 293: 614, 304: 614, 306: 614, 614, 614, 614},
		{1648, 1648, 5: 1648, 310: 1648, 312: 1648, 314: 1648},
		{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, 3248},
		{1650, 1650, 5: 1650, 310: 1650, 2384, 1650, 314: 1650, 2382, 2383, 2381, 2379, 539: 2380, 2378},
		// 1505
		{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: 3232, 654: 3233, 674: 3250},
		{154, 154, 5: 3235, 314: 3237, 621: 3238, 3251},
		{157, 157},
		{44: 3260, 53: 3258, 3257, 3256, 3255, 3259, 592: 3281, 842: 3282},
		{592: 3280},
		// 1510
		{44: 603, 53: 603, 603, 603, 603, 603, 592: 603},
		{292: 3277},
		{292: 3274},
		{292: 3268},
		{292: 3266},
		// 1515
		{292: 3264},
		{292: 3261},
		{324: 1854, 541: 3262},
		{30: 3263},
		{44: 596, 53: 596, 596, 596, 596, 596, 592: 596},
		// 1520
		{30: 3265},
		{44: 597, 53: 597, 597, 597, 597, 597, 592: 597},
		{30: 3267},
		{44: 598, 53: 598, 598, 598, 598, 598, 592: 598},
		{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,

license_type: permissive

branch_name: refs/heads/master

extension: go


text:
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: 3269, 1865, 1866, 1864, 683: 3270},
		// 1525
		{5: 605, 30: 605},
		{5: 3271, 30: 3272},
		{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: 3273, 1865, 1866, 1864},
		{44: 599, 53: 599, 599, 599, 599, 599, 592: 599},
		{5: 604, 30: 604},
		// 1530
		{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: 3269, 1865, 1866, 1864, 683: 3275},
		{5: 3271, 30: 3276},
		{44: 600, 53: 600, 600, 600, 600, 600, 592: 600},
		{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: 3269, 1865, 1866, 1864, 683: 3278},
		{5: 3271, 30: 3279},
		// 1535
		{44: 601, 53: 601, 601, 601, 601, 601, 592: 601},
		{2: 606, 606, 606, 6: 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 31: 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 294: 606, 606, 297: 606, 606, 606, 301: 606, 606, 606, 305: 606, 319: 606, 606, 606, 324: 606, 606, 335: 606, 339: 606, 606, 361: 606, 378: 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 606, 455: 606, 546: 606, 558: 606, 566: 606, 606, 606, 606, 571: 606, 606, 577: 606},
		{2: 607, 607, 607, 6: 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 31: 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 294: 607, 607, 297: 607, 607, 607, 301: 607, 607, 607, 305: 607, 319: 607, 607, 607, 324: 607, 607, 335: 607, 339: 607, 607, 361: 607, 378: 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 607, 455: 607, 546: 607, 558: 607, 566: 607, 607, 607, 607, 571: 607, 607, 577: 607},
		{44: 602, 53: 602, 602, 602, 602, 602, 592: 602},
		{2: 274, 274, 274, 6: 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 31: 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274},
		// 1540
		{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: 2154, 1865, 1866, 1864, 542: 3285},
		{273, 273},
		{35: 3290, 3293, 69: 3292, 76: 3294, 554: 3289, 843: 3295, 905: 3291},
		{390, 390, 390, 5: 390, 32: 390, 35: 390, 390, 69: 390, 76: 390, 292: 390, 313: 390, 324: 390, 554: 390},
		{389, 389, 389, 5: 389, 32: 389, 35: 389, 389, 69: 389, 76: 389, 292: 389, 313: 389, 324: 389, 554: 389},
		// 1545
		{1424, 1424, 1424, 1424, 1424, 6: 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 31: 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 304: 1424, 361: 1424},
		{1423, 1423, 1423, 1423, 1423, 6: 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 31: 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 304: 1423, 361: 1423},
		{398, 398},
		{395, 395},
		{394, 394},
		// 1550
		{97: 3305},
		{388, 388, 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, 304: 388, 459: 2154, 1865, 1866, 1864, 542: 3296, 597: 3297, 989: 3298},
		{747, 747, 5: 747, 304: 747, 321: 747, 477: 747, 479: 747},
		{387, 387, 5: 3303, 304: 387},
		{386, 386, 304: 3300, 1021: 3299},
		// 1555
		{392, 392},
		{481: 3301},
		{309: 3302},
		{385, 385},
		{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: 2154, 1865, 1866, 1864, 542: 3304},
		// 1560
		{746, 746, 5: 746, 304: 746, 306: 746, 321: 746, 477: 746, 479: 746},
		{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: 3306, 1865, 1866, 1864, 694: 3307},
		{397, 397, 5: 397},
		{393, 393, 5: 3308},
		{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: 3309, 1865, 1866, 1864},
		// 1565
		{396, 396, 5: 396},
		{409, 409, 314: 3369, 334: 3368, 635: 3440},
		{31: 3429, 77: 3431, 393: 3430, 554: 3428},
		{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, 3421, 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: 2154, 1865, 1866, 1864, 542: 3422},
		{466, 466, 307: 3416},
		// 1570
		{36: 3415},
		{35: 3405, 41: 3406, 60: 3407, 98: 3404},
		{409, 409, 314: 3369, 334: 3368, 635: 3403},
		{409, 409, 314: 3369, 334: 3368, 635: 3402},
		{409, 409, 314: 3369, 334: 3368, 635: 3401},
		// 1575
		{409, 409, 314: 3369, 334: 3368, 635: 3400},
		{458, 458},
		{454, 454, 93: 3376, 108: 3377, 117: 3378, 119: 3375, 131: 3380, 140: 3379, 149: 3382, 154: 3381, 307: 454, 310: 454, 546: 3383, 827: 3374, 972: 3373, 3372},
		{456, 456},
		{36: 3366},
		// 1580
		{321: 437, 356: 437},
		{321: 436, 356: 436},
		{321: 435, 356: 435},
		{432, 432, 314: 432, 334: 432},
		{431, 431, 314: 431, 334: 431},
		// 1585
		{430, 430, 314: 430, 334: 430},
		{35: 3364},
		{321: 3346, 356: 3347, 587: 3359},
		{422, 422, 314: 422, 334: 422},
		{421, 421, 314: 421, 334: 421},
		// 1590
		{36: 3357, 78: 3358, 88: 3356},
		{417, 417, 314: 417, 334: 417},
		{401, 401, 314: 401, 321: 3346, 334: 401, 356: 3347, 587: 3349, 620: 3355},
		{36: 3354},
		{36: 3353},
		// 1595
		{36: 3352},
		{36: 3351},
		{401, 401, 314: 401, 321: 3346, 334: 401, 356: 3347, 587: 3349, 620: 3348},
		{410, 410, 314: 410, 334: 410},
		{36: 405, 67: 405, 78: 405, 88: 405},
		// 1600
		{36: 404, 67: 404, 78: 404, 88: 404},
		{35: 402, 41: 402, 60: 402, 98: 402},
		{2: 434, 434, 434, 6: 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 31: 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, 434},
		{2: 433, 433, 433, 6: 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 31: 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433, 433},
		{411, 411, 314: 411, 334: 411},
		// 1605
		{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, 2