*** ../src/test/32/prec	2014-07-30 06:38:47.000000000 -0700
--- gp.out	2015-05-12 08:52:48.849797912 -0700
***************
*** 19,22 ****
  3
  3
  4
! Total time spent: 8
--- 19,22 ----
  3
  3
  4
! Total time spent: 0