# LaTeX2HTML 2008 (1.71)
# Associate labels original text with physical files.


$key = q/cite_breslau/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Chandy/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Muscariello/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_murata/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Routhie/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Crovella/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_av98/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Adas/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_paxson95wide/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Leland/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_barford/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Taylor/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Prado/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_box/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_banks/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Grinstead/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Jain/;
$external_labels{$key} = "$URL/" . q|TE816-2013.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2008 (1.71)
# labels from external_latex_labels array.


1;