-
Notifications
You must be signed in to change notification settings - Fork 7
/
p-004-004-004-004.hddl
226 lines (216 loc) · 21.4 KB
/
p-004-004-004-004.hddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
(define (problem house)
(:domain minecraft)
(:objects
l-0-0-0 l-0-0-1 l-0-0-2 l-0-0-3 l-0-0-4
l-0-1-0 l-0-1-1 l-0-1-2 l-0-1-3 l-0-1-4
l-0-2-0 l-0-2-1 l-0-2-2 l-0-2-3 l-0-2-4
l-0-3-0 l-0-3-1 l-0-3-2 l-0-3-3 l-0-3-4
l-0-4-0 l-0-4-1 l-0-4-2 l-0-4-3 l-0-4-4
l-1-0-0 l-1-0-1 l-1-0-2 l-1-0-3 l-1-0-4
l-1-1-0 l-1-1-1 l-1-1-2 l-1-1-3 l-1-1-4
l-1-2-0 l-1-2-1 l-1-2-2 l-1-2-3 l-1-2-4
l-1-3-0 l-1-3-1 l-1-3-2 l-1-3-3 l-1-3-4
l-1-4-0 l-1-4-1 l-1-4-2 l-1-4-3 l-1-4-4
l-2-0-0 l-2-0-1 l-2-0-2 l-2-0-3 l-2-0-4
l-2-1-0 l-2-1-1 l-2-1-2 l-2-1-3 l-2-1-4
l-2-2-0 l-2-2-1 l-2-2-2 l-2-2-3 l-2-2-4
l-2-3-0 l-2-3-1 l-2-3-2 l-2-3-3 l-2-3-4
l-2-4-0 l-2-4-1 l-2-4-2 l-2-4-3 l-2-4-4
l-3-0-0 l-3-0-1 l-3-0-2 l-3-0-3 l-3-0-4
l-3-1-0 l-3-1-1 l-3-1-2 l-3-1-3 l-3-1-4
l-3-2-0 l-3-2-1 l-3-2-2 l-3-2-3 l-3-2-4
l-3-3-0 l-3-3-1 l-3-3-2 l-3-3-3 l-3-3-4
l-3-4-0 l-3-4-1 l-3-4-2 l-3-4-3 l-3-4-4
l-4-0-0 l-4-0-1 l-4-0-2 l-4-0-3 l-4-0-4
l-4-1-0 l-4-1-1 l-4-1-2 l-4-1-3 l-4-1-4
l-4-2-0 l-4-2-1 l-4-2-2 l-4-2-3 l-4-2-4
l-4-3-0 l-4-3-1 l-4-3-2 l-4-3-3 l-4-3-4
l-4-4-0 l-4-4-1 l-4-4-2 l-4-4-3 l-4-4-4
l-5-0-0 l-5-0-1 l-5-0-2 l-5-0-3 l-5-0-4
l-5-1-0 l-5-1-1 l-5-1-2 l-5-1-3 l-5-1-4
l-5-2-0 l-5-2-1 l-5-2-2 l-5-2-3 l-5-2-4
l-5-3-0 l-5-3-1 l-5-3-2 l-5-3-3 l-5-3-4
l-5-4-0 l-5-4-1 l-5-4-2 l-5-4-3 l-5-4-4
- location
wood stone earth
- blocktype
n0 n1 n2 n3 n4
- numbers
)
(:htn :parameters ()
:ordered-subtasks (and (buildhouse l-1-0-0 l-1-0-3 l-1-3-3 l-1-3-0 l-1-1-0 l-5-0-0 n4 n4 n4 stone)) )(:init
(neighbour l-0-0-0 l-0-0-1 e) (neighbour l-0-0-1 l-0-0-2 e) (neighbour l-0-0-2 l-0-0-3 e) (neighbour l-0-0-3 l-0-0-4 e)
(neighbour l-0-1-0 l-0-1-1 e) (neighbour l-0-1-1 l-0-1-2 e) (neighbour l-0-1-2 l-0-1-3 e) (neighbour l-0-1-3 l-0-1-4 e)
(neighbour l-0-2-0 l-0-2-1 e) (neighbour l-0-2-1 l-0-2-2 e) (neighbour l-0-2-2 l-0-2-3 e) (neighbour l-0-2-3 l-0-2-4 e)
(neighbour l-0-3-0 l-0-3-1 e) (neighbour l-0-3-1 l-0-3-2 e) (neighbour l-0-3-2 l-0-3-3 e) (neighbour l-0-3-3 l-0-3-4 e)
(neighbour l-0-4-0 l-0-4-1 e) (neighbour l-0-4-1 l-0-4-2 e) (neighbour l-0-4-2 l-0-4-3 e) (neighbour l-0-4-3 l-0-4-4 e)
(neighbour l-1-0-0 l-1-0-1 e) (neighbour l-1-0-1 l-1-0-2 e) (neighbour l-1-0-2 l-1-0-3 e) (neighbour l-1-0-3 l-1-0-4 e)
(neighbour l-1-1-0 l-1-1-1 e) (neighbour l-1-1-1 l-1-1-2 e) (neighbour l-1-1-2 l-1-1-3 e) (neighbour l-1-1-3 l-1-1-4 e)
(neighbour l-1-2-0 l-1-2-1 e) (neighbour l-1-2-1 l-1-2-2 e) (neighbour l-1-2-2 l-1-2-3 e) (neighbour l-1-2-3 l-1-2-4 e)
(neighbour l-1-3-0 l-1-3-1 e) (neighbour l-1-3-1 l-1-3-2 e) (neighbour l-1-3-2 l-1-3-3 e) (neighbour l-1-3-3 l-1-3-4 e)
(neighbour l-1-4-0 l-1-4-1 e) (neighbour l-1-4-1 l-1-4-2 e) (neighbour l-1-4-2 l-1-4-3 e) (neighbour l-1-4-3 l-1-4-4 e)
(neighbour l-2-0-0 l-2-0-1 e) (neighbour l-2-0-1 l-2-0-2 e) (neighbour l-2-0-2 l-2-0-3 e) (neighbour l-2-0-3 l-2-0-4 e)
(neighbour l-2-1-0 l-2-1-1 e) (neighbour l-2-1-1 l-2-1-2 e) (neighbour l-2-1-2 l-2-1-3 e) (neighbour l-2-1-3 l-2-1-4 e)
(neighbour l-2-2-0 l-2-2-1 e) (neighbour l-2-2-1 l-2-2-2 e) (neighbour l-2-2-2 l-2-2-3 e) (neighbour l-2-2-3 l-2-2-4 e)
(neighbour l-2-3-0 l-2-3-1 e) (neighbour l-2-3-1 l-2-3-2 e) (neighbour l-2-3-2 l-2-3-3 e) (neighbour l-2-3-3 l-2-3-4 e)
(neighbour l-2-4-0 l-2-4-1 e) (neighbour l-2-4-1 l-2-4-2 e) (neighbour l-2-4-2 l-2-4-3 e) (neighbour l-2-4-3 l-2-4-4 e)
(neighbour l-3-0-0 l-3-0-1 e) (neighbour l-3-0-1 l-3-0-2 e) (neighbour l-3-0-2 l-3-0-3 e) (neighbour l-3-0-3 l-3-0-4 e)
(neighbour l-3-1-0 l-3-1-1 e) (neighbour l-3-1-1 l-3-1-2 e) (neighbour l-3-1-2 l-3-1-3 e) (neighbour l-3-1-3 l-3-1-4 e)
(neighbour l-3-2-0 l-3-2-1 e) (neighbour l-3-2-1 l-3-2-2 e) (neighbour l-3-2-2 l-3-2-3 e) (neighbour l-3-2-3 l-3-2-4 e)
(neighbour l-3-3-0 l-3-3-1 e) (neighbour l-3-3-1 l-3-3-2 e) (neighbour l-3-3-2 l-3-3-3 e) (neighbour l-3-3-3 l-3-3-4 e)
(neighbour l-3-4-0 l-3-4-1 e) (neighbour l-3-4-1 l-3-4-2 e) (neighbour l-3-4-2 l-3-4-3 e) (neighbour l-3-4-3 l-3-4-4 e)
(neighbour l-4-0-0 l-4-0-1 e) (neighbour l-4-0-1 l-4-0-2 e) (neighbour l-4-0-2 l-4-0-3 e) (neighbour l-4-0-3 l-4-0-4 e)
(neighbour l-4-1-0 l-4-1-1 e) (neighbour l-4-1-1 l-4-1-2 e) (neighbour l-4-1-2 l-4-1-3 e) (neighbour l-4-1-3 l-4-1-4 e)
(neighbour l-4-2-0 l-4-2-1 e) (neighbour l-4-2-1 l-4-2-2 e) (neighbour l-4-2-2 l-4-2-3 e) (neighbour l-4-2-3 l-4-2-4 e)
(neighbour l-4-3-0 l-4-3-1 e) (neighbour l-4-3-1 l-4-3-2 e) (neighbour l-4-3-2 l-4-3-3 e) (neighbour l-4-3-3 l-4-3-4 e)
(neighbour l-4-4-0 l-4-4-1 e) (neighbour l-4-4-1 l-4-4-2 e) (neighbour l-4-4-2 l-4-4-3 e) (neighbour l-4-4-3 l-4-4-4 e)
(neighbour l-5-0-0 l-5-0-1 e) (neighbour l-5-0-1 l-5-0-2 e) (neighbour l-5-0-2 l-5-0-3 e) (neighbour l-5-0-3 l-5-0-4 e)
(neighbour l-5-1-0 l-5-1-1 e) (neighbour l-5-1-1 l-5-1-2 e) (neighbour l-5-1-2 l-5-1-3 e) (neighbour l-5-1-3 l-5-1-4 e)
(neighbour l-5-2-0 l-5-2-1 e) (neighbour l-5-2-1 l-5-2-2 e) (neighbour l-5-2-2 l-5-2-3 e) (neighbour l-5-2-3 l-5-2-4 e)
(neighbour l-5-3-0 l-5-3-1 e) (neighbour l-5-3-1 l-5-3-2 e) (neighbour l-5-3-2 l-5-3-3 e) (neighbour l-5-3-3 l-5-3-4 e)
(neighbour l-5-4-0 l-5-4-1 e) (neighbour l-5-4-1 l-5-4-2 e) (neighbour l-5-4-2 l-5-4-3 e) (neighbour l-5-4-3 l-5-4-4 e)
(neighbour l-0-0-1 l-0-0-0 w) (neighbour l-0-0-2 l-0-0-1 w) (neighbour l-0-0-3 l-0-0-2 w) (neighbour l-0-0-4 l-0-0-3 w)
(neighbour l-0-1-1 l-0-1-0 w) (neighbour l-0-1-2 l-0-1-1 w) (neighbour l-0-1-3 l-0-1-2 w) (neighbour l-0-1-4 l-0-1-3 w)
(neighbour l-0-2-1 l-0-2-0 w) (neighbour l-0-2-2 l-0-2-1 w) (neighbour l-0-2-3 l-0-2-2 w) (neighbour l-0-2-4 l-0-2-3 w)
(neighbour l-0-3-1 l-0-3-0 w) (neighbour l-0-3-2 l-0-3-1 w) (neighbour l-0-3-3 l-0-3-2 w) (neighbour l-0-3-4 l-0-3-3 w)
(neighbour l-0-4-1 l-0-4-0 w) (neighbour l-0-4-2 l-0-4-1 w) (neighbour l-0-4-3 l-0-4-2 w) (neighbour l-0-4-4 l-0-4-3 w)
(neighbour l-1-0-1 l-1-0-0 w) (neighbour l-1-0-2 l-1-0-1 w) (neighbour l-1-0-3 l-1-0-2 w) (neighbour l-1-0-4 l-1-0-3 w)
(neighbour l-1-1-1 l-1-1-0 w) (neighbour l-1-1-2 l-1-1-1 w) (neighbour l-1-1-3 l-1-1-2 w) (neighbour l-1-1-4 l-1-1-3 w)
(neighbour l-1-2-1 l-1-2-0 w) (neighbour l-1-2-2 l-1-2-1 w) (neighbour l-1-2-3 l-1-2-2 w) (neighbour l-1-2-4 l-1-2-3 w)
(neighbour l-1-3-1 l-1-3-0 w) (neighbour l-1-3-2 l-1-3-1 w) (neighbour l-1-3-3 l-1-3-2 w) (neighbour l-1-3-4 l-1-3-3 w)
(neighbour l-1-4-1 l-1-4-0 w) (neighbour l-1-4-2 l-1-4-1 w) (neighbour l-1-4-3 l-1-4-2 w) (neighbour l-1-4-4 l-1-4-3 w)
(neighbour l-2-0-1 l-2-0-0 w) (neighbour l-2-0-2 l-2-0-1 w) (neighbour l-2-0-3 l-2-0-2 w) (neighbour l-2-0-4 l-2-0-3 w)
(neighbour l-2-1-1 l-2-1-0 w) (neighbour l-2-1-2 l-2-1-1 w) (neighbour l-2-1-3 l-2-1-2 w) (neighbour l-2-1-4 l-2-1-3 w)
(neighbour l-2-2-1 l-2-2-0 w) (neighbour l-2-2-2 l-2-2-1 w) (neighbour l-2-2-3 l-2-2-2 w) (neighbour l-2-2-4 l-2-2-3 w)
(neighbour l-2-3-1 l-2-3-0 w) (neighbour l-2-3-2 l-2-3-1 w) (neighbour l-2-3-3 l-2-3-2 w) (neighbour l-2-3-4 l-2-3-3 w)
(neighbour l-2-4-1 l-2-4-0 w) (neighbour l-2-4-2 l-2-4-1 w) (neighbour l-2-4-3 l-2-4-2 w) (neighbour l-2-4-4 l-2-4-3 w)
(neighbour l-3-0-1 l-3-0-0 w) (neighbour l-3-0-2 l-3-0-1 w) (neighbour l-3-0-3 l-3-0-2 w) (neighbour l-3-0-4 l-3-0-3 w)
(neighbour l-3-1-1 l-3-1-0 w) (neighbour l-3-1-2 l-3-1-1 w) (neighbour l-3-1-3 l-3-1-2 w) (neighbour l-3-1-4 l-3-1-3 w)
(neighbour l-3-2-1 l-3-2-0 w) (neighbour l-3-2-2 l-3-2-1 w) (neighbour l-3-2-3 l-3-2-2 w) (neighbour l-3-2-4 l-3-2-3 w)
(neighbour l-3-3-1 l-3-3-0 w) (neighbour l-3-3-2 l-3-3-1 w) (neighbour l-3-3-3 l-3-3-2 w) (neighbour l-3-3-4 l-3-3-3 w)
(neighbour l-3-4-1 l-3-4-0 w) (neighbour l-3-4-2 l-3-4-1 w) (neighbour l-3-4-3 l-3-4-2 w) (neighbour l-3-4-4 l-3-4-3 w)
(neighbour l-4-0-1 l-4-0-0 w) (neighbour l-4-0-2 l-4-0-1 w) (neighbour l-4-0-3 l-4-0-2 w) (neighbour l-4-0-4 l-4-0-3 w)
(neighbour l-4-1-1 l-4-1-0 w) (neighbour l-4-1-2 l-4-1-1 w) (neighbour l-4-1-3 l-4-1-2 w) (neighbour l-4-1-4 l-4-1-3 w)
(neighbour l-4-2-1 l-4-2-0 w) (neighbour l-4-2-2 l-4-2-1 w) (neighbour l-4-2-3 l-4-2-2 w) (neighbour l-4-2-4 l-4-2-3 w)
(neighbour l-4-3-1 l-4-3-0 w) (neighbour l-4-3-2 l-4-3-1 w) (neighbour l-4-3-3 l-4-3-2 w) (neighbour l-4-3-4 l-4-3-3 w)
(neighbour l-4-4-1 l-4-4-0 w) (neighbour l-4-4-2 l-4-4-1 w) (neighbour l-4-4-3 l-4-4-2 w) (neighbour l-4-4-4 l-4-4-3 w)
(neighbour l-5-0-1 l-5-0-0 w) (neighbour l-5-0-2 l-5-0-1 w) (neighbour l-5-0-3 l-5-0-2 w) (neighbour l-5-0-4 l-5-0-3 w)
(neighbour l-5-1-1 l-5-1-0 w) (neighbour l-5-1-2 l-5-1-1 w) (neighbour l-5-1-3 l-5-1-2 w) (neighbour l-5-1-4 l-5-1-3 w)
(neighbour l-5-2-1 l-5-2-0 w) (neighbour l-5-2-2 l-5-2-1 w) (neighbour l-5-2-3 l-5-2-2 w) (neighbour l-5-2-4 l-5-2-3 w)
(neighbour l-5-3-1 l-5-3-0 w) (neighbour l-5-3-2 l-5-3-1 w) (neighbour l-5-3-3 l-5-3-2 w) (neighbour l-5-3-4 l-5-3-3 w)
(neighbour l-5-4-1 l-5-4-0 w) (neighbour l-5-4-2 l-5-4-1 w) (neighbour l-5-4-3 l-5-4-2 w) (neighbour l-5-4-4 l-5-4-3 w)
(neighbour l-0-0-0 l-0-1-0 n) (neighbour l-0-1-0 l-0-2-0 n) (neighbour l-0-2-0 l-0-3-0 n) (neighbour l-0-3-0 l-0-4-0 n)
(neighbour l-0-0-1 l-0-1-1 n) (neighbour l-0-1-1 l-0-2-1 n) (neighbour l-0-2-1 l-0-3-1 n) (neighbour l-0-3-1 l-0-4-1 n)
(neighbour l-0-0-2 l-0-1-2 n) (neighbour l-0-1-2 l-0-2-2 n) (neighbour l-0-2-2 l-0-3-2 n) (neighbour l-0-3-2 l-0-4-2 n)
(neighbour l-0-0-3 l-0-1-3 n) (neighbour l-0-1-3 l-0-2-3 n) (neighbour l-0-2-3 l-0-3-3 n) (neighbour l-0-3-3 l-0-4-3 n)
(neighbour l-0-0-4 l-0-1-4 n) (neighbour l-0-1-4 l-0-2-4 n) (neighbour l-0-2-4 l-0-3-4 n) (neighbour l-0-3-4 l-0-4-4 n)
(neighbour l-1-0-0 l-1-1-0 n) (neighbour l-1-1-0 l-1-2-0 n) (neighbour l-1-2-0 l-1-3-0 n) (neighbour l-1-3-0 l-1-4-0 n)
(neighbour l-1-0-1 l-1-1-1 n) (neighbour l-1-1-1 l-1-2-1 n) (neighbour l-1-2-1 l-1-3-1 n) (neighbour l-1-3-1 l-1-4-1 n)
(neighbour l-1-0-2 l-1-1-2 n) (neighbour l-1-1-2 l-1-2-2 n) (neighbour l-1-2-2 l-1-3-2 n) (neighbour l-1-3-2 l-1-4-2 n)
(neighbour l-1-0-3 l-1-1-3 n) (neighbour l-1-1-3 l-1-2-3 n) (neighbour l-1-2-3 l-1-3-3 n) (neighbour l-1-3-3 l-1-4-3 n)
(neighbour l-1-0-4 l-1-1-4 n) (neighbour l-1-1-4 l-1-2-4 n) (neighbour l-1-2-4 l-1-3-4 n) (neighbour l-1-3-4 l-1-4-4 n)
(neighbour l-2-0-0 l-2-1-0 n) (neighbour l-2-1-0 l-2-2-0 n) (neighbour l-2-2-0 l-2-3-0 n) (neighbour l-2-3-0 l-2-4-0 n)
(neighbour l-2-0-1 l-2-1-1 n) (neighbour l-2-1-1 l-2-2-1 n) (neighbour l-2-2-1 l-2-3-1 n) (neighbour l-2-3-1 l-2-4-1 n)
(neighbour l-2-0-2 l-2-1-2 n) (neighbour l-2-1-2 l-2-2-2 n) (neighbour l-2-2-2 l-2-3-2 n) (neighbour l-2-3-2 l-2-4-2 n)
(neighbour l-2-0-3 l-2-1-3 n) (neighbour l-2-1-3 l-2-2-3 n) (neighbour l-2-2-3 l-2-3-3 n) (neighbour l-2-3-3 l-2-4-3 n)
(neighbour l-2-0-4 l-2-1-4 n) (neighbour l-2-1-4 l-2-2-4 n) (neighbour l-2-2-4 l-2-3-4 n) (neighbour l-2-3-4 l-2-4-4 n)
(neighbour l-3-0-0 l-3-1-0 n) (neighbour l-3-1-0 l-3-2-0 n) (neighbour l-3-2-0 l-3-3-0 n) (neighbour l-3-3-0 l-3-4-0 n)
(neighbour l-3-0-1 l-3-1-1 n) (neighbour l-3-1-1 l-3-2-1 n) (neighbour l-3-2-1 l-3-3-1 n) (neighbour l-3-3-1 l-3-4-1 n)
(neighbour l-3-0-2 l-3-1-2 n) (neighbour l-3-1-2 l-3-2-2 n) (neighbour l-3-2-2 l-3-3-2 n) (neighbour l-3-3-2 l-3-4-2 n)
(neighbour l-3-0-3 l-3-1-3 n) (neighbour l-3-1-3 l-3-2-3 n) (neighbour l-3-2-3 l-3-3-3 n) (neighbour l-3-3-3 l-3-4-3 n)
(neighbour l-3-0-4 l-3-1-4 n) (neighbour l-3-1-4 l-3-2-4 n) (neighbour l-3-2-4 l-3-3-4 n) (neighbour l-3-3-4 l-3-4-4 n)
(neighbour l-4-0-0 l-4-1-0 n) (neighbour l-4-1-0 l-4-2-0 n) (neighbour l-4-2-0 l-4-3-0 n) (neighbour l-4-3-0 l-4-4-0 n)
(neighbour l-4-0-1 l-4-1-1 n) (neighbour l-4-1-1 l-4-2-1 n) (neighbour l-4-2-1 l-4-3-1 n) (neighbour l-4-3-1 l-4-4-1 n)
(neighbour l-4-0-2 l-4-1-2 n) (neighbour l-4-1-2 l-4-2-2 n) (neighbour l-4-2-2 l-4-3-2 n) (neighbour l-4-3-2 l-4-4-2 n)
(neighbour l-4-0-3 l-4-1-3 n) (neighbour l-4-1-3 l-4-2-3 n) (neighbour l-4-2-3 l-4-3-3 n) (neighbour l-4-3-3 l-4-4-3 n)
(neighbour l-4-0-4 l-4-1-4 n) (neighbour l-4-1-4 l-4-2-4 n) (neighbour l-4-2-4 l-4-3-4 n) (neighbour l-4-3-4 l-4-4-4 n)
(neighbour l-5-0-0 l-5-1-0 n) (neighbour l-5-1-0 l-5-2-0 n) (neighbour l-5-2-0 l-5-3-0 n) (neighbour l-5-3-0 l-5-4-0 n)
(neighbour l-5-0-1 l-5-1-1 n) (neighbour l-5-1-1 l-5-2-1 n) (neighbour l-5-2-1 l-5-3-1 n) (neighbour l-5-3-1 l-5-4-1 n)
(neighbour l-5-0-2 l-5-1-2 n) (neighbour l-5-1-2 l-5-2-2 n) (neighbour l-5-2-2 l-5-3-2 n) (neighbour l-5-3-2 l-5-4-2 n)
(neighbour l-5-0-3 l-5-1-3 n) (neighbour l-5-1-3 l-5-2-3 n) (neighbour l-5-2-3 l-5-3-3 n) (neighbour l-5-3-3 l-5-4-3 n)
(neighbour l-5-0-4 l-5-1-4 n) (neighbour l-5-1-4 l-5-2-4 n) (neighbour l-5-2-4 l-5-3-4 n) (neighbour l-5-3-4 l-5-4-4 n)
(neighbour l-0-1-0 l-0-0-0 s) (neighbour l-0-2-0 l-0-1-0 s) (neighbour l-0-3-0 l-0-2-0 s) (neighbour l-0-4-0 l-0-3-0 s)
(neighbour l-0-1-1 l-0-0-1 s) (neighbour l-0-2-1 l-0-1-1 s) (neighbour l-0-3-1 l-0-2-1 s) (neighbour l-0-4-1 l-0-3-1 s)
(neighbour l-0-1-2 l-0-0-2 s) (neighbour l-0-2-2 l-0-1-2 s) (neighbour l-0-3-2 l-0-2-2 s) (neighbour l-0-4-2 l-0-3-2 s)
(neighbour l-0-1-3 l-0-0-3 s) (neighbour l-0-2-3 l-0-1-3 s) (neighbour l-0-3-3 l-0-2-3 s) (neighbour l-0-4-3 l-0-3-3 s)
(neighbour l-0-1-4 l-0-0-4 s) (neighbour l-0-2-4 l-0-1-4 s) (neighbour l-0-3-4 l-0-2-4 s) (neighbour l-0-4-4 l-0-3-4 s)
(neighbour l-1-1-0 l-1-0-0 s) (neighbour l-1-2-0 l-1-1-0 s) (neighbour l-1-3-0 l-1-2-0 s) (neighbour l-1-4-0 l-1-3-0 s)
(neighbour l-1-1-1 l-1-0-1 s) (neighbour l-1-2-1 l-1-1-1 s) (neighbour l-1-3-1 l-1-2-1 s) (neighbour l-1-4-1 l-1-3-1 s)
(neighbour l-1-1-2 l-1-0-2 s) (neighbour l-1-2-2 l-1-1-2 s) (neighbour l-1-3-2 l-1-2-2 s) (neighbour l-1-4-2 l-1-3-2 s)
(neighbour l-1-1-3 l-1-0-3 s) (neighbour l-1-2-3 l-1-1-3 s) (neighbour l-1-3-3 l-1-2-3 s) (neighbour l-1-4-3 l-1-3-3 s)
(neighbour l-1-1-4 l-1-0-4 s) (neighbour l-1-2-4 l-1-1-4 s) (neighbour l-1-3-4 l-1-2-4 s) (neighbour l-1-4-4 l-1-3-4 s)
(neighbour l-2-1-0 l-2-0-0 s) (neighbour l-2-2-0 l-2-1-0 s) (neighbour l-2-3-0 l-2-2-0 s) (neighbour l-2-4-0 l-2-3-0 s)
(neighbour l-2-1-1 l-2-0-1 s) (neighbour l-2-2-1 l-2-1-1 s) (neighbour l-2-3-1 l-2-2-1 s) (neighbour l-2-4-1 l-2-3-1 s)
(neighbour l-2-1-2 l-2-0-2 s) (neighbour l-2-2-2 l-2-1-2 s) (neighbour l-2-3-2 l-2-2-2 s) (neighbour l-2-4-2 l-2-3-2 s)
(neighbour l-2-1-3 l-2-0-3 s) (neighbour l-2-2-3 l-2-1-3 s) (neighbour l-2-3-3 l-2-2-3 s) (neighbour l-2-4-3 l-2-3-3 s)
(neighbour l-2-1-4 l-2-0-4 s) (neighbour l-2-2-4 l-2-1-4 s) (neighbour l-2-3-4 l-2-2-4 s) (neighbour l-2-4-4 l-2-3-4 s)
(neighbour l-3-1-0 l-3-0-0 s) (neighbour l-3-2-0 l-3-1-0 s) (neighbour l-3-3-0 l-3-2-0 s) (neighbour l-3-4-0 l-3-3-0 s)
(neighbour l-3-1-1 l-3-0-1 s) (neighbour l-3-2-1 l-3-1-1 s) (neighbour l-3-3-1 l-3-2-1 s) (neighbour l-3-4-1 l-3-3-1 s)
(neighbour l-3-1-2 l-3-0-2 s) (neighbour l-3-2-2 l-3-1-2 s) (neighbour l-3-3-2 l-3-2-2 s) (neighbour l-3-4-2 l-3-3-2 s)
(neighbour l-3-1-3 l-3-0-3 s) (neighbour l-3-2-3 l-3-1-3 s) (neighbour l-3-3-3 l-3-2-3 s) (neighbour l-3-4-3 l-3-3-3 s)
(neighbour l-3-1-4 l-3-0-4 s) (neighbour l-3-2-4 l-3-1-4 s) (neighbour l-3-3-4 l-3-2-4 s) (neighbour l-3-4-4 l-3-3-4 s)
(neighbour l-4-1-0 l-4-0-0 s) (neighbour l-4-2-0 l-4-1-0 s) (neighbour l-4-3-0 l-4-2-0 s) (neighbour l-4-4-0 l-4-3-0 s)
(neighbour l-4-1-1 l-4-0-1 s) (neighbour l-4-2-1 l-4-1-1 s) (neighbour l-4-3-1 l-4-2-1 s) (neighbour l-4-4-1 l-4-3-1 s)
(neighbour l-4-1-2 l-4-0-2 s) (neighbour l-4-2-2 l-4-1-2 s) (neighbour l-4-3-2 l-4-2-2 s) (neighbour l-4-4-2 l-4-3-2 s)
(neighbour l-4-1-3 l-4-0-3 s) (neighbour l-4-2-3 l-4-1-3 s) (neighbour l-4-3-3 l-4-2-3 s) (neighbour l-4-4-3 l-4-3-3 s)
(neighbour l-4-1-4 l-4-0-4 s) (neighbour l-4-2-4 l-4-1-4 s) (neighbour l-4-3-4 l-4-2-4 s) (neighbour l-4-4-4 l-4-3-4 s)
(neighbour l-5-1-0 l-5-0-0 s) (neighbour l-5-2-0 l-5-1-0 s) (neighbour l-5-3-0 l-5-2-0 s) (neighbour l-5-4-0 l-5-3-0 s)
(neighbour l-5-1-1 l-5-0-1 s) (neighbour l-5-2-1 l-5-1-1 s) (neighbour l-5-3-1 l-5-2-1 s) (neighbour l-5-4-1 l-5-3-1 s)
(neighbour l-5-1-2 l-5-0-2 s) (neighbour l-5-2-2 l-5-1-2 s) (neighbour l-5-3-2 l-5-2-2 s) (neighbour l-5-4-2 l-5-3-2 s)
(neighbour l-5-1-3 l-5-0-3 s) (neighbour l-5-2-3 l-5-1-3 s) (neighbour l-5-3-3 l-5-2-3 s) (neighbour l-5-4-3 l-5-3-3 s)
(neighbour l-5-1-4 l-5-0-4 s) (neighbour l-5-2-4 l-5-1-4 s) (neighbour l-5-3-4 l-5-2-4 s) (neighbour l-5-4-4 l-5-3-4 s)
(on-top l-0-0-0 l-1-0-0) (on-top l-1-0-0 l-2-0-0) (on-top l-2-0-0 l-3-0-0) (on-top l-3-0-0 l-4-0-0) (on-top l-4-0-0 l-5-0-0)
(on-top l-0-0-1 l-1-0-1) (on-top l-1-0-1 l-2-0-1) (on-top l-2-0-1 l-3-0-1) (on-top l-3-0-1 l-4-0-1) (on-top l-4-0-1 l-5-0-1)
(on-top l-0-0-2 l-1-0-2) (on-top l-1-0-2 l-2-0-2) (on-top l-2-0-2 l-3-0-2) (on-top l-3-0-2 l-4-0-2) (on-top l-4-0-2 l-5-0-2)
(on-top l-0-0-3 l-1-0-3) (on-top l-1-0-3 l-2-0-3) (on-top l-2-0-3 l-3-0-3) (on-top l-3-0-3 l-4-0-3) (on-top l-4-0-3 l-5-0-3)
(on-top l-0-0-4 l-1-0-4) (on-top l-1-0-4 l-2-0-4) (on-top l-2-0-4 l-3-0-4) (on-top l-3-0-4 l-4-0-4) (on-top l-4-0-4 l-5-0-4)
(on-top l-0-1-0 l-1-1-0) (on-top l-1-1-0 l-2-1-0) (on-top l-2-1-0 l-3-1-0) (on-top l-3-1-0 l-4-1-0) (on-top l-4-1-0 l-5-1-0)
(on-top l-0-1-1 l-1-1-1) (on-top l-1-1-1 l-2-1-1) (on-top l-2-1-1 l-3-1-1) (on-top l-3-1-1 l-4-1-1) (on-top l-4-1-1 l-5-1-1)
(on-top l-0-1-2 l-1-1-2) (on-top l-1-1-2 l-2-1-2) (on-top l-2-1-2 l-3-1-2) (on-top l-3-1-2 l-4-1-2) (on-top l-4-1-2 l-5-1-2)
(on-top l-0-1-3 l-1-1-3) (on-top l-1-1-3 l-2-1-3) (on-top l-2-1-3 l-3-1-3) (on-top l-3-1-3 l-4-1-3) (on-top l-4-1-3 l-5-1-3)
(on-top l-0-1-4 l-1-1-4) (on-top l-1-1-4 l-2-1-4) (on-top l-2-1-4 l-3-1-4) (on-top l-3-1-4 l-4-1-4) (on-top l-4-1-4 l-5-1-4)
(on-top l-0-2-0 l-1-2-0) (on-top l-1-2-0 l-2-2-0) (on-top l-2-2-0 l-3-2-0) (on-top l-3-2-0 l-4-2-0) (on-top l-4-2-0 l-5-2-0)
(on-top l-0-2-1 l-1-2-1) (on-top l-1-2-1 l-2-2-1) (on-top l-2-2-1 l-3-2-1) (on-top l-3-2-1 l-4-2-1) (on-top l-4-2-1 l-5-2-1)
(on-top l-0-2-2 l-1-2-2) (on-top l-1-2-2 l-2-2-2) (on-top l-2-2-2 l-3-2-2) (on-top l-3-2-2 l-4-2-2) (on-top l-4-2-2 l-5-2-2)
(on-top l-0-2-3 l-1-2-3) (on-top l-1-2-3 l-2-2-3) (on-top l-2-2-3 l-3-2-3) (on-top l-3-2-3 l-4-2-3) (on-top l-4-2-3 l-5-2-3)
(on-top l-0-2-4 l-1-2-4) (on-top l-1-2-4 l-2-2-4) (on-top l-2-2-4 l-3-2-4) (on-top l-3-2-4 l-4-2-4) (on-top l-4-2-4 l-5-2-4)
(on-top l-0-3-0 l-1-3-0) (on-top l-1-3-0 l-2-3-0) (on-top l-2-3-0 l-3-3-0) (on-top l-3-3-0 l-4-3-0) (on-top l-4-3-0 l-5-3-0)
(on-top l-0-3-1 l-1-3-1) (on-top l-1-3-1 l-2-3-1) (on-top l-2-3-1 l-3-3-1) (on-top l-3-3-1 l-4-3-1) (on-top l-4-3-1 l-5-3-1)
(on-top l-0-3-2 l-1-3-2) (on-top l-1-3-2 l-2-3-2) (on-top l-2-3-2 l-3-3-2) (on-top l-3-3-2 l-4-3-2) (on-top l-4-3-2 l-5-3-2)
(on-top l-0-3-3 l-1-3-3) (on-top l-1-3-3 l-2-3-3) (on-top l-2-3-3 l-3-3-3) (on-top l-3-3-3 l-4-3-3) (on-top l-4-3-3 l-5-3-3)
(on-top l-0-3-4 l-1-3-4) (on-top l-1-3-4 l-2-3-4) (on-top l-2-3-4 l-3-3-4) (on-top l-3-3-4 l-4-3-4) (on-top l-4-3-4 l-5-3-4)
(on-top l-0-4-0 l-1-4-0) (on-top l-1-4-0 l-2-4-0) (on-top l-2-4-0 l-3-4-0) (on-top l-3-4-0 l-4-4-0) (on-top l-4-4-0 l-5-4-0)
(on-top l-0-4-1 l-1-4-1) (on-top l-1-4-1 l-2-4-1) (on-top l-2-4-1 l-3-4-1) (on-top l-3-4-1 l-4-4-1) (on-top l-4-4-1 l-5-4-1)
(on-top l-0-4-2 l-1-4-2) (on-top l-1-4-2 l-2-4-2) (on-top l-2-4-2 l-3-4-2) (on-top l-3-4-2 l-4-4-2) (on-top l-4-4-2 l-5-4-2)
(on-top l-0-4-3 l-1-4-3) (on-top l-1-4-3 l-2-4-3) (on-top l-2-4-3 l-3-4-3) (on-top l-3-4-3 l-4-4-3) (on-top l-4-4-3 l-5-4-3)
(on-top l-0-4-4 l-1-4-4) (on-top l-1-4-4 l-2-4-4) (on-top l-2-4-4 l-3-4-4) (on-top l-3-4-4 l-4-4-4) (on-top l-4-4-4 l-5-4-4)
(blockat l-0-0-0 earth) (blockat l-0-0-1 earth) (blockat l-0-0-2 earth) (blockat l-0-0-3 earth) (blockat l-0-0-4 earth) (blockat l-0-1-0 earth) (blockat l-0-1-1 earth) (blockat l-0-1-2 earth) (blockat l-0-1-3 earth) (blockat l-0-1-4 earth) (blockat l-0-2-0 earth) (blockat l-0-2-1 earth) (blockat l-0-2-2 earth) (blockat l-0-2-3 earth) (blockat l-0-2-4 earth) (blockat l-0-3-0 earth) (blockat l-0-3-1 earth) (blockat l-0-3-2 earth) (blockat l-0-3-3 earth) (blockat l-0-3-4 earth) (blockat l-0-4-0 earth) (blockat l-0-4-1 earth) (blockat l-0-4-2 earth) (blockat l-0-4-3 earth) (blockat l-0-4-4 earth)
(empty l-1-0-0) (empty l-1-0-1) (empty l-1-0-2) (empty l-1-0-3) (empty l-1-0-4)
(empty l-1-1-0) (empty l-1-1-1) (empty l-1-1-2) (empty l-1-1-3) (empty l-1-1-4)
(empty l-1-2-0) (empty l-1-2-1) (empty l-1-2-2) (empty l-1-2-3) (empty l-1-2-4)
(empty l-1-3-0) (empty l-1-3-1) (empty l-1-3-2) (empty l-1-3-3) (empty l-1-3-4)
(empty l-1-4-0) (empty l-1-4-1) (empty l-1-4-2) (empty l-1-4-3) (empty l-1-4-4)
(empty l-2-0-0) (empty l-2-0-1) (empty l-2-0-2) (empty l-2-0-3) (empty l-2-0-4)
(empty l-2-1-0) (empty l-2-1-1) (empty l-2-1-2) (empty l-2-1-3) (empty l-2-1-4)
(empty l-2-2-0) (empty l-2-2-1) (empty l-2-2-2) (empty l-2-2-3) (empty l-2-2-4)
(empty l-2-3-0) (empty l-2-3-1) (empty l-2-3-2) (empty l-2-3-3) (empty l-2-3-4)
(empty l-2-4-0) (empty l-2-4-1) (empty l-2-4-2) (empty l-2-4-3) (empty l-2-4-4)
(empty l-3-0-0) (empty l-3-0-1) (empty l-3-0-2) (empty l-3-0-3) (empty l-3-0-4)
(empty l-3-1-0) (empty l-3-1-1) (empty l-3-1-2) (empty l-3-1-3) (empty l-3-1-4)
(empty l-3-2-0) (empty l-3-2-1) (empty l-3-2-2) (empty l-3-2-3) (empty l-3-2-4)
(empty l-3-3-0) (empty l-3-3-1) (empty l-3-3-2) (empty l-3-3-3) (empty l-3-3-4)
(empty l-3-4-0) (empty l-3-4-1) (empty l-3-4-2) (empty l-3-4-3) (empty l-3-4-4)
(empty l-4-0-0) (empty l-4-0-1) (empty l-4-0-2) (empty l-4-0-3) (empty l-4-0-4)
(empty l-4-1-0) (empty l-4-1-1) (empty l-4-1-2) (empty l-4-1-3) (empty l-4-1-4)
(empty l-4-2-0) (empty l-4-2-1) (empty l-4-2-2) (empty l-4-2-3) (empty l-4-2-4)
(empty l-4-3-0) (empty l-4-3-1) (empty l-4-3-2) (empty l-4-3-3) (empty l-4-3-4)
(empty l-4-4-0) (empty l-4-4-1) (empty l-4-4-2) (empty l-4-4-3) (empty l-4-4-4)
(empty l-5-0-0) (empty l-5-0-1) (empty l-5-0-2) (empty l-5-0-3) (empty l-5-0-4)
(empty l-5-1-0) (empty l-5-1-1) (empty l-5-1-2) (empty l-5-1-3) (empty l-5-1-4)
(empty l-5-2-0) (empty l-5-2-1) (empty l-5-2-2) (empty l-5-2-3) (empty l-5-2-4)
(empty l-5-3-0) (empty l-5-3-1) (empty l-5-3-2) (empty l-5-3-3) (empty l-5-3-4)
(empty l-5-4-0) (empty l-5-4-1) (empty l-5-4-2) (empty l-5-4-3) (empty l-5-4-4)
(isone n1)
(prev n1 n0) (prev n2 n1) (prev n3 n2) (prev n4 n3)
)
)