*** ../src/test/32/det	2014-07-30 06:38:47.000000000 -0700
--- gp.out	2015-05-12 08:49:39.338134549 -0700
***************
*** 6,9 ****
  2064506631325
  2645450238786014260762195151127593140777050579745670159192807728014078750989
  2064506631325
! Total time spent: 8
--- 6,9 ----
  2064506631325
  2645450238786014260762195151127593140777050579745670159192807728014078750989
  2064506631325
! Total time spent: 4