898791449
 -- loading interval routines $Revision: 1.5 $
 -- loading lineInterval routines $Revision: 1.4 $ 
 -- loading derivative routines $Revision: 1.4 $ 
 -- loading taylor routines $Revision: 1.6 $ 
 -- Installation complete -- 


Section A12

Begin verification of 970291025
898791450
[0] 898791450
Verification complete
898791635
Begin verification of 524345535
898791635
WARNING: Case 524345535 has been skipped.
Verification complete
898791635
Begin verification of 812894433
898791635
[1]Verification complete
898795290
Begin verification of 404793781
898795290
[2]Verification complete
898796475
(no errors)