\setlength{\unitlength}{0.012500in}%
%
\ifx \SetFigFont\undefined
  \begingroup\makeatletter
  % 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
  \endgroup
\fi
\begin{picture}(324,180)(15,645)
\put( 38,807){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\TeX}}}
\thinlines
\put( 75,780){\framebox(45,30){}}
\put( 96,792){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{tt}BIB}}}
\put(135,735){\framebox(45,30){}}
\put(156,747){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{tt}BBL}}}
\put(294,645){\framebox(45,30){}}
\put(315,657){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\DVI}}}
\put( 36,795){\vector( 0,-1){ 78}}
\put( 57,705){\vector( 1, 0){ 18}}
\put(120,705){\vector( 1, 0){ 39}}
\put(198,705){\vector( 1, 0){ 27}}
\put(270,705){\vector( 1, 0){ 24}}
\put(315,696){\vector( 0,-1){ 21}}
\put( 15,795){\framebox(45,30){}}
\put( 90,720){\vector( 0, 1){ 24}}
\put(247,702){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\AUX$_2$}}}
\put( 90,780){\vector( 0,-1){ 18}}
\put(111,750){\vector( 1, 0){ 24}}
\put(171,735){\vector( 0,-1){ 21}}
\put( 60,816){\line( 1, 0){255}}
\put(315,816){\vector( 0,-1){102}}
\put( 75,690){\framebox(45,30){}}
\put(225,690){\framebox(45,30){}}
\multiput(180,750)(7.93548,0.00000){16}{\line( 1, 0){  3.968}}
\multiput(303,750)(0.00000,-8.00000){5}{\line( 0,-1){  4.000}}
\put(303,714){\vector( 0,-1){0}}
\multiput(189,816)(0.00000,-8.16000){13}{\line( 0,-1){  4.080}}
\put(189,714){\vector( 0,-1){0}}
\put( 39,702){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\LaTeX}}}
\put( 90,747){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\BibTeX}}}
\put(180,702){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\LaTeX}}}
\put(315,702){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\LaTeX}}}
\put( 97,702){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{}\AUX$_1$}}}
\end{picture}
