# 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