%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(8951,2889)(0,-10)
\thicklines
\path(1212,1586)(1212,1286)
\path(1362,1586)(1362,1286)
\path(1812,1586)(1812,1286)
\path(12,1586)(12,1286)
\path(1212,1436)(1362,1436)
\path(2112,1437)(3537,1437)
\path(3417.000,1407.000)(3537.000,1437.000)(3417.000,1467.000)
\path(5938,1437)(6838,1437)
\path(6718.000,1407.000)(6838.000,1437.000)(6718.000,1467.000)
\path(5638,2562)(5638,312)
\path(8938,2562)(8938,312)
\path(5038,462)(5188,462)
\path(7138,1512)(7288,1512)
\path(13,1286)(13,986)
\path(1213,1286)(1213,986)
\path(1813,1286)(1813,986)
\path(3837,312)(3837,12)
\path(5037,312)(5037,12)
\path(5637,312)(5637,12)
\path(7138,312)(7138,12)
\path(8338,312)(8338,12)
\path(8938,312)(8938,12)
\path(13,1588)(13,1888)
\path(43.000,1768.000)(13.000,1888.000)(-17.000,1768.000)
\path(1213,1588)(1213,1888)
\path(1243.000,1768.000)(1213.000,1888.000)(1183.000,1768.000)
\path(1813,1588)(1813,1888)
\path(1843.000,1768.000)(1813.000,1888.000)(1783.000,1768.000)
\path(3839,2562)(3839,2862)
\path(3869.000,2742.000)(3839.000,2862.000)(3809.000,2742.000)
\path(5039,2562)(5039,2862)
\path(5069.000,2742.000)(5039.000,2862.000)(5009.000,2742.000)
\path(5639,2562)(5639,2862)
\path(5669.000,2742.000)(5639.000,2862.000)(5609.000,2742.000)
\path(7139,2562)(7139,2862)
\path(7169.000,2742.000)(7139.000,2862.000)(7109.000,2742.000)
\path(8339,2562)(8339,2862)
\path(8369.000,2742.000)(8339.000,2862.000)(8309.000,2742.000)
\path(8939,2562)(8939,2862)
\path(8969.000,2742.000)(8939.000,2862.000)(8909.000,2742.000)
\path(1363,1588)(1363,1663)(1513,1738)
	(1663,1813)(1663,1888)
\path(1693.000,1768.000)(1663.000,1888.000)(1633.000,1768.000)
\path(5189,2562)(5189,2637)(5339,2712)
	(5489,2787)(5489,2862)
\path(5519.000,2742.000)(5489.000,2862.000)(5459.000,2742.000)
\path(1363,1286)(1363,1211)(1513,1136)
	(1663,1061)(1663,986)
\path(5187,312)(5187,237)(5337,162)
	(5487,87)(5487,12)
\path(8489,2562)(8489,2637)(8639,2712)
	(8789,2787)(8789,2862)
\path(8819.000,2742.000)(8789.000,2862.000)(8759.000,2742.000)
\path(8488,312)(8488,237)(8638,162)
	(8788,87)(8788,12)
\path(5038,2562)	(5038.000,2513.014)
	(5038.000,2487.000)

\path(5038,2487)	(5043.081,2450.599)
	(5038.000,2412.000)

\path(5038,2412)	(5004.435,2376.000)
	(4960.627,2347.881)
	(4909.797,2326.167)
	(4855.165,2309.381)
	(4799.949,2296.048)
	(4747.370,2284.691)
	(4700.647,2273.834)
	(4663.000,2262.000)

\path(4663,2262)	(4625.353,2250.166)
	(4578.630,2239.309)
	(4526.051,2227.952)
	(4470.835,2214.619)
	(4416.203,2197.833)
	(4365.373,2176.119)
	(4321.565,2148.000)
	(4288.000,2112.000)

\path(4288,2112)	(4282.919,2073.401)
	(4288.000,2037.000)

