-- loading interval routines $Revision: 1.4 $
 -- loading lineInterval routines $Revision: 1.3 $ 
 -- loading derivative routines $Revision: 1.3 $ 
 -- loading taylor routines $Revision: 1.4 $ 
 -- not tested :   
      taylorInterval::upper/lowerboundQ  
      adhoc20::vorspecial2at135, tauspecial2at135 
 -- Installation complete -- 


Section A1

Begin verification of 275706375
898628463
[0] 898628463
Verification complete
898629777
Begin verification of 324536936
898629777
[1]Verification complete
898631027
Begin verification of 983547118
898631027
[2]Verification complete
898632942
Begin verification of 206278009
898632942
[3]Verification complete
898634336
(no errors)