# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/dvi_bes/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/dviami/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/dviamiscr/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/dvilw/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/dvilw_aw/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ebild/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/kdover/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la101/;
$external_labels{$key} = "$URL/" . q|node58_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la10b/;
$external_labels{$key} = "$URL/" . q|node96_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la11/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la12/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la13/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la14/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la15/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la16/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la17/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la18/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la19/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la7/;
$external_labels{$key} = "$URL/" . q|node86_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la8/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/la9/;
$external_labels{$key} = "$URL/" . q|node95_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/laamiga/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lafontnames/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lagemvers/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lagratut/;
$external_labels{$key} = "$URL/" . q|node82_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lamotif/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/larrow/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/laweiter/;
$external_labels{$key} = "$URL/" . q|node100_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lbildmac/;
$external_labels{$key} = "$URL/" . q|node80_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ldis/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ldisplay/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ldvi/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lepsf/;
$external_labels{$key} = "$URL/" . q|node81_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lfilegr/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lfiletex/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lgrafx/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lgraph/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lkofu/;
$external_labels{$key} = "$URL/" . q|node91_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lkurv/;
$external_labels{$key} = "$URL/" . q|node92_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/llines/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/llitps/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lmacro/;
$external_labels{$key} = "$URL/" . q|node78_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lmulsin/;
$external_labels{$key} = "$URL/" . q|node93_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lopts/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lps2/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ltrps/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/luni/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/lx11/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/optamiga/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


$key = q/dvi_bes/;
$external_latex_labels{$key} = q|2.6|; 
$noresave{$key} = "$nosave";

$key = q/dviami/;
$external_latex_labels{$key} = q|2.3|; 
$noresave{$key} = "$nosave";

$key = q/dviamiscr/;
$external_latex_labels{$key} = q|2.3.2|; 
$noresave{$key} = "$nosave";

$key = q/dvilw/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/dvilw_aw/;
$external_latex_labels{$key} = q|1.3|; 
$noresave{$key} = "$nosave";

$key = q/ebild/;
$external_latex_labels{$key} = q|4.4|; 
$noresave{$key} = "$nosave";

$key = q/kdover/;
$external_latex_labels{$key} = q|2.4|; 
$noresave{$key} = "$nosave";

$key = q/la101/;
$external_latex_labels{$key} = q|4.3|; 
$noresave{$key} = "$nosave";

$key = q/la10b/;
$external_latex_labels{$key} = q|A.18|; 
$noresave{$key} = "$nosave";

$key = q/la11/;
$external_latex_labels{$key} = q|A.2|; 
$noresave{$key} = "$nosave";

$key = q/la12/;
$external_latex_labels{$key} = q|A.3|; 
$noresave{$key} = "$nosave";

$key = q/la13/;
$external_latex_labels{$key} = q|A.4|; 
$noresave{$key} = "$nosave";

$key = q/la14/;
$external_latex_labels{$key} = q|A.6|; 
$noresave{$key} = "$nosave";

$key = q/la15/;
$external_latex_labels{$key} = q|A.7|; 
$noresave{$key} = "$nosave";

$key = q/la16/;
$external_latex_labels{$key} = q|A.8|; 
$noresave{$key} = "$nosave";

$key = q/la17/;
$external_latex_labels{$key} = q|A.9|; 
$noresave{$key} = "$nosave";

$key = q/la18/;
$external_latex_labels{$key} = q|A.10|; 
$noresave{$key} = "$nosave";

$key = q/la19/;
$external_latex_labels{$key} = q|A.11|; 
$noresave{$key} = "$nosave";

$key = q/la7/;
$external_latex_labels{$key} = q|A.1|; 
$noresave{$key} = "$nosave";

$key = q/la8/;
$external_latex_labels{$key} = q|A.5|; 
$noresave{$key} = "$nosave";

$key = q/la9/;
$external_latex_labels{$key} = q|A.17|; 
$noresave{$key} = "$nosave";

$key = q/laamiga/;
$external_latex_labels{$key} = q|2.3|; 
$noresave{$key} = "$nosave";

$key = q/lafontnames/;
$external_latex_labels{$key} = q|3.2|; 
$noresave{$key} = "$nosave";

$key = q/lagemvers/;
$external_latex_labels{$key} = q|2.1|; 
$noresave{$key} = "$nosave";

$key = q/lagratut/;
$external_latex_labels{$key} = q|A|; 
$noresave{$key} = "$nosave";

$key = q/lamotif/;
$external_latex_labels{$key} = q|2.2|; 
$noresave{$key} = "$nosave";

$key = q/larrow/;
$external_latex_labels{$key} = q|A.20|; 
$noresave{$key} = "$nosave";

$key = q/laweiter/;
$external_latex_labels{$key} = q|C|; 
$noresave{$key} = "$nosave";

$key = q/lbildmac/;
$external_latex_labels{$key} = q|4.2.2|; 
$noresave{$key} = "$nosave";

$key = q/ldis/;
$external_latex_labels{$key} = q|B.1|; 
$noresave{$key} = "$nosave";

$key = q/ldisplay/;
$external_latex_labels{$key} = q|B|; 
$noresave{$key} = "$nosave";

$key = q/ldvi/;
$external_latex_labels{$key} = q|2.1|; 
$noresave{$key} = "$nosave";

$key = q/lepsf/;
$external_latex_labels{$key} = q|4.2.3|; 
$noresave{$key} = "$nosave";

$key = q/lfilegr/;
$external_latex_labels{$key} = q|A.22|; 
$noresave{$key} = "$nosave";

$key = q/lfiletex/;
$external_latex_labels{$key} = q|A.21|; 
$noresave{$key} = "$nosave";

$key = q/lgrafx/;
$external_latex_labels{$key} = q|2.4|; 
$noresave{$key} = "$nosave";

$key = q/lgraph/;
$external_latex_labels{$key} = q|4.2.1|; 
$noresave{$key} = "$nosave";

$key = q/lkofu/;
$external_latex_labels{$key} = q|A.14|; 
$noresave{$key} = "$nosave";

$key = q/lkurv/;
$external_latex_labels{$key} = q|A.15|; 
$noresave{$key} = "$nosave";

$key = q/llines/;
$external_latex_labels{$key} = q|A.19|; 
$noresave{$key} = "$nosave";

$key = q/llitps/;
$external_latex_labels{$key} = q|4.1|; 
$noresave{$key} = "$nosave";

$key = q/lmacro/;
$external_latex_labels{$key} = q|4.2|; 
$noresave{$key} = "$nosave";

$key = q/lmulsin/;
$external_latex_labels{$key} = q|A.16|; 
$noresave{$key} = "$nosave";

$key = q/lopts/;
$external_latex_labels{$key} = q|1.2|; 
$noresave{$key} = "$nosave";

$key = q/lps2/;
$external_latex_labels{$key} = q|4.2|; 
$noresave{$key} = "$nosave";

$key = q/ltrps/;
$external_latex_labels{$key} = q|A.12|; 
$noresave{$key} = "$nosave";

$key = q/luni/;
$external_latex_labels{$key} = q|A.13|; 
$noresave{$key} = "$nosave";

$key = q/lx11/;
$external_latex_labels{$key} = q|2.2|; 
$noresave{$key} = "$nosave";

$key = q/optamiga/;
$external_latex_labels{$key} = q|2.1|; 
$noresave{$key} = "$nosave";

1;

