text:
, 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: 4649, 448: 3223, 458: 3224, 2154, 1865, 1866, 1864, 468: 4647, 542: 4648, 607: 4650},
		// 2885
		{1712, 1712, 1712, 5: 1712, 313: 1712},
		{82: 1422, 118: 1422, 129: 1422, 1422, 299: 1422, 323: 4081, 549: 4640},
		{1710, 1710, 1710, 5: 1710, 313: 1710},
		{166: 4639},
		{166: 4638},
		// 2890
		{1685, 1685, 1685, 5: 4636, 313: 1685},
		{1684, 1684, 1684, 5: 1684, 313: 1684},
		{3: 4283, 4294, 8: 4298, 1527, 4300, 4286, 4284, 4285, 4288, 4289, 4291, 4290, 4296, 4297, 4295, 4299, 4301, 4312, 4309, 4303, 4304, 4308, 66: 4630, 87: 4622, 89: 4623, 4624, 113: 4620, 135: 4625, 167: 4633, 299: 4282, 1527, 304: 4632, 309: 4517, 320: 1527, 389: 4618, 457: 1527, 4287, 463: 4307, 4306, 4305, 473: 4631, 478: 4621, 482: 4627, 484: 4626, 486: 4628, 495: 4619, 584: 4293, 609: 4292, 631: 4302, 636: 4311, 688: 4629, 699: 4617, 709: 4637},
		{1683, 1683, 1683, 5: 1683, 313: 1683},
		{1708, 1708, 1708, 5: 1708, 313: 1708},
		// 2895
		{1709, 1709, 1709, 5: 1709, 313: 1709},
		{82: 4646, 118: 4643, 129: 4644, 4645, 299: 4642, 858: 4641},
		{1711, 1711, 1711, 5: 1711, 313: 1711},
		{1707, 1707, 1707, 5: 1707, 313: 1707},
		{1706, 1706, 1706, 5: 1706, 313: 1706},
		// 2900
		{1705, 1705, 1705, 5: 1705, 313: 1705},
		{1704, 1704, 1704, 5: 1704, 313: 1704},
		{1703, 1703, 1703, 5: 1703, 313: 1703},
		{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: 4655},
		{1715, 1715, 1715, 5: 1715, 313: 1715},
		// 2905
		{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: 4654},
		{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: 4651, 1865, 1866, 1864},
		{468: 4652},
		{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: 4653, 1865, 1866, 1864},
		{1713, 1713, 1713, 5: 1713, 313: 1713},
		// 2910
		{1714, 1714, 1714, 5: 1714, 313: 1714},
		{1716, 1716, 1716, 5: 1716, 313: 1716},
		{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: 4658},
		{2: 1690, 1690, 1690, 6: 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 31: 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 1690, 361: 1690},
		{322: 4659, 478: 4660},
		// 2915
		{299: 4662},
		{299: 4661},
		{1717, 1717, 1717, 5: 1717, 313: 1717},
		{292: 4664, 294: 2281, 301: 4271, 4272, 305: 2272, 324: 2276, 382: 2275, 2274, 387: 2280, 2279, 391: 2271, 2273, 399: 2278, 520: 4270, 2277, 830: 4663},
		{1719, 1719, 1719, 5: 1719, 313: 1719},
		// 2920
		{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, 4665},
		{30: 4666, 311: 2384, 315: 2382, 2383, 2381, 2379, 539: 2380, 2378},
		{1718, 1718, 1718, 5: 1718, 313: 1718},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4668},
		{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: 4669},
		// 2925
		{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: 3993, 615: 4670},
		{1689, 1689, 1689, 5: 1689, 4672, 4673, 313: 1689, 675: 4671},
		{1720, 1720, 1720, 5: 1720, 313: 1720},
		{1688, 1688, 1688, 5: 1688, 313: 1688},
		{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: 4674},
		// 2930
		{1687, 1687, 1687, 5: 1687, 313: 1687},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4676},
		{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: 3993, 615: 4677},
		{1689, 1689, 1689, 5: 1689, 4672, 4673, 313: 1689, 675: 4678},
		{1721, 1721, 1721, 5: 1721, 313: 1721},
		// 2935
		{1722, 1722, 1722, 5: 1722, 313: 1722},
		{1723, 1723, 1723, 5: 1723, 313: 1723},
		{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: 4682},
		{1726, 1726, 1726, 5: 3196, 313: 1726},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4696},
		// 2940
		{448: 4695},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4693},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325,


