%
\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}(1449,564)(0,-10)
\thicklines
\path(42.000,417.000)(12.000,537.000)(-18.000,417.000)
\path(12,537)(12,12)
\path(342.000,417.000)(312.000,537.000)(282.000,417.000)
\path(312,537)(312,12)
\drawline(312,312)(312,312)
\path(492.000,417.000)(462.000,537.000)(432.000,417.000)
\path(462,537)(462,12)
\path(12,312)(237,312)
\path(312,162)(462,162)
\path(1212,312)(1362,312)
\path(942.000,417.000)(912.000,537.000)(882.000,417.000)
\path(912,537)(912,12)
\path(1242.000,417.000)(1212.000,537.000)(1182.000,417.000)
\path(1212,537)(1212,12)
\path(1392.000,417.000)(1362.000,537.000)(1332.000,417.000)
\path(1362,537)(1362,12)
\path(912,162)(1137,162)
\path(237,349)(537,349)(537,274)
	(237,274)(237,349)
\path(1137,199)(1437,199)(1437,124)
	(1137,124)(1137,199)
\put(612,162){\makebox(0,0)[lb]{\smash{{\mathmode{=}}}}}
\end{picture}