898737775
 -- 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 A16

Begin verification of 695180203
898737777
[0] 898737777
case (a) done
case (a2) done
[1]case (a3) done
case (b) done
case (c) done
case (d1) done
[2][3]case (d2) done
case (f) done
Verification complete
898744548
Begin verification of 690626704
898744548
case (b) done
case (c) done
case (f) done
Verification complete
898744833
Begin verification of 807023313
898744833
[4]Verification complete
898745489
Begin verification of 590577214
898745489
Verification complete
898746298
Begin verification of 949210508
898746298
Verification complete
898746500
Begin verification of 671961774
898746500
Verification complete
898746811
(no errors)