begin_version
3
end_version
begin_metric
0
end_metric
40
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 new-axiom@0(f1)
NegatedAtom new-axiom@0(f1)
end_variable
begin_variable
var7
1
2
Atom new-axiom@0(f2)
NegatedAtom new-axiom@0(f2)
end_variable
begin_variable
var8
1
2
Atom new-axiom@0(f3)
NegatedAtom new-axiom@0(f3)
end_variable
begin_variable
var9
1
2
Atom new-axiom@0(f6)
NegatedAtom new-axiom@0(f6)
end_variable
begin_variable
var10
1
2
Atom new-axiom@0(f7)
NegatedAtom new-axiom@0(f7)
end_variable
begin_variable
var11
1
2
Atom new-axiom@0(f9)
NegatedAtom new-axiom@0(f9)
end_variable
begin_variable
var12
1
2
Atom new-axiom@1(f0)
NegatedAtom new-axiom@1(f0)
end_variable
begin_variable
var13
1
2
Atom new-axiom@1(f1)
NegatedAtom new-axiom@1(f1)
end_variable
begin_variable
var14
1
2
Atom new-axiom@1(f2)
NegatedAtom new-axiom@1(f2)
end_variable
begin_variable
var15
1
2
Atom new-axiom@1(f3)
NegatedAtom new-axiom@1(f3)
end_variable
begin_variable
var16
1
2
Atom new-axiom@1(f6)
NegatedAtom new-axiom@1(f6)
end_variable
begin_variable
var17
1
2
Atom new-axiom@1(f7)
NegatedAtom new-axiom@1(f7)
end_variable
begin_variable
var18
1
2
Atom new-axiom@1(f9)
NegatedAtom new-axiom@1(f9)
end_variable
begin_variable
var19
0
2
Atom new-axiom@10()
NegatedAtom new-axiom@10()
end_variable
begin_variable
var20
1
2
Atom new-axiom@2(f0)
NegatedAtom new-axiom@2(f0)
end_variable
begin_variable
var21
1
2
Atom new-axiom@2(f1)
NegatedAtom new-axiom@2(f1)
end_variable
begin_variable
var22
1
2
Atom new-axiom@2(f2)
NegatedAtom new-axiom@2(f2)
end_variable
begin_variable
var23
1
2
Atom new-axiom@2(f3)
NegatedAtom new-axiom@2(f3)
end_variable
begin_variable
var24
1
2
Atom new-axiom@2(f6)
NegatedAtom new-axiom@2(f6)
end_variable
begin_variable
var25
1
2
Atom new-axiom@2(f7)
NegatedAtom new-axiom@2(f7)
end_variable
begin_variable
var26
1
2
Atom new-axiom@2(f9)
NegatedAtom new-axiom@2(f9)
end_variable
begin_variable
var27
1
2
Atom new-axiom@3(f1)
NegatedAtom new-axiom@3(f1)
end_variable
begin_variable
var28
1
2
Atom new-axiom@3(f2)
NegatedAtom new-axiom@3(f2)
end_variable
begin_variable
var29
1
2
Atom new-axiom@3(f3)
NegatedAtom new-axiom@3(f3)
end_variable
begin_variable
var30
1
2
Atom new-axiom@3(f6)
NegatedAtom new-axiom@3(f6)
end_variable
begin_variable
var31
1
2
Atom new-axiom@3(f7)
NegatedAtom new-axiom@3(f7)
end_variable
begin_variable
var32
1
2
Atom new-axiom@3(f9)
NegatedAtom new-axiom@3(f9)
end_variable
begin_variable
var33
1
2
Atom new-axiom@7(f9)
NegatedAtom new-axiom@7(f9)
end_variable
begin_variable
var34
1
2
Atom new-axiom@8()
NegatedAtom new-axiom@8()
end_variable
begin_variable
var35
-1
2
Atom served(p0)
NegatedAtom served(p0)
end_variable
begin_variable
var36
-1
2
Atom served(p1)
NegatedAtom served(p1)
end_variable
begin_variable
var37
-1
2
Atom served(p2)
NegatedAtom served(p2)
end_variable
begin_variable
var38
-1
2
Atom served(p3)
NegatedAtom served(p3)
end_variable
begin_variable
var39
-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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
end_state
begin_goal
1
19 1
end_goal
118
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 f0
2
5 0
20 1
4
0 1 -1 1
0 3 -1 1
1 1 0 36 -1 0
1 3 0 38 -1 0
1
end_operator
begin_operator
stop f0
1
5 0
4
0 1 -1 1
0 3 -1 1
1 1 0 36 -1 0
1 3 0 38 -1 0
1
end_operator
begin_operator
stop f0
3
5 0
12 1
20 1
4
0 1 -1 1
0 3 -1 1
1 1 0 36 -1 0
1 3 0 38 -1 0
1
end_operator
begin_operator
stop f0
2
5 0
12 1
4
0 1 -1 1
0 3 -1 1
1 1 0 36 -1 0
1 3 0 38 -1 0
1
end_operator
begin_operator
stop f1
3
5 1
6 1
21 1
1
1 35 1 0 -1 0
1
end_operator
begin_operator
stop f1
3
5 1
6 1
27 1
1
1 35 1 0 -1 0
1
end_operator
begin_operator
stop f1
3
5 1
13 1
21 1
1
1 35 1 0 -1 0
1
end_operator
begin_operator
stop f1
3
5 1
13 1
27 1
1
1 35 1 0 -1 0
1
end_operator
begin_operator
stop f2
3
5 2
7 1
22 1
4
0 0 -1 1
0 4 -1 1
1 0 0 35 -1 0
1 4 0 39 -1 0
1
end_operator
begin_operator
stop f2
3
5 2
7 1
28 1
4
0 0 -1 1
0 4 -1 1
1 0 0 35 -1 0
1 4 0 39 -1 0
1
end_operator
begin_operator
stop f2
3
5 2
14 1
22 1
4
0 0 -1 1
0 4 -1 1
1 0 0 35 -1 0
1 4 0 39 -1 0
1
end_operator
begin_operator
stop f2
3
5 2
14 1
28 1
4
0 0 -1 1
0 4 -1 1
1 0 0 35 -1 0
1 4 0 39 -1 0
1
end_operator
begin_operator
stop f3
3
5 3
8 1
23 1
2
0 2 -1 1
1 2 0 37 -1 0
1
end_operator
begin_operator
stop f3
3
5 3
8 1
29 1
2
0 2 -1 1
1 2 0 37 -1 0
1
end_operator
begin_operator
stop f3
3
5 3
15 1
23 1
2
0 2 -1 1
1 2 0 37 -1 0
1
end_operator
begin_operator
stop f3
3
5 3
15 1
29 1
2
0 2 -1 1
1 2 0 37 -1 0
1
end_operator
begin_operator
stop f6
3
5 6
9 1
24 1
2
1 38 1 3 -1 0
1 39 1 4 -1 0
1
end_operator
begin_operator
stop f6
3
5 6
9 1
30 1
2
1 38 1 3 -1 0
1 39 1 4 -1 0
1
end_operator
begin_operator
stop f6
3
5 6
16 1
24 1
2
1 38 1 3 -1 0
1 39 1 4 -1 0
1
end_operator
begin_operator
stop f6
3
5 6
16 1
30 1
2
1 38 1 3 -1 0
1 39 1 4 -1 0
1
end_operator
begin_operator
stop f7
3
5 7
10 1
25 1
1
1 36 1 1 -1 0
1
end_operator
begin_operator
stop f7
3
5 7
10 1
31 1
1
1 36 1 1 -1 0
1
end_operator
begin_operator
stop f7
3
5 7
17 1
25 1
1
1 36 1 1 -1 0
1
end_operator
begin_operator
stop f7
3
5 7
17 1
31 1
1
1 36 1 1 -1 0
1
end_operator
begin_operator
stop f9
4
5 9
11 1
26 1
33 1
1
1 37 1 2 -1 0
1
end_operator
begin_operator
stop f9
4
5 9
11 1
32 1
33 1
1
1 37 1 2 -1 0
1
end_operator
begin_operator
stop f9
4
5 9
18 1
26 1
33 1
1
1 37 1 2 -1 0
1
end_operator
begin_operator
stop f9
4
5 9
18 1
32 1
33 1
1
1 37 1 2 -1 0
1
end_operator
begin_operator
up f0 f1
1
34 1
1
0 5 0 1
1
end_operator
begin_operator
up f0 f2
1
34 1
1
0 5 0 2
1
end_operator
begin_operator
up f0 f3
1
34 1
1
0 5 0 3
1
end_operator
begin_operator
up f0 f4
1
34 1
1
0 5 0 4
1
end_operator
begin_operator
up f0 f5
1
34 1
1
0 5 0 5
1
end_operator
begin_operator
up f0 f6
1
34 1
1
0 5 0 6
1
end_operator
begin_operator
up f0 f7
1
34 1
1
0 5 0 7
1
end_operator
begin_operator
up f0 f8
1
34 1
1
0 5 0 8
1
end_operator
begin_operator
up f0 f9
1
34 1
1
0 5 0 9
1
end_operator
begin_operator
up f1 f2
1
34 1
1
0 5 1 2
1
end_operator
begin_operator
up f1 f3
1
34 1
1
0 5 1 3
1
end_operator
begin_operator
up f1 f4
1
34 1
1
0 5 1 4
1
end_operator
begin_operator
up f1 f5
1
34 1
1
0 5 1 5
1
end_operator
begin_operator
up f1 f6
1
34 1
1
0 5 1 6
1
end_operator
begin_operator
up f1 f7
1
34 1
1
0 5 1 7
1
end_operator
begin_operator
up f1 f8
1
34 1
1
0 5 1 8
1
end_operator
begin_operator
up f1 f9
1
34 1
1
0 5 1 9
1
end_operator
begin_operator
up f2 f3
1
34 1
1
0 5 2 3
1
end_operator
begin_operator
up f2 f4
1
34 1
1
0 5 2 4
1
end_operator
begin_operator
up f2 f5
1
34 1
1
0 5 2 5
1
end_operator
begin_operator
up f2 f6
1
34 1
1
0 5 2 6
1
end_operator
begin_operator
up f2 f7
1
34 1
1
0 5 2 7
1
end_operator
begin_operator
up f2 f8
1
34 1
1
0 5 2 8
1
end_operator
begin_operator
up f2 f9
1
34 1
1
0 5 2 9
1
end_operator
begin_operator
up f3 f4
1
34 1
1
0 5 3 4
1
end_operator
begin_operator
up f3 f5
1
34 1
1
0 5 3 5
1
end_operator
begin_operator
up f3 f6
1
34 1
1
0 5 3 6
1
end_operator
begin_operator
up f3 f7
1
34 1
1
0 5 3 7
1
end_operator
begin_operator
up f3 f8
1
34 1
1
0 5 3 8
1
end_operator
begin_operator
up f3 f9
1
34 1
1
0 5 3 9
1
end_operator
begin_operator
up f4 f5
1
34 1
1
0 5 4 5
1
end_operator
begin_operator
up f4 f6
1
34 1
1
0 5 4 6
1
end_operator
begin_operator
up f4 f7
1
34 1
1
0 5 4 7
1
end_operator
begin_operator
up f4 f8
1
34 1
1
0 5 4 8
1
end_operator
begin_operator
up f4 f9
1
34 1
1
0 5 4 9
1
end_operator
begin_operator
up f5 f6
1
34 1
1
0 5 5 6
1
end_operator
begin_operator
up f5 f7
1
34 1
1
0 5 5 7
1
end_operator
begin_operator
up f5 f8
1
34 1
1
0 5 5 8
1
end_operator
begin_operator
up f5 f9
1
34 1
1
0 5 5 9
1
end_operator
begin_operator
up f6 f7
1
34 1
1
0 5 6 7
1
end_operator
begin_operator
up f6 f8
1
34 1
1
0 5 6 8
1
end_operator
begin_operator
up f6 f9
1
34 1
1
0 5 6 9
1
end_operator
begin_operator
up f7 f8
1
34 1
1
0 5 7 8
1
end_operator
begin_operator
up f7 f9
1
34 1
1
0 5 7 9
1
end_operator
begin_operator
up f8 f9
1
34 1
1
0 5 8 9
1
end_operator
29
begin_rule
4
0 1
2 1
3 1
4 1
17 0 1
end_rule
begin_rule
4
0 1
2 1
3 1
4 1
25 0 1
end_rule
begin_rule
5
0 1
2 1
3 1
4 1
35 0
13 0 1
end_rule
begin_rule
5
0 1
2 1
3 1
4 1
35 0
21 0 1
end_rule
begin_rule
5
0 1
2 1
3 1
4 1
37 0
18 0 1
end_rule
begin_rule
5
0 1
2 1
3 1
4 1
37 0
26 0 1
end_rule
begin_rule
6
0 1
2 1
3 1
4 1
38 0
39 0
16 0 1
end_rule
begin_rule
6
0 1
2 1
3 1
4 1
38 0
39 0
24 0 1
end_rule
begin_rule
3
0 1
2 1
4 1
12 0 1
end_rule
begin_rule
3
0 1
2 1
4 1
20 0 1
end_rule
begin_rule
3
0 1
3 1
4 1
15 0 1
end_rule
begin_rule
3
0 1
3 1
4 1
23 0 1
end_rule
begin_rule
1
1 1
6 0 1
end_rule
begin_rule
1
1 1
7 0 1
end_rule
begin_rule
1
1 1
8 0 1
end_rule
begin_rule
1
1 1
9 0 1
end_rule
begin_rule
1
1 1
11 0 1
end_rule
begin_rule
1
1 1
27 0 1
end_rule
begin_rule
1
1 1
28 0 1
end_rule
begin_rule
1
1 1
29 0 1
end_rule
begin_rule
1
1 1
30 0 1
end_rule
begin_rule
1
1 1
32 0 1
end_rule
begin_rule
1
1 1
33 0 1
end_rule
begin_rule
2
1 1
36 0
10 0 1
end_rule
begin_rule
2
1 1
36 0
31 0 1
end_rule
begin_rule
2
2 1
3 1
14 0 1
end_rule
begin_rule
2
2 1
3 1
22 0 1
end_rule
begin_rule
1
3 1
34 0 1
end_rule
begin_rule
5
35 0
36 0
37 0
38 0
39 0
19 0 1
end_rule