# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate symbolic labels with physical files.

$external_labels{"B1"} ="$URL/node17.html"; 
$external_labels{"1"} ="$URL/paper.html"; 
$external_labels{"F11"} ="$URL/node15.html"; 
$external_labels{"12"} ="$URL/node4.html"; 
$external_labels{"F3"} ="$URL/node3.html"; 
$external_labels{"3"} ="$URL/paper.html"; 
$external_labels{"5"} ="$URL/node1.html"; 
$external_labels{"17"} ="$URL/node9.html"; 
$external_labels{"F8"} ="$URL/node7.html"; 
$external_labels{"7"} ="$URL/node3.html"; 
$external_labels{"13"} ="$URL/node4.html"; 
$external_labels{"F4"} ="$URL/node4.html"; 
$external_labels{"F12"} ="$URL/node15.html"; 
$external_labels{"19a"} ="$URL/node17.html"; 
$external_labels{"18"} ="$URL/node11.html"; 
$external_labels{"F9"} ="$URL/node8.html"; 
$external_labels{"F5"} ="$URL/node4.html"; 
$external_labels{"14"} ="$URL/node6.html"; 
$external_labels{"2"} ="$URL/paper.html"; 
$external_labels{"F13"} ="$URL/node15.html"; 
$external_labels{"4"} ="$URL/paper.html"; 
$external_labels{"9a"} ="$URL/node2.html"; 
$external_labels{"F1"} ="$URL/node1.html"; 
$external_labels{"10"} ="$URL/node3.html"; 
$external_labels{"19b"} ="$URL/node17.html"; 
$external_labels{"B4"} ="$URL/node17.html"; 
$external_labels{"6"} ="$URL/node8.html"; 
$external_labels{"F6"} ="$URL/node5.html"; 
$external_labels{"15"} ="$URL/node6.html"; 
$external_labels{"8"} ="$URL/node8.html"; 
$external_labels{"F10"} ="$URL/node19.html"; 
$external_labels{"9b"} ="$URL/node2.html"; 
$external_labels{"11"} ="$URL/node4.html"; 
$external_labels{"F2"} ="$URL/node8.html"; 
$external_labels{"16"} ="$URL/node9.html"; 
$external_labels{"F7"} ="$URL/node5.html"; 

1;

