\begin{picture}(0,0)%
\special{psfile=trees.pstex}%
\end{picture}%
\setlength{\unitlength}{3947sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined
% extract first six characters in \fmtname
\def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
\expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
\ifx\x\y   % LaTeX or SliTeX?
\gdef\SetFigFont#1#2#3{%
  \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
     \huge\fi\fi\fi\fi\fi\fi
  \csname #3\endcsname}%
\else
\gdef\SetFigFont#1#2#3{\begingroup
  \count@#1\relax \ifnum 25<\count@\count@25\fi
  \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  \expandafter\x
    \csname \romannumeral\the\count@ pt\expandafter\endcsname
    \csname @\romannumeral\the\count@ pt\endcsname
  \csname #3\endcsname}%
\fi
\fi\endgroup
\begin{picture}(7419,2648)(3,-1861)
\put(1475, 23){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\exists$}}}
\put(1882,-593){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(1656,-1156){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}reject}}}
\put(933,560){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\exists$}}}
\put(410,-1118){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\exists$}}}
\put(427, 20){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(427,-579){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(756,-1861){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}NTM}}}
\put(6905,-72){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(6905,-619){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(5824,-72){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\forall$}}}
\put(5333,-619){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(6920,-1180){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\exists$}}}
\put(6365,425){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\exists$}}}
\put(5191,-1171){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}reject}}}
\put(6211,-1846){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}ATM}}}
\put(3800,459){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\forall$}}}
\put(4345,-56){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(4345,-615){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(4359,-1188){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\forall$}}}
\put(3242,-56){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}$\forall$}}}
\put(2741,-615){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{rm}C}}}
\put(3526,-1846){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}coNTM}}}
\put(2641,-1171){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}accept}}}
\end{picture}