\path(4288,2037)	(4291.885,2000.355)
	(4288.000,1962.000)

\path(4288,1962)	(4244.287,1913.908)
	(4180.709,1873.628)
	(4114.526,1840.033)
	(4063.000,1812.000)

\path(4063,1812)	(4011.474,1783.967)
	(3945.291,1750.372)
	(3881.713,1710.092)
	(3838.000,1662.000)

\path(3838,1662)	(3834.115,1623.645)
	(3838.000,1587.000)

\path(3838,1587)	(3838.000,1549.500)
	(3838.000,1512.000)

\path(3838,1512)	(3838.000,1474.500)
	(3838.000,1437.000)

\path(3838,1437)	(3834.111,1400.355)
	(3838.000,1362.000)

\path(3838,1362)	(3881.713,1313.908)
	(3945.291,1273.628)
	(4011.474,1240.033)
	(4063.000,1212.000)

\path(4063,1212)	(4114.526,1183.967)
	(4180.709,1150.372)
	(4244.287,1110.092)
	(4288.000,1062.000)

\path(4288,1062)	(4291.889,1023.645)
	(4288.000,987.000)

\path(4288,987)	(4282.915,950.599)
	(4288.000,912.000)

\path(4288,912)	(4321.568,876.000)
	(4365.377,847.881)
	(4416.207,826.167)
	(4470.839,809.381)
	(4526.053,796.048)
	(4578.631,784.691)
	(4625.353,773.834)
	(4663.000,762.000)

\path(4663,762)	(4700.647,750.166)
	(4747.369,739.309)
	(4799.947,727.952)
	(4855.161,714.619)
	(4909.793,697.833)
	(4960.623,676.119)
	(5004.432,648.000)
	(5038.000,612.000)

\path(5038,612)	(5043.085,573.401)
	(5038.000,537.000)

\path(5038,537)	(5038.000,499.500)
	(5038.000,462.000)

\path(5038,462)	(5038.000,424.500)
	(5038.000,387.000)

\path(5038,387)	(5038.000,360.986)
	(5038.000,312.000)

\path(5188,2562)	(5188.000,2513.014)
	(5188.000,2487.000)

\path(5188,2487)	(5193.081,2450.599)
	(5188.000,2412.000)

\path(5188,2412)	(5154.435,2376.000)
	(5110.627,2347.881)
	(5059.797,2326.167)
	(5005.165,2309.381)
	(4949.949,2296.048)
	(4897.370,2284.691)
	(4850.647,2273.834)
	(4813.000,2262.000)

\path(4813,2262)	(4775.353,2250.166)
	(4728.630,2239.309)
	(4676.051,2227.952)
	(4620.835,2214.619)
	(4566.203,2197.833)
	(4515.373,2176.119)
	(4471.565,2148.000)
	(4438.000,2112.000)

\path(4438,2112)	(4432.919,2073.401)
	(4438.000,2037.000)

\path(4438,2037)	(4441.885,2000.355)
	(4438.000,1962.000)

\path(4438,1962)	(4394.287,1913.908)
	(4330.709,1873.628)
	(4264.526,1840.033)
	(4213.000,1812.000)

\path(4213,1812)	(4161.474,1783.967)
	(4095.291,1750.372)
	(4031.713,1710.092)
	(3988.000,1662.000)

\path(3988,1662)	(3984.115,1623.645)
	(3988.000,1587.000)

\path(3988,1587)	(3988.000,1549.500)
	(3988.000,1512.000)

\path(3988,1512)	(3988.000,1474.500)
	(3988.000,1437.000)

\path(3988,1437)	(3984.111,1400.355)
	(3988.000,1362.000)

\path(3988,1362)	(4031.713,1313.908)
	(4095.291,1273.628)
	(4161.474,1240.033)
	(4213.000,1212.000)

