# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate image original text (scrambled) with physical files.
$key = q/{figure}verbatim1labelfig-1{figure}/;
$cached_env_img{$key} ='
';
$key = q/{figure}verbatim2labelfig-2{figure}/;
$cached_env_img{$key} ='
';
$key = q/{figure}verbatim3labelfig-3{figure}/;
$cached_env_img{$key} ='
';
1;