text:
1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4691},
		{448: 4688},
		{2: 1325, 1325, 1325, 6: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 31: 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 361: 3851, 593: 4689},
		// 2945
		{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: 4279, 1865, 1866, 1864, 838: 4690},
		{1724, 1724, 1724, 5: 1724, 313: 1724},
		{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: 4692, 1865, 1866, 1864},
		{1725, 1725, 1725, 5: 1725, 313: 1725},
		{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: 4694},
		// 2950
		{1727, 1727, 1727, 5: 3196, 313: 1727},
		{1728, 1728, 1728, 5: 1728, 313: 1728},
		{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: 4697},
		{1427, 1427, 1427, 5: 1427, 313: 1427, 477: 3847, 479: 3846, 669: 4698},
		{1729, 1729, 1729, 5: 1729, 313: 1729},
		// 2955
		{62: 3288, 324: 391, 647: 3287, 690: 4700},
		{324: 1854, 541: 4701},
		{1730, 1730, 1730, 5: 1730, 313: 1730},
		{2: 1323, 1323, 1323, 6: 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 31: 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 361: 3433, 594: 4710},
		{1733, 1733, 1733, 5: 1733, 313: 1733},
		// 2960
		{1323, 1323, 1323, 5: 1323, 32: 1323, 62: 1323, 292: 1323, 313: 1323, 361: 3433, 594: 4705, 647: 1323},
		{391, 391, 391, 5: 391, 32: 391, 62: 3288, 292: 391, 313: 391, 647: 3287, 690: 4706},
		{1503, 1503, 1503, 5: 1503, 32: 4708, 292: 4443, 313: 1503, 801: 4707},
		{1732, 1732, 1732, 5: 1732, 313: 1732},
		{324: 1854, 541: 4709},
		// 2965
		{1731, 1731, 1731, 5: 1731, 313: 1731},
		{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, 4712, 459: 2979, 1865, 1866, 1864, 548: 3993, 615: 4711},
		{1689, 1689, 1689, 5: 1689, 4672, 4673, 313: 1689, 675: 4718},
		{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: 3993, 615: 4714, 874: 4713},
		{5: 4716, 30: 4715},
		// 2970
		{5: 1639, 30: 1639},
		{1734, 1734, 1734, 5: 1734, 313: 1734},
		{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: 3993, 615: 4717},
		{5: 1638, 30: 1638},
		{1735, 1735, 1735, 5: 1735, 313: 1735},
		// 2975
		{9: 2813, 320: 2814, 457: 2812, 564: 4720},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 339: 2186, 459: 2188, 1865, 1866, 1864, 543: 2185, 590: 4721},
		{164, 164, 164, 5: 164, 300: 4723, 313: 164, 938: 4722},
		{1736, 1736, 1736, 5: 1736, 313: 1736},
		{2: 2068, 1955, 1869, 6: 1905, 1870, 1920, 1880, 1960, 1887, 1898, 1914, 1962, 1963, 2064, 1935, 1957, 1958, 1956, 1959, 1970, 1966, 2073, 2002, 2072, 2070, 2046, 1927, 31: 1992, 1997, 1933, 1895, 1934, 1930, 1890, 2016, 2012, 1947, 1881, 1913, 2020, 2125, 2021, 2022, 2023, 2009, 2010, 2005, 1967, 2015, 2099, 2096, 2098, 2097, 2100, 1949, 2032, 1904, 1953, 1916, 1974, 1886, 1908, 2031, 1993, 1896, 1988, 1943, 1912, 1919, 1921, 2106, 1924, 2095, 1952, 1994, 1889, 1888, 1897, 1863, 1971, 1972, 2013, 1938, 1942, 1980, 1985, 1986, 1903, 1911, 2049, 2044, 2151, 1998, 2011, 1983, 2039, 1926, 1932, 2028, 1944, 1945, 2077, 1873, 1990, 2050, 2078, 2040, 2025, 2080, 2004, 1882, 1883, 1884, 2052, 2112, 2048, 1891, 2061, 1892, 2083, 1894, 2001, 1906, 1907, 1910, 2120, 2121, 2056, 2042, 2085, 2084, 1995, 1989, 2086, 2087, 1999, 2054, 2088, 1923, 2027, 1925, 2029, 2089, 2018, 2026, 2058, 2102, 1929, 2090, 2041, 2057, 1939, 2141, 2142, 2143, 2144, 2146, 2145, 2147, 2148, 2101, 1940, 2074, 2075, 1867, 1871, 1874, 1876, 1875, 1877, 2079, 2038, 1879, 1954, 1975, 1885, 2081, 2082, 2071, 1893, 1899, 1900, 2030, 1996, 2045, 2152, 2055, 1909, 1991, 1968, 2062, 1901, 2047, 1982, 2122, 2033, 2051, 1917, 1915, 1979, 2063, 1961, 2034, 1948, 1964, 1965, 1977, 1931, 2103, 2153, 2066, 2069, 2104, 2006, 2007, 2008, 2014, 2127, 1973, 2024, 2076, 2037, 1978, 2017, 2067, 1928, 2093, 2094, 2092, 2091, 2000, 2053, 2065, 2035, 1936, 1937, 2149, 2059, 1941, 1969, 1976, 2036, 1946, 2105, 2043, 2107, 1950, 1868, 1872, 2108, 2109, 2110, 1878, 2111, 2113, 2114, 2115, 2116, 1902, 2117, 2118, 2119, 2124, 2123, 1918, 2126, 2128, 1922, 1987, 2003, 2019, 1951, 2060, 1981, 1984, 2132, 2133, 2134, 2135, 2129, 2130, 2131, 2139, 2140, 2150, 2136, 2137, 2138, 294: 2187, 459: 2188, 1865, 1866, 1864, 543: 4239, 657: 4724},
		// 2980
		{163, 163, 163, 5: 163, 313: 163},
		{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: 4726},
		{1659, 1659, 5: 3196, 304: 4542, 458: 4728, 602: 4727},
		{1741, 1741},
		{641, 641, 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, 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: 641, 450: 3214, 459: 3213, 1865, 1866, 1864, 628: 4729},
		// 2985
		{1659, 1659, 5: 3216, 304: 4542, 602: 4730},
		{1740, 1740},
		{1742, 1742},
		{1739, 1739},
		{215: 4734},
		// 2990
		{1738, 1738},
		{1420, 1420, 73: 1767, 87: 1843, 91: 1768, 99: 1749, 105: 1782, 1752, 1754, 114: 1755, 120: 1770, 122: 1757, 127: 1784, 144: 1771, 150: 1750, 1753, 165: 1760, 292: 1776, 309: 1850, 319: 1766, 322: 1781, 341: 1763, 380: 1765, 456: 1772, 474: 1845, 478: 1759, 480: 1751, 482: 1747, 484: 1780, 486: 1748, 517: 1835, 550: 1779, 1773, 1774, 1775, 559: 1844, 1778, 1777, 1829, 1758, 604: 1795, 606: 1818, 610: 1825, 614: 1838, 623: 1756, 627: 1846, 634: 1783, 664: 1848, 1820, 702: 1849, 707: 1786, 1787, 710: 1788, 1789, 713: 1790, 1791, 1792, 717: 1798, 722: 1793, 725: 1805, 1799, 1800, 1804, 1801, 1803, 1802, 733: 1794, 1769, 1762, 1806, 1814, 1807, 1808, 1812, 1813, 1809, 1811, 1810, 746: 1785, 749: 1796, 1761, 1797, 1764, 757: 1815, 762: 1817, 1816, 771: 1852, 1851, 1819, 778: 1821, 1841, 806: 1822, 810: 1826, 813: 1824, 818: 1847, 1828, 1827, 822: 1823, 824: 1832, 1831, 1830, 828: 1834, 832: 1833, 4736, 847: 1836, 1837, 1840, 1839},
		{312, 312},
	}
)

