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


$key = q/sec:base/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:fonts/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|; 
$noresave{$key} = "$nosave";

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

$key = q/sec:proof/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:typing/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:another/;
$external_labels{$key} = "$URL/" . q|node11_ct.html|; 
$noresave{$key} = "$nosave";

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

$key = q/sub:env/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:finding/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:gftopk/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:link/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:loading/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:localfont/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:mag/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|; 
$noresave{$key} = "$nosave";

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

$key = q/sub:modes/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:naming/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sub:plain/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|; 
$noresave{$key} = "$nosave";

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

$key = q/sub:starstar/;
$external_labels{$key} = "$URL/" . q|node9_ct.html|; 
$noresave{$key} = "$nosave";

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

$key = q/sub:tex/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|; 
$noresave{$key} = "$nosave";

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

1;


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


1;

