begin_version
3
end_version
begin_metric
0
end_metric
1
begin_variable
var0
-1
8
Atom is-current-location(la)
Atom is-current-location(lb)
Atom is-current-location(lc)
Atom is-current-location(ld)
Atom is-current-location(le)
Atom is-current-location(lf)
Atom is-current-location(lg)
Atom is-current-location(lh)
end_variable
0
begin_state
0
end_state
begin_goal
1
0 7
end_goal
14
begin_operator
move la lb
0
1
0 0 0 1
1
end_operator
begin_operator
move lb la
0
1
0 0 1 0
1
end_operator
begin_operator
move lb lc
0
1
0 0 1 2
1
end_operator
begin_operator
move lc lb
0
1
0 0 2 1
1
end_operator
begin_operator
move lc ld
0
1
0 0 2 3
1
end_operator
begin_operator
move ld lc
0
1
0 0 3 2
1
end_operator
begin_operator
move ld le
0
1
0 0 3 4
1
end_operator
begin_operator
move le ld
0
1
0 0 4 3
1
end_operator
begin_operator
move le lf
0
1
0 0 4 5
1
end_operator
begin_operator
move lf le
0
1
0 0 5 4
1
end_operator
begin_operator
move lf lg
0
1
0 0 5 6
1
end_operator
begin_operator
move lg lf
0
1
0 0 6 5
1
end_operator
begin_operator
move lg lh
0
1
0 0 6 7
1
end_operator
begin_operator
move lh lg
0
1
0 0 7 6
1
end_operator
0
begin_SG
switch 0
check 0
check 1
0
check 2
1
2
check 2
3
4
check 2
5
6
check 2
7
8
check 2
9
10
check 2
11
12
check 1
13
check 0
end_SG
begin_DTG
1
1
0
0
2
0
1
0
2
2
0
2
1
3
0
3
4
0
2
2
5
0
4
6
0
2
3
7
0
5
8
0
2
4
9
0
6
10
0
2
5
11
0
7
12
0
1
6
13
0
end_DTG
begin_CG
0
end_CG
