*** ../src/test/64/member	2014-09-15 04:32:55.000000000 -0700
--- gp.out	2015-05-12 08:51:50.927900800 -0700
***************
*** 316,319 ****
  .mod: [[4, 1; 0, 1], [0, 0]]
  .no: 2
  .zkst: [2, [2]]
! Total time spent: 48
--- 316,319 ----
  .mod: [[4, 1; 0, 1], [0, 0]]
  .no: 2
  .zkst: [2, [2]]
! Total time spent: 31