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

Begin verification of 413688580
898630657
[0] 898630657
gamma done!  898630883
vor done!  898631814
Verification complete
898631814
Begin verification of 805296510
898631814
[1]gamma done!  898632985
[2][3][4]vor done!  898636404
Verification complete
898636404
Begin verification of 136610219
898636404
[5]gamma done!  898637658
[6][7][8]vor done!  898641417
Verification complete
898641417
Begin verification of 379204810
898641417
[9]gamma done!  898643046
[10] 898643580
[11][12]vor done!  898647359
Verification complete
898647359
Begin verification of 878731435
898647359
[13]gamma done!  898648139
[14][15]vor done!  898651392
Verification complete
898651392
Begin verification of 891740103
898651392
[16]gamma done!  898651996
[17][18]vor done!  898654889
Verification complete
898654889
(no errors)