%
\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}(5742,1681)(0,-10)
\thicklines
\path(3015,383)(3165,383)
\path(3465,8)	(3465.000,56.986)
	(3465.000,83.000)

\path(3465,83)	(3469.582,119.495)
	(3465.000,158.000)

\path(3465,158)	(3392.565,205.674)
	(3349.010,220.290)
	(3315.000,233.000)

\path(3315,233)	(3280.990,245.710)
	(3237.435,260.326)
	(3165.000,308.000)

\path(3165,308)	(3160.418,346.505)
	(3165.000,383.000)

\path(3165,383)	(3165.000,384.000)

\path(3165,384)	(3161.111,420.645)
	(3165.000,459.000)

\path(3165,459)	(3208.713,507.092)
	(3272.291,547.372)
	(3338.474,580.967)
	(3390.000,609.000)

\path(3390,609)	(3441.526,637.033)
	(3507.709,670.628)
	(3571.287,710.908)
	(3615.000,759.000)

\path(3615,759)	(3618.889,797.355)
	(3615.000,834.000)

\path(3615,834)	(3622.721,906.798)
	(3623.686,948.258)
	(3615.000,983.000)

\path(3615,983)	(3571.287,1031.092)
	(3507.709,1071.372)
	(3441.526,1104.967)
	(3390.000,1133.000)

\path(3390,1133)	(3338.474,1161.033)
	(3272.291,1194.628)
	(3208.713,1234.908)
	(3165.000,1283.000)

\path(3165,1283)	(3156.529,1320.350)
	(3165.000,1358.000)

\path(3165,1358)	(3237.435,1405.674)
	(3280.990,1420.290)
	(3315.000,1433.000)

\path(3315,1433)	(3349.010,1445.710)
	(3392.565,1460.326)
	(3465.000,1508.000)

\path(3465,1508)	(3469.582,1546.505)
	(3465.000,1583.000)

\path(3465,1583)	(3465.000,1609.014)
	(3465.000,1658.000)

\path(3495.000,1538.000)(3465.000,1658.000)(3435.000,1538.000)
\path(3615,8)	(3615.000,64.482)
	(3615.000,105.965)
	(3615.000,158.000)

\path(3615,158)	(3615.000,207.573)
	(3615.000,270.500)
	(3615.000,333.427)
	(3615.000,383.000)

\path(3615,383)	(3619.642,419.976)
	(3615.000,459.000)

\path(3615,459)	(3554.676,514.939)
	(3514.077,536.312)
	(3470.130,554.348)
	(3425.542,569.839)
	(3383.019,583.582)
	(3315.000,609.000)

\path(3315,609)	(3246.981,634.418)
	(3204.458,648.161)
	(3159.870,663.652)
	(3115.923,681.688)
	(3075.324,703.061)
	(3015.000,759.000)

\path(3015,759)	(3010.418,797.505)
	(3015.000,834.000)

\path(3015,834)	(3005.895,906.494)
	(3004.757,947.916)
	(3015.000,983.000)

\path(3015,983)	(3075.324,1038.939)
	(3115.923,1060.312)
	(3159.870,1078.347)
	(3204.458,1093.839)
	(3246.981,1107.582)
	(3315.000,1133.000)

\path(3315,1133)	(3383.019,1158.418)
	(3425.542,1172.161)
	(3470.130,1187.653)
	(3514.077,1205.688)
	(3554.676,1227.061)
	(3615.000,1283.000)

\path(3615,1283)	(3630.466,1335.973)
	(3628.747,1398.523)
	(3620.155,1459.560)
	(3615.000,1508.000)

\path(3615,1508)	(3615.000,1560.035)
	(3615.000,1601.518)
	(3615.000,1658.000)

\path(3645.000,1538.000)(3615.000,1658.000)(3585.000,1538.000)
\path(3015,8)	(3015.000,64.482)
	(3015.000,105.965)
	(3015.000,158.000)

\path(3015,158)	(3015.000,191.048)
	(3015.000,233.000)
	(3015.000,274.952)
	(3015.000,308.000)

\path(3015,308)	(3007.174,381.779)
	(3006.195,423.795)
	(3015.000,459.000)

