898772447
 -- loading interval routines $Revision: 1.4 $
 -- loading lineInterval routines $Revision: 1.3 $ 
 -- loading derivative routines $Revision: 1.3 $ 
 -- loading taylor routines $Revision: 1.5 $ 
 -- Installation complete -- 


Section A13

Begin verification of 705592875
898772448
[0] 898772448
[1][2]Verification complete
898775820
Begin verification of 747727191
898775820
Verification complete
898775827
Begin verification of 474496219
898775827
Verification complete
898775833
Begin verification of 649551700
898775833
Verification complete
898775833
Begin verification of 897129160
898775833
Verification complete
898775833
Begin verification of 760840103
898775833
Verification complete
898775834
Begin verification of 712696695
898775834
Verification complete
898775834
(no errors)