trunk/verif/examples/buffer.spin.trail

   1 -4:-4:-4
   2 1:0:120
   3 2:0:121
   4 3:0:121
   5 4:0:125
   6 5:0:131
   7 6:0:131
   8 7:0:131
   9 8:0:131
  10 9:0:134
  11 10:0:139
  12 11:0:140
  13 12:0:142
  14 13:0:144
  15 14:0:142
  16 15:0:144
  17 16:0:142
  18 17:0:144
  19 18:0:146
  20 19:0:152
  21 20:0:154
  22 21:0:156
  23 22:0:160
  24 23:6:0
  25 24:6:6
  26 25:6:7
  27 26:6:13
  28 27:6:14
  29 28:6:18
  30 29:6:20
  31 30:6:28
  32 31:6:29
  33 32:5:30
  34 33:5:35
  35 34:5:36
  36 35:5:42
  37 36:5:43
  38 37:5:47
  39 38:5:51
  40 39:5:55
  41 40:5:57
  42 41:5:58
  43 42:5:61
  44 43:5:70
  45 44:5:71
  46 45:5:75
  47 46:5:77
  48 47:5:79
  49 48:4:30
  50 49:4:35
  51 50:4:36
  52 51:4:42
  53 52:4:43
  54 53:4:47
  55 54:4:51
  56 55:4:55
  57 56:4:57
  58 57:4:58
  59 58:4:61
  60 59:4:68
  61 60:4:75
  62 61:4:77
  63 62:4:79
  64 63:3:30
  65 64:3:33
  66 65:3:76
  67 66:3:77
  68 67:3:79
  69 68:2:111
  70 69:2:113
  71 70:2:117
  72 71:3:0
  73 72:3:3
  74 73:3:28
  75 74:3:29
  76 75:2:119
  77 76:1:80
  78 77:1:81
  79 78:1:82
  80 79:1:82
  81 80:1:86
  82 81:1:90
  83 82:1:92
  84 83:1:93
  85 84:1:93
  86 85:1:96
  87 86:1:80
  88 87:1:81
  89 88:1:82
  90 89:1:82
  91 90:1:86
  92 91:1:90
  93 92:1:92
  94 93:1:93
  95 94:1:93
  96 95:1:96
  97 96:1:105
  98 97:1:110
  99 98:0:162
 100 99:0:165
 101 100:0:165
 102 101:0:169