\begin{picture}(0,0)%
\special{psfile=race2.pstex}%
\end{picture}%
\setlength{\unitlength}{0.012500in}%
%
\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}(345,335)(55,460)
\put(150,748){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atl{6}\lwedge \Ta\le t_1\le U$}}}
\put(155,730){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$\ell_6$}}}
\put(150,708){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atl{7}\lwedge \Ta\le U+t_1\le 2U$}}}
\put(155,690){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$\ell_7$}}}
\put(150,668){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atl{3}\lwedge \Ta\le 2U+t_1\le 3U$}}}
\put(155,650){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$\ell_3$}}}
\put(150,628){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atl{4}$}}}
\put(325,730){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_6$}}}
\put(320,748){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{6}\lwedge \Ta=t_2$}}}
\put(320,708){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{7}\lwedge \Ta\ge t_2+L$}}}
\put(325,690){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_7$}}}
\put(320,668){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{8}\lwedge \ge t_2+2L$}}}
\put(325,650){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_8$}}}
\put(320,628){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{3}\lwedge \ge t_2+3L$}}}
\put(325,610){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_3$}}}
\put(320,588){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{9}\lwedge \ge t_2+4L$}}}
\put(325,570){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_9$}}}
\put(320,548){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atm{10}\lwedge \ge t_2+5L$}}}
\put(155,610){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$m_{10}$}}}
\put(240,468){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}$\atl{4}\band \atm{0}\band x=0 \band t_2=0$}}}
\put(245,780){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$\bet:\; t_2\le U$}}}
\put( 70,780){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}$t_1, t_2, \Ta \ge 0,\ x=2$}}}
\end{picture}