*** ../src/test/64/ff	2014-09-15 04:32:55.000000000 -0700
--- gp.out	2015-05-12 08:51:05.319981815 -0700
***************
*** 280,283 ****
  ? g^fflog(a,g,o)==a
  1
  ? print("Total time spent: ",gettime);
! Total time spent: 1536
--- 280,283 ----
  ? g^fflog(a,g,o)==a
  1
  ? print("Total time spent: ",gettime);
! Total time spent: 1154