diff --git a/encodings/sas-tests/miconic-adl_p1.sas b/encodings/sas-tests/miconic-adl_p1.sas
deleted file mode 100644
index 899a4e1..0000000
--- a/encodings/sas-tests/miconic-adl_p1.sas
+++ /dev/null
@@ -1,140 +0,0 @@
-begin_version
-3
-end_version
-begin_metric
-0
-end_metric
-4
-begin_variable
-var0
--1
-2
-Atom boarded(p0)
-NegatedAtom boarded(p0)
-end_variable
-begin_variable
-var1
--1
-2
-Atom lift-at(f0)
-Atom lift-at(f1)
-end_variable
-begin_variable
-var2
-0
-2
-Atom new-axiom@10()
-NegatedAtom new-axiom@10()
-end_variable
-begin_variable
-var3
--1
-2
-Atom served(p0)
-NegatedAtom served(p0)
-end_variable
-1
-begin_mutex_group
-2
-1 0
-1 1
-end_mutex_group
-begin_state
-1
-0
-0
-1
-end_state
-begin_goal
-1
-2 1
-end_goal
-10
-begin_operator
-down f1 f0
-0
-1
-0 1 1 0
-1
-end_operator
-begin_operator
-stop f0
-1
-1 0
-2
-0 0 -1 1
-1 0 0 3 -1 0
-1
-end_operator
-begin_operator
-stop f0
-1
-1 0
-2
-0 0 -1 1
-1 0 0 3 -1 0
-1
-end_operator
-begin_operator
-stop f0
-1
-1 0
-2
-0 0 -1 1
-1 0 0 3 -1 0
-1
-end_operator
-begin_operator
-stop f0
-1
-1 0
-2
-0 0 -1 1
-1 0 0 3 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-1 1
-1
-1 3 1 0 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-1 1
-1
-1 3 1 0 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-1 1
-1
-1 3 1 0 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-1 1
-1
-1 3 1 0 -1 0
-1
-end_operator
-begin_operator
-up f0 f1
-0
-1
-0 1 0 1
-1
-end_operator
-1
-begin_rule
-1
-3 0
-2 0 1
-end_rule
diff --git a/encodings/sas-tests/miconic-adl_p4.sas b/encodings/sas-tests/miconic-adl_p4.sas
deleted file mode 100644
index 60b15b3..0000000
--- a/encodings/sas-tests/miconic-adl_p4.sas
+++ /dev/null
@@ -1,729 +0,0 @@
-begin_version
-3
-end_version
-begin_metric
-0
-end_metric
-10
-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
-8
-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)
-end_variable
-begin_variable
-var5
-0
-2
-Atom new-axiom@10()
-NegatedAtom new-axiom@10()
-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
-1
-begin_mutex_group
-8
-4 0
-4 1
-4 2
-4 3
-4 4
-4 5
-4 6
-4 7
-end_mutex_group
-begin_state
-1
-1
-1
-1
-0
-0
-1
-1
-1
-1
-end_state
-begin_goal
-1
-5 1
-end_goal
-80
-begin_operator
-down f1 f0
-0
-1
-0 4 1 0
-1
-end_operator
-begin_operator
-down f2 f0
-0
-1
-0 4 2 0
-1
-end_operator
-begin_operator
-down f2 f1
-0
-1
-0 4 2 1
-1
-end_operator
-begin_operator
-down f3 f0
-0
-1
-0 4 3 0
-1
-end_operator
-begin_operator
-down f3 f1
-0
-1
-0 4 3 1
-1
-end_operator
-begin_operator
-down f3 f2
-0
-1
-0 4 3 2
-1
-end_operator
-begin_operator
-down f4 f0
-0
-1
-0 4 4 0
-1
-end_operator
-begin_operator
-down f4 f1
-0
-1
-0 4 4 1
-1
-end_operator
-begin_operator
-down f4 f2
-0
-1
-0 4 4 2
-1
-end_operator
-begin_operator
-down f4 f3
-0
-1
-0 4 4 3
-1
-end_operator
-begin_operator
-down f5 f0
-0
-1
-0 4 5 0
-1
-end_operator
-begin_operator
-down f5 f1
-0
-1
-0 4 5 1
-1
-end_operator
-begin_operator
-down f5 f2
-0
-1
-0 4 5 2
-1
-end_operator
-begin_operator
-down f5 f3
-0
-1
-0 4 5 3
-1
-end_operator
-begin_operator
-down f5 f4
-0
-1
-0 4 5 4
-1
-end_operator
-begin_operator
-down f6 f0
-0
-1
-0 4 6 0
-1
-end_operator
-begin_operator
-down f6 f1
-0
-1
-0 4 6 1
-1
-end_operator
-begin_operator
-down f6 f2
-0
-1
-0 4 6 2
-1
-end_operator
-begin_operator
-down f6 f3
-0
-1
-0 4 6 3
-1
-end_operator
-begin_operator
-down f6 f4
-0
-1
-0 4 6 4
-1
-end_operator
-begin_operator
-down f6 f5
-0
-1
-0 4 6 5
-1
-end_operator
-begin_operator
-down f7 f0
-0
-1
-0 4 7 0
-1
-end_operator
-begin_operator
-down f7 f1
-0
-1
-0 4 7 1
-1
-end_operator
-begin_operator
-down f7 f2
-0
-1
-0 4 7 2
-1
-end_operator
-begin_operator
-down f7 f3
-0
-1
-0 4 7 3
-1
-end_operator
-begin_operator
-down f7 f4
-0
-1
-0 4 7 4
-1
-end_operator
-begin_operator
-down f7 f5
-0
-1
-0 4 7 5
-1
-end_operator
-begin_operator
-down f7 f6
-0
-1
-0 4 7 6
-1
-end_operator
-begin_operator
-stop f1
-1
-4 1
-2
-1 7 1 1 -1 0
-1 8 1 2 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-4 1
-2
-1 7 1 1 -1 0
-1 8 1 2 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-4 1
-2
-1 7 1 1 -1 0
-1 8 1 2 -1 0
-1
-end_operator
-begin_operator
-stop f1
-1
-4 1
-2
-1 7 1 1 -1 0
-1 8 1 2 -1 0
-1
-end_operator
-begin_operator
-stop f2
-1
-4 2
-1
-1 9 1 3 -1 0
-1
-end_operator
-begin_operator
-stop f2
-1
-4 2
-1
-1 9 1 3 -1 0
-1
-end_operator
-begin_operator
-stop f2
-1
-4 2
-1
-1 9 1 3 -1 0
-1
-end_operator
-begin_operator
-stop f2
-1
-4 2
-1
-1 9 1 3 -1 0
-1
-end_operator
-begin_operator
-stop f3
-1
-4 3
-2
-0 1 -1 1
-1 1 0 7 -1 0
-1
-end_operator
-begin_operator
-stop f3
-1
-4 3
-2
-0 1 -1 1
-1 1 0 7 -1 0
-1
-end_operator
-begin_operator
-stop f3
-1
-4 3
-2
-0 1 -1 1
-1 1 0 7 -1 0
-1
-end_operator
-begin_operator
-stop f3
-1
-4 3
-2
-0 1 -1 1
-1 1 0 7 -1 0
-1
-end_operator
-begin_operator
-stop f4
-1
-4 4
-2
-0 3 -1 1
-1 3 0 9 -1 0
-1
-end_operator
-begin_operator
-stop f4
-1
-4 4
-2
-0 3 -1 1
-1 3 0 9 -1 0
-1
-end_operator
-begin_operator
-stop f4
-1
-4 4
-2
-0 3 -1 1
-1 3 0 9 -1 0
-1
-end_operator
-begin_operator
-stop f4
-1
-4 4
-2
-0 3 -1 1
-1 3 0 9 -1 0
-1
-end_operator
-begin_operator
-stop f6
-1
-4 6
-2
-0 0 -1 1
-1 0 0 6 -1 0
-1
-end_operator
-begin_operator
-stop f6
-1
-4 6
-2
-0 0 -1 1
-1 0 0 6 -1 0
-1
-end_operator
-begin_operator
-stop f6
-1
-4 6
-2
-0 0 -1 1
-1 0 0 6 -1 0
-1
-end_operator
-begin_operator
-stop f6
-1
-4 6
-2
-0 0 -1 1
-1 0 0 6 -1 0
-1
-end_operator
-begin_operator
-stop f7
-1
-4 7
-3
-1 6 1 0 -1 0
-0 2 -1 1
-1 2 0 8 -1 0
-1
-end_operator
-begin_operator
-stop f7
-1
-4 7
-3
-1 6 1 0 -1 0
-0 2 -1 1
-1 2 0 8 -1 0
-1
-end_operator
-begin_operator
-stop f7
-1
-4 7
-3
-1 6 1 0 -1 0
-0 2 -1 1
-1 2 0 8 -1 0
-1
-end_operator
-begin_operator
-stop f7
-1
-4 7
-3
-1 6 1 0 -1 0
-0 2 -1 1
-1 2 0 8 -1 0
-1
-end_operator
-begin_operator
-up f0 f1
-0
-1
-0 4 0 1
-1
-end_operator
-begin_operator
-up f0 f2
-0
-1
-0 4 0 2
-1
-end_operator
-begin_operator
-up f0 f3
-0
-1
-0 4 0 3
-1
-end_operator
-begin_operator
-up f0 f4
-0
-1
-0 4 0 4
-1
-end_operator
-begin_operator
-up f0 f5
-0
-1
-0 4 0 5
-1
-end_operator
-begin_operator
-up f0 f6
-0
-1
-0 4 0 6
-1
-end_operator
-begin_operator
-up f0 f7
-0
-1
-0 4 0 7
-1
-end_operator
-begin_operator
-up f1 f2
-0
-1
-0 4 1 2
-1
-end_operator
-begin_operator
-up f1 f3
-0
-1
-0 4 1 3
-1
-end_operator
-begin_operator
-up f1 f4
-0
-1
-0 4 1 4
-1
-end_operator
-begin_operator
-up f1 f5
-0
-1
-0 4 1 5
-1
-end_operator
-begin_operator
-up f1 f6
-0
-1
-0 4 1 6
-1
-end_operator
-begin_operator
-up f1 f7
-0
-1
-0 4 1 7
-1
-end_operator
-begin_operator
-up f2 f3
-0
-1
-0 4 2 3
-1
-end_operator
-begin_operator
-up f2 f4
-0
-1
-0 4 2 4
-1
-end_operator
-begin_operator
-up f2 f5
-0
-1
-0 4 2 5
-1
-end_operator
-begin_operator
-up f2 f6
-0
-1
-0 4 2 6
-1
-end_operator
-begin_operator
-up f2 f7
-0
-1
-0 4 2 7
-1
-end_operator
-begin_operator
-up f3 f4
-0
-1
-0 4 3 4
-1
-end_operator
-begin_operator
-up f3 f5
-0
-1
-0 4 3 5
-1
-end_operator
-begin_operator
-up f3 f6
-0
-1
-0 4 3 6
-1
-end_operator
-begin_operator
-up f3 f7
-0
-1
-0 4 3 7
-1
-end_operator
-begin_operator
-up f4 f5
-0
-1
-0 4 4 5
-1
-end_operator
-begin_operator
-up f4 f6
-0
-1
-0 4 4 6
-1
-end_operator
-begin_operator
-up f4 f7
-0
-1
-0 4 4 7
-1
-end_operator
-begin_operator
-up f5 f6
-0
-1
-0 4 5 6
-1
-end_operator
-begin_operator
-up f5 f7
-0
-1
-0 4 5 7
-1
-end_operator
-begin_operator
-up f6 f7
-0
-1
-0 4 6 7
-1
-end_operator
-1
-begin_rule
-4
-6 0
-7 0
-8 0
-9 0
-5 0 1
-end_rule
diff --git a/encodings/sas-tests/miconic-adl_p5.sas b/encodings/sas-tests/miconic-adl_p5.sas
deleted file mode 100644
index 06c0ce4..0000000
--- a/encodings/sas-tests/miconic-adl_p5.sas
+++ /dev/null
@@ -1,1537 +0,0 @@
-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