# LaTeX2HTML 96.1-e (April 9, 1996)
# Associate labels original text with physical files.

$key = q/Fig1/;
$external_labels{$key} = 'node4.html'; 
$noresave{$key} = "$nosave";
$key = q/FigMatrixDB/;
$external_labels{$key} = 'node3.html'; 
$noresave{$key} = "$nosave";
$key = q/TableMatrixDB/;
$external_labels{$key} = 'node3.html'; 
$noresave{$key} = "$nosave";
$key = q/cite_Saad1994SBT/;
$external_labels{$key} = 'node17.html'; 
$noresave{$key} = "$nosave";
$key = q/TableSetDB/;
$external_labels{$key} = 'node3.html'; 
$noresave{$key} = "$nosave";
$key = q/FigSetDB/;
$external_labels{$key} = 'node3.html'; 
$noresave{$key} = "$nosave";
$key = q/Fig2/;
$external_labels{$key} = 'node5.html'; 
$noresave{$key} = "$nosave";
$key = q/cite_Barrett1994TSL/;
$external_labels{$key} = 'node17.html'; 
$noresave{$key} = "$nosave";
$key = q/cite_Duff1989SMT/;
$external_labels{$key} = 'node17.html'; 
$noresave{$key} = "$nosave";
$key = q/cite_Flanagan1996JN/;
$external_labels{$key} = 'node17.html'; 
$noresave{$key} = "$nosave";

1;