move everything out of trunk

[lttv.git] / verif / md / model.spin.trail

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