# LaTeX2HTML 98.2 beta6 (August 14th, 1998)
# Associate images original text with physical files.


$key = q/subseteq;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img6.gif"
 ALT="$ \subseteq$">|; 

$key = q/geq;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img9.gif"
 ALT="$ \geq$">|; 

$key = q/Sigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img2.gif"
 ALT="$ \Sigma$">|; 

$key = q/sigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img10.gif"
 ALT="$ \sigma$">|; 

$key = q/langle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img1.gif"
 ALT="$ \langle$">|; 

$key = q/Nmboxtt(__Token,__Tokens0,__Tokens):-pi(N);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="292" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img11.gif"
 ALT="$N\mbox{\tt (\_\_Token,\_\_Tokens0,\_\_Tokens):-} \pi(N)$">|; 

$key = q/in;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img5.gif"
 ALT="$ \in$">|; 

$key = q/includegraphics[width=textwidth]tw.ps;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="647" HEIGHT="102" ALIGN="BOTTOM" BORDER="0"
 SRC="img12.gif"
 ALT="\includegraphics[width=\textwidth]{tw.ps}">|; 

$key = q/pi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img8.gif"
 ALT="$ \pi$">|; 

$key = q/rangle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img4.gif"
 ALT="$ \rangle$">|; 

$key = q/tau;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img7.gif"
 ALT="$ \tau$">|; 

$key = q/delta;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="12" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img3.gif"
 ALT="$ \delta$">|; 

1;