-- 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 A5

Begin verification of 719735900
898695402
[0] 898695402
Case 1 done!  898695406
type C done!  898695462
Verification complete
898695462
Begin verification of 359616783
898695462
Case 1 done!  898695466
type C done!  898695522
Verification complete
898695522
Begin verification of 440833181
898695522
Case 1 done!  898695532
type C done!  898695588
Verification complete
898695588
Begin verification of 578578364
898695588
Case 1 done!  898695610
type C done!  898695710
Verification complete
898695710
Begin verification of 327398152
898695710
Case 1 done!  898695733
type C done!  898695830
Verification complete
898695830
Begin verification of 314861952
898695830
Case 1 done!  898695844
type C done!  898695929
Verification complete
898695929
Begin verification of 234753056
898695929
Case 1 done!  898695941
type C done!  898696006
Verification complete
898696006
all done!
(no errors)