# HG changeset patch # User wenzelm # Date 909131900 -7200 # Node ID 6efa861fb51019a0c920f9a8558b6165f60d72fa # Parent 8712391bbf3deffb5c121d8481d8157435fa8991 updated by isatool logo; diff -r 8712391bbf3d -r 6efa861fb510 doc-src/gfx/isabelle.eps --- a/doc-src/gfx/isabelle.eps Thu Oct 22 20:15:26 1998 +0200 +++ b/doc-src/gfx/isabelle.eps Fri Oct 23 10:38:20 1998 +0200 @@ -1,8 +1,22 @@ %!PS-Adobe-2.0 EPSF-1.2 -%%Title: isabelle +%%Title: isabelle_any %%Creator: FreeHand 5.5 -%%CreationDate: 17.11.1997 21:37 Uhr -%%BoundingBox: 0 0 178 169 +%%CreationDate: 24.09.1998 21:04 Uhr +%%BoundingBox: 0 0 202 178 +%%FHPathName:MacSystem:Home:Markus:TUM:Isabelle Logo:export:isabelle_any +%ALDOriginalFile:MacSystem:Home:Markus:TUM:Isabelle Logo:export:isabelle_any +%ALDBoundingBox: -153 -386 442 456 +%%FHPageNum:1 +%%DocumentSuppliedResources: procset Altsys_header 4 0 +%%ColorUsage: Color +%%DocumentProcessColors: Cyan Magenta Yellow Black +%%DocumentNeededResources: font Symbol +%%+ font ZapfHumanist601BT-Bold +%%DocumentFonts: Symbol +%%+ ZapfHumanist601BT-Bold +%%DocumentNeededFonts: Symbol +%%+ ZapfHumanist601BT-Bold +%%EndComments %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001 %%CreationDate: Mon Jun 22 16:09:28 1992 %%VMusage: 35200 38400 @@ -1261,29 +1275,6 @@ 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark -%!PS-Adobe-2.0 EPSF-1.2 -%%Title: isabelle -%%Creator: FreeHand 5.5 -%%CreationDate: 17.11.1997 21:37 Uhr -%%BoundingBox: 0 0 178 169 -%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle -%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle -%ALDBoundingBox: -157 -395 438 447 -%%FHPageNum:1 -%%DocumentSuppliedResources: procset Altsys_header 4 0 -%%ColorUsage: Color -%%DocumentProcessColors: Cyan Magenta Yellow Black -%%DocumentCustomColors: (Auto Farbe 7) -%%+ (Auto Farbe 16) -%%CMYKCustomColor: 0 0 1 0 (Auto Farbe 7) -%%+ 0.18 0.18 0 0 (Auto Farbe 16) -%%DocumentNeededResources: font Symbol -%%+ font ZapfHumanist601BT-Bold -%%DocumentFonts: Symbol -%%+ ZapfHumanist601BT-Bold -%%DocumentNeededFonts: Symbol -%%+ ZapfHumanist601BT-Bold -%%EndComments %%BeginResource: procset Altsys_header 4 0 userdict begin /AltsysDict 245 dict def end AltsysDict begin @@ -2128,15 +2119,13 @@ /maxsteps 256 def /forcemaxsteps false def vms --1849 -1965 translate +-1845 -1956 translate /currentpacking defed{false setpacking}if /spots[ 1 0 0 0 (Process Cyan) false newcmykcustomcolor 0 1 0 0 (Process Magenta) false newcmykcustomcolor 0 0 1 0 (Process Yellow) false newcmykcustomcolor 0 0 0 1 (Process Black) false newcmykcustomcolor -0 0 1 0 (Auto Farbe 7) false newcmykcustomcolor -0.18 0.18 0 0 (Auto Farbe 16) false newcmykcustomcolor ]def /textopf false def /curtextmtx{}def @@ -2177,15 +2166,82 @@ false eomode [0 0 0 1] vc vms -1931 2078.5 m -1957 2066.25 L -11.3386 w -3.863693 M -[1 4] vc -S -n -1936 2036.25 m -1960.25 2024.25 L +%white border -- disabled +%1845.2293 2127.8588 m +%2045.9437 2127.8588 L +%2045.9437 1956.1412 L +%1845.2293 1956.1412 L +%1845.2293 2127.8588 L +%0.1417 w +%2 J +%2 M +%[0 0 0 0] vc +%s +n +1950.8 2097.2 m +1958.8 2092.5 1967.3 2089 1975.5 2084.9 C +1976.7 2083.5 1976.1 2081.5 1976.7 2079.9 C +1979.6 2081.1 1981.6 2086.8 1985.3 2084 C +1993.4 2079.3 2001.8 2075.8 2010 2071.7 C +2010.5 2071.5 2010.5 2071.1 2010.8 2070.8 C +2011.2 2064.3 2010.9 2057.5 2011 2050.8 C +2015.8 2046.9 2022.2 2046.2 2026.6 2041.7 C +2026.5 2032.5 2026.8 2022.9 2026.4 2014.1 C +2020.4 2008.3 2015 2002.4 2008.8 1997.1 C +2003.8 1996.8 2000.7 2001.2 1996.1 2002.1 C +1995.2 1996.4 1996.9 1990.5 1995.6 1984.8 C +1989.9 1979 1984.5 1973.9 1978.8 1967.8 C +1977.7 1968.6 1976 1967.6 1974.5 1968.3 C +1967.4 1972.5 1960.1 1976.1 1952.7 1979.3 C +1946.8 1976.3 1943.4 1970.7 1938.5 1966.1 C +1933.9 1966.5 1929.4 1968.8 1925.1 1970.7 C +1917.2 1978.2 1906 1977.9 1897.2 1983.4 C +1893.2 1985.6 1889.4 1988.6 1885 1990.1 C +1884.6 1990.6 1883.9 1991 1883.8 1991.6 C +1883.7 2000.4 1884 2009.9 1883.6 2018.9 C +1887.7 2024 1893.2 2028.8 1898 2033.8 C +1899.1 2035.5 1900.9 2036.8 1902.5 2037.9 C +1903.9 2037.3 1905.2 2036.6 1906.4 2035.5 C +1906.3 2039.7 1906.5 2044.6 1906.1 2048.9 C +1906.3 2049.6 1906.7 2050.2 1907.1 2050.8 C +1913.4 2056 1918.5 2062.7 1924.8 2068.1 C +1926.6 2067.9 1928 2066.9 1929.4 2066 C +1930.2 2071 1927.7 2077.1 1930.6 2081.6 C +1936.6 2086.9 1941.5 2092.9 1947.9 2097.9 C +1949 2098.1 1949.9 2097.5 1950.8 2097.2 C +[0 0 0 0.18] vc +f +0.4 w +S +n +1975.2 2084.7 m +1976.6 2083.4 1975.7 2081.1 1976 2079.4 C +1979.3 2079.5 1980.9 2086.2 1984.8 2084 C +1992.9 2078.9 2001.7 2075.6 2010 2071.2 C +2011 2064.6 2010.2 2057.3 2010.8 2050.6 C +2015.4 2046.9 2021.1 2045.9 2025.9 2042.4 C +2026.5 2033.2 2026.8 2022.9 2025.6 2013.9 C +2020.5 2008.1 2014.5 2003.1 2009.3 1997.6 C +2004.1 1996.7 2000.7 2001.6 1995.9 2002.6 C +1995.2 1996.7 1996.3 1990.2 1994.9 1984.6 C +1989.8 1978.7 1983.6 1973.7 1978.4 1968 C +1977.3 1969.3 1976 1967.6 1974.8 1968.5 C +1967.7 1972.7 1960.4 1976.3 1952.9 1979.6 C +1946.5 1976.9 1943.1 1970.5 1937.8 1966.1 C +1928.3 1968.2 1920.6 1974.8 1911.6 1978.4 C +1901.9 1979.7 1893.9 1986.6 1885 1990.6 C +1884.3 1991 1884.3 1991.7 1884 1992.3 C +1884.5 2001 1884.2 2011 1884.3 2019.9 C +1890.9 2025.3 1895.9 2031.9 1902.3 2037.4 C +1904.2 2037.9 1905.6 2034.2 1906.8 2035.7 C +1907.4 2040.9 1905.7 2046.1 1907.3 2050.8 C +1913.6 2056.2 1919.2 2062.6 1925.1 2067.9 C +1926.9 2067.8 1928 2066.3 1929.6 2065.7 C +1929.9 2070.5 1929.2 2076 1930.1 2080.8 C +1936.5 2086.1 1941.6 2092.8 1948.4 2097.6 C +1957.3 2093.3 1966.2 2088.8 1975.2 2084.7 C +[0 0 0 0] vc +f S n 1954.8 2093.8 m @@ -2318,9 +2374,6 @@ 1950.7 2096.7 1952.6 2094.8 1954.8 2093.8 C [0 0.33 0.33 0.99] vc f -0.4 w -2 J -2 M S n 1989.4 2080.6 m @@ -2420,9 +2473,8 @@ 1910 2032.9 1910 2041.2 1910 2049.4 C 1915.4 2055.2 1920 2058.7 1925.3 2064.8 C 1927.2 2064 1929 2061.4 1930.8 2061.9 C -[1 5] vc -f [0 0 0 0] vc +f S n 1907.6 2030.4 m @@ -2440,7 +2492,6 @@ 1887.2 2002.4 1887.2 2010.7 1887.2 2018.9 C 1892.6 2024.7 1897.2 2028.2 1902.5 2034.3 C 1904.3 2033.3 1906.2 2032.1 1907.6 2030.4 C -[1 5] vc f S n @@ -2500,6 +2551,7 @@ f S n +vmrs 1934.7 2019.4 m 1934.1 2015.3 1935.6 2010.9 1934.9 2007.9 C 1935.1 2007.8 1935.6 2008.1 1935.4 2007.6 C @@ -2515,12 +2567,13 @@ 1913.8 1990.4 1913.8 1998.7 1913.8 2006.9 C 1919.3 2012.7 1923.8 2016.2 1929.2 2022.3 C 1931.1 2021.6 1932.8 2018.9 1934.7 2019.4 C -[1 5] vc -f [0 0 0 0] vc -S -n -vmrs +f +0.4 w +2 J +2 M +S +n 2024.2 2038.1 m 2024.1 2029.3 2024.4 2021.7 2024.7 2014.4 C 2024.4 2013.6 2020.6 2013.4 2021.3 2011.2 C @@ -2541,9 +2594,6 @@ 2020.8 2042.7 2025.5 2041.8 2024.2 2038.1 C [0 0.87 0.91 0.83] vc f -0.4 w -2 J -2 M S n 2023.5 2040 m @@ -2658,6 +2708,7 @@ f S n +vmrs 1993.5 2008.8 m 1993.4 2000 1993.7 1992.5 1994 1985.1 C 1993.7 1984.3 1989.9 1984.1 1990.6 1982 C @@ -2678,9 +2729,11 @@ 1990.1 2013.4 1994.7 2012.6 1993.5 2008.8 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1992.8 2010.8 m 1992.8 2001.8 1992.8 1994.1 1992.8 1985.8 C 1989.5 1985.7 1991.1 1981.1 1987.7 1981.7 C @@ -2712,9 +2765,6 @@ 1991.3 2011.9 1992.2 2012.1 1992.8 2010.8 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1978.4 1968.5 m @@ -2814,14 +2864,17 @@ f S n +vmrs 1948.6 2094.5 m 1950.2 2093.7 1951.8 2092.9 1953.4 2092.1 C 1951.8 2092.9 1950.2 2093.7 1948.6 2094.5 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1971.6 2082.3 m 1971.6 2081.9 1970.7 2081.1 1970.9 2081.3 C 1970.7 2081.6 1970.6 2081.6 1970.4 2081.3 C @@ -2839,9 +2892,6 @@ 1956 2089.5 1963.9 2086.1 1971.6 2082.3 C [0 0.01 1 0] vc f -0.4 w -2 J -2 M S n 1958.2 2089.7 m @@ -2927,24 +2977,23 @@ f S n +vmrs 1992.8 2076.5 m 1991 2076.8 1990.2 2078.1 1988.4 2078.7 C 1990.2 2078.7 1991 2076.5 1992.8 2076.5 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1975.5 2073.4 m 1976.1 2069.7 1973.9 2064.6 1977.4 2062.4 C 1973.9 2064.5 1976.1 2069.9 1975.5 2073.6 C 1976 2074.8 1979.3 2077.4 1978.1 2076 C 1977 2075.7 1975.8 2074.5 1975.5 2073.4 C -[0 0.87 0.91 0.83] vc -f -0.4 w -2 J -2 M +f S n 2007.4 2069.6 m @@ -3083,24 +3132,23 @@ f S n +vmrs 1962 2047.2 m 1960.2 2047.5 1959.5 2048.9 1957.7 2049.4 C 1959.5 2049.5 1960.3 2047.2 1962 2047.2 C [0 0.87 0.91 0.83] vc f -S -n -vmrs -2012.4 2046.3 m -2010.3 2051.3 2008.3 2041.5 2009.8 2047.7 C -2010.5 2047.4 2012.2 2046.5 2012.4 2046.3 C -[0 0.87 0.91 0.83] vc -f 0.4 w 2 J 2 M S n +2012.4 2046.3 m +2010.3 2051.3 2008.3 2041.5 2009.8 2047.7 C +2010.5 2047.4 2012.2 2046.5 2012.4 2046.3 C +f +S +n 1944.8 2044.6 m 1945.5 2045.6 1948.6 2048.1 1947.4 2046.8 C 1946.3 2046.5 1945.5 2045.2 1944.8 2044.6 C @@ -3201,19 +3249,12 @@ f S n +vmrs 1989.4 2024.4 m 1989.5 2025.4 1988.6 2024.3 1988.9 2024.7 C 1990.5 2025.8 1990.7 2024.2 1992.8 2024.9 C 1993.8 2025.9 1995 2027.1 1995.9 2028 C 1994.3 2026 1991.9 2023.4 1989.4 2024.4 C -f -S -n -vmrs -1984.8 2019.9 m -1984.6 2018.6 1986.3 2017.2 1987.7 2016.8 C -1987.2 2017.5 1982.9 2017.9 1984.4 2020.6 C -1984.1 2019.9 1984.9 2020 1984.8 2019.9 C [0 0.87 0.91 0.83] vc f 0.4 w @@ -3221,6 +3262,13 @@ 2 M S n +1984.8 2019.9 m +1984.6 2018.6 1986.3 2017.2 1987.7 2016.8 C +1987.2 2017.5 1982.9 2017.9 1984.4 2020.6 C +1984.1 2019.9 1984.9 2020 1984.8 2019.9 C +f +S +n 1981.7 2017 m 1979.6 2022 1977.6 2012.3 1979.1 2018.4 C 1979.8 2018.1 1981.5 2017.2 1981.7 2017 C @@ -3330,6 +3378,7 @@ f S n +vmrs 1887.9 2018.4 m 1887.5 2016.9 1888.5 2016 1888.8 2014.8 C 1890.1 2014.8 1891.1 2016.6 1892.4 2015.3 C @@ -3353,17 +3402,16 @@ 1898 2028.2 1892.1 2023.8 1887.9 2018.4 C [0.4 0.4 0 0] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1910.9 1995.2 m 1910.4 1999.8 1911 2003.3 1910.9 2008.1 C 1910.9 2003.8 1910.9 1999.2 1910.9 1995.2 C [0.18 0.18 0 0.78] vc f -0.4 w -2 J -2 M S n 1911.2 2004.3 m @@ -3486,15 +3534,18 @@ f S n +vmrs 1972.8 2062.1 m 1971.9 2061 1972.5 2059.4 1972.4 2058 C 1972.2 2063.8 1971.9 2073.7 1972.4 2081.3 C 1972.5 2074.9 1971.9 2067.9 1972.8 2062.1 C [0 1 1 0.36] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1940.2 2071.7 m 1941.3 2072 1943.1 2072.3 1944 2071.5 C 1943.6 2069.9 1945.2 2069.1 1946 2068.8 C @@ -3515,9 +3566,6 @@ 1937.9 2073.6 1939.1 2072.1 1940.2 2071.7 C [0 0.2 1 0] vc f -0.4 w -2 J -2 M S n 1933.2 2074.1 m @@ -3634,17 +3682,10 @@ f S n +vmrs 2006.7 2043.2 m 2004.5 2040.8 2002.4 2038.4 2000.2 2036 C 2002.4 2038.4 2004.5 2040.8 2006.7 2043.2 C -f -S -n -vmrs -1976.7 2019.6 m -1975.8 2018.6 1976.4 2016.9 1976.2 2015.6 C -1976 2021.3 1975.8 2031.2 1976.2 2038.8 C -1976.4 2032.4 1975.8 2025.5 1976.7 2019.6 C [0 1 1 0.36] vc f 0.4 w @@ -3652,6 +3693,13 @@ 2 M S n +1976.7 2019.6 m +1975.8 2018.6 1976.4 2016.9 1976.2 2015.6 C +1976 2021.3 1975.8 2031.2 1976.2 2038.8 C +1976.4 2032.4 1975.8 2025.5 1976.7 2019.6 C +f +S +n 1988.4 2053.5 m 1988.6 2049.2 1988.1 2042.8 1988 2040 C 1988.4 2040.4 1988.1 2041 1988.2 2041.5 C @@ -3738,6 +3786,7 @@ f S n +vmrs 1993.5 2024.4 m 1992.4 2023.7 1991.3 2022.9 1990.1 2023.2 C 1990.7 2023.7 1989.8 2023.8 1989.4 2023.7 C @@ -3762,10 +3811,12 @@ 1995 2026.5 1994.1 2025.5 1993.5 2024.4 C [0 1 1 0.36] vc f +0.4 w +2 J +2 M [0 0.5 0.5 0.2] vc S n -vmrs 2023 2040.3 m 2023.2 2036 2022.7 2029.6 2022.5 2026.8 C 2022.9 2027.2 2022.7 2027.8 2022.8 2028.3 C @@ -3788,9 +3839,6 @@ 2021.9 2040.7 2022.9 2041.1 2023 2040.3 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 2022.5 2024.9 m @@ -3896,24 +3944,23 @@ f S n +vmrs 2017.7 2009.6 m 2016.9 2009.3 2016.7 2008.4 2015.8 2009.1 C 2014.2 2010.6 2016 2010.6 2016.5 2011.5 C 2017.2 2010.9 2018.1 2010.8 2017.7 2009.6 C [0 1 1 0.23] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 2014.4 2006.4 m 2013.5 2006.8 2012.1 2005.6 2012 2006.7 C 2013 2007.3 2011.9 2009.2 2012.9 2008.4 C 2014.2 2008.3 2014.6 2007.8 2014.4 2006.4 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1969 2006.4 m @@ -4014,24 +4061,24 @@ f S n +vmrs 1954.4 1982.7 m 1956.1 1982.7 1954.1 1982.5 1953.9 1982.9 C 1953.9 1983.7 1953.7 1984.7 1954.1 1985.3 C 1954.4 1984.2 1953.6 1983.6 1954.4 1982.7 C [0 1 1 0.36] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1989.6 1982.9 m 1989.1 1982.7 1988.6 1982.3 1988 1982.4 C 1987.2 1982.8 1987.4 1984.8 1987.7 1985.1 C 1988.9 1985.6 1990.7 1984.4 1989.6 1982.9 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1987 1980.3 m @@ -4106,6 +4153,7 @@ f S n +vmrs 1986.5 2055.2 m 1987.5 2054.3 1986.3 2053.4 1986 2052.8 C 1983.8 2052.7 1983.6 2050.1 1981.7 2049.6 C @@ -4119,17 +4167,16 @@ 1979.2 2058 1983 2056.6 1986.5 2055.2 C [0 0.5 0.5 0.2] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1970.2 2054.2 m 1971.5 2055.3 1972.5 2056.8 1972.1 2058.3 C 1972.8 2056.5 1971.6 2055.6 1970.2 2054.2 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1992 2052.5 m @@ -4191,9 +4238,39 @@ f S n +2015.3 2036 m +2015.4 2034.1 2013.3 2034 2012.9 2033.3 C +2011.5 2031 2009.3 2029.4 2007.4 2028 C +2006.9 2027.1 2006.6 2023.8 2005 2024.9 C +2004 2024.9 2002.9 2024.9 2001.9 2024.9 C +2001.4 2026.5 2001 2028.4 2003.8 2028.3 C +2006.6 2030.4 2008.9 2033.7 2011.2 2036.2 C +2011.8 2036.4 2012.9 2035.8 2012.9 2036.7 C +2013 2035.5 2015.3 2037.4 2015.3 2036 C +[0 0 0 0] vc +f +S +n +vmrs +2009.1 2030.4 m +2009.1 2029 2007.5 2029.4 2006.9 2028.3 C +2007.2 2027.1 2006.5 2025.5 2005.7 2024.7 C +2004.6 2025.1 2003.1 2024.9 2001.9 2024.9 C +2001.8 2026.2 2000.9 2027 2002.4 2028 C +2004.5 2027.3 2004.9 2029.4 2006.9 2029 C +2007 2030.2 2007.6 2030.7 2008.4 2031.4 C +2008.8 2031.5 2009.1 2031.1 2009.1 2030.4 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 2003.8 2029.5 m 2003 2029.4 2001.9 2029.1 2002.4 2030.4 C 2003.1 2031.3 2005.2 2030.3 2003.8 2029.5 C +[0 1 1 0.23] vc f S n @@ -4203,7 +4280,6 @@ f S n -vmrs 2007.6 2024.2 m 2007.6 2022.9 2008.4 2024.2 2007.6 2022.8 C 2007.6 2017.5 2007.8 2009.1 2007.4 2003.8 C @@ -4213,11 +4289,7 @@ 2006.7 2007.7 2007 2015.1 2006.9 2021.1 C 2006.7 2022.1 2005.4 2022.8 2006.2 2023.5 C 2006.6 2023.1 2008 2025.9 2007.6 2024.2 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1989.9 2023.5 m @@ -4261,9 +4333,39 @@ f S n +1984.6 2006.7 m +1984.7 2004.8 1982.6 2004.8 1982.2 2004 C +1980.8 2001.7 1978.6 2000.1 1976.7 1998.8 C +1976.1 1997.8 1975.8 1994.5 1974.3 1995.6 C +1973.3 1995.6 1972.2 1995.6 1971.2 1995.6 C +1970.7 1997.2 1970.3 1999.1 1973.1 1999 C +1975.8 2001.2 1978.2 2004.4 1980.5 2006.9 C +1981.1 2007.1 1982.1 2006.5 1982.2 2007.4 C +1982.3 2006.2 1984.5 2008.1 1984.6 2006.7 C +[0 0 0 0] vc +f +S +n +vmrs +1978.4 2001.2 m +1978.4 1999.7 1976.8 2000.1 1976.2 1999 C +1976.5 1997.8 1975.8 1996.2 1975 1995.4 C +1973.9 1995.8 1972.4 1995.6 1971.2 1995.6 C +1971 1997 1970.2 1997.7 1971.6 1998.8 C +1973.8 1998 1974.2 2000.1 1976.2 1999.7 C +1976.3 2000.9 1976.9 2001.4 1977.6 2002.1 C +1978.1 2002.2 1978.4 2001.8 1978.4 2001.2 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 1973.1 2000.2 m 1972.3 2000.1 1971.2 1999.8 1971.6 2001.2 C 1972.4 2002 1974.5 2001 1973.1 2000.2 C +[0 1 1 0.23] vc f S n @@ -4291,18 +4393,13 @@ f S n -vmrs 1972.6 1994.2 m 1972.4 1994 1972.4 1993.9 1972.6 1993.7 C 1973 1993.8 1973.1 1993.7 1973.1 1993.2 C 1972.7 1992.9 1970.5 1993.1 1971.6 1993.7 C 1971.9 1993.7 1972 1993.8 1972.1 1994 C 1970 1994.4 1973.1 1994.1 1972.6 1994.2 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1948.1 2093.8 m @@ -4331,10 +4428,15 @@ f S n +vmrs 1967.1 2084.9 m 1968.3 2084.4 1969.7 2083.8 1970.9 2083.2 C 1969.7 2083.8 1968.3 2084.4 1967.1 2084.9 C -f +[0 0.4 1 0] vc +f +0.4 w +2 J +2 M S n 1982.7 2080.6 m @@ -4363,15 +4465,10 @@ f S n -vmrs 1996.8 2074.1 m 1998.3 2073.4 1999.7 2072.7 2001.2 2072 C 1999.7 2072.7 1998.3 2073.4 1996.8 2074.1 C -[0 0.4 1 0] vc -f -0.4 w -2 J -2 M +f S n 2001.6 2071.7 m @@ -4398,6 +4495,7 @@ f S n +vmrs 1977.4 2047.7 m 1975.8 2047.8 1974.8 2046.1 1974.5 2045.3 C 1974.9 2044.4 1976 2044.5 1976.7 2044.8 C @@ -4413,6 +4511,9 @@ 1977.7 2048.7 1977.2 2047.8 1977.4 2047.7 C [0 0.5 0.5 0.2] vc f +0.4 w +2 J +2 M S n 1957.2 2048.9 m @@ -4440,7 +4541,6 @@ f S n -vmrs 2012 2034.5 m 2010.4 2034.6 2009.3 2032.9 2009.1 2032.1 C 2009.4 2031 2010.3 2031.3 2011.2 2031.6 C @@ -4460,9 +4560,6 @@ 2012.7 2036.1 2011.8 2035 2012 2034.5 C [0 0.5 0.5 0.2] vc f -0.4 w -2 J -2 M S n 1981.2 2005.2 m @@ -4507,10 +4604,15 @@ f S n +vmrs 1942.1 2087.8 m 1943.5 2088.4 1944.3 2089.5 1945.2 2090.7 C 1944.8 2089.3 1943.3 2088.3 1942.1 2087.8 C -f +[0 0.2 1 0] vc +f +0.4 w +2 J +2 M S n 1933.5 2078.4 m @@ -4538,15 +4640,10 @@ f S n -vmrs 1952.2 2051.3 m 1953.6 2050.7 1955.1 2050.1 1956.5 2049.4 C 1955.1 2050.1 1953.6 2050.7 1952.2 2051.3 C -[0 0.2 1 0] vc -f -0.4 w -2 J -2 M +f S n 1952 2051.1 m @@ -4578,13 +4675,18 @@ f S n +vmrs 1939 2030.7 m 1940.3 2027.4 1939.7 2019.3 1939.5 2013.9 C 1939.7 2013.5 1940.1 2013.2 1940 2012.7 C 1939.5 2012.3 1938.8 2012.5 1938.3 2012.4 C 1938.3 2019 1938.3 2026.2 1938.3 2032.1 C 1939.5 2032.7 1939.8 2031.2 1939 2030.7 C -f +[0 0.01 1 0] vc +f +0.4 w +2 J +2 M S n 1975.2 2077.2 m @@ -4620,7 +4722,6 @@ f S n -vmrs 1929.6 2061.2 m 1929.6 2057.6 1929.6 2054.1 1929.6 2050.6 C 1930 2049.9 1930.5 2049.4 1931.1 2049.2 C @@ -4629,9 +4730,6 @@ 1926.9 2063.3 1928.3 2062.4 1929.6 2061.2 C [0.4 0.4 0 0] vc f -0.4 w -2 J -2 M S n 1930.8 2061.6 m @@ -4665,6 +4763,7 @@ f S n +vmrs 2026.1 2041.2 m 2026.1 2034.8 2026.1 2028.3 2026.1 2021.8 C 2026.1 2028.5 2026.3 2035.4 2025.9 2042 C @@ -4672,6 +4771,9 @@ 2023.1 2044 2025.1 2042.8 2026.1 2041.2 C [0.07 0.06 0 0.58] vc f +0.4 w +2 J +2 M S n 2026.4 2021.8 m @@ -4706,7 +4808,6 @@ f S n -vmrs 1934 2019.2 m 1932 2019.6 1930.8 2022.6 1928.7 2021.8 C 1924.5 2016.5 1918.2 2011.8 1914 2006.7 C @@ -4714,11 +4815,7 @@ 1913.6 2004.3 1913.9 2005.8 1913.8 2006.9 C 1919 2012.4 1924.1 2016.5 1929.2 2022.3 C 1931 2021.7 1932.2 2019.8 1934 2019.2 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f S n 1928.7 2024.9 m @@ -4752,6 +4849,7 @@ f S n +vmrs 1933.5 2018.7 m 1933.5 2015.1 1933.5 2011.7 1933.5 2008.1 C 1933.8 2007.4 1934.3 2006.9 1934.9 2006.7 C @@ -4760,6 +4858,9 @@ 1930.7 2020.8 1932.2 2019.9 1933.5 2018.7 C [0.4 0.4 0 0] vc f +0.4 w +2 J +2 M S n 1934.7 2019.2 m @@ -4797,15 +4898,11 @@ f S n -vmrs 1914 2009.3 m 1912.8 2010.9 1909.6 2005.3 1911.9 2009.8 C 1912.3 2009.6 1913.6 2010.2 1914 2009.3 C [0.92 0.92 0 0.67] vc f -0.4 w -2 J -2 M S n 1951.2 1998.8 m @@ -4841,12 +4938,16 @@ f S n +vmrs 1942.1 1999.2 m 1942.2 1998.9 1941.8 1998.8 1941.6 1998.5 C 1940.4 1998 1940.7 1999.7 1940.7 2000 C 1941.6 2000.3 1942.6 2000.4 1942.1 1999.2 C [0.92 0.92 0 0.67] vc f +0.4 w +2 J +2 M S n 1940 1997.1 m @@ -4878,15 +4979,11 @@ f S n -vmrs 1975.2 2073.2 m 1975.2 2070.2 1975.2 2067.2 1975.2 2064.3 C 1975.2 2067.2 1975.2 2070.2 1975.2 2073.2 C [0.18 0.18 0 0.78] vc f -0.4 w -2 J -2 M S n 1929.9 2065.7 m @@ -4928,11 +5025,15 @@ f S n +vmrs 1938.3 2047 m 1937.9 2046.9 1936.6 2047.1 1936.1 2048 C 1936.5 2047.5 1937.3 2046.7 1938.3 2047 C [0.18 0.18 0 0.78] vc f +0.4 w +2 J +2 M S n 1910.2 2043.2 m @@ -4965,23 +5066,65 @@ f S n -vmrs 1989.2 2024.4 m 1987.4 2023.7 1985.8 2022.2 1985.1 2020.4 C 1984.6 2020.1 1986 2018.9 1985.1 2019.2 C 1985.6 2020.8 1984.1 2019.4 1984.6 2021.1 C 1986.3 2022.3 1988.1 2025.3 1989.2 2024.4 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f +S +n +1904.4 2031.9 m +1903 2029.7 1905.3 2027.7 1904.2 2025.9 C +1904.5 2025 1903.7 2023 1904 2021.3 C +1904 2022.3 1903.2 2022 1902.5 2022 C +1901.3 2022.3 1902.2 2020.1 1901.6 2019.6 C +1902.5 2019.8 1902.6 2018.3 1903.5 2018.9 C +1903.7 2021.8 1905.6 2016.8 1905.6 2020.6 C +1905.9 2020 1906.3 2020.8 1906.1 2021.1 C +1905.8 2022.7 1906.7 2020.4 1906.4 2019.9 C +1906.4 2018.5 1908.2 2017.8 1906.8 2016.5 C +1906.9 2015.7 1907.7 2017.1 1907.1 2016.3 C +1908.5 2015.8 1910.3 2015.1 1911.6 2016 C +1912.2 2016.2 1911.9 2018 1911.6 2018 C +1914.5 2017.1 1910.4 2013.6 1913.3 2013.4 C +1912.4 2011.3 1910.5 2011.8 1909.5 2010 C +1910 2010.5 1909 2010.8 1908.8 2011.2 C +1907.5 2009.9 1906.1 2011.7 1904.9 2011.5 C +1904.7 2010.9 1904.3 2010.5 1904.4 2009.8 C +1905 2010.2 1904.6 2008.6 1905.4 2008.1 C +1906.6 2007.5 1907.7 2008.4 1908.5 2007.4 C +1908.9 2008.5 1909.7 2008.1 1909 2007.2 C +1908.1 2006.5 1905.9 2007.3 1905.4 2007.4 C +1903.9 2007.3 1905.2 2008.5 1904.2 2008.4 C +1904.6 2009.9 1902.8 2010.3 1902.3 2010.5 C +1901.5 2009.9 1900.4 2010 1899.4 2010 C +1898.6 2011.2 1898.2 2013.4 1896.5 2013.4 C +1896 2012.9 1894.4 2012.9 1893.6 2012.9 C +1893.1 2013.9 1892.9 2015.5 1891.5 2016 C +1890.3 2016.1 1889.2 2014 1888.6 2015.8 C +1890 2016 1891 2016.9 1892.9 2016.5 C +1894.1 2017.2 1892.8 2018.3 1893.2 2018.9 C +1892.6 2018.9 1891.1 2019.8 1890.5 2020.6 C +1891.1 2023.6 1893.2 2019.8 1893.9 2022.5 C +1894.1 2023.3 1892.7 2023.6 1893.9 2024 C +1894.2 2024.3 1897.4 2023.8 1896.5 2026.1 C +1896 2025.6 1897.4 2028.1 1897.5 2027.1 C +1898.4 2027.4 1899.3 2027 1899.6 2028.5 C +1899.5 2028.6 1899.4 2028.8 1899.2 2028.8 C +1899.3 2029.2 1899.6 2029.8 1900.1 2030.2 C +1900.4 2029.6 1901 2030 1901.8 2030.2 C +1903.1 2032.1 1900.4 2031.5 1902.8 2033.1 C +1903.3 2032.7 1904.5 2032 1904.4 2031.9 C +[0.21 0.21 0 0] vc +f S n 1909.2 2019.4 m 1908.8 2020.3 1910.2 2019.8 1909.2 2019.2 C 1908.3 2019.3 1907.6 2020.2 1907.6 2021.3 C 1908.5 2021 1907.6 2019 1909.2 2019.4 C +[0.18 0.18 0 0.78] vc f S n @@ -4999,10 +5142,15 @@ f S n +vmrs 1887.4 2012.7 m 1887.3 2007 1887.2 2001.3 1887.2 1995.6 C 1887.2 2001.3 1887.3 2007 1887.4 2012.7 C -f +[0.18 0.18 0 0.78] vc +f +0.4 w +2 J +2 M S n 1935.9 2007.4 m @@ -5039,16 +5187,11 @@ f S n -vmrs 1954.8 1989.9 m 1953.9 1989.6 1954.7 1991.6 1953.9 1991.1 C 1954.5 1993.1 1953.6 1998 1954.6 1993.2 C 1954 1992.2 1954.7 1990.7 1954.8 1989.9 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f S n 1947.6 1992.5 m @@ -5073,10 +5216,15 @@ f S n +vmrs 1953.6 1983.6 m 1954.1 1985.3 1953.2 1988.6 1954.8 1989.4 C 1954.1 1987.9 1954.4 1985.4 1953.6 1983.6 C -f +[0.18 0.18 0 0.78] vc +f +0.4 w +2 J +2 M S n 1910.7 1982 m @@ -5115,7 +5263,6 @@ f S n -vmrs 1906.8 2030.9 m 1907.6 2026.8 1905 2020.8 1909 2018.7 C 1906.5 2018.9 1906.8 2022.4 1906.8 2024.7 C @@ -5124,9 +5271,6 @@ 1905.1 2032.4 1905.9 2031.5 1906.8 2030.9 C [0.07 0.06 0 0.58] vc f -0.4 w -2 J -2 M S n 1907.1 2030.7 m @@ -5150,11 +5294,16 @@ f S n +vmrs 1934.2 2018.9 m 1934.2 2015.5 1934.2 2011 1934.2 2008.6 C 1934.5 2012.1 1933.7 2014.9 1934 2018.7 C 1933.4 2019.5 1933.5 2018.7 1934.2 2018.9 C -f +[0.65 0.65 0 0.42] vc +f +0.4 w +2 J +2 M S n 1887.6 2014.8 m @@ -5187,14 +5336,9 @@ f S n -vmrs 1902.8 1985.1 m 1905.2 1984 1905.2 1984 1902.8 1985.1 C -[0.65 0.65 0 0.42] vc -f -0.4 w -2 J -2 M +f S n 1949.1 1983.4 m @@ -5216,10 +5360,15 @@ f S n +vmrs 1926 1974.8 m 1927 1974.3 1928 1973.8 1928.9 1973.3 C 1928 1973.8 1927 1974.3 1926 1974.8 C -f +[0.65 0.65 0 0.42] vc +f +0.4 w +2 J +2 M S n 1929.4 1973.1 m @@ -5251,15 +5400,10 @@ f S n -vmrs 1963.5 2090.2 m 1964.4 2089.7 1965.2 2089.2 1966.1 2088.8 C 1965.2 2089.2 1964.4 2089.7 1963.5 2090.2 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1966.6 2088.5 m @@ -5280,10 +5424,15 @@ f S n +vmrs 1984.1 2084 m 1985.6 2083.2 1987.2 2082.3 1988.7 2081.6 C 1987.2 2082.3 1985.6 2083.2 1984.1 2084 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1976 2078.7 m @@ -5318,15 +5467,10 @@ f S n -vmrs 2001.2 2075.3 m 2004 2073.9 2006.9 2072.6 2009.8 2071.2 C 2006.9 2072.6 2004 2073.9 2001.2 2075.3 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1980.5 2060.7 m @@ -5348,12 +5492,17 @@ f S n +vmrs 2015.1 2047.5 m 2014.4 2047.5 2011.2 2049.6 2010.3 2051.3 C 2010.3 2057.7 2010.3 2064.1 2010.3 2070.5 C 2010.3 2063.9 2010.1 2057.1 2010.5 2050.6 C 2012 2049.3 2013.5 2048.3 2015.1 2047.5 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1910.4 2049.2 m @@ -5387,15 +5536,10 @@ f S n -vmrs 1972.4 2045.6 m 1973.4 2045 1974.5 2044.4 1975.5 2043.9 C 1974.5 2044.4 1973.4 2045 1972.4 2045.6 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1969 2043.6 m @@ -5418,10 +5562,15 @@ f S n +vmrs 1937.1 2032.1 m 1936.2 2033.7 1936.6 2035 1936.8 2036.2 C 1936.8 2035.1 1936.8 2032.4 1937.1 2032.1 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1887.6 2018.7 m @@ -5455,15 +5604,10 @@ f S n -vmrs 2006.2 2000.7 m 2005.4 2001.5 2004 2002.8 2004 2002.8 C 2004.5 2002.4 2005.5 2001.4 2006.2 2000.7 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1998.5 2001.6 m @@ -5490,10 +5634,15 @@ f S n +vmrs 2000 2001.2 m 2002.1 2000 2004.1 1998.9 2006.2 1997.8 C 2004.1 1998.9 2002.1 2000 2000 2001.2 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1895.8 1984.8 m @@ -5525,15 +5674,10 @@ f S n -vmrs 1911.9 1978.6 m 1914.3 1977.4 1916.7 1976.2 1919.1 1975 C 1916.7 1976.2 1914.3 1977.4 1911.9 1978.6 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1975.5 1971.4 m @@ -5554,10 +5698,15 @@ f S n +vmrs 1931.8 1968.3 m 1933 1967.9 1934.2 1967.5 1935.4 1967.1 C 1934.2 1967.5 1933 1967.9 1931.8 1968.3 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1940.7 2072.4 m @@ -5592,15 +5741,11 @@ f S n -vmrs 1924.6 2062.8 m 1923.9 2062.1 1923.2 2061.2 1922.4 2060.4 C 1923.2 2061.2 1923.9 2062.1 1924.6 2062.8 C [0 0 0 0.18] vc f -0.4 w -2 J -2 M S n 1919.3 2057.3 m @@ -5622,10 +5767,15 @@ f S n +vmrs 1911.2 2046.8 m 1910.1 2048.9 1911.9 2050.1 1913.1 2051.3 C 1912.1 2049.9 1910.6 2048.8 1911.2 2046.8 C -f +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M S n 1934 2048.7 m @@ -5634,6 +5784,15 @@ f S n +1980 2048.4 m +1979.5 2046.8 1976.3 2047.9 1977.2 2045.6 C +1976.8 2045.1 1976.1 2044.7 1975.2 2044.8 C +1973.7 2046 1976.3 2046.4 1976.7 2047.5 C +1977.8 2047.2 1978.2 2050 1979.6 2049.2 C +1980 2049 1979.6 2048.6 1980 2048.4 C +f +S +n 1938.3 2045.6 m 1938.2 2044.4 1936.8 2043.8 1935.9 2043.4 C 1936.4 2044.4 1939.1 2044.3 1937.6 2045.8 C @@ -5649,6 +5808,14 @@ f S n +2014.6 2035.2 m +2014.1 2033.6 2010.9 2034.7 2011.7 2032.4 C +2011.3 2031.9 2009.4 2030.7 2009.3 2032.1 C +2009.5 2033.7 2012.9 2033.8 2012.4 2035.7 C +2013 2036.4 2014.2 2036.5 2014.6 2035.2 C +f +S +n 1906.4 2030.7 m 1905 2031.6 1903.5 2033.6 1902 2032.8 C 1903.4 2034 1905.6 2031.4 1906.4 2030.7 C @@ -5662,32 +5829,50 @@ f S n -vmrs 1901.8 2032.4 m 1901.1 2031.6 1900.4 2030.7 1899.6 2030 C 1900.4 2030.7 1901.1 2031.6 1901.8 2032.4 C [0 0 0 0.18] vc f +S +n +1944.5 2030 m +1945.3 2029.9 1946.1 2029.8 1946.9 2029.7 C +1946.1 2029.8 1945.3 2029.9 1944.5 2030 C +f +S +n +vmrs +1997.8 2027.8 m +1997.7 2027.9 1997.6 2028.1 1997.3 2028 C +1997.4 2029.1 1998.5 2029.5 1999.2 2030 C +2000.1 2029.5 1998.9 2028 1997.8 2027.8 C +[0 0 0 0.18] vc +f 0.4 w 2 J 2 M S n -1944.5 2030 m -1945.3 2029.9 1946.1 2029.8 1946.9 2029.7 C -1946.1 2029.8 1945.3 2029.9 1944.5 2030 C -f -S -n 1906.4 2029.2 m 1906.4 2026.6 1906.4 2024 1906.4 2021.3 C 1906.4 2024 1906.4 2026.6 1906.4 2029.2 C f S n +2006.2 2025.9 m +2006 2025.9 2005.8 2025.8 2005.7 2025.6 C +2005.7 2025.5 2005.7 2025.3 2005.7 2025.2 C +2004.6 2025.8 2002.7 2024.7 2001.9 2026.1 C +2001.9 2027.9 2007.8 2029.2 2006.2 2025.9 C +[0 0 0 0] vc +f +S +n 1952.4 2026.8 m 1950.9 2027 1949.6 2026.4 1948.6 2027.3 C 1949.7 2026.1 1952.2 2027.7 1952.4 2026.8 C +[0 0 0 0.18] vc f S n @@ -5784,6 +5969,14 @@ f S n +1983.9 2006 m +1983.3 2004.3 1980.2 2005.4 1981 2003.1 C +1980.6 2002.7 1978.7 2001.5 1978.6 2002.8 C +1978.8 2004.4 1982.1 2004.5 1981.7 2006.4 C +1982.3 2007.2 1983.5 2007.2 1983.9 2006 C +f +S +n 1942.1 2003.1 m 1942 2001.9 1940.6 2001.3 1939.7 2000.9 C 1940.2 2001.9 1943 2001.8 1941.4 2003.3 C @@ -5792,6 +5985,18 @@ f S n +vmrs +1967.1 1998.5 m +1967 1998.6 1966.8 1998.8 1966.6 1998.8 C +1966.7 1999.8 1967.8 2000.2 1968.5 2000.7 C +1969.4 2000.2 1968.2 1998.8 1967.1 1998.5 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 1936.4 1997.6 m 1936.7 1995.6 1935.8 1996.4 1936.1 1997.8 C 1936.9 1997.9 1936.5 1999.2 1937.6 1999 C @@ -5799,15 +6004,20 @@ f S n -vmrs +1975.5 1996.6 m +1975.2 1996.7 1975.1 1996.5 1975 1996.4 C +1975 1996.2 1975 1996.1 1975 1995.9 C +1973.9 1996.5 1972 1995.5 1971.2 1996.8 C +1971.2 1998.6 1977 1999.9 1975.5 1996.6 C +[0 0 0 0] vc +f +S +n 1949.3 2097.4 m 1950.3 2096.9 1951.2 2096.4 1952.2 2096 C 1951.2 2096.4 1950.3 2096.9 1949.3 2097.4 C [0.4 0.4 0 0] vc f -0.4 w -2 J -2 M S n 1960.8 2091.6 m @@ -5850,10 +6060,15 @@ f S n +vmrs 1929.6 2065.7 m 1930.1 2065.6 1929.8 2068.6 1929.9 2070 C 1929.8 2068.6 1930.1 2067 1929.6 2065.7 C -f +[0.4 0.4 0 0] vc +f +0.4 w +2 J +2 M S n 1906.6 2049.4 m @@ -5868,15 +6083,10 @@ f S n -vmrs 2016.5 2047.2 m 2017.3 2046.9 2018.1 2046.6 2018.9 2046.3 C 2018.1 2046.6 2017.3 2046.9 2016.5 2047.2 C -[0.4 0.4 0 0] vc -f -0.4 w -2 J -2 M +f S n 1912.4 2028.5 m @@ -5925,11 +6135,15 @@ f S n +vmrs 1999 2001.4 m 2001 2000.3 2003 1999.2 2005 1998 C 2003 1999.2 2001 2000.3 1999 2001.4 C [0.4 0.4 0 0] vc f +0.4 w +2 J +2 M S n 1916.2 1986 m @@ -5949,15 +6163,10 @@ f S n -vmrs 1892.4 1986.8 m 1895.1 1985.1 1897.9 1983.6 1900.6 1982 C 1897.9 1983.6 1895.1 1985.1 1892.4 1986.8 C -[0.4 0.4 0 0] vc -f -0.4 w -2 J -2 M +f S n 1907.3 1979.3 m @@ -5996,10 +6205,15 @@ f S n +vmrs 1967.8 1972.4 m 1970 1971.2 1972.1 1970 1974.3 1968.8 C 1972.1 1970 1970 1971.2 1967.8 1972.4 C -f +[0.4 0.4 0 0] vc +f +0.4 w +2 J +2 M S n 1934 1967.3 m @@ -6015,18 +6229,14 @@ f S n -vmrs 1917.2 2047 m 1917.8 2046.5 1919.6 2046.8 1920 2047.2 C 1920 2046.5 1920.9 2046.8 1921 2046.3 C 1921.9 2047.3 1921.3 2044.1 1921.5 2044.1 C 1919.7 2044.8 1915.7 2043.5 1916.2 2046 C 1916.2 2048.3 1917 2045.9 1917.2 2047 C -[1 5] vc -f -0.4 w -2 J -2 M +[0 0 0 0] vc +f S n 1922 2044.1 m @@ -6036,6 +6246,13 @@ f S n +1934.9 2043.9 m +1935.2 2043.4 1934.4 2042.7 1934 2042.2 C +1933.2 2041.8 1932.4 2042.8 1932.8 2043.2 C +1932.9 2044 1934.3 2043.3 1934.9 2043.9 C +f +S +n 1906.1 2030.7 m 1906.1 2028.8 1906.1 2027 1906.1 2025.2 C 1906.1 2027 1906.1 2028.8 1906.1 2030.7 C @@ -6066,11 +6283,16 @@ f S n +vmrs 1912.1 2013.4 m 1912.4 2012.9 1911.6 2012.3 1911.2 2011.7 C 1910.4 2011.4 1909.6 2012.3 1910 2012.7 C 1910.1 2013.5 1911.5 2012.9 1912.1 2013.4 C -f +[0 0 0 0] vc +f +0.4 w +2 J +2 M S n 1921 2004.5 m @@ -6079,7 +6301,6 @@ 1925.7 2004.8 1925.1 2001.6 1925.3 2001.6 C 1923.6 2002.4 1919.6 2001 1920 2003.6 C 1920 2005.8 1920.8 2003.4 1921 2004.5 C -[1 5] vc f S n @@ -6090,53 +6311,13 @@ f S n -1904.4 2031.9 m -1903 2029.7 1905.3 2027.7 1904.2 2025.9 C -1904.5 2025 1903.7 2023 1904 2021.3 C -1904 2022.3 1903.2 2022 1902.5 2022 C -1901.3 2022.3 1902.2 2020.1 1901.6 2019.6 C -1902.5 2019.8 1902.6 2018.3 1903.5 2018.9 C -1903.7 2021.8 1905.6 2016.8 1905.6 2020.6 C -1905.9 2020 1906.3 2020.8 1906.1 2021.1 C -1905.8 2022.7 1906.7 2020.4 1906.4 2019.9 C -1906.4 2018.5 1908.2 2017.8 1906.8 2016.5 C -1906.9 2015.7 1907.7 2017.1 1907.1 2016.3 C -1908.5 2015.8 1910.3 2015.1 1911.6 2016 C -1912.2 2016.2 1911.9 2018 1911.6 2018 C -1914.5 2017.1 1910.4 2013.6 1913.3 2013.4 C -1912.4 2011.3 1910.5 2011.8 1909.5 2010 C -1910 2010.5 1909 2010.8 1908.8 2011.2 C -1907.5 2009.9 1906.1 2011.7 1904.9 2011.5 C -1904.7 2010.9 1904.3 2010.5 1904.4 2009.8 C -1905 2010.2 1904.6 2008.6 1905.4 2008.1 C -1906.6 2007.5 1907.7 2008.4 1908.5 2007.4 C -1908.9 2008.5 1909.7 2008.1 1909 2007.2 C -1908.1 2006.5 1905.9 2007.3 1905.4 2007.4 C -1903.9 2007.3 1905.2 2008.5 1904.2 2008.4 C -1904.6 2009.9 1902.8 2010.3 1902.3 2010.5 C -1901.5 2009.9 1900.4 2010 1899.4 2010 C -1898.6 2011.2 1898.2 2013.4 1896.5 2013.4 C -1896 2012.9 1894.4 2012.9 1893.6 2012.9 C -1893.1 2013.9 1892.9 2015.5 1891.5 2016 C -1890.3 2016.1 1889.2 2014 1888.6 2015.8 C -1890 2016 1891 2016.9 1892.9 2016.5 C -1894.1 2017.2 1892.8 2018.3 1893.2 2018.9 C -1892.6 2018.9 1891.1 2019.8 1890.5 2020.6 C -1891.1 2023.6 1893.2 2019.8 1893.9 2022.5 C -1894.1 2023.3 1892.7 2023.6 1893.9 2024 C -1894.2 2024.3 1897.4 2023.8 1896.5 2026.1 C -1896 2025.6 1897.4 2028.1 1897.5 2027.1 C -1898.4 2027.4 1899.3 2027 1899.6 2028.5 C -1899.5 2028.6 1899.4 2028.8 1899.2 2028.8 C -1899.3 2029.2 1899.6 2029.8 1900.1 2030.2 C -1900.4 2029.6 1901 2030 1901.8 2030.2 C -1903.1 2032.1 1900.4 2031.5 1902.8 2033.1 C -1903.3 2032.7 1904.5 2032 1904.4 2031.9 C -[0.21 0.21 0 0] vc -f -S -n -vmrs +1938.8 2001.4 m +1939 2000.9 1938.2 2000.3 1937.8 1999.7 C +1937.1 1999.4 1936.2 2000.3 1936.6 2000.7 C +1936.7 2001.5 1938.1 2000.9 1938.8 2001.4 C +f +S +n 1908.6691 2008.1348 m 1897.82 2010.0477 L 1894.1735 1989.3671 L @@ -6212,7 +6393,9 @@ 1944 2024.5 m 1944 2014 L 0.8504 w +0 J 3.863693 M +[0 0 0 1] vc false setoverprint S n @@ -6274,6 +6457,25 @@ true [0 0 0 1]sts Q +vmrs +2030.0624 2094.056 m +1956.3187 2120.904 L +1956.321 2095.3175 L +2030.0647 2068.4695 L +2030.0624 2094.056 L +n +q +_bfh +%%IncludeResource: font ZapfHumanist601BT-Bold +_efh +{ +f1 [22.898804 -8.336792 -0.002197 24.368408 0 0] makesetfont +1956.320496 2101.409561 m +0 0 32 0 0 () ts +} +true +[0 0 0 1]sts +Q vmr vmr end diff -r 8712391bbf3d -r 6efa861fb510 doc-src/gfx/isabelle_hol.eps --- a/doc-src/gfx/isabelle_hol.eps Thu Oct 22 20:15:26 1998 +0200 +++ b/doc-src/gfx/isabelle_hol.eps Fri Oct 23 10:38:20 1998 +0200 @@ -1,8 +1,22 @@ %!PS-Adobe-2.0 EPSF-1.2 -%%Title: isabelle_hol +%%Title: isabelle_any %%Creator: FreeHand 5.5 -%%CreationDate: 17.11.1997 21:36 Uhr -%%BoundingBox: 0 0 178 169 +%%CreationDate: 24.09.1998 21:04 Uhr +%%BoundingBox: 0 0 202 178 +%%FHPathName:MacSystem:Home:Markus:TUM:Isabelle Logo:export:isabelle_any +%ALDOriginalFile:MacSystem:Home:Markus:TUM:Isabelle Logo:export:isabelle_any +%ALDBoundingBox: -153 -386 442 456 +%%FHPageNum:1 +%%DocumentSuppliedResources: procset Altsys_header 4 0 +%%ColorUsage: Color +%%DocumentProcessColors: Cyan Magenta Yellow Black +%%DocumentNeededResources: font Symbol +%%+ font ZapfHumanist601BT-Bold +%%DocumentFonts: Symbol +%%+ ZapfHumanist601BT-Bold +%%DocumentNeededFonts: Symbol +%%+ ZapfHumanist601BT-Bold +%%EndComments %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001 %%CreationDate: Mon Jun 22 16:09:28 1992 %%VMusage: 35200 38400 @@ -1261,29 +1275,6 @@ 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark -%!PS-Adobe-2.0 EPSF-1.2 -%%Title: isabelle_hol -%%Creator: FreeHand 5.5 -%%CreationDate: 17.11.1997 21:36 Uhr -%%BoundingBox: 0 0 178 169 -%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle_hol -%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle_hol -%ALDBoundingBox: -157 -395 438 447 -%%FHPageNum:1 -%%DocumentSuppliedResources: procset Altsys_header 4 0 -%%ColorUsage: Color -%%DocumentProcessColors: Cyan Magenta Yellow Black -%%DocumentCustomColors: (Auto Farbe 7) -%%+ (Auto Farbe 16) -%%CMYKCustomColor: 0 0 1 0 (Auto Farbe 7) -%%+ 0.18 0.18 0 0 (Auto Farbe 16) -%%DocumentNeededResources: font Symbol -%%+ font ZapfHumanist601BT-Bold -%%DocumentFonts: Symbol -%%+ ZapfHumanist601BT-Bold -%%DocumentNeededFonts: Symbol -%%+ ZapfHumanist601BT-Bold -%%EndComments %%BeginResource: procset Altsys_header 4 0 userdict begin /AltsysDict 245 dict def end AltsysDict begin @@ -2128,15 +2119,13 @@ /maxsteps 256 def /forcemaxsteps false def vms --1849 -1965 translate +-1845 -1956 translate /currentpacking defed{false setpacking}if /spots[ 1 0 0 0 (Process Cyan) false newcmykcustomcolor 0 1 0 0 (Process Magenta) false newcmykcustomcolor 0 0 1 0 (Process Yellow) false newcmykcustomcolor 0 0 0 1 (Process Black) false newcmykcustomcolor -0 0 1 0 (Auto Farbe 7) false newcmykcustomcolor -0.18 0.18 0 0 (Auto Farbe 16) false newcmykcustomcolor ]def /textopf false def /curtextmtx{}def @@ -2177,15 +2166,82 @@ false eomode [0 0 0 1] vc vms -1931 2078.5 m -1957 2066.25 L -11.3386 w -3.863693 M -[1 4] vc -S -n -1936 2036.25 m -1960.25 2024.25 L +%white border -- disabled +%1845.2293 2127.8588 m +%2045.9437 2127.8588 L +%2045.9437 1956.1412 L +%1845.2293 1956.1412 L +%1845.2293 2127.8588 L +%0.1417 w +%2 J +%2 M +%[0 0 0 0] vc +%s +n +1950.8 2097.2 m +1958.8 2092.5 1967.3 2089 1975.5 2084.9 C +1976.7 2083.5 1976.1 2081.5 1976.7 2079.9 C +1979.6 2081.1 1981.6 2086.8 1985.3 2084 C +1993.4 2079.3 2001.8 2075.8 2010 2071.7 C +2010.5 2071.5 2010.5 2071.1 2010.8 2070.8 C +2011.2 2064.3 2010.9 2057.5 2011 2050.8 C +2015.8 2046.9 2022.2 2046.2 2026.6 2041.7 C +2026.5 2032.5 2026.8 2022.9 2026.4 2014.1 C +2020.4 2008.3 2015 2002.4 2008.8 1997.1 C +2003.8 1996.8 2000.7 2001.2 1996.1 2002.1 C +1995.2 1996.4 1996.9 1990.5 1995.6 1984.8 C +1989.9 1979 1984.5 1973.9 1978.8 1967.8 C +1977.7 1968.6 1976 1967.6 1974.5 1968.3 C +1967.4 1972.5 1960.1 1976.1 1952.7 1979.3 C +1946.8 1976.3 1943.4 1970.7 1938.5 1966.1 C +1933.9 1966.5 1929.4 1968.8 1925.1 1970.7 C +1917.2 1978.2 1906 1977.9 1897.2 1983.4 C +1893.2 1985.6 1889.4 1988.6 1885 1990.1 C +1884.6 1990.6 1883.9 1991 1883.8 1991.6 C +1883.7 2000.4 1884 2009.9 1883.6 2018.9 C +1887.7 2024 1893.2 2028.8 1898 2033.8 C +1899.1 2035.5 1900.9 2036.8 1902.5 2037.9 C +1903.9 2037.3 1905.2 2036.6 1906.4 2035.5 C +1906.3 2039.7 1906.5 2044.6 1906.1 2048.9 C +1906.3 2049.6 1906.7 2050.2 1907.1 2050.8 C +1913.4 2056 1918.5 2062.7 1924.8 2068.1 C +1926.6 2067.9 1928 2066.9 1929.4 2066 C +1930.2 2071 1927.7 2077.1 1930.6 2081.6 C +1936.6 2086.9 1941.5 2092.9 1947.9 2097.9 C +1949 2098.1 1949.9 2097.5 1950.8 2097.2 C +[0 0 0 0.18] vc +f +0.4 w +S +n +1975.2 2084.7 m +1976.6 2083.4 1975.7 2081.1 1976 2079.4 C +1979.3 2079.5 1980.9 2086.2 1984.8 2084 C +1992.9 2078.9 2001.7 2075.6 2010 2071.2 C +2011 2064.6 2010.2 2057.3 2010.8 2050.6 C +2015.4 2046.9 2021.1 2045.9 2025.9 2042.4 C +2026.5 2033.2 2026.8 2022.9 2025.6 2013.9 C +2020.5 2008.1 2014.5 2003.1 2009.3 1997.6 C +2004.1 1996.7 2000.7 2001.6 1995.9 2002.6 C +1995.2 1996.7 1996.3 1990.2 1994.9 1984.6 C +1989.8 1978.7 1983.6 1973.7 1978.4 1968 C +1977.3 1969.3 1976 1967.6 1974.8 1968.5 C +1967.7 1972.7 1960.4 1976.3 1952.9 1979.6 C +1946.5 1976.9 1943.1 1970.5 1937.8 1966.1 C +1928.3 1968.2 1920.6 1974.8 1911.6 1978.4 C +1901.9 1979.7 1893.9 1986.6 1885 1990.6 C +1884.3 1991 1884.3 1991.7 1884 1992.3 C +1884.5 2001 1884.2 2011 1884.3 2019.9 C +1890.9 2025.3 1895.9 2031.9 1902.3 2037.4 C +1904.2 2037.9 1905.6 2034.2 1906.8 2035.7 C +1907.4 2040.9 1905.7 2046.1 1907.3 2050.8 C +1913.6 2056.2 1919.2 2062.6 1925.1 2067.9 C +1926.9 2067.8 1928 2066.3 1929.6 2065.7 C +1929.9 2070.5 1929.2 2076 1930.1 2080.8 C +1936.5 2086.1 1941.6 2092.8 1948.4 2097.6 C +1957.3 2093.3 1966.2 2088.8 1975.2 2084.7 C +[0 0 0 0] vc +f S n 1954.8 2093.8 m @@ -2318,9 +2374,6 @@ 1950.7 2096.7 1952.6 2094.8 1954.8 2093.8 C [0 0.33 0.33 0.99] vc f -0.4 w -2 J -2 M S n 1989.4 2080.6 m @@ -2420,9 +2473,8 @@ 1910 2032.9 1910 2041.2 1910 2049.4 C 1915.4 2055.2 1920 2058.7 1925.3 2064.8 C 1927.2 2064 1929 2061.4 1930.8 2061.9 C -[1 5] vc -f [0 0 0 0] vc +f S n 1907.6 2030.4 m @@ -2440,7 +2492,6 @@ 1887.2 2002.4 1887.2 2010.7 1887.2 2018.9 C 1892.6 2024.7 1897.2 2028.2 1902.5 2034.3 C 1904.3 2033.3 1906.2 2032.1 1907.6 2030.4 C -[1 5] vc f S n @@ -2500,6 +2551,7 @@ f S n +vmrs 1934.7 2019.4 m 1934.1 2015.3 1935.6 2010.9 1934.9 2007.9 C 1935.1 2007.8 1935.6 2008.1 1935.4 2007.6 C @@ -2515,12 +2567,13 @@ 1913.8 1990.4 1913.8 1998.7 1913.8 2006.9 C 1919.3 2012.7 1923.8 2016.2 1929.2 2022.3 C 1931.1 2021.6 1932.8 2018.9 1934.7 2019.4 C -[1 5] vc -f [0 0 0 0] vc -S -n -vmrs +f +0.4 w +2 J +2 M +S +n 2024.2 2038.1 m 2024.1 2029.3 2024.4 2021.7 2024.7 2014.4 C 2024.4 2013.6 2020.6 2013.4 2021.3 2011.2 C @@ -2541,9 +2594,6 @@ 2020.8 2042.7 2025.5 2041.8 2024.2 2038.1 C [0 0.87 0.91 0.83] vc f -0.4 w -2 J -2 M S n 2023.5 2040 m @@ -2658,6 +2708,7 @@ f S n +vmrs 1993.5 2008.8 m 1993.4 2000 1993.7 1992.5 1994 1985.1 C 1993.7 1984.3 1989.9 1984.1 1990.6 1982 C @@ -2678,9 +2729,11 @@ 1990.1 2013.4 1994.7 2012.6 1993.5 2008.8 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1992.8 2010.8 m 1992.8 2001.8 1992.8 1994.1 1992.8 1985.8 C 1989.5 1985.7 1991.1 1981.1 1987.7 1981.7 C @@ -2712,9 +2765,6 @@ 1991.3 2011.9 1992.2 2012.1 1992.8 2010.8 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1978.4 1968.5 m @@ -2814,14 +2864,17 @@ f S n +vmrs 1948.6 2094.5 m 1950.2 2093.7 1951.8 2092.9 1953.4 2092.1 C 1951.8 2092.9 1950.2 2093.7 1948.6 2094.5 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1971.6 2082.3 m 1971.6 2081.9 1970.7 2081.1 1970.9 2081.3 C 1970.7 2081.6 1970.6 2081.6 1970.4 2081.3 C @@ -2839,9 +2892,6 @@ 1956 2089.5 1963.9 2086.1 1971.6 2082.3 C [0 0.01 1 0] vc f -0.4 w -2 J -2 M S n 1958.2 2089.7 m @@ -2927,24 +2977,23 @@ f S n +vmrs 1992.8 2076.5 m 1991 2076.8 1990.2 2078.1 1988.4 2078.7 C 1990.2 2078.7 1991 2076.5 1992.8 2076.5 C [0 0.87 0.91 0.83] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1975.5 2073.4 m 1976.1 2069.7 1973.9 2064.6 1977.4 2062.4 C 1973.9 2064.5 1976.1 2069.9 1975.5 2073.6 C 1976 2074.8 1979.3 2077.4 1978.1 2076 C 1977 2075.7 1975.8 2074.5 1975.5 2073.4 C -[0 0.87 0.91 0.83] vc -f -0.4 w -2 J -2 M +f S n 2007.4 2069.6 m @@ -3083,24 +3132,23 @@ f S n +vmrs 1962 2047.2 m 1960.2 2047.5 1959.5 2048.9 1957.7 2049.4 C 1959.5 2049.5 1960.3 2047.2 1962 2047.2 C [0 0.87 0.91 0.83] vc f -S -n -vmrs -2012.4 2046.3 m -2010.3 2051.3 2008.3 2041.5 2009.8 2047.7 C -2010.5 2047.4 2012.2 2046.5 2012.4 2046.3 C -[0 0.87 0.91 0.83] vc -f 0.4 w 2 J 2 M S n +2012.4 2046.3 m +2010.3 2051.3 2008.3 2041.5 2009.8 2047.7 C +2010.5 2047.4 2012.2 2046.5 2012.4 2046.3 C +f +S +n 1944.8 2044.6 m 1945.5 2045.6 1948.6 2048.1 1947.4 2046.8 C 1946.3 2046.5 1945.5 2045.2 1944.8 2044.6 C @@ -3201,19 +3249,12 @@ f S n +vmrs 1989.4 2024.4 m 1989.5 2025.4 1988.6 2024.3 1988.9 2024.7 C 1990.5 2025.8 1990.7 2024.2 1992.8 2024.9 C 1993.8 2025.9 1995 2027.1 1995.9 2028 C 1994.3 2026 1991.9 2023.4 1989.4 2024.4 C -f -S -n -vmrs -1984.8 2019.9 m -1984.6 2018.6 1986.3 2017.2 1987.7 2016.8 C -1987.2 2017.5 1982.9 2017.9 1984.4 2020.6 C -1984.1 2019.9 1984.9 2020 1984.8 2019.9 C [0 0.87 0.91 0.83] vc f 0.4 w @@ -3221,6 +3262,13 @@ 2 M S n +1984.8 2019.9 m +1984.6 2018.6 1986.3 2017.2 1987.7 2016.8 C +1987.2 2017.5 1982.9 2017.9 1984.4 2020.6 C +1984.1 2019.9 1984.9 2020 1984.8 2019.9 C +f +S +n 1981.7 2017 m 1979.6 2022 1977.6 2012.3 1979.1 2018.4 C 1979.8 2018.1 1981.5 2017.2 1981.7 2017 C @@ -3330,6 +3378,7 @@ f S n +vmrs 1887.9 2018.4 m 1887.5 2016.9 1888.5 2016 1888.8 2014.8 C 1890.1 2014.8 1891.1 2016.6 1892.4 2015.3 C @@ -3353,17 +3402,16 @@ 1898 2028.2 1892.1 2023.8 1887.9 2018.4 C [0.4 0.4 0 0] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1910.9 1995.2 m 1910.4 1999.8 1911 2003.3 1910.9 2008.1 C 1910.9 2003.8 1910.9 1999.2 1910.9 1995.2 C [0.18 0.18 0 0.78] vc f -0.4 w -2 J -2 M S n 1911.2 2004.3 m @@ -3486,15 +3534,18 @@ f S n +vmrs 1972.8 2062.1 m 1971.9 2061 1972.5 2059.4 1972.4 2058 C 1972.2 2063.8 1971.9 2073.7 1972.4 2081.3 C 1972.5 2074.9 1971.9 2067.9 1972.8 2062.1 C [0 1 1 0.36] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1940.2 2071.7 m 1941.3 2072 1943.1 2072.3 1944 2071.5 C 1943.6 2069.9 1945.2 2069.1 1946 2068.8 C @@ -3515,9 +3566,6 @@ 1937.9 2073.6 1939.1 2072.1 1940.2 2071.7 C [0 0.2 1 0] vc f -0.4 w -2 J -2 M S n 1933.2 2074.1 m @@ -3634,17 +3682,10 @@ f S n +vmrs 2006.7 2043.2 m 2004.5 2040.8 2002.4 2038.4 2000.2 2036 C 2002.4 2038.4 2004.5 2040.8 2006.7 2043.2 C -f -S -n -vmrs -1976.7 2019.6 m -1975.8 2018.6 1976.4 2016.9 1976.2 2015.6 C -1976 2021.3 1975.8 2031.2 1976.2 2038.8 C -1976.4 2032.4 1975.8 2025.5 1976.7 2019.6 C [0 1 1 0.36] vc f 0.4 w @@ -3652,6 +3693,13 @@ 2 M S n +1976.7 2019.6 m +1975.8 2018.6 1976.4 2016.9 1976.2 2015.6 C +1976 2021.3 1975.8 2031.2 1976.2 2038.8 C +1976.4 2032.4 1975.8 2025.5 1976.7 2019.6 C +f +S +n 1988.4 2053.5 m 1988.6 2049.2 1988.1 2042.8 1988 2040 C 1988.4 2040.4 1988.1 2041 1988.2 2041.5 C @@ -3738,6 +3786,7 @@ f S n +vmrs 1993.5 2024.4 m 1992.4 2023.7 1991.3 2022.9 1990.1 2023.2 C 1990.7 2023.7 1989.8 2023.8 1989.4 2023.7 C @@ -3762,10 +3811,12 @@ 1995 2026.5 1994.1 2025.5 1993.5 2024.4 C [0 1 1 0.36] vc f +0.4 w +2 J +2 M [0 0.5 0.5 0.2] vc S n -vmrs 2023 2040.3 m 2023.2 2036 2022.7 2029.6 2022.5 2026.8 C 2022.9 2027.2 2022.7 2027.8 2022.8 2028.3 C @@ -3788,9 +3839,6 @@ 2021.9 2040.7 2022.9 2041.1 2023 2040.3 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 2022.5 2024.9 m @@ -3896,24 +3944,23 @@ f S n +vmrs 2017.7 2009.6 m 2016.9 2009.3 2016.7 2008.4 2015.8 2009.1 C 2014.2 2010.6 2016 2010.6 2016.5 2011.5 C 2017.2 2010.9 2018.1 2010.8 2017.7 2009.6 C [0 1 1 0.23] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 2014.4 2006.4 m 2013.5 2006.8 2012.1 2005.6 2012 2006.7 C 2013 2007.3 2011.9 2009.2 2012.9 2008.4 C 2014.2 2008.3 2014.6 2007.8 2014.4 2006.4 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1969 2006.4 m @@ -4014,24 +4061,24 @@ f S n +vmrs 1954.4 1982.7 m 1956.1 1982.7 1954.1 1982.5 1953.9 1982.9 C 1953.9 1983.7 1953.7 1984.7 1954.1 1985.3 C 1954.4 1984.2 1953.6 1983.6 1954.4 1982.7 C [0 1 1 0.36] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1989.6 1982.9 m 1989.1 1982.7 1988.6 1982.3 1988 1982.4 C 1987.2 1982.8 1987.4 1984.8 1987.7 1985.1 C 1988.9 1985.6 1990.7 1984.4 1989.6 1982.9 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1987 1980.3 m @@ -4106,6 +4153,7 @@ f S n +vmrs 1986.5 2055.2 m 1987.5 2054.3 1986.3 2053.4 1986 2052.8 C 1983.8 2052.7 1983.6 2050.1 1981.7 2049.6 C @@ -4119,17 +4167,16 @@ 1979.2 2058 1983 2056.6 1986.5 2055.2 C [0 0.5 0.5 0.2] vc f -S -n -vmrs +0.4 w +2 J +2 M +S +n 1970.2 2054.2 m 1971.5 2055.3 1972.5 2056.8 1972.1 2058.3 C 1972.8 2056.5 1971.6 2055.6 1970.2 2054.2 C [0 1 1 0.23] vc f -0.4 w -2 J -2 M S n 1992 2052.5 m @@ -4191,9 +4238,39 @@ f S n +2015.3 2036 m +2015.4 2034.1 2013.3 2034 2012.9 2033.3 C +2011.5 2031 2009.3 2029.4 2007.4 2028 C +2006.9 2027.1 2006.6 2023.8 2005 2024.9 C +2004 2024.9 2002.9 2024.9 2001.9 2024.9 C +2001.4 2026.5 2001 2028.4 2003.8 2028.3 C +2006.6 2030.4 2008.9 2033.7 2011.2 2036.2 C +2011.8 2036.4 2012.9 2035.8 2012.9 2036.7 C +2013 2035.5 2015.3 2037.4 2015.3 2036 C +[0 0 0 0] vc +f +S +n +vmrs +2009.1 2030.4 m +2009.1 2029 2007.5 2029.4 2006.9 2028.3 C +2007.2 2027.1 2006.5 2025.5 2005.7 2024.7 C +2004.6 2025.1 2003.1 2024.9 2001.9 2024.9 C +2001.8 2026.2 2000.9 2027 2002.4 2028 C +2004.5 2027.3 2004.9 2029.4 2006.9 2029 C +2007 2030.2 2007.6 2030.7 2008.4 2031.4 C +2008.8 2031.5 2009.1 2031.1 2009.1 2030.4 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 2003.8 2029.5 m 2003 2029.4 2001.9 2029.1 2002.4 2030.4 C 2003.1 2031.3 2005.2 2030.3 2003.8 2029.5 C +[0 1 1 0.23] vc f S n @@ -4203,7 +4280,6 @@ f S n -vmrs 2007.6 2024.2 m 2007.6 2022.9 2008.4 2024.2 2007.6 2022.8 C 2007.6 2017.5 2007.8 2009.1 2007.4 2003.8 C @@ -4213,11 +4289,7 @@ 2006.7 2007.7 2007 2015.1 2006.9 2021.1 C 2006.7 2022.1 2005.4 2022.8 2006.2 2023.5 C 2006.6 2023.1 2008 2025.9 2007.6 2024.2 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1989.9 2023.5 m @@ -4261,9 +4333,39 @@ f S n +1984.6 2006.7 m +1984.7 2004.8 1982.6 2004.8 1982.2 2004 C +1980.8 2001.7 1978.6 2000.1 1976.7 1998.8 C +1976.1 1997.8 1975.8 1994.5 1974.3 1995.6 C +1973.3 1995.6 1972.2 1995.6 1971.2 1995.6 C +1970.7 1997.2 1970.3 1999.1 1973.1 1999 C +1975.8 2001.2 1978.2 2004.4 1980.5 2006.9 C +1981.1 2007.1 1982.1 2006.5 1982.2 2007.4 C +1982.3 2006.2 1984.5 2008.1 1984.6 2006.7 C +[0 0 0 0] vc +f +S +n +vmrs +1978.4 2001.2 m +1978.4 1999.7 1976.8 2000.1 1976.2 1999 C +1976.5 1997.8 1975.8 1996.2 1975 1995.4 C +1973.9 1995.8 1972.4 1995.6 1971.2 1995.6 C +1971 1997 1970.2 1997.7 1971.6 1998.8 C +1973.8 1998 1974.2 2000.1 1976.2 1999.7 C +1976.3 2000.9 1976.9 2001.4 1977.6 2002.1 C +1978.1 2002.2 1978.4 2001.8 1978.4 2001.2 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 1973.1 2000.2 m 1972.3 2000.1 1971.2 1999.8 1971.6 2001.2 C 1972.4 2002 1974.5 2001 1973.1 2000.2 C +[0 1 1 0.23] vc f S n @@ -4291,18 +4393,13 @@ f S n -vmrs 1972.6 1994.2 m 1972.4 1994 1972.4 1993.9 1972.6 1993.7 C 1973 1993.8 1973.1 1993.7 1973.1 1993.2 C 1972.7 1992.9 1970.5 1993.1 1971.6 1993.7 C 1971.9 1993.7 1972 1993.8 1972.1 1994 C 1970 1994.4 1973.1 1994.1 1972.6 1994.2 C -[0 1 1 0.23] vc -f -0.4 w -2 J -2 M +f S n 1948.1 2093.8 m @@ -4331,10 +4428,15 @@ f S n +vmrs 1967.1 2084.9 m 1968.3 2084.4 1969.7 2083.8 1970.9 2083.2 C 1969.7 2083.8 1968.3 2084.4 1967.1 2084.9 C -f +[0 0.4 1 0] vc +f +0.4 w +2 J +2 M S n 1982.7 2080.6 m @@ -4363,15 +4465,10 @@ f S n -vmrs 1996.8 2074.1 m 1998.3 2073.4 1999.7 2072.7 2001.2 2072 C 1999.7 2072.7 1998.3 2073.4 1996.8 2074.1 C -[0 0.4 1 0] vc -f -0.4 w -2 J -2 M +f S n 2001.6 2071.7 m @@ -4398,6 +4495,7 @@ f S n +vmrs 1977.4 2047.7 m 1975.8 2047.8 1974.8 2046.1 1974.5 2045.3 C 1974.9 2044.4 1976 2044.5 1976.7 2044.8 C @@ -4413,6 +4511,9 @@ 1977.7 2048.7 1977.2 2047.8 1977.4 2047.7 C [0 0.5 0.5 0.2] vc f +0.4 w +2 J +2 M S n 1957.2 2048.9 m @@ -4440,7 +4541,6 @@ f S n -vmrs 2012 2034.5 m 2010.4 2034.6 2009.3 2032.9 2009.1 2032.1 C 2009.4 2031 2010.3 2031.3 2011.2 2031.6 C @@ -4460,9 +4560,6 @@ 2012.7 2036.1 2011.8 2035 2012 2034.5 C [0 0.5 0.5 0.2] vc f -0.4 w -2 J -2 M S n 1981.2 2005.2 m @@ -4507,10 +4604,15 @@ f S n +vmrs 1942.1 2087.8 m 1943.5 2088.4 1944.3 2089.5 1945.2 2090.7 C 1944.8 2089.3 1943.3 2088.3 1942.1 2087.8 C -f +[0 0.2 1 0] vc +f +0.4 w +2 J +2 M S n 1933.5 2078.4 m @@ -4538,15 +4640,10 @@ f S n -vmrs 1952.2 2051.3 m 1953.6 2050.7 1955.1 2050.1 1956.5 2049.4 C 1955.1 2050.1 1953.6 2050.7 1952.2 2051.3 C -[0 0.2 1 0] vc -f -0.4 w -2 J -2 M +f S n 1952 2051.1 m @@ -4578,13 +4675,18 @@ f S n +vmrs 1939 2030.7 m 1940.3 2027.4 1939.7 2019.3 1939.5 2013.9 C 1939.7 2013.5 1940.1 2013.2 1940 2012.7 C 1939.5 2012.3 1938.8 2012.5 1938.3 2012.4 C 1938.3 2019 1938.3 2026.2 1938.3 2032.1 C 1939.5 2032.7 1939.8 2031.2 1939 2030.7 C -f +[0 0.01 1 0] vc +f +0.4 w +2 J +2 M S n 1975.2 2077.2 m @@ -4620,7 +4722,6 @@ f S n -vmrs 1929.6 2061.2 m 1929.6 2057.6 1929.6 2054.1 1929.6 2050.6 C 1930 2049.9 1930.5 2049.4 1931.1 2049.2 C @@ -4629,9 +4730,6 @@ 1926.9 2063.3 1928.3 2062.4 1929.6 2061.2 C [0.4 0.4 0 0] vc f -0.4 w -2 J -2 M S n 1930.8 2061.6 m @@ -4665,6 +4763,7 @@ f S n +vmrs 2026.1 2041.2 m 2026.1 2034.8 2026.1 2028.3 2026.1 2021.8 C 2026.1 2028.5 2026.3 2035.4 2025.9 2042 C @@ -4672,6 +4771,9 @@ 2023.1 2044 2025.1 2042.8 2026.1 2041.2 C [0.07 0.06 0 0.58] vc f +0.4 w +2 J +2 M S n 2026.4 2021.8 m @@ -4706,7 +4808,6 @@ f S n -vmrs 1934 2019.2 m 1932 2019.6 1930.8 2022.6 1928.7 2021.8 C 1924.5 2016.5 1918.2 2011.8 1914 2006.7 C @@ -4714,11 +4815,7 @@ 1913.6 2004.3 1913.9 2005.8 1913.8 2006.9 C 1919 2012.4 1924.1 2016.5 1929.2 2022.3 C 1931 2021.7 1932.2 2019.8 1934 2019.2 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f S n 1928.7 2024.9 m @@ -4752,6 +4849,7 @@ f S n +vmrs 1933.5 2018.7 m 1933.5 2015.1 1933.5 2011.7 1933.5 2008.1 C 1933.8 2007.4 1934.3 2006.9 1934.9 2006.7 C @@ -4760,6 +4858,9 @@ 1930.7 2020.8 1932.2 2019.9 1933.5 2018.7 C [0.4 0.4 0 0] vc f +0.4 w +2 J +2 M S n 1934.7 2019.2 m @@ -4797,15 +4898,11 @@ f S n -vmrs 1914 2009.3 m 1912.8 2010.9 1909.6 2005.3 1911.9 2009.8 C 1912.3 2009.6 1913.6 2010.2 1914 2009.3 C [0.92 0.92 0 0.67] vc f -0.4 w -2 J -2 M S n 1951.2 1998.8 m @@ -4841,12 +4938,16 @@ f S n +vmrs 1942.1 1999.2 m 1942.2 1998.9 1941.8 1998.8 1941.6 1998.5 C 1940.4 1998 1940.7 1999.7 1940.7 2000 C 1941.6 2000.3 1942.6 2000.4 1942.1 1999.2 C [0.92 0.92 0 0.67] vc f +0.4 w +2 J +2 M S n 1940 1997.1 m @@ -4878,15 +4979,11 @@ f S n -vmrs 1975.2 2073.2 m 1975.2 2070.2 1975.2 2067.2 1975.2 2064.3 C 1975.2 2067.2 1975.2 2070.2 1975.2 2073.2 C [0.18 0.18 0 0.78] vc f -0.4 w -2 J -2 M S n 1929.9 2065.7 m @@ -4928,11 +5025,15 @@ f S n +vmrs 1938.3 2047 m 1937.9 2046.9 1936.6 2047.1 1936.1 2048 C 1936.5 2047.5 1937.3 2046.7 1938.3 2047 C [0.18 0.18 0 0.78] vc f +0.4 w +2 J +2 M S n 1910.2 2043.2 m @@ -4965,23 +5066,65 @@ f S n -vmrs 1989.2 2024.4 m 1987.4 2023.7 1985.8 2022.2 1985.1 2020.4 C 1984.6 2020.1 1986 2018.9 1985.1 2019.2 C 1985.6 2020.8 1984.1 2019.4 1984.6 2021.1 C 1986.3 2022.3 1988.1 2025.3 1989.2 2024.4 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f +S +n +1904.4 2031.9 m +1903 2029.7 1905.3 2027.7 1904.2 2025.9 C +1904.5 2025 1903.7 2023 1904 2021.3 C +1904 2022.3 1903.2 2022 1902.5 2022 C +1901.3 2022.3 1902.2 2020.1 1901.6 2019.6 C +1902.5 2019.8 1902.6 2018.3 1903.5 2018.9 C +1903.7 2021.8 1905.6 2016.8 1905.6 2020.6 C +1905.9 2020 1906.3 2020.8 1906.1 2021.1 C +1905.8 2022.7 1906.7 2020.4 1906.4 2019.9 C +1906.4 2018.5 1908.2 2017.8 1906.8 2016.5 C +1906.9 2015.7 1907.7 2017.1 1907.1 2016.3 C +1908.5 2015.8 1910.3 2015.1 1911.6 2016 C +1912.2 2016.2 1911.9 2018 1911.6 2018 C +1914.5 2017.1 1910.4 2013.6 1913.3 2013.4 C +1912.4 2011.3 1910.5 2011.8 1909.5 2010 C +1910 2010.5 1909 2010.8 1908.8 2011.2 C +1907.5 2009.9 1906.1 2011.7 1904.9 2011.5 C +1904.7 2010.9 1904.3 2010.5 1904.4 2009.8 C +1905 2010.2 1904.6 2008.6 1905.4 2008.1 C +1906.6 2007.5 1907.7 2008.4 1908.5 2007.4 C +1908.9 2008.5 1909.7 2008.1 1909 2007.2 C +1908.1 2006.5 1905.9 2007.3 1905.4 2007.4 C +1903.9 2007.3 1905.2 2008.5 1904.2 2008.4 C +1904.6 2009.9 1902.8 2010.3 1902.3 2010.5 C +1901.5 2009.9 1900.4 2010 1899.4 2010 C +1898.6 2011.2 1898.2 2013.4 1896.5 2013.4 C +1896 2012.9 1894.4 2012.9 1893.6 2012.9 C +1893.1 2013.9 1892.9 2015.5 1891.5 2016 C +1890.3 2016.1 1889.2 2014 1888.6 2015.8 C +1890 2016 1891 2016.9 1892.9 2016.5 C +1894.1 2017.2 1892.8 2018.3 1893.2 2018.9 C +1892.6 2018.9 1891.1 2019.8 1890.5 2020.6 C +1891.1 2023.6 1893.2 2019.8 1893.9 2022.5 C +1894.1 2023.3 1892.7 2023.6 1893.9 2024 C +1894.2 2024.3 1897.4 2023.8 1896.5 2026.1 C +1896 2025.6 1897.4 2028.1 1897.5 2027.1 C +1898.4 2027.4 1899.3 2027 1899.6 2028.5 C +1899.5 2028.6 1899.4 2028.8 1899.2 2028.8 C +1899.3 2029.2 1899.6 2029.8 1900.1 2030.2 C +1900.4 2029.6 1901 2030 1901.8 2030.2 C +1903.1 2032.1 1900.4 2031.5 1902.8 2033.1 C +1903.3 2032.7 1904.5 2032 1904.4 2031.9 C +[0.21 0.21 0 0] vc +f S n 1909.2 2019.4 m 1908.8 2020.3 1910.2 2019.8 1909.2 2019.2 C 1908.3 2019.3 1907.6 2020.2 1907.6 2021.3 C 1908.5 2021 1907.6 2019 1909.2 2019.4 C +[0.18 0.18 0 0.78] vc f S n @@ -4999,10 +5142,15 @@ f S n +vmrs 1887.4 2012.7 m 1887.3 2007 1887.2 2001.3 1887.2 1995.6 C 1887.2 2001.3 1887.3 2007 1887.4 2012.7 C -f +[0.18 0.18 0 0.78] vc +f +0.4 w +2 J +2 M S n 1935.9 2007.4 m @@ -5039,16 +5187,11 @@ f S n -vmrs 1954.8 1989.9 m 1953.9 1989.6 1954.7 1991.6 1953.9 1991.1 C 1954.5 1993.1 1953.6 1998 1954.6 1993.2 C 1954 1992.2 1954.7 1990.7 1954.8 1989.9 C -[0.18 0.18 0 0.78] vc -f -0.4 w -2 J -2 M +f S n 1947.6 1992.5 m @@ -5073,10 +5216,15 @@ f S n +vmrs 1953.6 1983.6 m 1954.1 1985.3 1953.2 1988.6 1954.8 1989.4 C 1954.1 1987.9 1954.4 1985.4 1953.6 1983.6 C -f +[0.18 0.18 0 0.78] vc +f +0.4 w +2 J +2 M S n 1910.7 1982 m @@ -5115,7 +5263,6 @@ f S n -vmrs 1906.8 2030.9 m 1907.6 2026.8 1905 2020.8 1909 2018.7 C 1906.5 2018.9 1906.8 2022.4 1906.8 2024.7 C @@ -5124,9 +5271,6 @@ 1905.1 2032.4 1905.9 2031.5 1906.8 2030.9 C [0.07 0.06 0 0.58] vc f -0.4 w -2 J -2 M S n 1907.1 2030.7 m @@ -5150,11 +5294,16 @@ f S n +vmrs 1934.2 2018.9 m 1934.2 2015.5 1934.2 2011 1934.2 2008.6 C 1934.5 2012.1 1933.7 2014.9 1934 2018.7 C 1933.4 2019.5 1933.5 2018.7 1934.2 2018.9 C -f +[0.65 0.65 0 0.42] vc +f +0.4 w +2 J +2 M S n 1887.6 2014.8 m @@ -5187,14 +5336,9 @@ f S n -vmrs 1902.8 1985.1 m 1905.2 1984 1905.2 1984 1902.8 1985.1 C -[0.65 0.65 0 0.42] vc -f -0.4 w -2 J -2 M +f S n 1949.1 1983.4 m @@ -5216,10 +5360,15 @@ f S n +vmrs 1926 1974.8 m 1927 1974.3 1928 1973.8 1928.9 1973.3 C 1928 1973.8 1927 1974.3 1926 1974.8 C -f +[0.65 0.65 0 0.42] vc +f +0.4 w +2 J +2 M S n 1929.4 1973.1 m @@ -5251,15 +5400,10 @@ f S n -vmrs 1963.5 2090.2 m 1964.4 2089.7 1965.2 2089.2 1966.1 2088.8 C 1965.2 2089.2 1964.4 2089.7 1963.5 2090.2 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1966.6 2088.5 m @@ -5280,10 +5424,15 @@ f S n +vmrs 1984.1 2084 m 1985.6 2083.2 1987.2 2082.3 1988.7 2081.6 C 1987.2 2082.3 1985.6 2083.2 1984.1 2084 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1976 2078.7 m @@ -5318,15 +5467,10 @@ f S n -vmrs 2001.2 2075.3 m 2004 2073.9 2006.9 2072.6 2009.8 2071.2 C 2006.9 2072.6 2004 2073.9 2001.2 2075.3 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1980.5 2060.7 m @@ -5348,12 +5492,17 @@ f S n +vmrs 2015.1 2047.5 m 2014.4 2047.5 2011.2 2049.6 2010.3 2051.3 C 2010.3 2057.7 2010.3 2064.1 2010.3 2070.5 C 2010.3 2063.9 2010.1 2057.1 2010.5 2050.6 C 2012 2049.3 2013.5 2048.3 2015.1 2047.5 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1910.4 2049.2 m @@ -5387,15 +5536,10 @@ f S n -vmrs 1972.4 2045.6 m 1973.4 2045 1974.5 2044.4 1975.5 2043.9 C 1974.5 2044.4 1973.4 2045 1972.4 2045.6 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1969 2043.6 m @@ -5418,10 +5562,15 @@ f S n +vmrs 1937.1 2032.1 m 1936.2 2033.7 1936.6 2035 1936.8 2036.2 C 1936.8 2035.1 1936.8 2032.4 1937.1 2032.1 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1887.6 2018.7 m @@ -5455,15 +5604,10 @@ f S n -vmrs 2006.2 2000.7 m 2005.4 2001.5 2004 2002.8 2004 2002.8 C 2004.5 2002.4 2005.5 2001.4 2006.2 2000.7 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1998.5 2001.6 m @@ -5490,10 +5634,15 @@ f S n +vmrs 2000 2001.2 m 2002.1 2000 2004.1 1998.9 2006.2 1997.8 C 2004.1 1998.9 2002.1 2000 2000 2001.2 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1895.8 1984.8 m @@ -5525,15 +5674,10 @@ f S n -vmrs 1911.9 1978.6 m 1914.3 1977.4 1916.7 1976.2 1919.1 1975 C 1916.7 1976.2 1914.3 1977.4 1911.9 1978.6 C -[0.07 0.06 0 0.58] vc -f -0.4 w -2 J -2 M +f S n 1975.5 1971.4 m @@ -5554,10 +5698,15 @@ f S n +vmrs 1931.8 1968.3 m 1933 1967.9 1934.2 1967.5 1935.4 1967.1 C 1934.2 1967.5 1933 1967.9 1931.8 1968.3 C -f +[0.07 0.06 0 0.58] vc +f +0.4 w +2 J +2 M S n 1940.7 2072.4 m @@ -5592,15 +5741,11 @@ f S n -vmrs 1924.6 2062.8 m 1923.9 2062.1 1923.2 2061.2 1922.4 2060.4 C 1923.2 2061.2 1923.9 2062.1 1924.6 2062.8 C [0 0 0 0.18] vc f -0.4 w -2 J -2 M S n 1919.3 2057.3 m @@ -5622,10 +5767,15 @@ f S n +vmrs 1911.2 2046.8 m 1910.1 2048.9 1911.9 2050.1 1913.1 2051.3 C 1912.1 2049.9 1910.6 2048.8 1911.2 2046.8 C -f +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M S n 1934 2048.7 m @@ -5634,6 +5784,15 @@ f S n +1980 2048.4 m +1979.5 2046.8 1976.3 2047.9 1977.2 2045.6 C +1976.8 2045.1 1976.1 2044.7 1975.2 2044.8 C +1973.7 2046 1976.3 2046.4 1976.7 2047.5 C +1977.8 2047.2 1978.2 2050 1979.6 2049.2 C +1980 2049 1979.6 2048.6 1980 2048.4 C +f +S +n 1938.3 2045.6 m 1938.2 2044.4 1936.8 2043.8 1935.9 2043.4 C 1936.4 2044.4 1939.1 2044.3 1937.6 2045.8 C @@ -5649,6 +5808,14 @@ f S n +2014.6 2035.2 m +2014.1 2033.6 2010.9 2034.7 2011.7 2032.4 C +2011.3 2031.9 2009.4 2030.7 2009.3 2032.1 C +2009.5 2033.7 2012.9 2033.8 2012.4 2035.7 C +2013 2036.4 2014.2 2036.5 2014.6 2035.2 C +f +S +n 1906.4 2030.7 m 1905 2031.6 1903.5 2033.6 1902 2032.8 C 1903.4 2034 1905.6 2031.4 1906.4 2030.7 C @@ -5662,32 +5829,50 @@ f S n -vmrs 1901.8 2032.4 m 1901.1 2031.6 1900.4 2030.7 1899.6 2030 C 1900.4 2030.7 1901.1 2031.6 1901.8 2032.4 C [0 0 0 0.18] vc f +S +n +1944.5 2030 m +1945.3 2029.9 1946.1 2029.8 1946.9 2029.7 C +1946.1 2029.8 1945.3 2029.9 1944.5 2030 C +f +S +n +vmrs +1997.8 2027.8 m +1997.7 2027.9 1997.6 2028.1 1997.3 2028 C +1997.4 2029.1 1998.5 2029.5 1999.2 2030 C +2000.1 2029.5 1998.9 2028 1997.8 2027.8 C +[0 0 0 0.18] vc +f 0.4 w 2 J 2 M S n -1944.5 2030 m -1945.3 2029.9 1946.1 2029.8 1946.9 2029.7 C -1946.1 2029.8 1945.3 2029.9 1944.5 2030 C -f -S -n 1906.4 2029.2 m 1906.4 2026.6 1906.4 2024 1906.4 2021.3 C 1906.4 2024 1906.4 2026.6 1906.4 2029.2 C f S n +2006.2 2025.9 m +2006 2025.9 2005.8 2025.8 2005.7 2025.6 C +2005.7 2025.5 2005.7 2025.3 2005.7 2025.2 C +2004.6 2025.8 2002.7 2024.7 2001.9 2026.1 C +2001.9 2027.9 2007.8 2029.2 2006.2 2025.9 C +[0 0 0 0] vc +f +S +n 1952.4 2026.8 m 1950.9 2027 1949.6 2026.4 1948.6 2027.3 C 1949.7 2026.1 1952.2 2027.7 1952.4 2026.8 C +[0 0 0 0.18] vc f S n @@ -5784,6 +5969,14 @@ f S n +1983.9 2006 m +1983.3 2004.3 1980.2 2005.4 1981 2003.1 C +1980.6 2002.7 1978.7 2001.5 1978.6 2002.8 C +1978.8 2004.4 1982.1 2004.5 1981.7 2006.4 C +1982.3 2007.2 1983.5 2007.2 1983.9 2006 C +f +S +n 1942.1 2003.1 m 1942 2001.9 1940.6 2001.3 1939.7 2000.9 C 1940.2 2001.9 1943 2001.8 1941.4 2003.3 C @@ -5792,6 +5985,18 @@ f S n +vmrs +1967.1 1998.5 m +1967 1998.6 1966.8 1998.8 1966.6 1998.8 C +1966.7 1999.8 1967.8 2000.2 1968.5 2000.7 C +1969.4 2000.2 1968.2 1998.8 1967.1 1998.5 C +[0 0 0 0.18] vc +f +0.4 w +2 J +2 M +S +n 1936.4 1997.6 m 1936.7 1995.6 1935.8 1996.4 1936.1 1997.8 C 1936.9 1997.9 1936.5 1999.2 1937.6 1999 C @@ -5799,15 +6004,20 @@ f S n -vmrs +1975.5 1996.6 m +1975.2 1996.7 1975.1 1996.5 1975 1996.4 C +1975 1996.2 1975 1996.1 1975 1995.9 C +1973.9 1996.5 1972 1995.5 1971.2 1996.8 C +1971.2 1998.6 1977 1999.9 1975.5 1996.6 C +[0 0 0 0] vc +f +S +n 1949.3 2097.4 m 1950.3 2096.9 1951.2 2096.4 1952.2 2096 C 1951.2 2096.4 1950.3 2096.9 1949.3 2097.4 C [0.4 0.4 0 0] vc f -0.4 w -2 J -2 M S n 1960.8 2091.6 m @@ -5850,10 +6060,15 @@ f S n +vmrs 1929.6 2065.7 m 1930.1 2065.6 1929.8 2068.6 1929.9 2070 C 1929.8 2068.6 1930.1 2067 1929.6 2065.7 C -f +[0.4 0.4 0 0] vc +f +0.4 w +2 J +2 M S n 1906.6 2049.4 m @@ -5868,15 +6083,10 @@ f S n -vmrs 2016.5 2047.2 m 2017.3 2046.9 2018.1 2046.6 2018.9 2046.3 C 2018.1 2046.6 2017.3 2046.9 2016.5 2047.2 C -[0.4 0.4 0 0] vc -f -0.4 w -2 J -2 M +f S n 1912.4 2028.5 m @@ -5925,11 +6135,15 @@ f S n +vmrs 1999 2001.4 m 2001 2000.3 2003 1999.2 2005 1998 C 2003 1999.2 2001 2000.3 1999 2001.4 C [0.4 0.4 0 0] vc f +0.4 w +2 J +2 M S n 1916.2 1986 m @@ -5949,15 +6163,10 @@ f S n -vmrs 1892.4 1986.8 m 1895.1 1985.1 1897.9 1983.6 1900.6 1982 C 1897.9 1983.6 1895.1 1985.1 1892.4 1986.8 C -[0.4 0.4 0 0] vc -f -0.4 w -2 J -2 M +f S n 1907.3 1979.3 m @@ -5996,10 +6205,15 @@ f S n +vmrs 1967.8 1972.4 m 1970 1971.2 1972.1 1970 1974.3 1968.8 C 1972.1 1970 1970 1971.2 1967.8 1972.4 C -f +[0.4 0.4 0 0] vc +f +0.4 w +2 J +2 M S n 1934 1967.3 m @@ -6015,18 +6229,14 @@ f S n -vmrs 1917.2 2047 m 1917.8 2046.5 1919.6 2046.8 1920 2047.2 C 1920 2046.5 1920.9 2046.8 1921 2046.3 C 1921.9 2047.3 1921.3 2044.1 1921.5 2044.1 C 1919.7 2044.8 1915.7 2043.5 1916.2 2046 C 1916.2 2048.3 1917 2045.9 1917.2 2047 C -[1 5] vc -f -0.4 w -2 J -2 M +[0 0 0 0] vc +f S n 1922 2044.1 m @@ -6036,6 +6246,13 @@ f S n +1934.9 2043.9 m +1935.2 2043.4 1934.4 2042.7 1934 2042.2 C +1933.2 2041.8 1932.4 2042.8 1932.8 2043.2 C +1932.9 2044 1934.3 2043.3 1934.9 2043.9 C +f +S +n 1906.1 2030.7 m 1906.1 2028.8 1906.1 2027 1906.1 2025.2 C 1906.1 2027 1906.1 2028.8 1906.1 2030.7 C @@ -6066,11 +6283,16 @@ f S n +vmrs 1912.1 2013.4 m 1912.4 2012.9 1911.6 2012.3 1911.2 2011.7 C 1910.4 2011.4 1909.6 2012.3 1910 2012.7 C 1910.1 2013.5 1911.5 2012.9 1912.1 2013.4 C -f +[0 0 0 0] vc +f +0.4 w +2 J +2 M S n 1921 2004.5 m @@ -6079,7 +6301,6 @@ 1925.7 2004.8 1925.1 2001.6 1925.3 2001.6 C 1923.6 2002.4 1919.6 2001 1920 2003.6 C 1920 2005.8 1920.8 2003.4 1921 2004.5 C -[1 5] vc f S n @@ -6090,72 +6311,13 @@ f S n -2003.7869 2103.6222 m -1956.3187 2120.904 L -1956.321 2095.3175 L -2003.7892 2078.0357 L -2003.7869 2103.6222 L -n -q -_bfh -%%IncludeResource: font ZapfHumanist601BT-Bold -_efh -{ -f1 [22.898804 -8.336792 -0.002197 24.368408 0 0] makesetfont -1956.320496 2101.409561 m -0 0 32 0 0 (HOL) ts -} -true -[0 0 0 1]sts -Q -1904.4 2031.9 m -1903 2029.7 1905.3 2027.7 1904.2 2025.9 C -1904.5 2025 1903.7 2023 1904 2021.3 C -1904 2022.3 1903.2 2022 1902.5 2022 C -1901.3 2022.3 1902.2 2020.1 1901.6 2019.6 C -1902.5 2019.8 1902.6 2018.3 1903.5 2018.9 C -1903.7 2021.8 1905.6 2016.8 1905.6 2020.6 C -1905.9 2020 1906.3 2020.8 1906.1 2021.1 C -1905.8 2022.7 1906.7 2020.4 1906.4 2019.9 C -1906.4 2018.5 1908.2 2017.8 1906.8 2016.5 C -1906.9 2015.7 1907.7 2017.1 1907.1 2016.3 C -1908.5 2015.8 1910.3 2015.1 1911.6 2016 C -1912.2 2016.2 1911.9 2018 1911.6 2018 C -1914.5 2017.1 1910.4 2013.6 1913.3 2013.4 C -1912.4 2011.3 1910.5 2011.8 1909.5 2010 C -1910 2010.5 1909 2010.8 1908.8 2011.2 C -1907.5 2009.9 1906.1 2011.7 1904.9 2011.5 C -1904.7 2010.9 1904.3 2010.5 1904.4 2009.8 C -1905 2010.2 1904.6 2008.6 1905.4 2008.1 C -1906.6 2007.5 1907.7 2008.4 1908.5 2007.4 C -1908.9 2008.5 1909.7 2008.1 1909 2007.2 C -1908.1 2006.5 1905.9 2007.3 1905.4 2007.4 C -1903.9 2007.3 1905.2 2008.5 1904.2 2008.4 C -1904.6 2009.9 1902.8 2010.3 1902.3 2010.5 C -1901.5 2009.9 1900.4 2010 1899.4 2010 C -1898.6 2011.2 1898.2 2013.4 1896.5 2013.4 C -1896 2012.9 1894.4 2012.9 1893.6 2012.9 C -1893.1 2013.9 1892.9 2015.5 1891.5 2016 C -1890.3 2016.1 1889.2 2014 1888.6 2015.8 C -1890 2016 1891 2016.9 1892.9 2016.5 C -1894.1 2017.2 1892.8 2018.3 1893.2 2018.9 C -1892.6 2018.9 1891.1 2019.8 1890.5 2020.6 C -1891.1 2023.6 1893.2 2019.8 1893.9 2022.5 C -1894.1 2023.3 1892.7 2023.6 1893.9 2024 C -1894.2 2024.3 1897.4 2023.8 1896.5 2026.1 C -1896 2025.6 1897.4 2028.1 1897.5 2027.1 C -1898.4 2027.4 1899.3 2027 1899.6 2028.5 C -1899.5 2028.6 1899.4 2028.8 1899.2 2028.8 C -1899.3 2029.2 1899.6 2029.8 1900.1 2030.2 C -1900.4 2029.6 1901 2030 1901.8 2030.2 C -1903.1 2032.1 1900.4 2031.5 1902.8 2033.1 C -1903.3 2032.7 1904.5 2032 1904.4 2031.9 C -[0.21 0.21 0 0] vc -false setoverprint -f -S -n -vmrs +1938.8 2001.4 m +1939 2000.9 1938.2 2000.3 1937.8 1999.7 C +1937.1 1999.4 1936.2 2000.3 1936.6 2000.7 C +1936.7 2001.5 1938.1 2000.9 1938.8 2001.4 C +f +S +n 1908.6691 2008.1348 m 1897.82 2010.0477 L 1894.1735 1989.3671 L @@ -6231,7 +6393,9 @@ 1944 2024.5 m 1944 2014 L 0.8504 w +0 J 3.863693 M +[0 0 0 1] vc false setoverprint S n @@ -6293,6 +6457,25 @@ true [0 0 0 1]sts Q +vmrs +2030.0624 2094.056 m +1956.3187 2120.904 L +1956.321 2095.3175 L +2030.0647 2068.4695 L +2030.0624 2094.056 L +n +q +_bfh +%%IncludeResource: font ZapfHumanist601BT-Bold +_efh +{ +f1 [22.898804 -8.336792 -0.002197 24.368408 0 0] makesetfont +1956.320496 2101.409561 m +0 0 32 0 0 (HOL) ts +} +true +[0 0 0 1]sts +Q vmr vmr end