%
\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}(624,639)(0,-10)
\thicklines
\path(42.000,492.000)(12.000,612.000)(-18.000,492.000)
\path(12,612)(12,12)
\path(342.000,492.000)(312.000,612.000)(282.000,492.000)
\path(312,612)(312,12)
\path(642.000,492.000)(612.000,612.000)(582.000,492.000)
\path(612,612)(612,12)
\path(12,162)(612,162)
\drawline(312,312)(312,312)
\path(312,462)(612,462)
\path(12,312)(312,312)
\end{picture}