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

$key = q/phase2/;
$external_labels{$key} = 'node3.html'; 
$key = q/segments/;
$external_labels{$key} = 'node3.html'; 
$key = q/whenlast/;
$external_labels{$key} = 'node3.html'; 
$key = q/howoften/;
$external_labels{$key} = 'node3.html'; 
$key = q/llfig/;
$external_labels{$key} = 'node2.html'; 
$key = q/sdflts/;
$external_labels{$key} = 'node5.html'; 
$key = q/salake/;
$external_labels{$key} = 'node2.html'; 
$key = q/avsize/;
$external_labels{$key} = 'node3.html'; 
$key = q/faultfig/;
$external_labels{$key} = 'node2.html'; 
$key = q/geoslip/;
$external_labels{$key} = 'node3.html'; 
$key = q/dvscarp/;
$external_labels{$key} = 'node2.html'; 
$key = q/eqpreds/;
$external_labels{$key} = 'node4.html'; 
$key = q/currslip/;
$external_labels{$key} = 'node3.html'; 
$key = q/stroff/;
$external_labels{$key} = 'node2.html'; 
$key = q/rlfig/;
$external_labels{$key} = 'node2.html'; 
$key = q/farpic/;
$external_labels{$key} = 'node1.html'; 
$key = q/ormag/;
$external_labels{$key} = 'node2.html'; 
$key = q/rctwall/;
$external_labels{$key} = 'node3.html'; 
$key = q/rctrench/;
$external_labels{$key} = 'node3.html'; 
$key = q/where/;
$external_labels{$key} = 'node3.html'; 
$key = q/rctdiag/;
$external_labels{$key} = 'node3.html'; 

1;

