convert from svn repository: remove tags directory

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

-2:5:-2
-4:-4:-4
1:0:165
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:165
27:7:31
28:0:165
29:7:36
30:7:37
31:0:165
32:7:43
33:7:44
34:7:48
35:7:52
36:7:56
37:0:165
38:8:0
39:8:6
40:8:7
41:0:165
42:8:13
43:8:14
44:0:165
45:8:18
46:8:21
47:0:165
48:8:29
49:0:165
50:8:30
51:0:165
52:7:58
53:7:59
54:7:62
55:7:72
56:7:73
57:0:165
58:7:77
59:7:79
60:0:165
61:7:81
62:0:165
63:6:31
64:0:165
65:6:36
66:6:37
67:0:165
68:6:43
69:6:44
70:6:48
71:6:52
72:6:56
73:0:165
74:6:58
75:6:59
76:6:62
77:6:70
78:0:165
79:6:77
80:6:79
81:0:165
82:6:81
83:0:165
84:5:31
85:0:165
86:5:36
87:5:37
88:0:165
89:5:43
90:5:44
91:5:48
92:5:52
93:5:56
94:0:165
95:5:58
96:5:59
97:5:62
98:5:72
99:5:73
100:0:165
101:5:77
102:5:79
103:0:165
104:5:81
105:0:165
106:4:31
107:0:165
108:4:34
109:4:78
110:4:79
111:0:163
112:4:81
113:0:169
114:6:52