%
\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}(7224,6414)(0,-10)
\thicklines
\path(3162,5112)(3012,4512)(3612,3762)
	(4212,4512)(4062,5112)(3162,5112)
\path(4212,4512)(5862,5112)(6312,4812)
	(4212,1062)(3612,1512)(3612,3762)(4212,4512)
\path(12,5187)(3012,12)(4212,12)
	(7212,5187)(6237,6387)(987,6387)(12,5187)
\path(987,6387)(1512,5712)(3162,5112)
	(4062,5112)(5712,5712)(6237,6387)(987,6387)
\path(5712,5712)(5862,5112)(6312,4812)
	(7212,5187)(6237,6387)(5712,5712)
\path(987,6387)(12,5187)(912,4812)
	(1362,5112)(1512,5712)(987,6387)
\path(3012,1062)(3012,12)(4212,12)
	(4212,1062)(3612,1512)(3012,1062)(3012,1062)
\path(1362,5112)(3012,4512)(3612,3762)
	(3612,1512)(3012,1062)(912,4812)(1362,5112)
\path(1362,5112)(957,4707)
\path(1587,5037)(1077,4527)
\path(1812,4962)(1182,4332)
\path(2030,4880)(1287,4137)
\path(2232,4782)(1399,3949)
\path(2449,4699)(1512,3762)
\path(2682,4632)(1610,3560)
\path(2900,4550)(1715,3365)
\path(3072,4422)(1835,3185)
\path(3207,4257)(1940,2990)
\path(3349,4099)(2045,2795)
\path(3477,3927)(2157,2607)
\path(3612,3762)(2262,2412)
\path(3612,3462)(2375,2225)
\path(3612,3162)(2465,2015)
\path(3612,2862)(2577,1827)
\path(3612,2562)(2690,1640)
\path(3612,2262)(2795,1445)
\path(3612,1962)(2900,1250)
\path(3612,1662)(3087,1137)
\end{picture}