-- loading interval routines $Revision: 1.5 $ -- loading lineInterval routines $Revision: 1.5 $ -- loading derivative routines $Revision: 1.4 $ -- loading taylor routines $Revision: 1.6 $ -- Installation complete -- Section VI.A.4.5.4 Begin verification of 319046543 900720633 [0] 900720633 [1][2] dih1-a done dih1-b done [3] dih2-a done [4] dih2-b done sol-a done sol-b done [5][6][7] gamma-a done [8][9][10] 900743149 [11] vor-a done [12] gamma-b done vor-b done [13][14][15][16][17][18][19] gamma-c done (abort and restart here) (there was a typo in the source code. Let's retry.) -- loading interval routines $Revision: 1.5 $ -- loading lineInterval routines $Revision: 1.5 $ -- loading derivative routines $Revision: 1.4 $ -- loading taylor routines $Revision: 1.6 $ -- Installation complete -- Section VI.A.4.5.4 Begin verification of 319046543 900781296 [0] 900781296 gamma-d done vor-d done [1] gamma-e done vor-e done dih1-patch1 done dih1-patch2 done (another typo! restart after dih1-patch2) -- loading interval routines $Revision: 1.5 $ -- loading lineInterval routines $Revision: 1.5 $ -- loading derivative routines $Revision: 1.4 $ -- loading taylor routines $Revision: 1.6 $ -- Installation complete -- Section VI.A.4.5.4 Begin verification of 319046543 900783857 [0] 900783857 dih1-patch3-gamma done dih1-patch3-vor done Verification complete 900784587 Begin verification of 533270809 900784587 [1] patch4-gamma done vor-a done vor-b done vor-c done Verification complete 900786842 all done! (no errors)