\path(4213,1212)	(4264.526,1183.967)
	(4330.709,1150.372)
	(4394.287,1110.092)
	(4438.000,1062.000)

\path(4438,1062)	(4441.889,1023.645)
	(4438.000,987.000)

\path(4438,987)	(4432.915,950.599)
	(4438.000,912.000)

\path(4438,912)	(4471.568,876.000)
	(4515.377,847.881)
	(4566.207,826.167)
	(4620.839,809.381)
	(4676.053,796.048)
	(4728.631,784.691)
	(4775.353,773.834)
	(4813.000,762.000)

\path(4813,762)	(4850.647,750.166)
	(4897.369,739.309)
	(4949.947,727.952)
	(5005.161,714.619)
	(5059.793,697.833)
	(5110.623,676.119)
	(5154.432,648.000)
	(5188.000,612.000)

\path(5188,612)	(5193.085,573.401)
	(5188.000,537.000)

\path(5188,537)	(5188.000,499.500)
	(5188.000,462.000)

\path(5188,462)	(5188.000,424.500)
	(5188.000,387.000)

\path(5188,387)	(5188.000,360.986)
	(5188.000,312.000)

\path(3838,2562)	(3838.000,2514.844)
	(3838.000,2470.994)
	(3838.000,2430.286)
	(3838.000,2392.555)
	(3838.000,2325.365)
	(3838.000,2268.105)
	(3838.000,2219.457)
	(3838.000,2178.102)
	(3838.000,2112.000)

\path(3838,2112)	(3838.000,2074.500)
	(3838.000,2037.000)

\path(3838,2037)	(3833.417,2000.505)
	(3838.000,1962.000)

\path(3838,1962)	(3898.324,1906.061)
	(3938.923,1884.688)
	(3982.870,1866.652)
	(4027.458,1851.161)
	(4069.981,1837.418)
	(4138.000,1812.000)

\path(4138,1812)	(4206.019,1786.582)
	(4248.542,1772.839)
	(4293.130,1757.348)
	(4337.077,1739.312)
	(4377.676,1717.939)
	(4438.000,1662.000)

\path(4438,1662)	(4442.583,1623.495)
	(4438.000,1587.000)

\path(4438,1587)	(4438.000,1553.952)
	(4438.000,1512.000)
	(4438.000,1470.048)
	(4438.000,1437.000)

\path(4438,1437)	(4442.583,1400.505)
	(4438.000,1362.000)

\path(4438,1362)	(4377.680,1306.057)
	(4337.081,1284.683)
	(4293.134,1266.649)
	(4248.544,1251.158)
	(4206.021,1237.416)
	(4138.000,1212.000)

\path(4138,1212)	(4069.979,1186.584)
	(4027.456,1172.842)
	(3982.866,1157.351)
	(3938.919,1139.317)
	(3898.320,1117.943)
	(3838.000,1062.000)

\path(3838,1062)	(3833.417,1023.495)
	(3838.000,987.000)

\path(3838,987)	(3838.000,949.500)
	(3838.000,912.000)

\path(3838,912)	(3838.000,871.040)
	(3838.000,823.869)
	(3838.000,768.731)
	(3838.000,703.867)
	(3838.000,667.239)
	(3838.000,627.520)
	(3838.000,584.491)
	(3838.000,537.932)
	(3838.000,487.623)
	(3838.000,433.344)
	(3838.000,374.877)
	(3838.000,312.000)

\path(8338,2562)	(8338.000,2513.014)
	(8338.000,2487.000)

\path(8338,2487)	(8343.081,2450.599)
	(8338.000,2412.000)

\path(8338,2412)	(8304.435,2376.000)
	(8260.627,2347.881)
	(8209.797,2326.167)
	(8155.165,2309.381)
	(8099.949,2296.048)
	(8047.370,2284.691)
	(8000.647,2273.834)
	(7963.000,2262.000)

