verif/md/model.spin.trail

   1 -2:5:-2
   2 -4:-4:-4
   3 1:0:163
   4 2:1:120
   5 3:1:121
   6 4:1:121
   7 5:1:124
   8 6:1:131
   9 7:1:131
  10 8:1:131
  11 9:1:131
  12 10:1:134
  13 11:1:139
  14 12:1:140
  15 13:1:142
  16 14:1:144
  17 15:1:142
  18 16:1:144
  19 17:1:142
  20 18:1:144
  21 19:1:142
  22 20:1:144
  23 21:1:146
  24 22:1:152
  25 23:1:154
  26 24:1:156
  27 25:1:160
  28 26:0:167
  29 27:8:0
  30 28:8:3
  31 29:0:167
  32 30:8:29
  33 31:0:167
  34 32:8:30
  35 33:0:167
  36 34:7:31
  37 35:0:167
  38 36:7:36
  39 37:7:37
  40 38:0:167
  41 39:7:43
  42 40:7:44
  43 41:7:48
  44 42:7:52
  45 43:7:56
  46 44:0:167
  47 45:7:58
  48 46:7:59
  49 47:7:62
  50 48:7:70
  51 49:0:167
  52 50:7:77
  53 51:7:79
  54 52:0:167
  55 53:7:81
  56 54:0:167
  57 55:6:31
  58 56:0:167
  59 57:6:36
  60 58:6:37
  61 59:0:167
  62 60:6:43
  63 61:6:44
  64 62:6:48
  65 63:6:52
  66 64:6:56
  67 65:0:167
  68 66:6:58
  69 67:6:59
  70 68:6:62
  71 69:6:72
  72 70:6:73
  73 71:0:167
  74 72:6:77
  75 73:6:79
  76 74:0:167
  77 75:6:81
  78 76:0:167
  79 77:5:31
  80 78:0:167
  81 79:5:36
  82 80:5:37
  83 81:0:167
  84 82:5:43
  85 83:5:44
  86 84:5:48
  87 85:5:52
  88 86:5:56
  89 87:0:167
  90 88:5:58
  91 89:5:59
  92 90:5:62
  93 91:5:70
  94 92:0:167
  95 93:5:77
  96 94:5:79
  97 95:0:167
  98 96:5:81
  99 97:0:167
 100 98:4:31
 101 99:0:167
 102 100:4:36
 103 101:4:37
 104 102:0:167
 105 103:4:43
 106 104:4:44
 107 105:4:48
 108 106:4:52
 109 107:4:56
 110 108:0:167
 111 109:4:58
 112 110:4:59
 113 111:4:62
 114 112:4:72
 115 113:4:73
 116 114:0:167
 117 115:4:77
 118 116:4:79
 119 117:0:167
 120 118:4:81
 121 119:0:167
 122 120:3:111
 123 121:3:113
 124 122:3:117
 125 123:0:167
 126 124:4:0
 127 125:4:3
 128 126:0:167
 129 127:4:29
 130 128:0:167
 131 129:4:30
 132 130:0:167
 133 131:3:119
 134 132:0:167
 135 133:2:82
 136 134:0:167
 137 135:2:83
 138 136:2:84
 139 137:2:84
 140 138:2:88
 141 139:2:92
 142 140:0:167
 143 141:2:94
 144 142:2:95
 145 143:2:95
 146 144:2:98
 147 145:2:102
 148 146:2:103
 149 147:0:167
 150 148:2:82
 151 149:0:167
 152 150:2:83
 153 151:2:84
 154 152:2:84
 155 153:2:88
 156 154:2:92
 157 155:0:167
 158 156:2:94
 159 157:2:95
 160 158:2:95
 161 159:2:98
 162 160:2:102
 163 161:2:103
 164 162:0:167
 165 163:2:105
 166 164:0:167
 167 165:2:110
 168 166:0:167
 169 167:1:162
 170 -1:-1:-1
 171 168:0:167
 172 169:0:167