*** ../src/test/64/rnfkummer	2014-09-15 04:32:55.000000000 -0700
--- gp.out	2015-05-12 08:53:26.790730517 -0700
***************
*** 172,175 ****
  - 619772/3*y + 15840415/6)
  20
  [x^3 - 3*x - 1]
! Total time spent: 12057
--- 172,175 ----
  - 619772/3*y + 15840415/6)
  20
  [x^3 - 3*x - 1]
! Total time spent: 9324