var yyDebug = 0

type yyLexer interface {
	Lex(lval *yySymType) int
	Errorf(format string, a ...interface{}) error
	AppendError(err error)
	Errors() (warns []error, errs []error)
}

type yyLexerEx interface {
	yyLexer
	Reduced(rule, state int, lval *yySymType) bool
}

func yySymName(c int) (s string) {
	x, ok := yyXLAT[c]
	if ok {
		return yySymNames[x]
	}

	return __yyfmt__.Sprintf("%d", c)
}

func yylex1(yylex yyLexer, lval *yySymType) (n int) {
	n = yylex.Lex(lval)
	if n <= 0 {
		n = yyEOFCode
	}
	if yyDebug >= 3 {
		__yyfmt__.Printf("\nlex %s(%#x %d), lval: %+v\n", yySymName(n), n, n, lval)
	}
	return n
}

func yyParse(yylex yyLexer, parser *Parser) int {
	const yyError = 895

	yyEx, _ := yylex.(yyLexerEx)
	var yyn int
	parser.yylval = yySymType{}
	parser.yyVAL = yySymType{}
	yyS := parser.cache

	Nerrs := 0   /* number of errors */
	Errflag := 0 /* error recovery flag */
	yyerrok := func() {
		if yyDebug >= 2 {
			__yyfmt__.Printf("yyerrok()\n")
		}
		Errflag = 0
	}
	_ = yyerrok
	yystate := 0
	yychar := -1
	var yyxchar int
	var yyshift int
	yyp := -1
	goto yystack

ret0:
	return 0

ret1:
	return 1

yystack:
	/* put a state and value onto the stack */
	yyp++
	if yyp >= len(yyS) {
		nyys := make([]yySymType, len(yyS)*2)
		copy(nyys, yyS)
		yyS = nyys
		parser.cache = yyS
	}
	yyS[yyp] = parser.yyVAL
	yyS[yyp].yys = yystate

yynewstate:
	if yychar < 0 {
		yychar = yylex1(yylex, &parser.yylval)
		var ok bool
		if yyxchar, ok = yyXLAT[yychar]; !ok {
			yyxchar = len(yySymNames) // > tab width
		}
	}
	if yyDebug >= 4 {
		var a []int
		for _, v := range yyS[:yyp+1] {
			a = append(a, v.yys)
		}
		__yyfmt__.Printf("state stack %v\n", a)
	}
	row := yyParseTab[yystate]
	yyn = 0
	if yyxchar < len(row) {
		if yyn = int(row[yyxchar]); yyn != 0 {
			yyn += yyTabOfs
		}
	}
	switch {
	case yyn > 0: // shift
		yychar = -1
		parser.yyVAL = parser.yylval
		yystate = yyn
		yyshift = yyn
		if yyDebug >= 2 {
			__yyfmt__.Printf("shift, and goto state %d\n", yystate)
		}
		if Errflag > 0 {
			Errflag--
		}
		goto yystack
	case yyn < 0: // reduce
	case yystate == 1: // accept
		if yyDebug >= 2 {
			__yyfmt__.Println("accept")
		}
		goto ret0
	}

	if yyn == 0 {
		/* error ... attempt to resume parsing */
		switch Errflag {
		case 0: /* brand new error */
			if yyDebug >= 1 {
				__yyfmt__.Printf("no action for %s in state %d\n", yySymName(yychar), yystate)
			}
			msg, ok := yyXErrors[yyXError{yystate, yyxchar}]
			if !ok {
				msg, ok = yyXErrors[yyXError{yystate, -1}]
			}
			if !ok && yyshift != 0 {
				msg, ok = yyXErrors[yyXError{yyshift, yyxchar}]
			}
			if !ok {
				msg, ok = yyXErrors[yyXError{yyshift, -1}]
			}
			if !ok || msg == "" {
				msg = "syntax error"
			}
			// ignore goyacc error message
			yylex.AppendError(yylex.Errorf(""))
			Nerrs++
			fallthrough

		case 1, 2: /* incompletely recovered error ... try again */
			Errflag = 3

			/* find a state where "error" is a legal shift action */
			for yyp >= 0 {
				row := yyParseTab[yyS[yyp].yys]
				if yyError < len(row) {
					yyn = int(row[yyError]) + yyTabOfs
					if yyn > 0 { // hit
						if yyDebug >= 2 {
							__yyfmt__.Printf("error recovery found error shift in state %d\n", yyS[yyp].yys)
						}
						yystate = yyn /* simulate a shift of "error" */
						goto yystack
					}
				}

				/* the current p has no shift on "error", pop stack */
				if yyDebug >= 2 {
					__yyfmt__.Printf("error recovery pops state %d\n", yyS[yyp].yys)
				}
				yyp--
			}
			/* there is no state on the stack with an error shift ... abort */
			if yyDebug >= 2 {
				__yyfmt__.Printf("error recovery failed\n")
			}
			goto ret1

		case 3: /* no shift yet; clobber input char */
			if yyDebug >= 2 {
				__yyfmt__.Printf("error recovery discards %s\n", yySymName(yychar))
			}
			if yychar == yyEOFCode {
				goto ret1
			}

			yychar = -1
			goto yynewstate /* try again in the same state */
		}
	}

	r := -yyn
	x0 := yyReductions[r]
	x, n := x0.xsym, x0.components
	yypt := yyp
	_ = yypt // guard against "declared and not used"

	yyp -= n
	if yyp+1 >= len(yyS) {
		nyys := make([]yySymType, len(yyS)*2)
		copy(nyys, yyS)
		yyS = nyys
		parser.cache = yyS
	}
	parser.yyVAL = yyS[yyp+1]

	/* consult goto table to find next state */
	exState := yystate
	yystate = int(yyParseTab[yyS[yyp].yys][x]) + yyTabOfs
	/* reduction by production r */
	if yyDebug >= 2 {
		__yyfmt__.Printf("reduce using rule %v (%s), and goto state %d\n", r, yySymNames[x], yystate)
	}

	switch r {
	case 2:
		{
			specs := yyS[yypt-1].item.([]*ast.AlterTableSpec)
			if yyS[yypt-0].item != nil {
				specs = append(specs, yyS[yypt-0].item.(*ast.AlterTableSpec))
			}
			parser.yyVAL.statement = &ast.AlterTableStmt{
				Table: yyS[yypt-2].item.(*ast.TableName),
				Specs: specs,
			}
		}
	case 3:
		{
			parser.yyVAL.statement = &ast.AnalyzeTableStmt{TableNames: []*ast.TableName{yyS[yypt-4].item.(*ast.TableName)}, PartitionNames: yyS[yypt-1].item.([]model.CIStr), AnalyzeOpts: yyS[yypt-0].item.([]ast.AnalyzeOpt)}
		}
	case 4:
		{
			parser.yyVAL.statement = &ast.AnalyzeTableStmt{
				TableNames:     []*ast.TableName{yyS[yypt-6].item.(*ast.TableName)},
				PartitionNames: yyS[yypt-3].item.([]model.CIStr),
				IndexNames:     yyS[yypt-1].item.([]model.CIStr),
				IndexFlag:      true,
				AnalyzeOpts:    yyS[yypt-0].item.([]ast.AnalyzeOpt),
			}
		}
	case 5:
		{
			if yyS[yypt-0].item != nil {
				parser.yyVAL.item = &ast.AlterTableSpec{
					Tp:        ast.AlterTablePartition,
					Partition: yyS[yypt-0].item.(*ast.PartitionOptions),
				}
			} else {
				parser.yyVAL.item = nil
			}

		}
	case 6:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableRemovePartitioning,
			}
			yylex.AppendError(yylex.Errorf("The REMOVE PARTITIONING clause is parsed but ignored by all storage engines."))
			parser.lastErrorAsWarn()
		}
	case 7:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:      ast.AlterTableOption,
				Options: yyS[yypt-0].item.([]*ast.TableOption),
			}
		}
	case 8:
		{
			op := &ast.AlterTableSpec{
				Tp:      ast.AlterTableOption,
				Options: []*ast.TableOption{{Tp: ast.TableOptionCharset, StrValue: yyS[yypt-1].item.(string)}},
			}
			if yyS[yypt-0].item != "" {
				op.Options = append(op.Options, &ast.TableOption{Tp: ast.TableOptionCollate, StrValue: yyS[yypt-0].item.(string)})
			}
			parser.yyVAL.item = op
		}
	case 9:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfNotExists: yyS[yypt-2].item.(bool),
				Tp:          ast.AlterTableAddColumns,
				NewColumns:  []*ast.ColumnDef{yyS[yypt-1].item.(*ast.ColumnDef)},
				Position:    yyS[yypt-0].item.(*ast.ColumnPosition),
			}
		}
	case 10:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfNotExists: yyS[yypt-3].item.(bool),
				Tp:          ast.AlterTableAddColumns,
				NewColumns:  yyS[yypt-1].item.([]*ast.ColumnDef),
			}
		}
	case 11:
		{
			constraint := yyS[yypt-0].item.(*ast.Constraint)
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:         ast.AlterTableAddConstraint,
				Constraint: constraint,
			}
		}
	case 12:
		{
			var defs []*ast.PartitionDefinition
			if yyS[yypt-0].item != nil {
				defs = yyS[yypt-0].item.([]*ast.PartitionDefinition)
			}
			noWriteToBinlog := yyS[yypt-1].item.(bool)
			if noWriteToBinlog {
				yylex.AppendError(yylex.Errorf("The NO_WRITE_TO_BINLOG option is parsed but ignored for now."))
				parser.lastErrorAsWarn()
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfNotExists:     yyS[yypt-2].item.(bool),
				NoWriteToBinlog: noWriteToBinlog,
				Tp:              ast.AlterTableAddPartitions,
				PartDefinitions: defs,
			}
		}
	case 13:
		{
			noWriteToBinlog := yyS[yypt-2].item.(bool)
			if noWriteToBinlog {
				yylex.AppendError(yylex.Errorf("The NO_WRITE_TO_BINLOG option is parsed but ignored for now."))
				parser.lastErrorAsWarn()
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfNotExists:     yyS[yypt-3].item.(bool),
				NoWriteToBinlog: noWriteToBinlog,
				Tp:              ast.AlterTableAddPartitions,
				Num:             getUint64FromNUM(yyS[yypt-0].item),
			}
		}
	case 14:
		{
			noWriteToBinlog := yyS[yypt-1].item.(bool)
			if noWriteToBinlog {
				yylex.AppendError(yylex.Errorf("The NO_WRITE_TO_BINLOG option is parsed but ignored for now."))
				parser.lastErrorAsWarn()
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:              ast.AlterTableCoalescePartitions,
				NoWriteToBinlog: noWriteToBinlog,
				Num:             getUint64FromNUM(yyS[yypt-0].item),
			}
		}
	case 15:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists:      yyS[yypt-2].item.(bool),
				Tp:            ast.AlterTableDropColumn,
				OldColumnName: yyS[yypt-1].item.(*ast.ColumnName),
			}
		}
	case 16:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{Tp: ast.AlterTableDropPrimaryKey}
		}
	case 17:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists:       yyS[yypt-1].item.(bool),
				Tp:             ast.AlterTableDropPartition,
				PartitionNames: yyS[yypt-0].item.([]model.CIStr),
			}
		}
	case 18:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:             ast.AlterTableTruncatePartition,
				PartitionNames: yyS[yypt-0].item.([]model.CIStr),
			}
		}
	case 19:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists: yyS[yypt-1].item.(bool),
				Tp:       ast.AlterTableDropIndex,
				Name:     yyS[yypt-0].ident,
			}
		}
	case 20:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists: yyS[yypt-1].item.(bool),
				Tp:       ast.AlterTableDropForeignKey,
				Name:     yyS[yypt-0].item.(string),
			}
		}
	case 21:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableDisableKeys,
			}
		}
	case 22:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableEnableKeys,
			}
		}
	case 23:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists:   yyS[yypt-2].item.(bool),
				Tp:         ast.AlterTableModifyColumn,
				NewColumns: []*ast.ColumnDef{yyS[yypt-1].item.(*ast.ColumnDef)},
				Position:   yyS[yypt-0].item.(*ast.ColumnPosition),
			}
		}
	case 24:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				IfExists:      yyS[yypt-3].item.(bool),
				Tp:            ast.AlterTableChangeColumn,
				OldColumnName: yyS[yypt-2].item.(*ast.ColumnName),
				NewColumns:    []*ast.ColumnDef{yyS[yypt-1].item.(*ast.ColumnDef)},
				Position:      yyS[yypt-0].item.(*ast.ColumnPosition),
			}
		}
	case 25:
		{
			option := &ast.ColumnOption{Expr: yyS[yypt-0].expr}
			colDef := &ast.ColumnDef{
				Name:    yyS[yypt-3].item.(*ast.ColumnName),
				Options: []*ast.ColumnOption{option},
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:         ast.AlterTableAlterColumn,
				NewColumns: []*ast.ColumnDef{colDef},
			}
		}
	case 26:
		{
			option := &ast.ColumnOption{Expr: yyS[yypt-1].expr}
			colDef := &ast.ColumnDef{
				Name:    yyS[yypt-5].item.(*ast.ColumnName),
				Options: []*ast.ColumnOption{option},
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:         ast.AlterTableAlterColumn,
				NewColumns: []*ast.ColumnDef{colDef},
			}
		}
	case 27:
		{
			colDef := &ast.ColumnDef{
				Name: yyS[yypt-2].item.(*ast.ColumnName),
			}
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:         ast.AlterTableAlterColumn,
				NewColumns: []*ast.ColumnDef{colDef},
			}
		}
	case 28:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:       ast.AlterTableRenameTable,
				NewTable: yyS[yypt-0].item.(*ast.TableName),
			}
		}
	case 29:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:       ast.AlterTableRenameTable,
				NewTable: yyS[yypt-0].item.(*ast.TableName),
			}
		}
	case 30:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:       ast.AlterTableRenameTable,
				NewTable: yyS[yypt-0].item.(*ast.TableName),
			}
		}
	case 31:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:      ast.AlterTableRenameIndex,
				FromKey: model.NewCIStr(yyS[yypt-2].ident),
				ToKey:   model.NewCIStr(yyS[yypt-0].ident),
			}
		}
	case 32:
		{
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:       ast.AlterTableLock,
				LockType: yyS[yypt-0].item.(ast.LockType),
			}
		}
	case 33:
		{
			// Parse it and ignore it. Just for compatibility.
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp:        ast.AlterTableAlgorithm,
				Algorithm: yyS[yypt-0].item.(ast.AlterAlgorithm),
			}
		}
	case 34:
		{
			// Parse it and ignore it. Just for compatibility.
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableForce,
			}
		}
	case 35:
		{
			// Parse it and ignore it. Just for compatibility.
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableWithValidation,
			}
			yylex.AppendError(yylex.Errorf("The WITH/WITHOUT VALIDATION clause is parsed but ignored by all storage engines."))
			parser.lastErrorAsWarn()
		}
	case 36:
		{
			// Parse it and ignore it. Just for compatibility.
			parser.yyVAL.item = &ast.AlterTableSpec{
				Tp: ast.AlterTableWithoutValidation,
			}
			yylex.AppendError(yylex.Errorf("The WITH/WITHOUT VALIDATION clause is parsed but ignored by all storage engines."))
			parser.lastErrorAsWarn()
		}
	case 37:
		{
			parser.yyVAL.item = ast.AlterAlgorithmDefault
		}
	case 38:
		{
			parser.yyVAL.item = ast.AlterAlgorithmCopy
		}
	case 39:
		{
			parser.yyVAL.item = ast.AlterAlgorithmInplace
		}
	case 40:
		{
			parser.yyVAL.item = ast.AlterAlgorithmInstant
		}
	case 41:
		{
			yylex.AppendError(ErrUnknownAlterAlgorithm.GenWithStackByArgs(yyS[yypt-0].ident))
			return 1
		}
	case 44:
		{
			parser.yyVAL.item = ast.LockTypeNone
		}
	case 45:
		{
			parser.yyVAL.item = ast.LockTypeDefault
		}
	case 46:
		{
			parser.yyVAL.item = ast.LockTypeShared
		}
	case 47:
		{
			parser.yyVAL.item = ast.LockTypeExclusive
		}
	case 48:
		{
			yylex.AppendError(ErrUnknownAlterLock.GenWithStackByArgs(yyS[yypt-0].ident))
			return 1
		}
	case 55:
		{
			parser.yyVAL.item = &ast.ColumnPosition{Tp: ast.ColumnPositionNone}
		}
	case 56:
		{
			parser.yyVAL.item = &ast.ColumnPosition{Tp: ast.ColumnPositionFirst}
		}
	case 57:
		{
			parser.yyVAL.item = &ast.ColumnPosition{
				Tp:             ast.ColumnPositionAfter,
				RelativeColumn: yyS[yypt-0].item.(*ast.ColumnName),
			}
		}
	case 58:
		{
			parser.yyVAL.item = make([]*ast.AlterTableSpec, 0, 1)
		}
	case 59:
		{
			parser.yyVAL.item = yyS[yypt-0].item
		}
	case 60:
		{
			parser.yyVAL.item = []*ast.AlterTableSpec{yyS[yypt-0].item.(*ast.AlterTableSpec)}
		}
	case 61:
		{
			parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.AlterTableSpec), yyS[yypt-0].item.(*ast.AlterTableSpec))
		}
	case 62:
		{
			parser.yyVAL.item = []model.CIStr{model.NewCIStr(yyS[yypt-0].ident)}
		}
	case 63:
		{
			parser.yyVAL.item = append(yyS[yypt-2].item.([]model.CIStr), model.NewCIStr(yyS[yypt-0].ident))
		}
	case 64:
		{
			parser.yyVAL.item = nil
		}
	case 65:
		{
			parser.yyVAL.item = nil
		}
	case 66:
		{
			parser.yyVAL.item = yyS[yypt-0].item.(string)
		}
	case 67:
		{
			parser.yyVAL.item = yyS[yypt-0].ident
		}
	case 68:
		{
			parser.yyVAL.statement = &ast.RenameTableStmt{
				OldTable:      yyS[yypt-0].item.([]*ast.TableToTable)[0].OldTable,
				NewTable:      yyS[yypt-0].item.([]*ast.TableToTable)[0].NewTable,
				TableToTables: yyS[yypt-0].item.([]*ast.TableToTable),
			}
		}
	case 69:
		{
			parser.yyVAL.item = []*ast.TableToTable{yyS[yypt-0].item.(*ast.TableToTable)}
		}
	case 70:
		{
			parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.TableToTable), yyS[yypt-0].item.(*ast.TableToTable))
		}
	case 71:
		{
			parser.yyVAL.item = &ast.TableToTable{
				OldTable: yyS[

license_type: permissive

branch_name: refs/heads/master

extension: go