O 14
P 34
S 1 lander
S 1 mode
S 1 objective
S 1 store
S 1 waypoint
S 1 rover
S 1 camera
S 1 number
S 1 object
S 2 at_lander
S 3 can_traverse
S 1 equipped_for_soil_analysis
S 1 equipped_for_rock_analysis
S 1 equipped_for_imaging
S 2 supports
S 2 visible
S 2 visible_from
S 2 store_of
S 2 calibration_target
S 2 on_board
F 2 at
F 1 empty
F 2 have_rock_analysis
F 2 have_soil_analysis
F 1 full
F 2 calibrated
F 1 available
F 3 have_image
F 1 communicated_soil_data
F 1 communicated_rock_data
F 2 communicated_image_data
F 1 at_soil_sample
F 1 at_rock_sample
F 1 channel_free
SI 63
8 0
0 0
8 1
1 1
8 2
1 2
8 3
1 3
8 4
5 4
8 5
3 5
8 6
4 6
8 7
4 7
8 8
4 8
8 9
4 9
8 10
6 10
8 11
6 11
8 12
2 12
8 13
2 13
15 6 7
15 7 6
15 7 8
15 8 7
15 7 9
15 9 7
15 8 6
15 6 8
15 8 9
15 9 8
15 9 6
15 6 9
9 0 7
17 5 4
11 4
12 4
13 4
10 4 6 7
10 4 7 6
10 4 6 8
10 4 8 6
10 4 6 9
10 4 9 6
19 10 4
18 10 12
14 10 1
14 10 2
14 10 3
19 11 4
18 11 13
14 11 2
16 12 6
16 13 6
16 13 7
16 13 8
FI 6
31 6
32 6
33 0
20 4 6
26 4
21 5
G 3
28 1 6
29 1 6
30 1 13 3
A 9
navigate 3
L 10
8 1 0
5 1 0
8 1 1
4 1 1
8 1 2
4 1 2
10 1 0 1 2
15 1 1 2
26 1 0
20 1 0 1
E 1
0
L 0
F 2
20 0 0 1
20 1 0 2
sample_soil 3
L 11
8 1 0
5 1 0
8 1 1
3 1 1
8 1 2
4 1 2
11 1 0
17 1 1 0
20 1 0 2
31 1 2
21 1 1
E 1
0
L 0
F 4
21 0 1
24 1 1
23 1 0 2
31 0 2
sample_rock 3
L 11
8 1 0
5 1 0
8 1 1
3 1 1
8 1 2
4 1 2
17 1 1 0
12 1 0
20 1 0 2
21 1 1
32 1 2
E 1
0
L 0
F 4
21 0 1
24 1 1
22 1 0 2
32 0 2
drop 2
L 6
8 1 0
5 1 0
8 1 1
3 1 1
17 1 1 0
24 1 1
E 1
0
L 0
F 2
24 0 1
21 1 1
calibrate 4
L 13
8 1 0
5 1 0
8 1 1
6 1 1
8 1 2
2 1 2
8 1 3
4 1 3
13 1 0
18 1 1 2
16 1 2 3
19 1 1 0
20 1 0 3
E 1
0
L 0
F 1
25 1 1 0
take_image 5
L 16
8 1 0
5 1 0
13 1 0
8 1 1
4 1 1
8 1 3
6 1 3
19 1 3 0
8 1 2
2 1 2
8 1 4
1 1 4
14 1 3 4
16 1 2 1
25 1 3 0
20 1 0 1
E 1
0
L 0
F 2
27 1 0 2 4
25 0 3 0
communicate_soil_data 5
L 16
8 1 2
4 1 2
8 1 0
5 1 0
8 1 3
8 1 4
4 1 4
8 1 1
0 1 1
4 1 3
9 1 1 4
15 1 3 4
20 1 0 3
23 1 0 2
26 1 0
33 1 1
E 1
0
L 0
F 5
26 1 0
33 1 1
26 0 0
33 0 1
28 1 2
communicate_rock_data 5
L 16
8 1 2
4 1 2
8 1 0
5 1 0
8 1 3
8 1 4
4 1 4
8 1 1
0 1 1
4 1 3
9 1 1 4
15 1 3 4
20 1 0 3
26 1 0
33 1 1
22 1 0 2
E 1
0
L 0
F 5
26 1 0
33 1 1
26 0 0
33 0 1
29 1 2
communicate_image_data 6
L 18
8 1 0
5 1 0
8 1 2
2 1 2
8 1 1
0 1 1
8 1 4
8 1 5
4 1 5
8 1 3
1 1 3
4 1 4
9 1 1 5
15 1 4 5
26 1 0
33 1 1
27 1 0 2 3
20 1 0 4
E 1
0
L 0
F 5
26 1 0
33 1 1
26 0 0
33 0 1
30 1 2 3
X 0