\path(3015,459)	(3058.713,507.092)
	(3122.291,547.372)
	(3188.474,580.967)
	(3240.000,609.000)

\path(3240,609)	(3291.526,637.033)
	(3357.709,670.628)
	(3421.287,710.908)
	(3465.000,759.000)

\path(3465,759)	(3468.889,797.355)
	(3465.000,834.000)

\path(3465,834)	(3472.721,906.798)
	(3473.686,948.258)
	(3465.000,983.000)

\path(3465,983)	(3427.271,1030.260)
	(3373.667,1069.154)
	(3309.479,1102.471)
	(3240.000,1133.000)
	(3170.521,1163.529)
	(3106.333,1196.846)
	(3052.729,1235.740)
	(3015.000,1283.000)

\path(3015,1283)	(3011.111,1321.355)
	(3015.000,1358.000)

\path(3015,1358)	(3015.000,1391.048)
	(3015.000,1433.000)
	(3015.000,1474.952)
	(3015.000,1508.000)

\path(3015,1508)	(3015.000,1560.035)
	(3015.000,1601.518)
	(3015.000,1658.000)

\path(3045.000,1538.000)(3015.000,1658.000)(2985.000,1538.000)
\path(5566,909)(5716,909)
\path(5566,8)	(5566.000,56.986)
	(5566.000,83.000)

\path(5566,83)	(5570.583,119.495)
	(5566.000,158.000)

\path(5566,158)	(5493.565,205.674)
	(5450.010,220.290)
	(5416.000,233.000)

\path(5416,233)	(5381.990,245.710)
	(5338.435,260.326)
	(5266.000,308.000)

\path(5266,308)	(5261.417,346.505)
	(5266.000,383.000)

\path(5266,383)	(5266.000,384.000)

\path(5266,384)	(5262.111,420.645)
	(5266.000,459.000)

\path(5266,459)	(5309.713,507.092)
	(5373.291,547.372)
	(5439.474,580.967)
	(5491.000,609.000)

\path(5491,609)	(5542.526,637.033)
	(5608.709,670.628)
	(5672.287,710.908)
	(5716.000,759.000)

\path(5716,759)	(5719.889,797.355)
	(5716.000,834.000)

\path(5716,834)	(5723.721,906.798)
	(5724.686,948.258)
	(5716.000,983.000)

\path(5716,983)	(5672.287,1031.092)
	(5608.709,1071.372)
	(5542.526,1104.967)
	(5491.000,1133.000)

\path(5491,1133)	(5439.474,1161.033)
	(5373.291,1194.628)
	(5309.713,1234.908)
	(5266.000,1283.000)

\path(5266,1283)	(5257.529,1320.350)
	(5266.000,1358.000)

\path(5266,1358)	(5338.435,1405.674)
	(5381.990,1420.290)
	(5416.000,1433.000)

\path(5416,1433)	(5450.010,1445.710)
	(5493.565,1460.326)
	(5566.000,1508.000)

\path(5566,1508)	(5570.583,1546.505)
	(5566.000,1583.000)

\path(5566,1583)	(5566.000,1609.014)
	(5566.000,1658.000)

\path(5596.000,1538.000)(5566.000,1658.000)(5536.000,1538.000)
\path(5716,8)	(5716.000,64.482)
	(5716.000,105.965)
	(5716.000,158.000)

\path(5716,158)	(5716.000,207.573)
	(5716.000,270.500)
	(5716.000,333.427)
	(5716.000,383.000)

\path(5716,383)	(5720.642,419.976)
	(5716.000,459.000)

\path(5716,459)	(5655.676,514.939)
	(5615.077,536.312)
	(5571.130,554.348)
	(5526.542,569.839)
	(5484.019,583.582)
	(5416.000,609.000)

\path(5416,609)	(5347.981,634.418)
	(5305.458,648.161)
	(5260.870,663.652)
	(5216.923,681.688)
	(5176.324,703.061)
	(5116.000,759.000)

\path(5116,759)	(5111.417,797.505)
	(5116.000,834.000)

\path(5116,834)	(5106.895,906.494)
	(5105.757,947.916)
	(5116.000,983.000)

