# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate labels original text with physical files.

$key = q/drnexcmSPMgtfeet/;
$external_labels{$key} = "$URL/" . 'node19.htm'; 
$key = q/drnsecint1sem/;
$external_labels{$key} = "$URL/" . 'node45.htm'; 
$key = q/drnexalgebra1a/;
$external_labels{$key} = "$URL/" . 'node15.htm'; 
$key = q/drnsecpingpong/;
$external_labels{$key} = "$URL/" . 'node30.htm'; 
$key = q/drnsecbasicsnum/;
$external_labels{$key} = "$URL/" . 'node14.htm'; 
$key = q/drnexdrawfig/;
$external_labels{$key} = "$URL/" . 'node29.htm'; 
$key = q/drnsecint1prag/;
$external_labels{$key} = "$URL/" . 'node46.htm'; 
$key = q/drnexcheckguess/;
$external_labels{$key} = "$URL/" . 'node25.htm'; 
$key = q/drnseclistsdesign/;
$external_labels{$key} = "$URL/" . 'node50.htm'; 
$key = q/drnsecsynsemvocab/;
$external_labels{$key} = "$URL/" . 'node37.htm'; 
$key = q/drnsecbasicscompose/;
$external_labels{$key} = "$URL/" . 'node19.htm'; 
$key = q/drnsectagged/;
$external_labels{$key} = "$URL/" . 'node34.htm'; 
$key = q/drnsecinputerrors/;
$external_labels{$key} = "$URL/" . 'node35.htm'; 
$key = q/drnseccondprog2/;
$external_labels{$key} = "$URL/" . 'node23.htm'; 
$key = q/drnseclists/;
$external_labels{$key} = "$URL/" . 'node48.htm'; 
$key = q/drnsecint1structs/;
$external_labels{$key} = "$URL/" . 'node43.htm'; 
$key = q/drnsecbasics/;
$external_labels{$key} = "$URL/" . 'node13.htm'; 
$key = q/drnpartstructural/;
$external_labels{$key} = "$URL/" . 'node47.htm'; 
$key = q/drnsecbasicsvarprog/;
$external_labels{$key} = "$URL/" . 'node15.htm'; 
$key = q/drnusingdrscheme/;
$external_labels{$key} = "$URL/" . 'node9.htm'; 
$key = q/drnsecint1syn/;
$external_labels{$key} = "$URL/" . 'node44.htm'; 
$key = q/drnsecbasicswordprobs/;
$external_labels{$key} = "$URL/" . 'node17.htm'; 
$key = q/drnloadinglib/;
$external_labels{$key} = "$URL/" . 'node25.htm'; 
$key = q/drndownload/;
$external_labels{$key} = "$URL/" . 'node4.htm'; 
$key = q/drnfaq/;
$external_labels{$key} = "$URL/" . 'node52.htm'; 
$key = q/drnpartbasic/;
$external_labels{$key} = "$URL/" . 'node11.htm'; 
$key = q/drnexquad3/;
$external_labels{$key} = "$URL/" . 'node27.htm'; 
$key = q/drnsecrecordslists/;
$external_labels{$key} = "$URL/" . 'node27.htm'; 
$key = q/drnexalgebra2/;
$external_labels{$key} = "$URL/" . 'node15.htm'; 
$key = q/drnsecsynsemsem/;
$external_labels{$key} = "$URL/" . 'node40.htm'; 
$key = q/drnseccond/;
$external_labels{$key} = "$URL/" . 'node20.htm'; 
$key = q/drnsecsynsemgrammar/;
$external_labels{$key} = "$URL/" . 'node38.htm'; 
$key = q/drnsecrecordsconssel/;
$external_labels{$key} = "$URL/" . 'node28.htm'; 
$key = q/drnsecmixeddatadesign/;
$external_labels{$key} = "$URL/" . 'node33.htm'; 
$key = q/drnsecdesign1/;
$external_labels{$key} = "$URL/" . 'node18.htm'; 
$key = q/drnsecintro/;
$external_labels{$key} = "$URL/" . 'node12.htm'; 
$key = q/drnsecdesign2/;
$external_labels{$key} = "$URL/" . 'node24.htm'; 
$key = q/drnsecdesign3/;
$external_labels{$key} = "$URL/" . 'node29.htm'; 
$key = q/drnsecmixeddata/;
$external_labels{$key} = "$URL/" . 'node31.htm'; 
$key = q/drnsecrecords/;
$external_labels{$key} = "$URL/" . 'node26.htm'; 
$key = q/drnusingdrschemejr/;
$external_labels{$key} = "$URL/" . 'node10.htm'; 
$key = q/drnexsynerrorexp/;
$external_labels{$key} = "$URL/" . 'node16.htm'; 
$key = q/drnseccondbooleans/;
$external_labels{$key} = "$URL/" . 'node21.htm'; 
$key = q/drnsecsynsemterm/;
$external_labels{$key} = "$URL/" . 'node39.htm'; 
$key = q/drnsecsynsemvardefns/;
$external_labels{$key} = "$URL/" . 'node42.htm'; 
$key = q/drnsecsym/;
$external_labels{$key} = "$URL/" . 'node25.htm'; 
$key = q/drnsecthedesign/;
$external_labels{$key} = "$URL/" . 'node51.htm'; 
$key = q/drnseccondprog/;
$external_labels{$key} = "$URL/" . 'node22.htm'; 
$key = q/drninstall/;
$external_labels{$key} = "$URL/" . 'node5.htm'; 
$key = q/drnsecmixeddatapred/;
$external_labels{$key} = "$URL/" . 'node32.htm'; 
$key = q/drnsecsynsemerrors/;
$external_labels{$key} = "$URL/" . 'node41.htm'; 
$key = q/drnsecbasicseval/;
$external_labels{$key} = "$URL/" . 'node16.htm'; 
$key = q/drnsecsynsem/;
$external_labels{$key} = "$URL/" . 'node36.htm'; 
$key = q/drnseclistslong/;
$external_labels{$key} = "$URL/" . 'node49.htm'; 

1;