# LaTeX2HTML 2002 (1.62)
# Associate labels original text with physical files.


$key = q/21/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/7/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/2/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/17/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/1/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/18/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/fig5/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/16/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/25/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ac:mark2/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/20/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/14/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/24/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/fig4/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/10/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_arc:rudin/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/11/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ac:mark1/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/22/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/fig2/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/13/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/23/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/6/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/fig3/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/3/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/9/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/fig1/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/12/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_vc:polya/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/15/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/8/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/4/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/19/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/5/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2002 (1.62)
# labels from external_latex_labels array.


$key = q/11/;
$external_latex_labels{$key} = q|11|; 
$noresave{$key} = "$nosave";

$key = q/21/;
$external_latex_labels{$key} = q|21|; 
$noresave{$key} = "$nosave";

$key = q/7/;
$external_latex_labels{$key} = q|7|; 
$noresave{$key} = "$nosave";

$key = q/2/;
$external_latex_labels{$key} = q|2|; 
$noresave{$key} = "$nosave";

$key = q/17/;
$external_latex_labels{$key} = q|17|; 
$noresave{$key} = "$nosave";

$key = q/22/;
$external_latex_labels{$key} = q|22|; 
$noresave{$key} = "$nosave";

$key = q/fig2/;
$external_latex_labels{$key} = q|II|; 
$noresave{$key} = "$nosave";

$key = q/1/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/18/;
$external_latex_labels{$key} = q|18|; 
$noresave{$key} = "$nosave";

$key = q/fig5/;
$external_latex_labels{$key} = q|V|; 
$noresave{$key} = "$nosave";

$key = q/13/;
$external_latex_labels{$key} = q|13|; 
$noresave{$key} = "$nosave";

$key = q/16/;
$external_latex_labels{$key} = q|16|; 
$noresave{$key} = "$nosave";

$key = q/23/;
$external_latex_labels{$key} = q|23|; 
$noresave{$key} = "$nosave";

$key = q/25/;
$external_latex_labels{$key} = q|25|; 
$noresave{$key} = "$nosave";

$key = q/6/;
$external_latex_labels{$key} = q|6|; 
$noresave{$key} = "$nosave";

$key = q/fig3/;
$external_latex_labels{$key} = q|III|; 
$noresave{$key} = "$nosave";

$key = q/3/;
$external_latex_labels{$key} = q|3|; 
$noresave{$key} = "$nosave";

$key = q/9/;
$external_latex_labels{$key} = q|9|; 
$noresave{$key} = "$nosave";

$key = q/fig1/;
$external_latex_labels{$key} = q|I|; 
$noresave{$key} = "$nosave";

$key = q/12/;
$external_latex_labels{$key} = q|12|; 
$noresave{$key} = "$nosave";

$key = q/14/;
$external_latex_labels{$key} = q|14|; 
$noresave{$key} = "$nosave";

$key = q/15/;
$external_latex_labels{$key} = q|15|; 
$noresave{$key} = "$nosave";

$key = q/20/;
$external_latex_labels{$key} = q|20|; 
$noresave{$key} = "$nosave";

$key = q/8/;
$external_latex_labels{$key} = q|8|; 
$noresave{$key} = "$nosave";

$key = q/4/;
$external_latex_labels{$key} = q|4|; 
$noresave{$key} = "$nosave";

$key = q/fig4/;
$external_latex_labels{$key} = q|IV|; 
$noresave{$key} = "$nosave";

$key = q/24/;
$external_latex_labels{$key} = q|24|; 
$noresave{$key} = "$nosave";

$key = q/10/;
$external_latex_labels{$key} = q|10|; 
$noresave{$key} = "$nosave";

$key = q/19/;
$external_latex_labels{$key} = q|19|; 
$noresave{$key} = "$nosave";

$key = q/5/;
$external_latex_labels{$key} = q|5|; 
$noresave{$key} = "$nosave";

1;