\path(5116,983)	(5176.324,1038.939)
	(5216.923,1060.312)
	(5260.870,1078.347)
	(5305.458,1093.839)
	(5347.981,1107.582)
	(5416.000,1133.000)

\path(5416,1133)	(5484.019,1158.418)
	(5526.542,1172.161)
	(5571.130,1187.653)
	(5615.077,1205.688)
	(5655.676,1227.061)
	(5716.000,1283.000)

\path(5716,1283)	(5731.466,1335.973)
	(5729.747,1398.523)
	(5721.155,1459.560)
	(5716.000,1508.000)

\path(5716,1508)	(5716.000,1560.035)
	(5716.000,1601.518)
	(5716.000,1658.000)

\path(5746.000,1538.000)(5716.000,1658.000)(5686.000,1538.000)
\path(5116,8)	(5116.000,64.482)
	(5116.000,105.965)
	(5116.000,158.000)

\path(5116,158)	(5116.000,191.048)
	(5116.000,233.000)
	(5116.000,274.952)
	(5116.000,308.000)

\path(5116,308)	(5108.174,381.779)
	(5107.195,423.795)
	(5116.000,459.000)

\path(5116,459)	(5159.713,507.092)
	(5223.291,547.372)
	(5289.474,580.967)
	(5341.000,609.000)

\path(5341,609)	(5392.526,637.033)
	(5458.709,670.628)
	(5522.287,710.908)
	(5566.000,759.000)

\path(5566,759)	(5569.889,797.355)
	(5566.000,834.000)

\path(5566,834)	(5573.721,906.798)
	(5574.686,948.258)
	(5566.000,983.000)

\path(5566,983)	(5528.271,1030.260)
	(5474.667,1069.154)
	(5410.479,1102.471)
	(5341.000,1133.000)
	(5271.521,1163.529)
	(5207.333,1196.846)
	(5153.729,1235.740)
	(5116.000,1283.000)

\path(5116,1283)	(5112.111,1321.355)
	(5116.000,1358.000)

\path(5116,1358)	(5116.000,1391.048)
	(5116.000,1433.000)
	(5116.000,1474.952)
	(5116.000,1508.000)

\path(5116,1508)	(5116.000,1560.035)
	(5116.000,1601.518)
	(5116.000,1658.000)

\path(5146.000,1538.000)(5116.000,1658.000)(5086.000,1538.000)
\path(42.000,1088.000)(12.000,1208.000)(-18.000,1088.000)
\path(12,1208)(12,458)
\path(642.000,1088.000)(612.000,1208.000)(582.000,1088.000)
\path(612,1208)(612,458)
\path(12,833)(162,833)
\path(912,834)(2712,834)
\path(2592.000,804.000)(2712.000,834.000)(2592.000,864.000)
\path(3914,834)(4814,834)
\path(4694.000,804.000)(4814.000,834.000)(4694.000,864.000)
\path(492.000,1088.000)(462.000,1208.000)(432.000,1088.000)
\path(462,1208)	(462.000,1159.014)
	(462.000,1133.000)

\path(462,1133)	(466.582,1096.505)
	(462.000,1058.000)

\path(462,1058)	(389.565,1010.326)
	(346.010,995.710)
	(312.000,983.000)

\path(312,983)	(277.990,970.290)
	(234.435,955.674)
	(162.000,908.000)

\path(162,908)	(157.417,869.495)
	(162.000,833.000)

\path(162,833)	(157.417,796.505)
	(162.000,758.000)

\path(162,758)	(234.435,710.326)
	(277.990,695.710)
	(312.000,683.000)

\path(312,683)	(346.010,670.290)
	(389.565,655.674)
	(462.000,608.000)

\path(462,608)	(466.582,569.495)
	(462.000,533.000)

\path(462,533)	(462.000,506.986)
	(462.000,458.000)

\put(912,909){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize adding a thing}}}}}
\put(912,609){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize and its inverse}}}}}
\put(3989,909){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize sliding}}}}}
\put(4064,609){\makebox(0,0)[lb]{\smash{{{\rm\scriptsize an $H$}}}}}
\end{picture}