\path(7963,2262)	(7925.353,2250.166)
	(7878.630,2239.309)
	(7826.051,2227.952)
	(7770.835,2214.619)
	(7716.203,2197.833)
	(7665.373,2176.119)
	(7621.565,2148.000)
	(7588.000,2112.000)

\path(7588,2112)	(7582.919,2073.401)
	(7588.000,2037.000)

\path(7588,2037)	(7591.885,2000.355)
	(7588.000,1962.000)

\path(7588,1962)	(7544.287,1913.908)
	(7480.709,1873.628)
	(7414.526,1840.033)
	(7363.000,1812.000)

\path(7363,1812)	(7311.474,1783.967)
	(7245.291,1750.372)
	(7181.713,1710.092)
	(7138.000,1662.000)

\path(7138,1662)	(7134.115,1623.645)
	(7138.000,1587.000)

\path(7138,1587)	(7138.000,1549.500)
	(7138.000,1512.000)

\path(7138,1512)	(7138.000,1474.500)
	(7138.000,1437.000)

\path(7138,1437)	(7134.111,1400.355)
	(7138.000,1362.000)

\path(7138,1362)	(7181.713,1313.908)
	(7245.291,1273.628)
	(7311.474,1240.033)
	(7363.000,1212.000)

\path(7363,1212)	(7414.526,1183.967)
	(7480.709,1150.372)
	(7544.287,1110.092)
	(7588.000,1062.000)

\path(7588,1062)	(7591.889,1023.645)
	(7588.000,987.000)

\path(7588,987)	(7582.915,950.599)
	(7588.000,912.000)

\path(7588,912)	(7621.568,876.000)
	(7665.377,847.881)
	(7716.207,826.167)
	(7770.839,809.381)
	(7826.053,796.048)
	(7878.631,784.691)
	(7925.353,773.834)
	(7963.000,762.000)

\path(7963,762)	(8000.647,750.166)
	(8047.369,739.309)
	(8099.947,727.952)
	(8155.161,714.619)
	(8209.793,697.833)
	(8260.623,676.119)
	(8304.432,648.000)
	(8338.000,612.000)

\path(8338,612)	(8343.081,573.401)
	(8338.000,537.000)

\path(8338,537)	(8338.000,499.500)
	(8338.000,462.000)

\path(8338,462)	(8338.000,424.500)
	(8338.000,387.000)

\path(8338,387)	(8338.000,360.986)
	(8338.000,312.000)

\path(8488,2562)	(8488.000,2513.014)
	(8488.000,2487.000)

\path(8488,2487)	(8493.081,2450.599)
	(8488.000,2412.000)

\path(8488,2412)	(8454.435,2376.000)
	(8410.627,2347.881)
	(8359.797,2326.167)
	(8305.165,2309.381)
	(8249.949,2296.048)
	(8197.370,2284.691)
	(8150.647,2273.834)
	(8113.000,2262.000)

\path(8113,2262)	(8075.353,2250.166)
	(8028.630,2239.309)
	(7976.051,2227.952)
	(7920.835,2214.619)
	(7866.203,2197.833)
	(7815.373,2176.119)
	(7771.565,2148.000)
	(7738.000,2112.000)

\path(7738,2112)	(7732.919,2073.401)
	(7738.000,2037.000)

\path(7738,2037)	(7741.885,2000.355)
	(7738.000,1962.000)

\path(7738,1962)	(7694.287,1913.908)
	(7630.709,1873.628)
	(7564.526,1840.033)
	(7513.000,1812.000)

\path(7513,1812)	(7461.474,1783.967)
	(7395.291,1750.372)
	(7331.713,1710.092)
	(7288.000,1662.000)

\path(7288,1662)	(7284.115,1623.645)
	(7288.000,1587.000)

\path(7288,1587)	(7288.000,1549.500)
	(7288.000,1512.000)

\path(7288,1512)	(7288.000,1474.500)
	(7288.000,1437.000)

