convert from svn repository: remove tags directory

[lttv.git] / trunk / verif / nico / model.spin.trail

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