move everything out of trunk
[lttv.git] / verif / nico-md-merge / model.spin.trail
1 -2:5:-2
2 -4:-4:-4
3 1:0:165
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:165
29 27:7:31
30 28:0:165
31 29:7:36
32 30:7:37
33 31:0:165
34 32:7:43
35 33:7:44
36 34:7:48
37 35:7:52
38 36:7:56
39 37:0:165
40 38:8:0
41 39:8:6
42 40:8:7
43 41:0:165
44 42:8:13
45 43:8:14
46 44:0:165
47 45:8:18
48 46:8:21
49 47:0:165
50 48:8:29
51 49:0:165
52 50:8:30
53 51:0:165
54 52:7:58
55 53:7:59
56 54:7:62
57 55:7:72
58 56:7:73
59 57:0:165
60 58:7:77
61 59:7:79
62 60:0:165
63 61:7:81
64 62:0:165
65 63:6:31
66 64:0:165
67 65:6:36
68 66:6:37
69 67:0:165
70 68:6:43
71 69:6:44
72 70:6:48
73 71:6:52
74 72:6:56
75 73:0:165
76 74:6:58
77 75:6:59
78 76:6:62
79 77:6:70
80 78:0:165
81 79:6:77
82 80:6:79
83 81:0:165
84 82:6:81
85 83:0:165
86 84:5:31
87 85:0:165
88 86:5:36
89 87:5:37
90 88:0:165
91 89:5:43
92 90:5:44
93 91:5:48
94 92:5:52
95 93:5:56
96 94:0:165
97 95:5:58
98 96:5:59
99 97:5:62
100 98:5:72
101 99:5:73
102 100:0:165
103 101:5:77
104 102:5:79
105 103:0:165
106 104:5:81
107 105:0:165
108 106:4:31
109 107:0:165
110 108:4:34
111 109:4:78
112 110:4:79
113 111:0:163
114 112:4:81
115 113:0:169
116 114:6:52
This page took 0.031037 seconds and 4 git commands to generate.