\path(7288,1437)	(7284.111,1400.355)
	(7288.000,1362.000)

\path(7288,1362)	(7331.713,1313.908)
	(7395.291,1273.628)
	(7461.474,1240.033)
	(7513.000,1212.000)

\path(7513,1212)	(7564.526,1183.967)
	(7630.709,1150.372)
	(7694.287,1110.092)
	(7738.000,1062.000)

\path(7738,1062)	(7741.889,1023.645)
	(7738.000,987.000)

\path(7738,987)	(7732.915,950.599)
	(7738.000,912.000)

\path(7738,912)	(7771.568,876.000)
	(7815.377,847.881)
	(7866.207,826.167)
	(7920.839,809.381)
	(7976.053,796.048)
	(8028.631,784.691)
	(8075.353,773.834)
	(8113.000,762.000)

\path(8113,762)	(8150.647,750.166)
	(8197.369,739.309)
	(8249.947,727.952)
	(8305.161,714.619)
	(8359.793,697.833)
	(8410.623,676.119)
	(8454.432,648.000)
	(8488.000,612.000)

\path(8488,612)	(8493.081,573.401)
	(8488.000,537.000)

\path(8488,537)	(8488.000,499.500)
	(8488.000,462.000)

\path(8488,462)	(8488.000,424.500)
	(8488.000,387.000)

\path(8488,387)	(8488.000,360.986)
	(8488.000,312.000)

\path(7138,2562)	(7138.000,2514.844)
	(7138.000,2470.994)
	(7138.000,2430.286)
	(7138.000,2392.555)
	(7138.000,2325.365)
	(7138.000,2268.105)
	(7138.000,2219.457)
	(7138.000,2178.102)
	(7138.000,2112.000)

\path(7138,2112)	(7138.000,2074.500)
	(7138.000,2037.000)

\path(7138,2037)	(7133.417,2000.505)
	(7138.000,1962.000)

\path(7138,1962)	(7198.324,1906.061)
	(7238.923,1884.688)
	(7282.870,1866.652)
	(7327.458,1851.161)
	(7369.981,1837.418)
	(7438.000,1812.000)

\path(7438,1812)	(7506.019,1786.582)
	(7548.542,1772.839)
	(7593.130,1757.348)
	(7637.077,1739.312)
	(7677.676,1717.939)
	(7738.000,1662.000)

\path(7738,1662)	(7742.583,1623.495)
	(7738.000,1587.000)

\path(7738,1587)	(7738.000,1553.952)
	(7738.000,1512.000)
	(7738.000,1470.048)
	(7738.000,1437.000)

\path(7738,1437)	(7742.583,1400.505)
	(7738.000,1362.000)

\path(7738,1362)	(7677.680,1306.057)
	(7637.081,1284.683)
	(7593.134,1266.649)
	(7548.544,1251.158)
	(7506.021,1237.416)
	(7438.000,1212.000)

\path(7438,1212)	(7369.979,1186.584)
	(7327.456,1172.842)
	(7282.866,1157.351)
	(7238.919,1139.317)
	(7198.320,1117.943)
	(7138.000,1062.000)

\path(7138,1062)	(7133.417,1023.495)
	(7138.000,987.000)

\path(7138,987)	(7138.000,949.500)
	(7138.000,912.000)

\path(7138,912)	(7138.000,871.040)
	(7138.000,823.869)
	(7138.000,768.731)
	(7138.000,703.867)
	(7138.000,667.239)
	(7138.000,627.520)
	(7138.000,584.491)
	(7138.000,537.932)
	(7138.000,487.623)
	(7138.000,433.344)
	(7138.000,374.877)
	(7138.000,312.000)

\put(2112,1212){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize modification}}}}}
\put(2337,1512){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize degree 0}}}}}
\put(5937,1512){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize locality}}}}}
\end{picture}