O 2
P 4
S 1 location
S 1 number
S 1 object
F 1 visited
N 14
S 1 xl
S 1 yl
S 1 zl
S 0 battery-level-full
S 0 min_x
S 0 max_x
S 0 min_y
S 0 max_y
S 0 min_z
S 0 max_z
F 0 x
F 0 y
F 0 z
F 0 battery-level
SI 4
2 0
0 0
2 1
0 1
FI 0
NI 17
4 0
5 1
6 0
7 1
8 0
9 2
0 -1 0
1 -1 0
2 -1 0
0 -2 0
1 -2 0
2 -2 1
3 9
10 0
11 0
12 0
13 9
G 2
3 1 0
3 1 1
NG 3
= 1 f 10 1 c 0
= 1 f 11 1 c 0
= 1 f 12 1 c 0
M none
A 8
increase_x 0
L 0
NC 4
>= 1 f 13 1 c 1
<= 1 f 10 3 s 5 c 1 -
>= 1 f 13 1 c 1
<= 1 f 10 3 s 5 c 1 -
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
increase 10 1 c 1
NA -
decrease_x 0
L 0
NC 4
>= 1 f 13 1 c 1
>= 1 f 10 3 c 1 s 4 +
>= 1 f 13 1 c 1
>= 1 f 10 3 c 1 s 4 +
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
decrease 10 1 c 1
NA -
increase_y 0
L 0
NC 4
>= 1 f 13 1 c 1
<= 1 f 11 3 s 7 c 1 -
>= 1 f 13 1 c 1
<= 1 f 11 3 s 7 c 1 -
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
increase 11 1 c 1
NA -
decrease_y 0
L 0
NC 4
>= 1 f 13 1 c 1
>= 1 f 11 3 c 1 s 6 +
>= 1 f 13 1 c 1
>= 1 f 11 3 c 1 s 6 +
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
decrease 11 1 c 1
NA -
increase_z 0
L 0
NC 4
>= 1 f 13 1 c 1
<= 1 f 12 3 s 9 c 1 -
>= 1 f 13 1 c 1
<= 1 f 12 3 s 9 c 1 -
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
increase 12 1 c 1
NA -
decrease_z 0
L 0
NC 4
>= 1 f 13 1 c 1
>= 1 f 12 3 c 1 s 8 +
>= 1 f 13 1 c 1
>= 1 f 12 3 c 1 s 8 +
E 1
0
L 0
NC 0
F 0
NE 2
decrease 13 1 c 1
decrease 12 1 c 1
NA -
visit 1
L 2
2 1 0
0 1 0
NC 5
>= 1 f 13 1 c 1
= 1 s 0 0 1 f 10
= 1 s 1 0 1 f 11
= 1 s 2 0 1 f 12
>= 1 f 13 1 c 1
E 1
0
L 0
NC 0
F 1
3 1 0
NE 1
decrease 13 1 c 1
NA -
recharge 0
L 0
NC 6
= 1 f 10 1 c 0
= 1 f 11 1 c 0
= 1 f 12 1 c 0
= 1 f 10 1 c 0
= 1 f 11 1 c 0
= 1 f 12 1 c 0
E 1
0
L 0
NC 0
F 0
NE 1
assign 13 1 s 3
NA -
X 0
