824 lines
6.2 KiB
SAS
824 lines
6.2 KiB
SAS
begin_version
|
|
3
|
|
end_version
|
|
begin_metric
|
|
0
|
|
end_metric
|
|
11
|
|
begin_variable
|
|
var0
|
|
-1
|
|
2
|
|
Atom boarded(p0)
|
|
NegatedAtom boarded(p0)
|
|
end_variable
|
|
begin_variable
|
|
var1
|
|
-1
|
|
2
|
|
Atom boarded(p1)
|
|
NegatedAtom boarded(p1)
|
|
end_variable
|
|
begin_variable
|
|
var2
|
|
-1
|
|
2
|
|
Atom boarded(p2)
|
|
NegatedAtom boarded(p2)
|
|
end_variable
|
|
begin_variable
|
|
var3
|
|
-1
|
|
2
|
|
Atom boarded(p3)
|
|
NegatedAtom boarded(p3)
|
|
end_variable
|
|
begin_variable
|
|
var4
|
|
-1
|
|
2
|
|
Atom boarded(p4)
|
|
NegatedAtom boarded(p4)
|
|
end_variable
|
|
begin_variable
|
|
var5
|
|
-1
|
|
10
|
|
Atom lift-at(f0)
|
|
Atom lift-at(f1)
|
|
Atom lift-at(f2)
|
|
Atom lift-at(f3)
|
|
Atom lift-at(f4)
|
|
Atom lift-at(f5)
|
|
Atom lift-at(f6)
|
|
Atom lift-at(f7)
|
|
Atom lift-at(f8)
|
|
Atom lift-at(f9)
|
|
end_variable
|
|
begin_variable
|
|
var6
|
|
-1
|
|
2
|
|
Atom served(p0)
|
|
NegatedAtom served(p0)
|
|
end_variable
|
|
begin_variable
|
|
var7
|
|
-1
|
|
2
|
|
Atom served(p1)
|
|
NegatedAtom served(p1)
|
|
end_variable
|
|
begin_variable
|
|
var8
|
|
-1
|
|
2
|
|
Atom served(p2)
|
|
NegatedAtom served(p2)
|
|
end_variable
|
|
begin_variable
|
|
var9
|
|
-1
|
|
2
|
|
Atom served(p3)
|
|
NegatedAtom served(p3)
|
|
end_variable
|
|
begin_variable
|
|
var10
|
|
-1
|
|
2
|
|
Atom served(p4)
|
|
NegatedAtom served(p4)
|
|
end_variable
|
|
1
|
|
begin_mutex_group
|
|
10
|
|
5 0
|
|
5 1
|
|
5 2
|
|
5 3
|
|
5 4
|
|
5 5
|
|
5 6
|
|
5 7
|
|
5 8
|
|
5 9
|
|
end_mutex_group
|
|
begin_state
|
|
1
|
|
1
|
|
1
|
|
1
|
|
1
|
|
0
|
|
1
|
|
1
|
|
1
|
|
1
|
|
1
|
|
end_state
|
|
begin_goal
|
|
5
|
|
6 0
|
|
7 0
|
|
8 0
|
|
9 0
|
|
10 0
|
|
end_goal
|
|
97
|
|
begin_operator
|
|
down f1 f0
|
|
0
|
|
1
|
|
0 5 1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f2 f0
|
|
0
|
|
1
|
|
0 5 2 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f2 f1
|
|
0
|
|
1
|
|
0 5 2 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f3 f0
|
|
0
|
|
1
|
|
0 5 3 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f3 f1
|
|
0
|
|
1
|
|
0 5 3 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f3 f2
|
|
0
|
|
1
|
|
0 5 3 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f4 f0
|
|
0
|
|
1
|
|
0 5 4 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f4 f1
|
|
0
|
|
1
|
|
0 5 4 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f4 f2
|
|
0
|
|
1
|
|
0 5 4 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f4 f3
|
|
0
|
|
1
|
|
0 5 4 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f5 f0
|
|
0
|
|
1
|
|
0 5 5 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f5 f1
|
|
0
|
|
1
|
|
0 5 5 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f5 f2
|
|
0
|
|
1
|
|
0 5 5 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f5 f3
|
|
0
|
|
1
|
|
0 5 5 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f5 f4
|
|
0
|
|
1
|
|
0 5 5 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f0
|
|
0
|
|
1
|
|
0 5 6 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f1
|
|
0
|
|
1
|
|
0 5 6 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f2
|
|
0
|
|
1
|
|
0 5 6 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f3
|
|
0
|
|
1
|
|
0 5 6 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f4
|
|
0
|
|
1
|
|
0 5 6 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f6 f5
|
|
0
|
|
1
|
|
0 5 6 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f0
|
|
0
|
|
1
|
|
0 5 7 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f1
|
|
0
|
|
1
|
|
0 5 7 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f2
|
|
0
|
|
1
|
|
0 5 7 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f3
|
|
0
|
|
1
|
|
0 5 7 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f4
|
|
0
|
|
1
|
|
0 5 7 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f5
|
|
0
|
|
1
|
|
0 5 7 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f7 f6
|
|
0
|
|
1
|
|
0 5 7 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f0
|
|
0
|
|
1
|
|
0 5 8 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f1
|
|
0
|
|
1
|
|
0 5 8 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f2
|
|
0
|
|
1
|
|
0 5 8 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f3
|
|
0
|
|
1
|
|
0 5 8 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f4
|
|
0
|
|
1
|
|
0 5 8 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f5
|
|
0
|
|
1
|
|
0 5 8 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f6
|
|
0
|
|
1
|
|
0 5 8 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f8 f7
|
|
0
|
|
1
|
|
0 5 8 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f0
|
|
0
|
|
1
|
|
0 5 9 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f1
|
|
0
|
|
1
|
|
0 5 9 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f2
|
|
0
|
|
1
|
|
0 5 9 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f3
|
|
0
|
|
1
|
|
0 5 9 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f4
|
|
0
|
|
1
|
|
0 5 9 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f5
|
|
0
|
|
1
|
|
0 5 9 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f6
|
|
0
|
|
1
|
|
0 5 9 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f7
|
|
0
|
|
1
|
|
0 5 9 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
down f9 f8
|
|
0
|
|
1
|
|
0 5 9 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f1
|
|
1
|
|
5 1
|
|
2
|
|
0 4 -1 1
|
|
1 4 0 10 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f2
|
|
1
|
|
5 2
|
|
2
|
|
0 3 -1 1
|
|
1 3 0 9 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f3
|
|
1
|
|
5 3
|
|
2
|
|
1 6 1 0 -1 0
|
|
1 8 1 2 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f5
|
|
1
|
|
5 5
|
|
4
|
|
0 1 -1 1
|
|
0 2 -1 1
|
|
1 1 0 7 -1 0
|
|
1 2 0 8 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f6
|
|
1
|
|
5 6
|
|
3
|
|
0 0 -1 1
|
|
1 9 1 3 -1 0
|
|
1 0 0 6 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f7
|
|
1
|
|
5 7
|
|
1
|
|
1 7 1 1 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
stop f9
|
|
1
|
|
5 9
|
|
1
|
|
1 10 1 4 -1 0
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f1
|
|
0
|
|
1
|
|
0 5 0 1
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f2
|
|
0
|
|
1
|
|
0 5 0 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f3
|
|
0
|
|
1
|
|
0 5 0 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f4
|
|
0
|
|
1
|
|
0 5 0 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f5
|
|
0
|
|
1
|
|
0 5 0 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f6
|
|
0
|
|
1
|
|
0 5 0 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f7
|
|
0
|
|
1
|
|
0 5 0 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f8
|
|
0
|
|
1
|
|
0 5 0 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f0 f9
|
|
0
|
|
1
|
|
0 5 0 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f2
|
|
0
|
|
1
|
|
0 5 1 2
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f3
|
|
0
|
|
1
|
|
0 5 1 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f4
|
|
0
|
|
1
|
|
0 5 1 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f5
|
|
0
|
|
1
|
|
0 5 1 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f6
|
|
0
|
|
1
|
|
0 5 1 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f7
|
|
0
|
|
1
|
|
0 5 1 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f8
|
|
0
|
|
1
|
|
0 5 1 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f1 f9
|
|
0
|
|
1
|
|
0 5 1 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f3
|
|
0
|
|
1
|
|
0 5 2 3
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f4
|
|
0
|
|
1
|
|
0 5 2 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f5
|
|
0
|
|
1
|
|
0 5 2 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f6
|
|
0
|
|
1
|
|
0 5 2 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f7
|
|
0
|
|
1
|
|
0 5 2 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f8
|
|
0
|
|
1
|
|
0 5 2 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f2 f9
|
|
0
|
|
1
|
|
0 5 2 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f4
|
|
0
|
|
1
|
|
0 5 3 4
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f5
|
|
0
|
|
1
|
|
0 5 3 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f6
|
|
0
|
|
1
|
|
0 5 3 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f7
|
|
0
|
|
1
|
|
0 5 3 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f8
|
|
0
|
|
1
|
|
0 5 3 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f3 f9
|
|
0
|
|
1
|
|
0 5 3 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f4 f5
|
|
0
|
|
1
|
|
0 5 4 5
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f4 f6
|
|
0
|
|
1
|
|
0 5 4 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f4 f7
|
|
0
|
|
1
|
|
0 5 4 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f4 f8
|
|
0
|
|
1
|
|
0 5 4 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f4 f9
|
|
0
|
|
1
|
|
0 5 4 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f5 f6
|
|
0
|
|
1
|
|
0 5 5 6
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f5 f7
|
|
0
|
|
1
|
|
0 5 5 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f5 f8
|
|
0
|
|
1
|
|
0 5 5 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f5 f9
|
|
0
|
|
1
|
|
0 5 5 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f6 f7
|
|
0
|
|
1
|
|
0 5 6 7
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f6 f8
|
|
0
|
|
1
|
|
0 5 6 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f6 f9
|
|
0
|
|
1
|
|
0 5 6 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f7 f8
|
|
0
|
|
1
|
|
0 5 7 8
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f7 f9
|
|
0
|
|
1
|
|
0 5 7 9
|
|
1
|
|
end_operator
|
|
begin_operator
|
|
up f8 f9
|
|
0
|
|
1
|
|
0 5 8 9
|
|
1
|
|
end_operator
|
|
0
|