# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate images original text with physical files.
$key = q/{figure}[hbtp]footnotesizeverbatim5{figure}/;
$cached_env_img{$key} = '';
$key = q/{figure}[hbtp]footnotesizeverbatim7{figure}/;
$cached_env_img{$key} = '';
$key = q/{figure}[hbtp]footnotesizeverbatim8{figure}/;
$cached_env_img{$key} = '';
$key = q/{figure}[hbtp]footnotesizeverbatim1{figure}/;
$cached_env_img{$key} = '';
$key = q/{figure}[btp]footnotesizeverbatim10{figure}/;
$cached_env_img{$key} = '';
$key = q/{figure}[hbtp]footnotesizeverbatim2{figure}/;
$cached_env_img{$key} = '';
1;