*** ../src/test/32/thue	2014-09-15 04:32:55.000000000 -0700
--- gp.out	2015-05-12 08:54:18.628638438 -0700
***************
*** 23,26 ****
  []
  [[0, 1], [1, -537825], [1, 1], [537824, 1], [1, 0]]
  [[44, -131]]
! Total time spent: 2188
--- 23,26 ----
  []
  [[0, 1], [1, -537825], [1, 1], [537824, 1], [1, 0]]
  [[44, -131]]
! Total time spent: 1536