\begin{picture}(0,0)%
\includegraphics{quotient-ist-hausdorff.eps}%
\end{picture}%
%
%  Created by WinFIG version 5.04 
%  METADATA <version>1.0</version> 
%
\setlength{\unitlength}{1184sp}%
%
\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}(22908,4770)(1411,-5303)
%  METADATA <id>386</id> 
\put(16066,-1051){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.69,0,.69}$g_i^{-1}U_i$}%
}}}}
%  METADATA <id>384</id> 
\put(21271,-1126){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.69,0,.69}$U_i$}%
}}}}
%  METADATA <id>404</id> 
\put(22741,-4801){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,.69}$V_i$}%
}}}}
%  METADATA <id>259</id> 
\put(7449,-1105){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g_iU$}%
}}}}
%  METADATA <id>258</id> 
\put(5734,-1105){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g_1U$}%
}}}}
%  METADATA <id>254</id> 
\put(3280,-1036){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$U$}%
}}}}
%  METADATA <id>251</id> 
\put(1426,-1874){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$a$}%
}}}}
%  METADATA <id>135</id> 
\put(11295,-4415){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$V$}%
}}}}
%  METADATA <id>133</id> 
\put(4956,-5105){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$b$}%
}}}}
%  METADATA <id>267</id> 
\put(17211,-5105){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$b$}%
}}}}
%  METADATA <id>369</id> 
\put(13681,-1874){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$a$}%
}}}}
%  METADATA <id>402</id> 
\put(18871,-1066){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g_ia$}%
}}}}
%  METADATA <id>260</id> 
\put(9118,-1089){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g_rU$}%
}}}}
\end{picture}%
