trunk/verif/examples/spin-increment.spin.trail

   1 -4:-4:-4
   2 1:0:4
   3 2:0:5
   4 3:0:7
   5 4:0:5
   6 5:0:7
   7 6:0:9
   8 7:0:13
   9 8:2:0
  10 9:1:0
  11 10:2:1
  12 11:2:2
  13 12:2:3
  14 13:1:1
  15 14:1:2
  16 15:1:3
  17 16:0:15
  18 17:0:17
  19 18:0:17
  20 19:0:20
  21 20:0:24
  22 21:0:25