O 3
P 5
S 1 boat
S 1 number
S 1 person
S 1 object
F 1 saved
N 3
S 1 d
F 1 x
F 1 y
SI 6
3 0
0 0
3 1
0 1
3 2
2 2
FI 0
NI 5
0 -3 -370
1 -1 3
2 -1 0
1 -2 7
2 -2 0
G 1
4 1 2
NG 0
M none
A 8
go_north_east 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 2
increase 2 0 1 c 1.5
increase 1 0 1 c 1.5
NA -
go_north_west 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 2
increase 2 0 1 c 1.5
decrease 1 0 1 c 1.5
NA -
go_est 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 1
increase 1 0 1 c 3
NA -
go_west 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 1
decrease 1 0 1 c 3
NA -
go_south_west 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 2
decrease 2 0 1 c 2
increase 1 0 1 c 2
NA -
go_south_east 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 2
decrease 2 0 1 c 2
decrease 1 0 1 c 2
NA -
go_south 1
L 2
3 1 0
0 1 0
NC 0
E 1
0
L 0
NC 0
F 0
NE 1
decrease 2 0 1 c 2
NA -
save_person 2
L 4
3 1 0
0 1 0
3 1 1
2 1 1
NC 4
>= 3 f 1 0 f 2 0 + 1 s 0 1
>= 3 f 2 0 f 1 0 - 1 s 0 1
<= 3 f 1 0 f 2 0 + 3 s 0 1 c 25 +
<= 3 f 2 0 f 1 0 - 3 s 0 1 c 25 +
E 1
0
L 0
NC 0
F 1
4 1 1
NE 0
NA -
X 0
