trunk/verif/examples/buffer.spin.trail

   1 -4:-4:-4
   2 1:0:118
   3 2:0:119
   4 3:0:119
   5 4:0:122
   6 5:0:128
   7 6:0:128
   8 7:0:128
   9 8:0:128
  10 9:0:131
  11 10:0:136
  12 11:0:137
  13 12:0:139
  14 13:0:141
  15 14:0:139
  16 15:0:141
  17 16:0:139
  18 17:0:141
  19 18:0:139
  20 19:0:141
  21 20:0:143
  22 21:0:149
  23 22:0:151
  24 23:0:153
  25 24:0:157
  26 25:7:0
  27 26:7:3
  28 27:7:28
  29 28:7:29
  30 29:6:30
  31 30:6:35
  32 31:6:36
  33 32:6:42
  34 33:6:43
  35 34:6:47
  36 35:6:51
  37 36:6:55
  38 37:6:57
  39 38:6:58
  40 39:6:61
  41 40:6:68
  42 41:6:75
  43 42:6:77
  44 43:6:79
  45 44:5:30
  46 45:5:35
  47 46:5:36
  48 47:5:42
  49 48:5:43
  50 49:5:47
  51 50:5:51
  52 51:5:55
  53 52:5:57
  54 53:5:58
  55 54:5:61
  56 55:5:70
  57 56:5:71
  58 57:5:75
  59 58:5:77
  60 59:5:79
  61 60:4:30
  62 61:4:35
  63 62:4:36
  64 63:4:42
  65 64:4:43
  66 65:4:47
  67 66:4:51
  68 67:4:55
  69 68:4:57
  70 69:4:58
  71 70:4:61
  72 71:4:68
  73 72:4:75
  74 73:4:77
  75 74:4:79
  76 75:3:30
  77 76:3:35
  78 77:3:36
  79 78:3:42
  80 79:3:43
  81 80:3:47
  82 81:3:51
  83 82:3:55
  84 83:3:57
  85 84:3:58
  86 85:3:61
  87 86:3:70
  88 87:3:71
  89 88:3:75
  90 89:3:77
  91 90:3:79
  92 91:2:109
  93 92:2:111
  94 93:2:115
  95 94:3:0
  96 95:3:3
  97 96:3:28
  98 97:3:29
  99 98:2:117
 100 99:0:159
 101 100:0:162
 102 101:0:162
 103 102:0:165