# LaTeX2HTML 0.6.4 (Tues Aug 30 1994)
# Associate symbolic labels with physical files.

$external_labels{"prob"} ="$URL/node3.html"; 
$external_labels{"figcv"} ="$URL/node3.html"; 

1;