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