*** ../src/test/32/lift	2014-07-30 06:38:47.000000000 -0700
--- gp.out	2015-05-12 08:51:50.107902257 -0700
***************
*** 62,65 ****
  2*3^-1 + 2 + O(3)
  x
  Mod(1, 3)*x + Mod(2, 3)
! Total time spent: 4
--- 62,65 ----
  2*3^-1 + 2 + O(3)
  x
  Mod(1, 3)*x + Mod(2, 3)
! Total time spent: 0