move everything out of trunk

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

diff --git a/verif/nico/model.spin.trail b/verif/nico/model.spin.trail
new file mode 100755 (executable)
index 0000000..a930eaf
--- /dev/null
+++ b/verif/nico/model.spin.trail
@@ -0,0 +1,174 @@
+-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