move everything out of trunk

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

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