begin_version
3
end_version
begin_metric
0
end_metric
10
begin_variable
var2
-1
2
Atom spare-in(n0)
NegatedAtom spare-in(n0)
end_variable
begin_variable
var3
-1
2
Atom spare-in(n1)
NegatedAtom spare-in(n1)
end_variable
begin_variable
var4
-1
2
Atom spare-in(n15)
NegatedAtom spare-in(n15)
end_variable
begin_variable
var5
-1
2
Atom spare-in(n16)
NegatedAtom spare-in(n16)
end_variable
begin_variable
var6
-1
2
Atom spare-in(n20)
NegatedAtom spare-in(n20)
end_variable
begin_variable
var7
-1
2
Atom spare-in(n5)
NegatedAtom spare-in(n5)
end_variable
begin_variable
var8
-1
2
Atom spare-in(n6)
NegatedAtom spare-in(n6)
end_variable
begin_variable
var0
-1
2
Atom hasspare()
NegatedAtom hasspare()
end_variable
begin_variable
var1
-1
2
Atom not-flattire()
NegatedAtom not-flattire()
end_variable
begin_variable
var9
-1
21
Atom vehicle-at(n0)
Atom vehicle-at(n1)
Atom vehicle-at(n10)
Atom vehicle-at(n11)
Atom vehicle-at(n12)
Atom vehicle-at(n13)
Atom vehicle-at(n14)
Atom vehicle-at(n15)
Atom vehicle-at(n16)
Atom vehicle-at(n17)
Atom vehicle-at(n18)
Atom vehicle-at(n19)
Atom vehicle-at(n2)
Atom vehicle-at(n20)
Atom vehicle-at(n3)
Atom vehicle-at(n4)
Atom vehicle-at(n5)
Atom vehicle-at(n6)
Atom vehicle-at(n7)
Atom vehicle-at(n8)
Atom vehicle-at(n9)
end_variable
0
begin_state
0
0
0
0
0
0
0
1
0
0
end_state
begin_goal
1
9 6
end_goal
224
begin_operator
changetire_DETDUP_1 
0
2
0 7 0 1
0 8 -1 0
0
end_operator
begin_operator
loadtire n0
1
9 0
2
0 7 -1 0
0 0 0 1
0
end_operator
begin_operator
loadtire n1
1
9 1
2
0 7 -1 0
0 1 0 1
0
end_operator
begin_operator
loadtire n15
1
9 7
2
0 7 -1 0
0 2 0 1
0
end_operator
begin_operator
loadtire n16
1
9 8
2
0 7 -1 0
0 3 0 1
0
end_operator
begin_operator
loadtire n20
1
9 13
2
0 7 -1 0
0 4 0 1
0
end_operator
begin_operator
loadtire n5
1
9 16
2
0 7 -1 0
0 5 0 1
0
end_operator
begin_operator
loadtire n6
1
9 17
2
0 7 -1 0
0 6 0 1
0
end_operator
begin_operator
move-car_DETDUP_0 n0 n18
1
8 0
1
0 9 0 10
0
end_operator
begin_operator
move-car_DETDUP_0 n1 n16
1
8 0
1
0 9 1 8
0
end_operator
begin_operator
move-car_DETDUP_0 n1 n2
1
8 0
1
0 9 1 12
0
end_operator
begin_operator
move-car_DETDUP_0 n1 n7
1
8 0
1
0 9 1 18
0
end_operator
begin_operator
move-car_DETDUP_0 n10 n15
1
8 0
1
0 9 2 7
0
end_operator
begin_operator
move-car_DETDUP_0 n10 n9
1
8 0
1
0 9 2 20
0
end_operator
begin_operator
move-car_DETDUP_0 n11 n14
1
8 0
1
0 9 3 6
0
end_operator
begin_operator
move-car_DETDUP_0 n12 n13
1
8 0
1
0 9 4 5
0
end_operator
begin_operator
move-car_DETDUP_0 n12 n16
1
8 0
1
0 9 4 8
0
end_operator
begin_operator
move-car_DETDUP_0 n12 n4
1
8 0
1
0 9 4 15
0
end_operator
begin_operator
move-car_DETDUP_0 n13 n12
1
8 0
1
0 9 5 4
0
end_operator
begin_operator
move-car_DETDUP_0 n13 n2
1
8 0
1
0 9 5 12
0
end_operator
begin_operator
move-car_DETDUP_0 n13 n6
1
8 0
1
0 9 5 17
0
end_operator
begin_operator
move-car_DETDUP_0 n13 n8
1
8 0
1
0 9 5 19
0
end_operator
begin_operator
move-car_DETDUP_0 n14 n11
1
8 0
1
0 9 6 3
0
end_operator
begin_operator
move-car_DETDUP_0 n14 n15
1
8 0
1
0 9 6 7
0
end_operator
begin_operator
move-car_DETDUP_0 n14 n18
1
8 0
1
0 9 6 10
0
end_operator
begin_operator
move-car_DETDUP_0 n14 n3
1
8 0
1
0 9 6 14
0
end_operator
begin_operator
move-car_DETDUP_0 n14 n8
1
8 0
1
0 9 6 19
0
end_operator
begin_operator
move-car_DETDUP_0 n15 n10
1
8 0
1
0 9 7 2
0
end_operator
begin_operator
move-car_DETDUP_0 n15 n14
1
8 0
1
0 9 7 6
0
end_operator
begin_operator
move-car_DETDUP_0 n15 n5
1
8 0
1
0 9 7 16
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n1
1
8 0
1
0 9 8 1
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n12
1
8 0
1
0 9 8 4
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n17
1
8 0
1
0 9 8 9
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n20
1
8 0
1
0 9 8 13
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n4
1
8 0
1
0 9 8 15
0
end_operator
begin_operator
move-car_DETDUP_0 n16 n6
1
8 0
1
0 9 8 17
0
end_operator
begin_operator
move-car_DETDUP_0 n17 n16
1
8 0
1
0 9 9 8
0
end_operator
begin_operator
move-car_DETDUP_0 n17 n2
1
8 0
1
0 9 9 12
0
end_operator
begin_operator
move-car_DETDUP_0 n17 n20
1
8 0
1
0 9 9 13
0
end_operator
begin_operator
move-car_DETDUP_0 n17 n8
1
8 0
1
0 9 9 19
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n0
1
8 0
1
0 9 10 0
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n14
1
8 0
1
0 9 10 6
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n19
1
8 0
1
0 9 10 11
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n20
1
8 0
1
0 9 10 13
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n6
1
8 0
1
0 9 10 17
0
end_operator
begin_operator
move-car_DETDUP_0 n18 n7
1
8 0
1
0 9 10 18
0
end_operator
begin_operator
move-car_DETDUP_0 n19 n18
1
8 0
1
0 9 11 10
0
end_operator
begin_operator
move-car_DETDUP_0 n19 n20
1
8 0
1
0 9 11 13
0
end_operator
begin_operator
move-car_DETDUP_0 n19 n7
1
8 0
1
0 9 11 18
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n1
1
8 0
1
0 9 12 1
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n13
1
8 0
1
0 9 12 5
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n17
1
8 0
1
0 9 12 9
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n20
1
8 0
1
0 9 12 13
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n6
1
8 0
1
0 9 12 17
0
end_operator
begin_operator
move-car_DETDUP_0 n2 n8
1
8 0
1
0 9 12 19
0
end_operator
begin_operator
move-car_DETDUP_0 n20 n16
1
8 0
1
0 9 13 8
0
end_operator
begin_operator
move-car_DETDUP_0 n20 n17
1
8 0
1
0 9 13 9
0
end_operator
begin_operator
move-car_DETDUP_0 n20 n18
1
8 0
1
0 9 13 10
0
end_operator
begin_operator
move-car_DETDUP_0 n20 n19
1
8 0
1
0 9 13 11
0
end_operator
begin_operator
move-car_DETDUP_0 n20 n2
1
8 0
1
0 9 13 12
0
end_operator
begin_operator
move-car_DETDUP_0 n3 n14
1
8 0
1
0 9 14 6
0
end_operator
begin_operator
move-car_DETDUP_0 n3 n8
1
8 0
1
0 9 14 19
0
end_operator
begin_operator
move-car_DETDUP_0 n4 n12
1
8 0
1
0 9 15 4
0
end_operator
begin_operator
move-car_DETDUP_0 n4 n16
1
8 0
1
0 9 15 8
0
end_operator
begin_operator
move-car_DETDUP_0 n5 n15
1
8 0
1
0 9 16 7
0
end_operator
begin_operator
move-car_DETDUP_0 n6 n13
1
8 0
1
0 9 17 5
0
end_operator
begin_operator
move-car_DETDUP_0 n6 n16
1
8 0
1
0 9 17 8
0
end_operator
begin_operator
move-car_DETDUP_0 n6 n18
1
8 0
1
0 9 17 10
0
end_operator
begin_operator
move-car_DETDUP_0 n6 n2
1
8 0
1
0 9 17 12
0
end_operator
begin_operator
move-car_DETDUP_0 n6 n9
1
8 0
1
0 9 17 20
0
end_operator
begin_operator
move-car_DETDUP_0 n7 n1
1
8 0
1
0 9 18 1
0
end_operator
begin_operator
move-car_DETDUP_0 n7 n18
1
8 0
1
0 9 18 10
0
end_operator
begin_operator
move-car_DETDUP_0 n7 n19
1
8 0
1
0 9 18 11
0
end_operator
begin_operator
move-car_DETDUP_0 n8 n13
1
8 0
1
0 9 19 5
0
end_operator
begin_operator
move-car_DETDUP_0 n8 n14
1
8 0
1
0 9 19 6
0
end_operator
begin_operator
move-car_DETDUP_0 n8 n17
1
8 0
1
0 9 19 9
0
end_operator
begin_operator
move-car_DETDUP_0 n8 n2
1
8 0
1
0 9 19 12
0
end_operator
begin_operator
move-car_DETDUP_0 n8 n3
1
8 0
1
0 9 19 14
0
end_operator
begin_operator
move-car_DETDUP_0 n9 n10
1
8 0
1
0 9 20 2
0
end_operator
begin_operator
move-car_DETDUP_0 n9 n6
1
8 0
1
0 9 20 17
0
end_operator
begin_operator
move-car_DETDUP_1 n0 n18
1
8 0
1
0 9 0 10
0
end_operator
begin_operator
move-car_DETDUP_1 n1 n16
1
8 0
1
0 9 1 8
0
end_operator
begin_operator
move-car_DETDUP_1 n1 n2
1
8 0
1
0 9 1 12
0
end_operator
begin_operator
move-car_DETDUP_1 n1 n7
1
8 0
1
0 9 1 18
0
end_operator
begin_operator
move-car_DETDUP_1 n10 n15
1
8 0
1
0 9 2 7
0
end_operator
begin_operator
move-car_DETDUP_1 n10 n9
1
8 0
1
0 9 2 20
0
end_operator
begin_operator
move-car_DETDUP_1 n11 n14
1
8 0
1
0 9 3 6
0
end_operator
begin_operator
move-car_DETDUP_1 n12 n13
1
8 0
1
0 9 4 5
0
end_operator
begin_operator
move-car_DETDUP_1 n12 n16
1
8 0
1
0 9 4 8
0
end_operator
begin_operator
move-car_DETDUP_1 n12 n4
1
8 0
1
0 9 4 15
0
end_operator
begin_operator
move-car_DETDUP_1 n13 n12
1
8 0
1
0 9 5 4
0
end_operator
begin_operator
move-car_DETDUP_1 n13 n2
1
8 0
1
0 9 5 12
0
end_operator
begin_operator
move-car_DETDUP_1 n13 n6
1
8 0
1
0 9 5 17
0
end_operator
begin_operator
move-car_DETDUP_1 n13 n8
1
8 0
1
0 9 5 19
0
end_operator
begin_operator
move-car_DETDUP_1 n14 n11
1
8 0
1
0 9 6 3
0
end_operator
begin_operator
move-car_DETDUP_1 n14 n15
1
8 0
1
0 9 6 7
0
end_operator
begin_operator
move-car_DETDUP_1 n14 n18
1
8 0
1
0 9 6 10
0
end_operator
begin_operator
move-car_DETDUP_1 n14 n3
1
8 0
1
0 9 6 14
0
end_operator
begin_operator
move-car_DETDUP_1 n14 n8
1
8 0
1
0 9 6 19
0
end_operator
begin_operator
move-car_DETDUP_1 n15 n10
1
8 0
1
0 9 7 2
0
end_operator
begin_operator
move-car_DETDUP_1 n15 n14
1
8 0
1
0 9 7 6
0
end_operator
begin_operator
move-car_DETDUP_1 n15 n5
1
8 0
1
0 9 7 16
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n1
1
8 0
1
0 9 8 1
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n12
1
8 0
1
0 9 8 4
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n17
1
8 0
1
0 9 8 9
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n20
1
8 0
1
0 9 8 13
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n4
1
8 0
1
0 9 8 15
0
end_operator
begin_operator
move-car_DETDUP_1 n16 n6
1
8 0
1
0 9 8 17
0
end_operator
begin_operator
move-car_DETDUP_1 n17 n16
1
8 0
1
0 9 9 8
0
end_operator
begin_operator
move-car_DETDUP_1 n17 n2
1
8 0
1
0 9 9 12
0
end_operator
begin_operator
move-car_DETDUP_1 n17 n20
1
8 0
1
0 9 9 13
0
end_operator
begin_operator
move-car_DETDUP_1 n17 n8
1
8 0
1
0 9 9 19
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n0
1
8 0
1
0 9 10 0
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n14
1
8 0
1
0 9 10 6
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n19
1
8 0
1
0 9 10 11
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n20
1
8 0
1
0 9 10 13
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n6
1
8 0
1
0 9 10 17
0
end_operator
begin_operator
move-car_DETDUP_1 n18 n7
1
8 0
1
0 9 10 18
0
end_operator
begin_operator
move-car_DETDUP_1 n19 n18
1
8 0
1
0 9 11 10
0
end_operator
begin_operator
move-car_DETDUP_1 n19 n20
1
8 0
1
0 9 11 13
0
end_operator
begin_operator
move-car_DETDUP_1 n19 n7
1
8 0
1
0 9 11 18
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n1
1
8 0
1
0 9 12 1
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n13
1
8 0
1
0 9 12 5
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n17
1
8 0
1
0 9 12 9
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n20
1
8 0
1
0 9 12 13
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n6
1
8 0
1
0 9 12 17
0
end_operator
begin_operator
move-car_DETDUP_1 n2 n8
1
8 0
1
0 9 12 19
0
end_operator
begin_operator
move-car_DETDUP_1 n20 n16
1
8 0
1
0 9 13 8
0
end_operator
begin_operator
move-car_DETDUP_1 n20 n17
1
8 0
1
0 9 13 9
0
end_operator
begin_operator
move-car_DETDUP_1 n20 n18
1
8 0
1
0 9 13 10
0
end_operator
begin_operator
move-car_DETDUP_1 n20 n19
1
8 0
1
0 9 13 11
0
end_operator
begin_operator
move-car_DETDUP_1 n20 n2
1
8 0
1
0 9 13 12
0
end_operator
begin_operator
move-car_DETDUP_1 n3 n14
1
8 0
1
0 9 14 6
0
end_operator
begin_operator
move-car_DETDUP_1 n3 n8
1
8 0
1
0 9 14 19
0
end_operator
begin_operator
move-car_DETDUP_1 n4 n12
1
8 0
1
0 9 15 4
0
end_operator
begin_operator
move-car_DETDUP_1 n4 n16
1
8 0
1
0 9 15 8
0
end_operator
begin_operator
move-car_DETDUP_1 n5 n15
1
8 0
1
0 9 16 7
0
end_operator
begin_operator
move-car_DETDUP_1 n6 n13
1
8 0
1
0 9 17 5
0
end_operator
begin_operator
move-car_DETDUP_1 n6 n16
1
8 0
1
0 9 17 8
0
end_operator
begin_operator
move-car_DETDUP_1 n6 n18
1
8 0
1
0 9 17 10
0
end_operator
begin_operator
move-car_DETDUP_1 n6 n2
1
8 0
1
0 9 17 12
0
end_operator
begin_operator
move-car_DETDUP_1 n6 n9
1
8 0
1
0 9 17 20
0
end_operator
begin_operator
move-car_DETDUP_1 n7 n1
1
8 0
1
0 9 18 1
0
end_operator
begin_operator
move-car_DETDUP_1 n7 n18
1
8 0
1
0 9 18 10
0
end_operator
begin_operator
move-car_DETDUP_1 n7 n19
1
8 0
1
0 9 18 11
0
end_operator
begin_operator
move-car_DETDUP_1 n8 n13
1
8 0
1
0 9 19 5
0
end_operator
begin_operator
move-car_DETDUP_1 n8 n14
1
8 0
1
0 9 19 6
0
end_operator
begin_operator
move-car_DETDUP_1 n8 n17
1
8 0
1
0 9 19 9
0
end_operator
begin_operator
move-car_DETDUP_1 n8 n2
1
8 0
1
0 9 19 12
0
end_operator
begin_operator
move-car_DETDUP_1 n8 n3
1
8 0
1
0 9 19 14
0
end_operator
begin_operator
move-car_DETDUP_1 n9 n10
1
8 0
1
0 9 20 2
0
end_operator
begin_operator
move-car_DETDUP_1 n9 n6
1
8 0
1
0 9 20 17
0
end_operator
begin_operator
move-car_DETDUP_2 n0 n18
0
2
0 8 0 1
0 9 0 10
0
end_operator
begin_operator
move-car_DETDUP_2 n1 n16
0
2
0 8 0 1
0 9 1 8
0
end_operator
begin_operator
move-car_DETDUP_2 n1 n2
0
2
0 8 0 1
0 9 1 12
0
end_operator
begin_operator
move-car_DETDUP_2 n1 n7
0
2
0 8 0 1
0 9 1 18
0
end_operator
begin_operator
move-car_DETDUP_2 n10 n15
0
2
0 8 0 1
0 9 2 7
0
end_operator
begin_operator
move-car_DETDUP_2 n10 n9
0
2
0 8 0 1
0 9 2 20
0
end_operator
begin_operator
move-car_DETDUP_2 n11 n14
0
2
0 8 0 1
0 9 3 6
0
end_operator
begin_operator
move-car_DETDUP_2 n12 n13
0
2
0 8 0 1
0 9 4 5
0
end_operator
begin_operator
move-car_DETDUP_2 n12 n16
0
2
0 8 0 1
0 9 4 8
0
end_operator
begin_operator
move-car_DETDUP_2 n12 n4
0
2
0 8 0 1
0 9 4 15
0
end_operator
begin_operator
move-car_DETDUP_2 n13 n12
0
2
0 8 0 1
0 9 5 4
0
end_operator
begin_operator
move-car_DETDUP_2 n13 n2
0
2
0 8 0 1
0 9 5 12
0
end_operator
begin_operator
move-car_DETDUP_2 n13 n6
0
2
0 8 0 1
0 9 5 17
0
end_operator
begin_operator
move-car_DETDUP_2 n13 n8
0
2
0 8 0 1
0 9 5 19
0
end_operator
begin_operator
move-car_DETDUP_2 n14 n11
0
2
0 8 0 1
0 9 6 3
0
end_operator
begin_operator
move-car_DETDUP_2 n14 n15
0
2
0 8 0 1
0 9 6 7
0
end_operator
begin_operator
move-car_DETDUP_2 n14 n18
0
2
0 8 0 1
0 9 6 10
0
end_operator
begin_operator
move-car_DETDUP_2 n14 n3
0
2
0 8 0 1
0 9 6 14
0
end_operator
begin_operator
move-car_DETDUP_2 n14 n8
0
2
0 8 0 1
0 9 6 19
0
end_operator
begin_operator
move-car_DETDUP_2 n15 n10
0
2
0 8 0 1
0 9 7 2
0
end_operator
begin_operator
move-car_DETDUP_2 n15 n14
0
2
0 8 0 1
0 9 7 6
0
end_operator
begin_operator
move-car_DETDUP_2 n15 n5
0
2
0 8 0 1
0 9 7 16
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n1
0
2
0 8 0 1
0 9 8 1
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n12
0
2
0 8 0 1
0 9 8 4
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n17
0
2
0 8 0 1
0 9 8 9
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n20
0
2
0 8 0 1
0 9 8 13
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n4
0
2
0 8 0 1
0 9 8 15
0
end_operator
begin_operator
move-car_DETDUP_2 n16 n6
0
2
0 8 0 1
0 9 8 17
0
end_operator
begin_operator
move-car_DETDUP_2 n17 n16
0
2
0 8 0 1
0 9 9 8
0
end_operator
begin_operator
move-car_DETDUP_2 n17 n2
0
2
0 8 0 1
0 9 9 12
0
end_operator
begin_operator
move-car_DETDUP_2 n17 n20
0
2
0 8 0 1
0 9 9 13
0
end_operator
begin_operator
move-car_DETDUP_2 n17 n8
0
2
0 8 0 1
0 9 9 19
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n0
0
2
0 8 0 1
0 9 10 0
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n14
0
2
0 8 0 1
0 9 10 6
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n19
0
2
0 8 0 1
0 9 10 11
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n20
0
2
0 8 0 1
0 9 10 13
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n6
0
2
0 8 0 1
0 9 10 17
0
end_operator
begin_operator
move-car_DETDUP_2 n18 n7
0
2
0 8 0 1
0 9 10 18
0
end_operator
begin_operator
move-car_DETDUP_2 n19 n18
0
2
0 8 0 1
0 9 11 10
0
end_operator
begin_operator
move-car_DETDUP_2 n19 n20
0
2
0 8 0 1
0 9 11 13
0
end_operator
begin_operator
move-car_DETDUP_2 n19 n7
0
2
0 8 0 1
0 9 11 18
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n1
0
2
0 8 0 1
0 9 12 1
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n13
0
2
0 8 0 1
0 9 12 5
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n17
0
2
0 8 0 1
0 9 12 9
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n20
0
2
0 8 0 1
0 9 12 13
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n6
0
2
0 8 0 1
0 9 12 17
0
end_operator
begin_operator
move-car_DETDUP_2 n2 n8
0
2
0 8 0 1
0 9 12 19
0
end_operator
begin_operator
move-car_DETDUP_2 n20 n16
0
2
0 8 0 1
0 9 13 8
0
end_operator
begin_operator
move-car_DETDUP_2 n20 n17
0
2
0 8 0 1
0 9 13 9
0
end_operator
begin_operator
move-car_DETDUP_2 n20 n18
0
2
0 8 0 1
0 9 13 10
0
end_operator
begin_operator
move-car_DETDUP_2 n20 n19
0
2
0 8 0 1
0 9 13 11
0
end_operator
begin_operator
move-car_DETDUP_2 n20 n2
0
2
0 8 0 1
0 9 13 12
0
end_operator
begin_operator
move-car_DETDUP_2 n3 n14
0
2
0 8 0 1
0 9 14 6
0
end_operator
begin_operator
move-car_DETDUP_2 n3 n8
0
2
0 8 0 1
0 9 14 19
0
end_operator
begin_operator
move-car_DETDUP_2 n4 n12
0
2
0 8 0 1
0 9 15 4
0
end_operator
begin_operator
move-car_DETDUP_2 n4 n16
0
2
0 8 0 1
0 9 15 8
0
end_operator
begin_operator
move-car_DETDUP_2 n5 n15
0
2
0 8 0 1
0 9 16 7
0
end_operator
begin_operator
move-car_DETDUP_2 n6 n13
0
2
0 8 0 1
0 9 17 5
0
end_operator
begin_operator
move-car_DETDUP_2 n6 n16
0
2
0 8 0 1
0 9 17 8
0
end_operator
begin_operator
move-car_DETDUP_2 n6 n18
0
2
0 8 0 1
0 9 17 10
0
end_operator
begin_operator
move-car_DETDUP_2 n6 n2
0
2
0 8 0 1
0 9 17 12
0
end_operator
begin_operator
move-car_DETDUP_2 n6 n9
0
2
0 8 0 1
0 9 17 20
0
end_operator
begin_operator
move-car_DETDUP_2 n7 n1
0
2
0 8 0 1
0 9 18 1
0
end_operator
begin_operator
move-car_DETDUP_2 n7 n18
0
2
0 8 0 1
0 9 18 10
0
end_operator
begin_operator
move-car_DETDUP_2 n7 n19
0
2
0 8 0 1
0 9 18 11
0
end_operator
begin_operator
move-car_DETDUP_2 n8 n13
0
2
0 8 0 1
0 9 19 5
0
end_operator
begin_operator
move-car_DETDUP_2 n8 n14
0
2
0 8 0 1
0 9 19 6
0
end_operator
begin_operator
move-car_DETDUP_2 n8 n17
0
2
0 8 0 1
0 9 19 9
0
end_operator
begin_operator
move-car_DETDUP_2 n8 n2
0
2
0 8 0 1
0 9 19 12
0
end_operator
begin_operator
move-car_DETDUP_2 n8 n3
0
2
0 8 0 1
0 9 19 14
0
end_operator
begin_operator
move-car_DETDUP_2 n9 n10
0
2
0 8 0 1
0 9 20 2
0
end_operator
begin_operator
move-car_DETDUP_2 n9 n6
0
2
0 8 0 1
0 9 20 17
0
end_operator
0
begin_SG
switch 7
check 0
check 1
0
check 0
switch 8
check 0
switch 9
check 0
check 3
8
80
152
check 9
9
10
11
81
82
83
153
154
155
check 6
12
13
84
85
156
157
check 3
14
86
158
check 9
15
16
17
87
88
89
159
160
161
check 12
18
19
20
21
90
91
92
93
162
163
164
165
check 15
22
23
24
25
26
94
95
96
97
98
166
167
168
169
170
check 9
27
28
29
99
100
101
171
172
173
check 18
30
31
32
33
34
35
102
103
104
105
106
107
174
175
176
177
178
179
check 12
36
37
38
39
108
109
110
111
180
181
182
183
check 18
40
41
42
43
44
45
112
113
114
115
116
117
184
185
186
187
188
189
check 9
46
47
48
118
119
120
190
191
192
check 18
49
50
51
52
53
54
121
122
123
124
125
126
193
194
195
196
197
198
check 15
55
56
57
58
59
127
128
129
130
131
199
200
201
202
203
check 6
60
61
132
133
204
205
check 6
62
63
134
135
206
207
check 3
64
136
208
check 15
65
66
67
68
69
137
138
139
140
141
209
210
211
212
213
check 9
70
71
72
142
143
144
214
215
216
check 15
73
74
75
76
77
145
146
147
148
149
217
218
219
220
221
check 6
78
79
150
151
222
223
check 0
check 0
switch 0
check 0
switch 9
check 0
check 1
1
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
switch 1
check 0
switch 9
check 0
check 0
check 1
2
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
switch 2
check 0
switch 9
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 1
3
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
switch 3
check 0
switch 9
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 1
4
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
switch 4
check 0
switch 9
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 1
5
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
switch 5
check 0
switch 9
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 1
6
check 0
check 0
check 0
check 0
check 0
check 0
switch 6
check 0
switch 9
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 0
check 1
7
check 0
check 0
check 0
check 0
check 0
check 0
end_SG
begin_DTG
1
1
1
1
9 0
0
end_DTG
begin_DTG
1
1
2
1
9 1
0
end_DTG
begin_DTG
1
1
3
1
9 7
0
end_DTG
begin_DTG
1
1
4
1
9 8
0
end_DTG
begin_DTG
1
1
5
1
9 13
0
end_DTG
begin_DTG
1
1
6
1
9 16
0
end_DTG
begin_DTG
1
1
7
1
9 17
0
end_DTG
begin_DTG
1
1
0
0
7
0
1
2
0 0
9 0
0
2
2
1 0
9 1
0
3
2
2 0
9 7
0
4
2
3 0
9 8
0
5
2
4 0
9 13
0
6
2
5 0
9 16
0
7
2
6 0
9 17
end_DTG
begin_DTG
21
1
197
1
9 12
1
205
1
9 14
1
203
1
9 13
1
206
1
9 15
1
192
1
9 11
1
189
1
9 10
1
215
1
9 18
1
223
1
9 20
1
221
1
9 19
1
213
1
9 17
1
208
1
9 16
1
161
1
9 4
1
169
1
9 6
1
165
1
9 5
1
158
1
9 3
1
157
1
9 2
1
155
1
9 1
1
179
1
9 8
1
183
1
9 9
1
152
1
9 0
1
173
1
9 7
1
0
0
1
7 0
end_DTG
begin_DTG
1
10
8
1
8 0
3
8
9
1
8 0
12
10
1
8 0
18
11
1
8 0
2
7
12
1
8 0
20
13
1
8 0
1
6
14
1
8 0
3
5
15
1
8 0
8
16
1
8 0
15
17
1
8 0
4
4
18
1
8 0
12
19
1
8 0
17
20
1
8 0
19
21
1
8 0
5
3
22
1
8 0
7
23
1
8 0
10
24
1
8 0
14
25
1
8 0
19
26
1
8 0
3
2
27
1
8 0
6
28
1
8 0
16
29
1
8 0
6
1
102
1
8 0
4
31
1
8 0
9
32
1
8 0
13
105
1
8 0
15
106
1
8 0
17
107
1
8 0
4
8
36
1
8 0
12
37
1
8 0
13
38
1
8 0
19
39
1
8 0
6
0
112
1
8 0
6
41
1
8 0
11
42
1
8 0
13
115
1
8 0
17
116
1
8 0
18
117
1
8 0
3
10
46
1
8 0
13
47
1
8 0
18
48
1
8 0
6
1
121
1
8 0
5
50
1
8 0
9
51
1
8 0
13
124
1
8 0
17
125
1
8 0
19
126
1
8 0
5
8
55
1
8 0
9
56
1
8 0
10
57
1
8 0
11
58
1
8 0
12
59
1
8 0
2
6
60
1
8 0
19
61
1
8 0
2
4
62
1
8 0
8
63
1
8 0
1
7
64
1
8 0
5
5
65
1
8 0
8
66
1
8 0
10
67
1
8 0
12
68
1
8 0
20
69
1
8 0
3
1
70
1
8 0
10
71
1
8 0
11
72
1
8 0
5
5
73
1
8 0
6
74
1
8 0
9
75
1
8 0
12
76
1
8 0
14
77
1
8 0
2
2
78
1
8 0
17
79
1
8 0
end_DTG
begin_CG
1
7 1
1
7 1
1
7 1
1
7 1
1
7 1
1
7 1
1
7 1
1
8 1
1
9 216
9
7 7
8 72
0 1
1 1
2 1
3 1
4 1
5 1
6 1
end_CG
