0
begin_variables
7
var6 3 -1
var5 3 -1
var4 3 -1
var3 4 -1
var2 4 -1
var1 4 -1
var0 16 -1
end_variables
begin_state
0
1
0
2
0
0
11
end_state
begin_goal
1
6 4
end_goal
54
begin_operator
drive truck1 c1l1 c1l2
0
1
0
3 2 0
end_operator
begin_operator
drive truck1 c1l1 c1l3
0
1
0
3 2 1
end_operator
begin_operator
drive truck2 c2l2 c2l1
0
1
0
5 0 1
end_operator
begin_operator
drive truck2 c2l2 c2l3
0
1
0
5 0 2
end_operator
begin_operator
drive truck3 c3l3 c3l2
0
1
0
4 0 2
end_operator
begin_operator
drive truck3 c3l3 c3l1
0
1
0
4 0 1
end_operator
begin_operator
fly plane1 c1l3 c2l1
0
1
0
0 0 1
end_operator
begin_operator
fly plane3 c3l2 c1l2
0
1
0
1 1 0
end_operator
begin_operator
fly plane2 c2l2 c3l1
0
1
0
2 0 1
end_operator
begin_operator
drive truck1 c1l2 c1l1
0
1
0
3 0 2
end_operator
begin_operator
drive truck1 c1l2 c1l3
0
1
0
3 0 1
end_operator
begin_operator
drive truck1 c1l3 c1l2
0
1
0
3 1 0
end_operator
begin_operator
drive truck1 c1l3 c1l1
0
1
0
3 1 2
end_operator
begin_operator
drive truck2 c2l1 c2l2
0
1
0
5 1 0
end_operator
begin_operator
drive truck2 c2l1 c2l3
0
1
0
5 1 2
end_operator
begin_operator
drive truck2 c2l3 c2l2
0
1
0
5 2 0
end_operator
begin_operator
drive truck2 c2l3 c2l1
0
1
0
5 2 1
end_operator
begin_operator
drive truck3 c3l2 c3l1
0
1
0
4 2 1
end_operator
begin_operator
drive truck3 c3l2 c3l3
0
1
0
4 2 0
end_operator
begin_operator
drive truck3 c3l1 c3l2
0
1
0
4 1 2
end_operator
begin_operator
drive truck3 c3l1 c3l3
0
1
0
4 1 0
end_operator
begin_operator
fly plane1 c2l1 c1l3
0
1
0
0 1 0
end_operator
begin_operator
fly plane3 c1l2 c3l2
0
1
0
1 0 1
end_operator
begin_operator
fly plane2 c3l1 c2l2
0
1
0
2 1 0
end_operator
begin_operator
load-truck package1 truck1 c1l2
1
3 0
1
0
6 11 2
end_operator
begin_operator
load-plane package1 plane3 c1l2
1
1 0
1
0
6 11 1
end_operator
begin_operator
unload-truck package1 truck1 c1l1
1
3 2
1
0
6 2 14
end_operator
begin_operator
unload-truck package1 truck1 c1l2
1
3 0
1
0
6 2 11
end_operator
begin_operator
unload-truck package1 truck1 c1l3
1
3 1
1
0
6 2 7
end_operator
begin_operator
unload-plane package1 plane3 c3l2
1
1 1
1
0
6 1 10
end_operator
begin_operator
unload-plane package1 plane3 c1l2
1
1 0
1
0
6 1 11
end_operator
begin_operator
load-truck package1 truck1 c1l1
1
3 2
1
0
6 14 2
end_operator
begin_operator
load-truck package1 truck1 c1l3
1
3 1
1
0
6 7 2
end_operator
begin_operator
load-plane package1 plane1 c1l3
1
0 0
1
0
6 7 9
end_operator
begin_operator
load-truck package1 truck3 c3l2
1
4 2
1
0
6 10 12
end_operator
begin_operator
load-plane package1 plane3 c3l2
1
1 1
1
0
6 10 1
end_operator
begin_operator
unload-plane package1 plane1 c1l3
1
0 0
1
0
6 9 7
end_operator
begin_operator
unload-plane package1 plane1 c2l1
1
0 1
1
0
6 9 0
end_operator
begin_operator
unload-truck package1 truck3 c3l3
1
4 0
1
0
6 12 6
end_operator
begin_operator
unload-truck package1 truck3 c3l2
1
4 2
1
0
6 12 10
end_operator
begin_operator
unload-truck package1 truck3 c3l1
1
4 1
1
0
6 12 3
end_operator
begin_operator
load-truck package1 truck2 c2l1
1
5 1
1
0
6 0 8
end_operator
begin_operator
load-plane package1 plane1 c2l1
1
0 1
1
0
6 0 9
end_operator
begin_operator
load-truck package1 truck3 c3l3
1
4 0
1
0
6 6 12
end_operator
begin_operator
load-truck package1 truck3 c3l1
1
4 1
1
0
6 3 12
end_operator
begin_operator
load-plane package1 plane2 c3l1
1
2 1
1
0
6 3 5
end_operator
begin_operator
unload-truck package1 truck2 c2l2
1
5 0
1
0
6 8 13
end_operator
begin_operator
unload-truck package1 truck2 c2l1
1
5 1
1
0
6 8 0
end_operator
begin_operator
unload-truck package1 truck2 c2l3
1
5 2
1
0
6 8 4
end_operator
begin_operator
unload-plane package1 plane2 c2l2
1
2 0
1
0
6 5 13
end_operator
begin_operator
unload-plane package1 plane2 c3l1
1
2 1
1
0
6 5 3
end_operator
begin_operator
load-truck package1 truck2 c2l2
1
5 0
1
0
6 13 8
end_operator
begin_operator
load-plane package1 plane2 c2l2
1
2 0
1
0
6 13 5
end_operator
begin_operator
load-truck package1 truck2 c2l3
1
5 2
1
0
6 4 8
end_operator
0
begin_SG
switch 6
check 0
switch 5
check 0
check 0
check 1
41
check 0
check 0
switch 0
check 0
check 0
check 1
42
check 0
check 0
switch 1
check 0
check 1
30
check 1
29
check 0
check 0
switch 3
check 0
check 1
27
check 1
28
check 1
26
check 0
check 0
switch 4
check 0
check 0
check 1
44
check 0
check 0
switch 2
check 0
check 0
check 1
45
check 0
check 0
switch 5
check 0
check 0
check 0
check 1
53
check 0
check 0
switch 2
check 0
check 1
49
check 1
50
check 0
check 0
switch 4
check 0
check 1
43
check 0
check 0
check 0
check 0
switch 3
check 0
check 0
check 1
32
check 0
check 0
switch 0
check 0
check 1
33
check 0
check 0
check 0
switch 5
check 0
check 1
46
check 1
47
check 1
48
check 0
check 0
switch 0
check 0
check 1
36
check 1
37
check 0
check 0
switch 4
check 0
check 0
check 0
check 1
34
check 0
switch 1
check 0
check 0
check 1
35
check 0
check 0
switch 3
check 0
check 1
24
check 0
check 0
check 0
switch 1
check 0
check 1
25
check 0
check 0
check 0
switch 4
check 0
check 1
38
check 1
40
check 1
39
check 0
check 0
switch 5
check 0
check 1
51
check 0
check 0
check 0
switch 2
check 0
check 1
52
check 0
check 0
check 0
switch 3
check 0
check 0
check 0
check 1
31
check 0
check 0
check 0
switch 5
check 0
check 2
2
3
check 2
13
14
check 2
15
16
check 0
switch 4
check 0
check 2
4
5
check 2
19
20
check 2
17
18
check 0
switch 3
check 0
check 2
9
10
check 2
11
12
check 2
0
1
check 0
switch 2
check 0
check 1
8
check 1
23
check 0
switch 1
check 0
check 1
22
check 1
7
check 0
switch 0
check 0
check 1
6
check 1
21
check 0
check 0
end_SG
begin_DTG
1
1
6
0
1
0
21
0
0
end_DTG
begin_DTG
1
1
22
0
1
0
7
0
0
end_DTG
begin_DTG
1
1
8
0
1
0
23
0
0
end_DTG
begin_DTG
2
1
10
0
2
9
0
2
0
11
0
2
12
0
2
0
0
0
1
1
0
0
end_DTG
begin_DTG
2
1
5
0
2
4
0
2
0
20
0
2
19
0
2
0
18
0
1
17
0
0
end_DTG
begin_DTG
2
1
2
0
2
3
0
2
0
13
0
2
14
0
2
0
15
0
1
16
0
0
end_DTG
begin_DTG
2
8
41
1
5 1
9
42
1
0 1
2
10
29
1
1 1
11
30
1
1 0
3
7
28
1
3 1
11
27
1
3 0
14
26
1
3 2
2
5
45
1
2 1
12
44
1
4 1
1
8
53
1
5 2
2
3
50
1
2 1
13
49
1
2 0
1
12
43
1
4 0
2
2
32
1
3 1
9
33
1
0 0
3
0
47
1
5 1
4
48
1
5 2
13
46
1
5 0
2
0
37
1
0 1
7
36
1
0 0
2
1
35
1
1 1
12
34
1
4 2
2
1
25
1
1 0
2
24
1
3 0
3
3
40
1
4 1
6
38
1
4 0
10
39
1
4 2
2
5
52
1
2 0
8
51
1
5 0
1
2
31
1
3 2
0
end_DTG
begin_CG
1
6 4
1
6 4
1
6 4
1
6 6
1
6 6
1
6 6
0
end_CG