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

Begin verification of 649592321
898695199
[0] 898695199
Case 1 done!  898695202
type C done!  898695244
Verification complete
898695244
Begin verification of 600996944
898695244
Case 1 done!  898695248
type C done!  898695289
Verification complete
898695289
Begin verification of 70667639
898695289
Case 1 done!  898695297
type C done!  898695345
Verification complete
898695345
Begin verification of 99182343
898695345
Case 1 done!  898695359
type C done!  898695421
Verification complete
898695421
Begin verification of 578762805
898695421
Case 1 done!  898695432
type C done!  898695500
Verification complete
898695500
Begin verification of 557125557
898695500
Case 1 done!  898695510
type C done!  898695569
Verification complete
898695569
all done!
(no errors)