move everything out of trunk

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

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