-- 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 VI.A.4.7.1

Begin verification of 131574415
900694111
[0] 900694111
Verification complete
900694654
Begin verification of 929773933
900694654
Verification complete
900695383
Begin verification of 223261160
900695383
Verification complete
900695519
Begin verification of 135018647
900695519
Verification complete
900695773
Begin verification of 559676877
900695773
R0.R1.R2.[1]R3.R4.R5.R6.R7.R8.R9.R10.[2]R11.R12.R13.R14.R15.R16.R17.[3]Verification complete
900704493
all done!
(no errors)