-- 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.2.5

Begin verification of 269048407
900300271
[0] 900300271
[1][2][3][4][5][6][7][8][9][10] 900314376
[11][12][13][14][15][16][17][18][19][20] 900328779
[21][22][23][24][25][26][27][28][29][30] 900343014
[31][32][33][34][35][36][37]Verification complete
900352653
Begin verification of 553285469
900352653
[38][39][40] 900355531
[41][42][43]Verification complete
900359891

// CUT HERE TO FIX SOME ERRORS.  RESTART WITH 293389410
(aborted)