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

$external_labels{"routissnddnd"} ="$URL/node7.html"; 
$external_labels{"routisddvlen"} ="$URL/node14.html"; 
$external_labels{"secpartii"} ="$URL/node26.html"; 
$external_labels{"routisddvget"} ="$URL/node13.html"; 
$external_labels{"datasubfaces"} ="$URL/node26.html"; 
$external_labels{"figdirections"} ="$URL/node26.html"; 
$external_labels{"routissnddhs"} ="$URL/node4.html"; 
$external_labels{"dataitrans"} ="$URL/node29.html"; 
$external_labels{"fighost2node"} ="$URL/node4.html"; 
$external_labels{"fignode2host"} ="$URL/node7.html"; 
$external_labels{"secdatastructs"} ="$URL/node24.html"; 
$external_labels{"routisddget"} ="$URL/node11.html"; 
$external_labels{"figisddbnd"} ="$URL/node9.html"; 
$external_labels{"figsmsg"} ="$URL/node27.html"; 
$external_labels{"dataitopol"} ="$URL/node26.html"; 
$external_labels{"routiscoput"} ="$URL/node20.html"; 
$external_labels{"datasmsg"} ="$URL/node27.html"; 
$external_labels{"routisexco"} ="$URL/node18.html"; 
$external_labels{"routisrcddnd"} ="$URL/node6.html"; 
$external_labels{"routisfilv"} ="$URL/node16.html"; 
$external_labels{"figismblk"} ="$URL/node8.html"; 
$external_labels{"figtwolevels"} ="$URL/node2.html"; 
$external_labels{"routisddvput"} ="$URL/node12.html"; 
$external_labels{"routisrcddhs"} ="$URL/node5.html"; 
$external_labels{"datavirt"} ="$URL/node25.html"; 
$external_labels{"routisddbnd"} ="$URL/node9.html"; 
$external_labels{"figiscoget"} ="$URL/node19.html"; 
$external_labels{"routisddput"} ="$URL/node10.html"; 
$external_labels{"routismblk"} ="$URL/node8.html"; 
$external_labels{"secpartiii"} ="$URL/node26.html"; 
$external_labels{"figgetput"} ="$URL/node2.html"; 
$external_labels{"secmessages"} ="$URL/node21.html"; 
$external_labels{"datansubfaces"} ="$URL/node26.html"; 
$external_labels{"routiscoget"} ="$URL/node19.html"; 
$external_labels{"secparti"} ="$URL/node26.html"; 
$external_labels{"figinitco"} ="$URL/node15.html"; 
$external_labels{"figiscoput"} ="$URL/node20.html"; 
$external_labels{"routistrco"} ="$URL/node17.html"; 

1;

