# LaTeX2HTML 2K.1beta (1.48)
# Associate images original text with physical files.
$key = q/includegraphics[]{manual_mine_grafico01.ps};AAT/;
$cached_env_img{$key} = q||;
$key = q/rightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
$key = q/longrightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
1;