*** ../src/test/32/nffactor	2014-07-31 10:03:38.000000000 -0700
--- gp.out	2015-05-12 08:52:05.005875793 -0700
***************
*** 731,734 ****
  [0]
  [x + (-314226370217524044*y + 1473852319020386314), x + (314226370217524044*
  y - 1473852319020386314)]~
! Total time spent: 8061
--- 731,734 ----
  [0]
  [x + (-314226370217524044*y + 1473852319020386314), x + (314226370217524044*
  y - 1473852319020386314)]~
! Total time spent: 5112