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

$key = q/ar/;
$external_labels{$key} = 'final_sol.html'; 
$key = q/rb/;
$external_labels{$key} = 'final_sol.html'; 
$key = q/arb/;
$external_labels{$key} = 'final_sol.html'; 

1;

