From 348bc32cef88cb7fe28509814fb9d3e47d6420be Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Sun, 28 Aug 2016 21:00:05 +0200 Subject: [PATCH] generated some sas files from Rene's PDDL samples - should be deleted later - --- .../sas-tests/miconic-adl-simple_f2_p2.sas | 109 + .../sas-tests/miconic-adl-simple_f2_p4.sas | 149 + .../sas-tests/miconic-adl-simple_f4_p2.sas | 190 + encodings/sas-tests/miconic-adl_p1.sas | 140 + encodings/sas-tests/miconic-adl_p4.sas | 729 ++ encodings/sas-tests/miconic-adl_p5.sas | 1537 +++ encodings/sas-tests/openstacks-adl_p01.sas | 815 ++ encodings/sas-tests/openstacks-adl_p02.sas | 815 ++ encodings/sas-tests/openstacks-adl_p10.sas | 8294 +++++++++++++++++ 9 files changed, 12778 insertions(+) create mode 100644 encodings/sas-tests/miconic-adl-simple_f2_p2.sas create mode 100644 encodings/sas-tests/miconic-adl-simple_f2_p4.sas create mode 100644 encodings/sas-tests/miconic-adl-simple_f4_p2.sas create mode 100644 encodings/sas-tests/miconic-adl_p1.sas create mode 100644 encodings/sas-tests/miconic-adl_p4.sas create mode 100644 encodings/sas-tests/miconic-adl_p5.sas create mode 100644 encodings/sas-tests/openstacks-adl_p01.sas create mode 100644 encodings/sas-tests/openstacks-adl_p02.sas create mode 100644 encodings/sas-tests/openstacks-adl_p10.sas diff --git a/encodings/sas-tests/miconic-adl-simple_f2_p2.sas b/encodings/sas-tests/miconic-adl-simple_f2_p2.sas new file mode 100644 index 0000000..f46604f --- /dev/null +++ b/encodings/sas-tests/miconic-adl-simple_f2_p2.sas @@ -0,0 +1,109 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +6 +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 lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var3 +0 +2 +Atom new-axiom@0() +NegatedAtom new-axiom@0() +end_variable +begin_variable +var4 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +begin_variable +var5 +-1 +2 +Atom served(p1) +NegatedAtom served(p1) +end_variable +1 +begin_mutex_group +2 +2 0 +2 1 +end_mutex_group +begin_state +1 +1 +0 +0 +1 +1 +end_state +begin_goal +1 +3 1 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 2 1 0 +1 +end_operator +begin_operator +stop f0 +1 +2 0 +2 +1 4 1 0 -1 0 +1 5 1 1 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +2 1 +4 +0 0 -1 1 +0 1 -1 1 +1 0 0 4 -1 0 +1 1 0 5 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 2 0 1 +1 +end_operator +1 +begin_rule +2 +4 0 +5 0 +3 0 1 +end_rule diff --git a/encodings/sas-tests/miconic-adl-simple_f2_p4.sas b/encodings/sas-tests/miconic-adl-simple_f2_p4.sas new file mode 100644 index 0000000..441974d --- /dev/null +++ b/encodings/sas-tests/miconic-adl-simple_f2_p4.sas @@ -0,0 +1,149 @@ +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 +2 +Atom lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var5 +0 +2 +Atom new-axiom@0() +NegatedAtom new-axiom@0() +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 +2 +4 0 +4 1 +end_mutex_group +begin_state +1 +1 +1 +1 +0 +0 +1 +1 +1 +1 +end_state +begin_goal +1 +5 1 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 4 1 0 +1 +end_operator +begin_operator +stop f0 +1 +4 0 +7 +0 0 -1 1 +0 1 -1 1 +0 2 -1 1 +1 9 1 3 -1 0 +1 0 0 6 -1 0 +1 1 0 7 -1 0 +1 2 0 8 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +4 1 +5 +1 6 1 0 -1 0 +1 7 1 1 -1 0 +1 8 1 2 -1 0 +0 3 -1 1 +1 3 0 9 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 4 0 1 +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-simple_f4_p2.sas b/encodings/sas-tests/miconic-adl-simple_f4_p2.sas new file mode 100644 index 0000000..38426bd --- /dev/null +++ b/encodings/sas-tests/miconic-adl-simple_f4_p2.sas @@ -0,0 +1,190 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +6 +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 +4 +Atom lift-at(f0) +Atom lift-at(f1) +Atom lift-at(f2) +Atom lift-at(f3) +end_variable +begin_variable +var3 +0 +2 +Atom new-axiom@0() +NegatedAtom new-axiom@0() +end_variable +begin_variable +var4 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +begin_variable +var5 +-1 +2 +Atom served(p1) +NegatedAtom served(p1) +end_variable +1 +begin_mutex_group +4 +2 0 +2 1 +2 2 +2 3 +end_mutex_group +begin_state +1 +1 +0 +0 +1 +1 +end_state +begin_goal +1 +3 1 +end_goal +15 +begin_operator +down f1 f0 +0 +1 +0 2 1 0 +1 +end_operator +begin_operator +down f2 f0 +0 +1 +0 2 2 0 +1 +end_operator +begin_operator +down f2 f1 +0 +1 +0 2 2 1 +1 +end_operator +begin_operator +down f3 f0 +0 +1 +0 2 3 0 +1 +end_operator +begin_operator +down f3 f1 +0 +1 +0 2 3 1 +1 +end_operator +begin_operator +down f3 f2 +0 +1 +0 2 3 2 +1 +end_operator +begin_operator +stop f1 +1 +2 1 +2 +0 0 -1 1 +1 0 0 4 -1 0 +1 +end_operator +begin_operator +stop f2 +1 +2 2 +2 +1 4 1 0 -1 0 +1 5 1 1 -1 0 +1 +end_operator +begin_operator +stop f3 +1 +2 3 +2 +0 1 -1 1 +1 1 0 5 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 2 0 1 +1 +end_operator +begin_operator +up f0 f2 +0 +1 +0 2 0 2 +1 +end_operator +begin_operator +up f0 f3 +0 +1 +0 2 0 3 +1 +end_operator +begin_operator +up f1 f2 +0 +1 +0 2 1 2 +1 +end_operator +begin_operator +up f1 f3 +0 +1 +0 2 1 3 +1 +end_operator +begin_operator +up f2 f3 +0 +1 +0 2 2 3 +1 +end_operator +1 +begin_rule +2 +4 0 +5 0 +3 0 1 +end_rule diff --git a/encodings/sas-tests/miconic-adl_p1.sas b/encodings/sas-tests/miconic-adl_p1.sas new file mode 100644 index 0000000..899a4e1 --- /dev/null +++ b/encodings/sas-tests/miconic-adl_p1.sas @@ -0,0 +1,140 @@ +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 new file mode 100644 index 0000000..60b15b3 --- /dev/null +++ b/encodings/sas-tests/miconic-adl_p4.sas @@ -0,0 +1,729 @@ +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 new file mode 100644 index 0000000..06c0ce4 --- /dev/null +++ b/encodings/sas-tests/miconic-adl_p5.sas @@ -0,0 +1,1537 @@ +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 diff --git a/encodings/sas-tests/openstacks-adl_p01.sas b/encodings/sas-tests/openstacks-adl_p01.sas new file mode 100644 index 0000000..e3fcd30 --- /dev/null +++ b/encodings/sas-tests/openstacks-adl_p01.sas @@ -0,0 +1,815 @@ +begin_version +3 +end_version +begin_metric +1 +end_metric +21 +begin_variable +var0 +-1 +2 +Atom made(p1) +NegatedAtom made(p1) +end_variable +begin_variable +var1 +-1 +2 +Atom made(p2) +NegatedAtom made(p2) +end_variable +begin_variable +var2 +-1 +2 +Atom made(p3) +NegatedAtom made(p3) +end_variable +begin_variable +var3 +-1 +2 +Atom made(p4) +NegatedAtom made(p4) +end_variable +begin_variable +var4 +-1 +2 +Atom made(p5) +NegatedAtom made(p5) +end_variable +begin_variable +var5 +0 +2 +Atom new-axiom@0(p1) +NegatedAtom new-axiom@0(p1) +end_variable +begin_variable +var6 +0 +2 +Atom new-axiom@0(p2) +NegatedAtom new-axiom@0(p2) +end_variable +begin_variable +var7 +0 +2 +Atom new-axiom@0(p3) +NegatedAtom new-axiom@0(p3) +end_variable +begin_variable +var8 +0 +2 +Atom new-axiom@0(p4) +NegatedAtom new-axiom@0(p4) +end_variable +begin_variable +var9 +0 +2 +Atom new-axiom@0(p5) +NegatedAtom new-axiom@0(p5) +end_variable +begin_variable +var10 +0 +2 +Atom new-axiom@1(o1) +NegatedAtom new-axiom@1(o1) +end_variable +begin_variable +var11 +0 +2 +Atom new-axiom@1(o2) +NegatedAtom new-axiom@1(o2) +end_variable +begin_variable +var12 +0 +2 +Atom new-axiom@1(o3) +NegatedAtom new-axiom@1(o3) +end_variable +begin_variable +var13 +0 +2 +Atom new-axiom@1(o4) +NegatedAtom new-axiom@1(o4) +end_variable +begin_variable +var14 +0 +2 +Atom new-axiom@1(o5) +NegatedAtom new-axiom@1(o5) +end_variable +begin_variable +var15 +-1 +3 +Atom shipped(o1) +Atom started(o1) +Atom waiting(o1) +end_variable +begin_variable +var16 +-1 +3 +Atom shipped(o2) +Atom started(o2) +Atom waiting(o2) +end_variable +begin_variable +var17 +-1 +3 +Atom shipped(o3) +Atom started(o3) +Atom waiting(o3) +end_variable +begin_variable +var18 +-1 +3 +Atom shipped(o4) +Atom started(o4) +Atom waiting(o4) +end_variable +begin_variable +var19 +-1 +3 +Atom shipped(o5) +Atom started(o5) +Atom waiting(o5) +end_variable +begin_variable +var20 +-1 +6 +Atom stacks-avail(n0) +Atom stacks-avail(n1) +Atom stacks-avail(n2) +Atom stacks-avail(n3) +Atom stacks-avail(n4) +Atom stacks-avail(n5) +end_variable +11 +begin_mutex_group +3 +15 0 +15 1 +15 2 +end_mutex_group +begin_mutex_group +3 +16 0 +16 1 +16 2 +end_mutex_group +begin_mutex_group +3 +17 0 +17 1 +17 2 +end_mutex_group +begin_mutex_group +3 +18 0 +18 1 +18 2 +end_mutex_group +begin_mutex_group +3 +19 0 +19 1 +19 2 +end_mutex_group +begin_mutex_group +6 +20 0 +20 1 +20 2 +20 3 +20 4 +20 5 +end_mutex_group +begin_mutex_group +2 +15 1 +15 2 +end_mutex_group +begin_mutex_group +2 +16 1 +16 2 +end_mutex_group +begin_mutex_group +2 +17 1 +17 2 +end_mutex_group +begin_mutex_group +2 +18 1 +18 2 +end_mutex_group +begin_mutex_group +2 +19 1 +19 2 +end_mutex_group +begin_state +1 +1 +1 +1 +1 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +2 +2 +2 +2 +2 +0 +end_state +begin_goal +5 +15 0 +16 0 +17 0 +18 0 +19 0 +end_goal +60 +begin_operator +make-product p1 +1 +5 1 +1 +0 0 1 0 +0 +end_operator +begin_operator +make-product p2 +1 +6 1 +1 +0 1 1 0 +0 +end_operator +begin_operator +make-product p3 +1 +7 1 +1 +0 2 1 0 +0 +end_operator +begin_operator +make-product p4 +1 +8 1 +1 +0 3 1 0 +0 +end_operator +begin_operator +make-product p5 +1 +9 1 +1 +0 4 1 0 +0 +end_operator +begin_operator +open-new-stack n0 n1 +0 +1 +0 20 0 1 +1 +end_operator +begin_operator +open-new-stack n1 n2 +0 +1 +0 20 1 2 +1 +end_operator +begin_operator +open-new-stack n2 n3 +0 +1 +0 20 2 3 +1 +end_operator +begin_operator +open-new-stack n3 n4 +0 +1 +0 20 3 4 +1 +end_operator +begin_operator +open-new-stack n4 n5 +0 +1 +0 20 4 5 +1 +end_operator +begin_operator +ship-order o1 n0 n1 +1 +10 1 +2 +0 15 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o1 n1 n2 +1 +10 1 +2 +0 15 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o1 n2 n3 +1 +10 1 +2 +0 15 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o1 n3 n4 +1 +10 1 +2 +0 15 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o1 n4 n5 +1 +10 1 +2 +0 15 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o2 n0 n1 +1 +11 1 +2 +0 16 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o2 n1 n2 +1 +11 1 +2 +0 16 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o2 n2 n3 +1 +11 1 +2 +0 16 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o2 n3 n4 +1 +11 1 +2 +0 16 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o2 n4 n5 +1 +11 1 +2 +0 16 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o3 n0 n1 +1 +12 1 +2 +0 17 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o3 n1 n2 +1 +12 1 +2 +0 17 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o3 n2 n3 +1 +12 1 +2 +0 17 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o3 n3 n4 +1 +12 1 +2 +0 17 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o3 n4 n5 +1 +12 1 +2 +0 17 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o4 n0 n1 +1 +13 1 +2 +0 18 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o4 n1 n2 +1 +13 1 +2 +0 18 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o4 n2 n3 +1 +13 1 +2 +0 18 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o4 n3 n4 +1 +13 1 +2 +0 18 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o4 n4 n5 +1 +13 1 +2 +0 18 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o5 n0 n1 +1 +14 1 +2 +0 19 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o5 n1 n2 +1 +14 1 +2 +0 19 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o5 n2 n3 +1 +14 1 +2 +0 19 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o5 n3 n4 +1 +14 1 +2 +0 19 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o5 n4 n5 +1 +14 1 +2 +0 19 1 0 +0 20 4 5 +0 +end_operator +begin_operator +start-order o1 n1 n0 +0 +2 +0 15 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o1 n2 n1 +0 +2 +0 15 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o1 n3 n2 +0 +2 +0 15 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o1 n4 n3 +0 +2 +0 15 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o1 n5 n4 +0 +2 +0 15 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o2 n1 n0 +0 +2 +0 16 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o2 n2 n1 +0 +2 +0 16 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o2 n3 n2 +0 +2 +0 16 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o2 n4 n3 +0 +2 +0 16 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o2 n5 n4 +0 +2 +0 16 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o3 n1 n0 +0 +2 +0 17 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o3 n2 n1 +0 +2 +0 17 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o3 n3 n2 +0 +2 +0 17 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o3 n4 n3 +0 +2 +0 17 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o3 n5 n4 +0 +2 +0 17 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o4 n1 n0 +0 +2 +0 18 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o4 n2 n1 +0 +2 +0 18 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o4 n3 n2 +0 +2 +0 18 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o4 n4 n3 +0 +2 +0 18 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o4 n5 n4 +0 +2 +0 18 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o5 n1 n0 +0 +2 +0 19 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o5 n2 n1 +0 +2 +0 19 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o5 n3 n2 +0 +2 +0 19 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o5 n4 n3 +0 +2 +0 19 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o5 n5 n4 +0 +2 +0 19 2 1 +0 20 5 4 +0 +end_operator +10 +begin_rule +2 +0 0 +1 0 +11 0 1 +end_rule +begin_rule +1 +1 0 +10 0 1 +end_rule +begin_rule +1 +2 0 +12 0 1 +end_rule +begin_rule +2 +2 0 +3 0 +13 0 1 +end_rule +begin_rule +1 +4 0 +14 0 1 +end_rule +begin_rule +2 +15 1 +16 1 +6 0 1 +end_rule +begin_rule +1 +16 1 +5 0 1 +end_rule +begin_rule +2 +17 1 +18 1 +7 0 1 +end_rule +begin_rule +1 +18 1 +8 0 1 +end_rule +begin_rule +1 +19 1 +9 0 1 +end_rule diff --git a/encodings/sas-tests/openstacks-adl_p02.sas b/encodings/sas-tests/openstacks-adl_p02.sas new file mode 100644 index 0000000..63dc3cf --- /dev/null +++ b/encodings/sas-tests/openstacks-adl_p02.sas @@ -0,0 +1,815 @@ +begin_version +3 +end_version +begin_metric +1 +end_metric +21 +begin_variable +var0 +-1 +2 +Atom made(p1) +NegatedAtom made(p1) +end_variable +begin_variable +var1 +-1 +2 +Atom made(p2) +NegatedAtom made(p2) +end_variable +begin_variable +var2 +-1 +2 +Atom made(p3) +NegatedAtom made(p3) +end_variable +begin_variable +var3 +-1 +2 +Atom made(p4) +NegatedAtom made(p4) +end_variable +begin_variable +var4 +-1 +2 +Atom made(p5) +NegatedAtom made(p5) +end_variable +begin_variable +var5 +0 +2 +Atom new-axiom@0(p1) +NegatedAtom new-axiom@0(p1) +end_variable +begin_variable +var6 +0 +2 +Atom new-axiom@0(p2) +NegatedAtom new-axiom@0(p2) +end_variable +begin_variable +var7 +0 +2 +Atom new-axiom@0(p3) +NegatedAtom new-axiom@0(p3) +end_variable +begin_variable +var8 +0 +2 +Atom new-axiom@0(p4) +NegatedAtom new-axiom@0(p4) +end_variable +begin_variable +var9 +0 +2 +Atom new-axiom@0(p5) +NegatedAtom new-axiom@0(p5) +end_variable +begin_variable +var10 +0 +2 +Atom new-axiom@1(o1) +NegatedAtom new-axiom@1(o1) +end_variable +begin_variable +var11 +0 +2 +Atom new-axiom@1(o2) +NegatedAtom new-axiom@1(o2) +end_variable +begin_variable +var12 +0 +2 +Atom new-axiom@1(o3) +NegatedAtom new-axiom@1(o3) +end_variable +begin_variable +var13 +0 +2 +Atom new-axiom@1(o4) +NegatedAtom new-axiom@1(o4) +end_variable +begin_variable +var14 +0 +2 +Atom new-axiom@1(o5) +NegatedAtom new-axiom@1(o5) +end_variable +begin_variable +var15 +-1 +3 +Atom shipped(o1) +Atom started(o1) +Atom waiting(o1) +end_variable +begin_variable +var16 +-1 +3 +Atom shipped(o2) +Atom started(o2) +Atom waiting(o2) +end_variable +begin_variable +var17 +-1 +3 +Atom shipped(o3) +Atom started(o3) +Atom waiting(o3) +end_variable +begin_variable +var18 +-1 +3 +Atom shipped(o4) +Atom started(o4) +Atom waiting(o4) +end_variable +begin_variable +var19 +-1 +3 +Atom shipped(o5) +Atom started(o5) +Atom waiting(o5) +end_variable +begin_variable +var20 +-1 +6 +Atom stacks-avail(n0) +Atom stacks-avail(n1) +Atom stacks-avail(n2) +Atom stacks-avail(n3) +Atom stacks-avail(n4) +Atom stacks-avail(n5) +end_variable +11 +begin_mutex_group +3 +15 0 +15 1 +15 2 +end_mutex_group +begin_mutex_group +3 +16 0 +16 1 +16 2 +end_mutex_group +begin_mutex_group +3 +17 0 +17 1 +17 2 +end_mutex_group +begin_mutex_group +3 +18 0 +18 1 +18 2 +end_mutex_group +begin_mutex_group +3 +19 0 +19 1 +19 2 +end_mutex_group +begin_mutex_group +6 +20 0 +20 1 +20 2 +20 3 +20 4 +20 5 +end_mutex_group +begin_mutex_group +2 +15 1 +15 2 +end_mutex_group +begin_mutex_group +2 +16 1 +16 2 +end_mutex_group +begin_mutex_group +2 +17 1 +17 2 +end_mutex_group +begin_mutex_group +2 +18 1 +18 2 +end_mutex_group +begin_mutex_group +2 +19 1 +19 2 +end_mutex_group +begin_state +1 +1 +1 +1 +1 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +2 +2 +2 +2 +2 +0 +end_state +begin_goal +5 +15 0 +16 0 +17 0 +18 0 +19 0 +end_goal +60 +begin_operator +make-product p1 +1 +5 1 +1 +0 0 1 0 +0 +end_operator +begin_operator +make-product p2 +1 +6 1 +1 +0 1 1 0 +0 +end_operator +begin_operator +make-product p3 +1 +7 1 +1 +0 2 1 0 +0 +end_operator +begin_operator +make-product p4 +1 +8 1 +1 +0 3 1 0 +0 +end_operator +begin_operator +make-product p5 +1 +9 1 +1 +0 4 1 0 +0 +end_operator +begin_operator +open-new-stack n0 n1 +0 +1 +0 20 0 1 +1 +end_operator +begin_operator +open-new-stack n1 n2 +0 +1 +0 20 1 2 +1 +end_operator +begin_operator +open-new-stack n2 n3 +0 +1 +0 20 2 3 +1 +end_operator +begin_operator +open-new-stack n3 n4 +0 +1 +0 20 3 4 +1 +end_operator +begin_operator +open-new-stack n4 n5 +0 +1 +0 20 4 5 +1 +end_operator +begin_operator +ship-order o1 n0 n1 +1 +10 1 +2 +0 15 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o1 n1 n2 +1 +10 1 +2 +0 15 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o1 n2 n3 +1 +10 1 +2 +0 15 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o1 n3 n4 +1 +10 1 +2 +0 15 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o1 n4 n5 +1 +10 1 +2 +0 15 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o2 n0 n1 +1 +11 1 +2 +0 16 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o2 n1 n2 +1 +11 1 +2 +0 16 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o2 n2 n3 +1 +11 1 +2 +0 16 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o2 n3 n4 +1 +11 1 +2 +0 16 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o2 n4 n5 +1 +11 1 +2 +0 16 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o3 n0 n1 +1 +12 1 +2 +0 17 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o3 n1 n2 +1 +12 1 +2 +0 17 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o3 n2 n3 +1 +12 1 +2 +0 17 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o3 n3 n4 +1 +12 1 +2 +0 17 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o3 n4 n5 +1 +12 1 +2 +0 17 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o4 n0 n1 +1 +13 1 +2 +0 18 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o4 n1 n2 +1 +13 1 +2 +0 18 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o4 n2 n3 +1 +13 1 +2 +0 18 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o4 n3 n4 +1 +13 1 +2 +0 18 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o4 n4 n5 +1 +13 1 +2 +0 18 1 0 +0 20 4 5 +0 +end_operator +begin_operator +ship-order o5 n0 n1 +1 +14 1 +2 +0 19 1 0 +0 20 0 1 +0 +end_operator +begin_operator +ship-order o5 n1 n2 +1 +14 1 +2 +0 19 1 0 +0 20 1 2 +0 +end_operator +begin_operator +ship-order o5 n2 n3 +1 +14 1 +2 +0 19 1 0 +0 20 2 3 +0 +end_operator +begin_operator +ship-order o5 n3 n4 +1 +14 1 +2 +0 19 1 0 +0 20 3 4 +0 +end_operator +begin_operator +ship-order o5 n4 n5 +1 +14 1 +2 +0 19 1 0 +0 20 4 5 +0 +end_operator +begin_operator +start-order o1 n1 n0 +0 +2 +0 15 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o1 n2 n1 +0 +2 +0 15 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o1 n3 n2 +0 +2 +0 15 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o1 n4 n3 +0 +2 +0 15 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o1 n5 n4 +0 +2 +0 15 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o2 n1 n0 +0 +2 +0 16 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o2 n2 n1 +0 +2 +0 16 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o2 n3 n2 +0 +2 +0 16 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o2 n4 n3 +0 +2 +0 16 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o2 n5 n4 +0 +2 +0 16 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o3 n1 n0 +0 +2 +0 17 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o3 n2 n1 +0 +2 +0 17 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o3 n3 n2 +0 +2 +0 17 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o3 n4 n3 +0 +2 +0 17 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o3 n5 n4 +0 +2 +0 17 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o4 n1 n0 +0 +2 +0 18 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o4 n2 n1 +0 +2 +0 18 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o4 n3 n2 +0 +2 +0 18 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o4 n4 n3 +0 +2 +0 18 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o4 n5 n4 +0 +2 +0 18 2 1 +0 20 5 4 +0 +end_operator +begin_operator +start-order o5 n1 n0 +0 +2 +0 19 2 1 +0 20 1 0 +0 +end_operator +begin_operator +start-order o5 n2 n1 +0 +2 +0 19 2 1 +0 20 2 1 +0 +end_operator +begin_operator +start-order o5 n3 n2 +0 +2 +0 19 2 1 +0 20 3 2 +0 +end_operator +begin_operator +start-order o5 n4 n3 +0 +2 +0 19 2 1 +0 20 4 3 +0 +end_operator +begin_operator +start-order o5 n5 n4 +0 +2 +0 19 2 1 +0 20 5 4 +0 +end_operator +10 +begin_rule +1 +0 0 +11 0 1 +end_rule +begin_rule +1 +0 0 +14 0 1 +end_rule +begin_rule +2 +0 0 +2 0 +10 0 1 +end_rule +begin_rule +2 +1 0 +3 0 +12 0 1 +end_rule +begin_rule +1 +4 0 +13 0 1 +end_rule +begin_rule +1 +15 1 +7 0 1 +end_rule +begin_rule +3 +15 1 +16 1 +19 1 +5 0 1 +end_rule +begin_rule +1 +17 1 +6 0 1 +end_rule +begin_rule +1 +17 1 +8 0 1 +end_rule +begin_rule +1 +18 1 +9 0 1 +end_rule diff --git a/encodings/sas-tests/openstacks-adl_p10.sas b/encodings/sas-tests/openstacks-adl_p10.sas new file mode 100644 index 0000000..795050a --- /dev/null +++ b/encodings/sas-tests/openstacks-adl_p10.sas @@ -0,0 +1,8294 @@ +begin_version +3 +end_version +begin_metric +1 +end_metric +81 +begin_variable +var0 +-1 +2 +Atom made(p1) +NegatedAtom made(p1) +end_variable +begin_variable +var1 +-1 +2 +Atom made(p10) +NegatedAtom made(p10) +end_variable +begin_variable +var2 +-1 +2 +Atom made(p11) +NegatedAtom made(p11) +end_variable +begin_variable +var3 +-1 +2 +Atom made(p12) +NegatedAtom made(p12) +end_variable +begin_variable +var4 +-1 +2 +Atom made(p13) +NegatedAtom made(p13) +end_variable +begin_variable +var5 +-1 +2 +Atom made(p14) +NegatedAtom made(p14) +end_variable +begin_variable +var6 +-1 +2 +Atom made(p15) +NegatedAtom made(p15) +end_variable +begin_variable +var7 +-1 +2 +Atom made(p16) +NegatedAtom made(p16) +end_variable +begin_variable +var8 +-1 +2 +Atom made(p17) +NegatedAtom made(p17) +end_variable +begin_variable +var9 +-1 +2 +Atom made(p18) +NegatedAtom made(p18) +end_variable +begin_variable +var10 +-1 +2 +Atom made(p19) +NegatedAtom made(p19) +end_variable +begin_variable +var11 +-1 +2 +Atom made(p2) +NegatedAtom made(p2) +end_variable +begin_variable +var12 +-1 +2 +Atom made(p20) +NegatedAtom made(p20) +end_variable +begin_variable +var13 +-1 +2 +Atom made(p3) +NegatedAtom made(p3) +end_variable +begin_variable +var14 +-1 +2 +Atom made(p4) +NegatedAtom made(p4) +end_variable +begin_variable +var15 +-1 +2 +Atom made(p5) +NegatedAtom made(p5) +end_variable +begin_variable +var16 +-1 +2 +Atom made(p6) +NegatedAtom made(p6) +end_variable +begin_variable +var17 +-1 +2 +Atom made(p7) +NegatedAtom made(p7) +end_variable +begin_variable +var18 +-1 +2 +Atom made(p8) +NegatedAtom made(p8) +end_variable +begin_variable +var19 +-1 +2 +Atom made(p9) +NegatedAtom made(p9) +end_variable +begin_variable +var20 +0 +2 +Atom new-axiom@0(p1) +NegatedAtom new-axiom@0(p1) +end_variable +begin_variable +var21 +0 +2 +Atom new-axiom@0(p10) +NegatedAtom new-axiom@0(p10) +end_variable +begin_variable +var22 +0 +2 +Atom new-axiom@0(p11) +NegatedAtom new-axiom@0(p11) +end_variable +begin_variable +var23 +0 +2 +Atom new-axiom@0(p12) +NegatedAtom new-axiom@0(p12) +end_variable +begin_variable +var24 +0 +2 +Atom new-axiom@0(p13) +NegatedAtom new-axiom@0(p13) +end_variable +begin_variable +var25 +0 +2 +Atom new-axiom@0(p14) +NegatedAtom new-axiom@0(p14) +end_variable +begin_variable +var26 +0 +2 +Atom new-axiom@0(p15) +NegatedAtom new-axiom@0(p15) +end_variable +begin_variable +var27 +0 +2 +Atom new-axiom@0(p16) +NegatedAtom new-axiom@0(p16) +end_variable +begin_variable +var28 +0 +2 +Atom new-axiom@0(p17) +NegatedAtom new-axiom@0(p17) +end_variable +begin_variable +var29 +0 +2 +Atom new-axiom@0(p18) +NegatedAtom new-axiom@0(p18) +end_variable +begin_variable +var30 +0 +2 +Atom new-axiom@0(p19) +NegatedAtom new-axiom@0(p19) +end_variable +begin_variable +var31 +0 +2 +Atom new-axiom@0(p2) +NegatedAtom new-axiom@0(p2) +end_variable +begin_variable +var32 +0 +2 +Atom new-axiom@0(p20) +NegatedAtom new-axiom@0(p20) +end_variable +begin_variable +var33 +0 +2 +Atom new-axiom@0(p3) +NegatedAtom new-axiom@0(p3) +end_variable +begin_variable +var34 +0 +2 +Atom new-axiom@0(p4) +NegatedAtom new-axiom@0(p4) +end_variable +begin_variable +var35 +0 +2 +Atom new-axiom@0(p5) +NegatedAtom new-axiom@0(p5) +end_variable +begin_variable +var36 +0 +2 +Atom new-axiom@0(p6) +NegatedAtom new-axiom@0(p6) +end_variable +begin_variable +var37 +0 +2 +Atom new-axiom@0(p7) +NegatedAtom new-axiom@0(p7) +end_variable +begin_variable +var38 +0 +2 +Atom new-axiom@0(p8) +NegatedAtom new-axiom@0(p8) +end_variable +begin_variable +var39 +0 +2 +Atom new-axiom@0(p9) +NegatedAtom new-axiom@0(p9) +end_variable +begin_variable +var40 +0 +2 +Atom new-axiom@1(o1) +NegatedAtom new-axiom@1(o1) +end_variable +begin_variable +var41 +0 +2 +Atom new-axiom@1(o10) +NegatedAtom new-axiom@1(o10) +end_variable +begin_variable +var42 +0 +2 +Atom new-axiom@1(o11) +NegatedAtom new-axiom@1(o11) +end_variable +begin_variable +var43 +0 +2 +Atom new-axiom@1(o12) +NegatedAtom new-axiom@1(o12) +end_variable +begin_variable +var44 +0 +2 +Atom new-axiom@1(o13) +NegatedAtom new-axiom@1(o13) +end_variable +begin_variable +var45 +0 +2 +Atom new-axiom@1(o14) +NegatedAtom new-axiom@1(o14) +end_variable +begin_variable +var46 +0 +2 +Atom new-axiom@1(o15) +NegatedAtom new-axiom@1(o15) +end_variable +begin_variable +var47 +0 +2 +Atom new-axiom@1(o16) +NegatedAtom new-axiom@1(o16) +end_variable +begin_variable +var48 +0 +2 +Atom new-axiom@1(o17) +NegatedAtom new-axiom@1(o17) +end_variable +begin_variable +var49 +0 +2 +Atom new-axiom@1(o18) +NegatedAtom new-axiom@1(o18) +end_variable +begin_variable +var50 +0 +2 +Atom new-axiom@1(o19) +NegatedAtom new-axiom@1(o19) +end_variable +begin_variable +var51 +0 +2 +Atom new-axiom@1(o2) +NegatedAtom new-axiom@1(o2) +end_variable +begin_variable +var52 +0 +2 +Atom new-axiom@1(o20) +NegatedAtom new-axiom@1(o20) +end_variable +begin_variable +var53 +0 +2 +Atom new-axiom@1(o3) +NegatedAtom new-axiom@1(o3) +end_variable +begin_variable +var54 +0 +2 +Atom new-axiom@1(o4) +NegatedAtom new-axiom@1(o4) +end_variable +begin_variable +var55 +0 +2 +Atom new-axiom@1(o5) +NegatedAtom new-axiom@1(o5) +end_variable +begin_variable +var56 +0 +2 +Atom new-axiom@1(o6) +NegatedAtom new-axiom@1(o6) +end_variable +begin_variable +var57 +0 +2 +Atom new-axiom@1(o7) +NegatedAtom new-axiom@1(o7) +end_variable +begin_variable +var58 +0 +2 +Atom new-axiom@1(o8) +NegatedAtom new-axiom@1(o8) +end_variable +begin_variable +var59 +0 +2 +Atom new-axiom@1(o9) +NegatedAtom new-axiom@1(o9) +end_variable +begin_variable +var60 +-1 +3 +Atom shipped(o1) +Atom started(o1) +Atom waiting(o1) +end_variable +begin_variable +var61 +-1 +3 +Atom shipped(o10) +Atom started(o10) +Atom waiting(o10) +end_variable +begin_variable +var62 +-1 +3 +Atom shipped(o11) +Atom started(o11) +Atom waiting(o11) +end_variable +begin_variable +var63 +-1 +3 +Atom shipped(o12) +Atom started(o12) +Atom waiting(o12) +end_variable +begin_variable +var64 +-1 +3 +Atom shipped(o13) +Atom started(o13) +Atom waiting(o13) +end_variable +begin_variable +var65 +-1 +3 +Atom shipped(o14) +Atom started(o14) +Atom waiting(o14) +end_variable +begin_variable +var66 +-1 +3 +Atom shipped(o15) +Atom started(o15) +Atom waiting(o15) +end_variable +begin_variable +var67 +-1 +3 +Atom shipped(o16) +Atom started(o16) +Atom waiting(o16) +end_variable +begin_variable +var68 +-1 +3 +Atom shipped(o17) +Atom started(o17) +Atom waiting(o17) +end_variable +begin_variable +var69 +-1 +3 +Atom shipped(o18) +Atom started(o18) +Atom waiting(o18) +end_variable +begin_variable +var70 +-1 +3 +Atom shipped(o19) +Atom started(o19) +Atom waiting(o19) +end_variable +begin_variable +var71 +-1 +3 +Atom shipped(o2) +Atom started(o2) +Atom waiting(o2) +end_variable +begin_variable +var72 +-1 +3 +Atom shipped(o20) +Atom started(o20) +Atom waiting(o20) +end_variable +begin_variable +var73 +-1 +3 +Atom shipped(o3) +Atom started(o3) +Atom waiting(o3) +end_variable +begin_variable +var74 +-1 +3 +Atom shipped(o4) +Atom started(o4) +Atom waiting(o4) +end_variable +begin_variable +var75 +-1 +3 +Atom shipped(o5) +Atom started(o5) +Atom waiting(o5) +end_variable +begin_variable +var76 +-1 +3 +Atom shipped(o6) +Atom started(o6) +Atom waiting(o6) +end_variable +begin_variable +var77 +-1 +3 +Atom shipped(o7) +Atom started(o7) +Atom waiting(o7) +end_variable +begin_variable +var78 +-1 +3 +Atom shipped(o8) +Atom started(o8) +Atom waiting(o8) +end_variable +begin_variable +var79 +-1 +3 +Atom shipped(o9) +Atom started(o9) +Atom waiting(o9) +end_variable +begin_variable +var80 +-1 +21 +Atom stacks-avail(n0) +Atom stacks-avail(n1) +Atom stacks-avail(n10) +Atom stacks-avail(n11) +Atom stacks-avail(n12) +Atom stacks-avail(n13) +Atom stacks-avail(n14) +Atom stacks-avail(n15) +Atom stacks-avail(n16) +Atom stacks-avail(n17) +Atom stacks-avail(n18) +Atom stacks-avail(n19) +Atom stacks-avail(n2) +Atom stacks-avail(n20) +Atom stacks-avail(n3) +Atom stacks-avail(n4) +Atom stacks-avail(n5) +Atom stacks-avail(n6) +Atom stacks-avail(n7) +Atom stacks-avail(n8) +Atom stacks-avail(n9) +end_variable +41 +begin_mutex_group +3 +60 0 +60 1 +60 2 +end_mutex_group +begin_mutex_group +3 +61 0 +61 1 +61 2 +end_mutex_group +begin_mutex_group +3 +62 0 +62 1 +62 2 +end_mutex_group +begin_mutex_group +3 +63 0 +63 1 +63 2 +end_mutex_group +begin_mutex_group +3 +64 0 +64 1 +64 2 +end_mutex_group +begin_mutex_group +3 +65 0 +65 1 +65 2 +end_mutex_group +begin_mutex_group +3 +66 0 +66 1 +66 2 +end_mutex_group +begin_mutex_group +3 +67 0 +67 1 +67 2 +end_mutex_group +begin_mutex_group +3 +68 0 +68 1 +68 2 +end_mutex_group +begin_mutex_group +3 +69 0 +69 1 +69 2 +end_mutex_group +begin_mutex_group +3 +70 0 +70 1 +70 2 +end_mutex_group +begin_mutex_group +3 +71 0 +71 1 +71 2 +end_mutex_group +begin_mutex_group +3 +72 0 +72 1 +72 2 +end_mutex_group +begin_mutex_group +3 +73 0 +73 1 +73 2 +end_mutex_group +begin_mutex_group +3 +74 0 +74 1 +74 2 +end_mutex_group +begin_mutex_group +3 +75 0 +75 1 +75 2 +end_mutex_group +begin_mutex_group +3 +76 0 +76 1 +76 2 +end_mutex_group +begin_mutex_group +3 +77 0 +77 1 +77 2 +end_mutex_group +begin_mutex_group +3 +78 0 +78 1 +78 2 +end_mutex_group +begin_mutex_group +3 +79 0 +79 1 +79 2 +end_mutex_group +begin_mutex_group +21 +80 0 +80 1 +80 2 +80 3 +80 4 +80 5 +80 6 +80 7 +80 8 +80 9 +80 10 +80 11 +80 12 +80 13 +80 14 +80 15 +80 16 +80 17 +80 18 +80 19 +80 20 +end_mutex_group +begin_mutex_group +2 +60 1 +60 2 +end_mutex_group +begin_mutex_group +2 +61 1 +61 2 +end_mutex_group +begin_mutex_group +2 +62 1 +62 2 +end_mutex_group +begin_mutex_group +2 +63 1 +63 2 +end_mutex_group +begin_mutex_group +2 +64 1 +64 2 +end_mutex_group +begin_mutex_group +2 +65 1 +65 2 +end_mutex_group +begin_mutex_group +2 +66 1 +66 2 +end_mutex_group +begin_mutex_group +2 +67 1 +67 2 +end_mutex_group +begin_mutex_group +2 +68 1 +68 2 +end_mutex_group +begin_mutex_group +2 +69 1 +69 2 +end_mutex_group +begin_mutex_group +2 +70 1 +70 2 +end_mutex_group +begin_mutex_group +2 +71 1 +71 2 +end_mutex_group +begin_mutex_group +2 +72 1 +72 2 +end_mutex_group +begin_mutex_group +2 +73 1 +73 2 +end_mutex_group +begin_mutex_group +2 +74 1 +74 2 +end_mutex_group +begin_mutex_group +2 +75 1 +75 2 +end_mutex_group +begin_mutex_group +2 +76 1 +76 2 +end_mutex_group +begin_mutex_group +2 +77 1 +77 2 +end_mutex_group +begin_mutex_group +2 +78 1 +78 2 +end_mutex_group +begin_mutex_group +2 +79 1 +79 2 +end_mutex_group +begin_state +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +1 +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 +0 +0 +0 +0 +0 +0 +0 +0 +0 +0 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +2 +0 +end_state +begin_goal +20 +60 0 +61 0 +62 0 +63 0 +64 0 +65 0 +66 0 +67 0 +68 0 +69 0 +70 0 +71 0 +72 0 +73 0 +74 0 +75 0 +76 0 +77 0 +78 0 +79 0 +end_goal +840 +begin_operator +make-product p1 +1 +20 1 +1 +0 0 1 0 +0 +end_operator +begin_operator +make-product p10 +1 +21 1 +1 +0 1 1 0 +0 +end_operator +begin_operator +make-product p11 +1 +22 1 +1 +0 2 1 0 +0 +end_operator +begin_operator +make-product p12 +1 +23 1 +1 +0 3 1 0 +0 +end_operator +begin_operator +make-product p13 +1 +24 1 +1 +0 4 1 0 +0 +end_operator +begin_operator +make-product p14 +1 +25 1 +1 +0 5 1 0 +0 +end_operator +begin_operator +make-product p15 +1 +26 1 +1 +0 6 1 0 +0 +end_operator +begin_operator +make-product p16 +1 +27 1 +1 +0 7 1 0 +0 +end_operator +begin_operator +make-product p17 +1 +28 1 +1 +0 8 1 0 +0 +end_operator +begin_operator +make-product p18 +1 +29 1 +1 +0 9 1 0 +0 +end_operator +begin_operator +make-product p19 +1 +30 1 +1 +0 10 1 0 +0 +end_operator +begin_operator +make-product p2 +1 +31 1 +1 +0 11 1 0 +0 +end_operator +begin_operator +make-product p20 +1 +32 1 +1 +0 12 1 0 +0 +end_operator +begin_operator +make-product p3 +1 +33 1 +1 +0 13 1 0 +0 +end_operator +begin_operator +make-product p4 +1 +34 1 +1 +0 14 1 0 +0 +end_operator +begin_operator +make-product p5 +1 +35 1 +1 +0 15 1 0 +0 +end_operator +begin_operator +make-product p6 +1 +36 1 +1 +0 16 1 0 +0 +end_operator +begin_operator +make-product p7 +1 +37 1 +1 +0 17 1 0 +0 +end_operator +begin_operator +make-product p8 +1 +38 1 +1 +0 18 1 0 +0 +end_operator +begin_operator +make-product p9 +1 +39 1 +1 +0 19 1 0 +0 +end_operator +begin_operator +open-new-stack n0 n1 +0 +1 +0 80 0 1 +1 +end_operator +begin_operator +open-new-stack n1 n2 +0 +1 +0 80 1 12 +1 +end_operator +begin_operator +open-new-stack n10 n11 +0 +1 +0 80 2 3 +1 +end_operator +begin_operator +open-new-stack n11 n12 +0 +1 +0 80 3 4 +1 +end_operator +begin_operator +open-new-stack n12 n13 +0 +1 +0 80 4 5 +1 +end_operator +begin_operator +open-new-stack n13 n14 +0 +1 +0 80 5 6 +1 +end_operator +begin_operator +open-new-stack n14 n15 +0 +1 +0 80 6 7 +1 +end_operator +begin_operator +open-new-stack n15 n16 +0 +1 +0 80 7 8 +1 +end_operator +begin_operator +open-new-stack n16 n17 +0 +1 +0 80 8 9 +1 +end_operator +begin_operator +open-new-stack n17 n18 +0 +1 +0 80 9 10 +1 +end_operator +begin_operator +open-new-stack n18 n19 +0 +1 +0 80 10 11 +1 +end_operator +begin_operator +open-new-stack n19 n20 +0 +1 +0 80 11 13 +1 +end_operator +begin_operator +open-new-stack n2 n3 +0 +1 +0 80 12 14 +1 +end_operator +begin_operator +open-new-stack n3 n4 +0 +1 +0 80 14 15 +1 +end_operator +begin_operator +open-new-stack n4 n5 +0 +1 +0 80 15 16 +1 +end_operator +begin_operator +open-new-stack n5 n6 +0 +1 +0 80 16 17 +1 +end_operator +begin_operator +open-new-stack n6 n7 +0 +1 +0 80 17 18 +1 +end_operator +begin_operator +open-new-stack n7 n8 +0 +1 +0 80 18 19 +1 +end_operator +begin_operator +open-new-stack n8 n9 +0 +1 +0 80 19 20 +1 +end_operator +begin_operator +open-new-stack n9 n10 +0 +1 +0 80 20 2 +1 +end_operator +begin_operator +ship-order o1 n0 n1 +1 +40 1 +2 +0 60 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o1 n1 n2 +1 +40 1 +2 +0 60 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o1 n10 n11 +1 +40 1 +2 +0 60 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o1 n11 n12 +1 +40 1 +2 +0 60 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o1 n12 n13 +1 +40 1 +2 +0 60 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o1 n13 n14 +1 +40 1 +2 +0 60 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o1 n14 n15 +1 +40 1 +2 +0 60 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o1 n15 n16 +1 +40 1 +2 +0 60 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o1 n16 n17 +1 +40 1 +2 +0 60 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o1 n17 n18 +1 +40 1 +2 +0 60 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o1 n18 n19 +1 +40 1 +2 +0 60 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o1 n19 n20 +1 +40 1 +2 +0 60 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o1 n2 n3 +1 +40 1 +2 +0 60 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o1 n3 n4 +1 +40 1 +2 +0 60 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o1 n4 n5 +1 +40 1 +2 +0 60 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o1 n5 n6 +1 +40 1 +2 +0 60 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o1 n6 n7 +1 +40 1 +2 +0 60 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o1 n7 n8 +1 +40 1 +2 +0 60 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o1 n8 n9 +1 +40 1 +2 +0 60 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o1 n9 n10 +1 +40 1 +2 +0 60 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o10 n0 n1 +1 +41 1 +2 +0 61 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o10 n1 n2 +1 +41 1 +2 +0 61 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o10 n10 n11 +1 +41 1 +2 +0 61 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o10 n11 n12 +1 +41 1 +2 +0 61 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o10 n12 n13 +1 +41 1 +2 +0 61 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o10 n13 n14 +1 +41 1 +2 +0 61 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o10 n14 n15 +1 +41 1 +2 +0 61 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o10 n15 n16 +1 +41 1 +2 +0 61 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o10 n16 n17 +1 +41 1 +2 +0 61 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o10 n17 n18 +1 +41 1 +2 +0 61 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o10 n18 n19 +1 +41 1 +2 +0 61 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o10 n19 n20 +1 +41 1 +2 +0 61 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o10 n2 n3 +1 +41 1 +2 +0 61 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o10 n3 n4 +1 +41 1 +2 +0 61 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o10 n4 n5 +1 +41 1 +2 +0 61 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o10 n5 n6 +1 +41 1 +2 +0 61 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o10 n6 n7 +1 +41 1 +2 +0 61 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o10 n7 n8 +1 +41 1 +2 +0 61 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o10 n8 n9 +1 +41 1 +2 +0 61 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o10 n9 n10 +1 +41 1 +2 +0 61 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o11 n0 n1 +1 +42 1 +2 +0 62 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o11 n1 n2 +1 +42 1 +2 +0 62 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o11 n10 n11 +1 +42 1 +2 +0 62 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o11 n11 n12 +1 +42 1 +2 +0 62 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o11 n12 n13 +1 +42 1 +2 +0 62 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o11 n13 n14 +1 +42 1 +2 +0 62 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o11 n14 n15 +1 +42 1 +2 +0 62 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o11 n15 n16 +1 +42 1 +2 +0 62 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o11 n16 n17 +1 +42 1 +2 +0 62 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o11 n17 n18 +1 +42 1 +2 +0 62 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o11 n18 n19 +1 +42 1 +2 +0 62 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o11 n19 n20 +1 +42 1 +2 +0 62 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o11 n2 n3 +1 +42 1 +2 +0 62 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o11 n3 n4 +1 +42 1 +2 +0 62 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o11 n4 n5 +1 +42 1 +2 +0 62 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o11 n5 n6 +1 +42 1 +2 +0 62 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o11 n6 n7 +1 +42 1 +2 +0 62 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o11 n7 n8 +1 +42 1 +2 +0 62 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o11 n8 n9 +1 +42 1 +2 +0 62 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o11 n9 n10 +1 +42 1 +2 +0 62 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o12 n0 n1 +1 +43 1 +2 +0 63 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o12 n1 n2 +1 +43 1 +2 +0 63 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o12 n10 n11 +1 +43 1 +2 +0 63 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o12 n11 n12 +1 +43 1 +2 +0 63 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o12 n12 n13 +1 +43 1 +2 +0 63 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o12 n13 n14 +1 +43 1 +2 +0 63 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o12 n14 n15 +1 +43 1 +2 +0 63 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o12 n15 n16 +1 +43 1 +2 +0 63 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o12 n16 n17 +1 +43 1 +2 +0 63 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o12 n17 n18 +1 +43 1 +2 +0 63 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o12 n18 n19 +1 +43 1 +2 +0 63 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o12 n19 n20 +1 +43 1 +2 +0 63 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o12 n2 n3 +1 +43 1 +2 +0 63 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o12 n3 n4 +1 +43 1 +2 +0 63 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o12 n4 n5 +1 +43 1 +2 +0 63 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o12 n5 n6 +1 +43 1 +2 +0 63 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o12 n6 n7 +1 +43 1 +2 +0 63 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o12 n7 n8 +1 +43 1 +2 +0 63 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o12 n8 n9 +1 +43 1 +2 +0 63 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o12 n9 n10 +1 +43 1 +2 +0 63 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o13 n0 n1 +1 +44 1 +2 +0 64 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o13 n1 n2 +1 +44 1 +2 +0 64 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o13 n10 n11 +1 +44 1 +2 +0 64 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o13 n11 n12 +1 +44 1 +2 +0 64 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o13 n12 n13 +1 +44 1 +2 +0 64 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o13 n13 n14 +1 +44 1 +2 +0 64 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o13 n14 n15 +1 +44 1 +2 +0 64 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o13 n15 n16 +1 +44 1 +2 +0 64 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o13 n16 n17 +1 +44 1 +2 +0 64 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o13 n17 n18 +1 +44 1 +2 +0 64 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o13 n18 n19 +1 +44 1 +2 +0 64 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o13 n19 n20 +1 +44 1 +2 +0 64 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o13 n2 n3 +1 +44 1 +2 +0 64 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o13 n3 n4 +1 +44 1 +2 +0 64 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o13 n4 n5 +1 +44 1 +2 +0 64 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o13 n5 n6 +1 +44 1 +2 +0 64 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o13 n6 n7 +1 +44 1 +2 +0 64 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o13 n7 n8 +1 +44 1 +2 +0 64 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o13 n8 n9 +1 +44 1 +2 +0 64 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o13 n9 n10 +1 +44 1 +2 +0 64 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o14 n0 n1 +1 +45 1 +2 +0 65 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o14 n1 n2 +1 +45 1 +2 +0 65 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o14 n10 n11 +1 +45 1 +2 +0 65 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o14 n11 n12 +1 +45 1 +2 +0 65 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o14 n12 n13 +1 +45 1 +2 +0 65 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o14 n13 n14 +1 +45 1 +2 +0 65 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o14 n14 n15 +1 +45 1 +2 +0 65 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o14 n15 n16 +1 +45 1 +2 +0 65 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o14 n16 n17 +1 +45 1 +2 +0 65 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o14 n17 n18 +1 +45 1 +2 +0 65 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o14 n18 n19 +1 +45 1 +2 +0 65 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o14 n19 n20 +1 +45 1 +2 +0 65 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o14 n2 n3 +1 +45 1 +2 +0 65 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o14 n3 n4 +1 +45 1 +2 +0 65 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o14 n4 n5 +1 +45 1 +2 +0 65 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o14 n5 n6 +1 +45 1 +2 +0 65 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o14 n6 n7 +1 +45 1 +2 +0 65 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o14 n7 n8 +1 +45 1 +2 +0 65 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o14 n8 n9 +1 +45 1 +2 +0 65 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o14 n9 n10 +1 +45 1 +2 +0 65 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o15 n0 n1 +1 +46 1 +2 +0 66 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o15 n1 n2 +1 +46 1 +2 +0 66 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o15 n10 n11 +1 +46 1 +2 +0 66 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o15 n11 n12 +1 +46 1 +2 +0 66 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o15 n12 n13 +1 +46 1 +2 +0 66 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o15 n13 n14 +1 +46 1 +2 +0 66 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o15 n14 n15 +1 +46 1 +2 +0 66 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o15 n15 n16 +1 +46 1 +2 +0 66 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o15 n16 n17 +1 +46 1 +2 +0 66 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o15 n17 n18 +1 +46 1 +2 +0 66 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o15 n18 n19 +1 +46 1 +2 +0 66 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o15 n19 n20 +1 +46 1 +2 +0 66 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o15 n2 n3 +1 +46 1 +2 +0 66 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o15 n3 n4 +1 +46 1 +2 +0 66 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o15 n4 n5 +1 +46 1 +2 +0 66 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o15 n5 n6 +1 +46 1 +2 +0 66 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o15 n6 n7 +1 +46 1 +2 +0 66 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o15 n7 n8 +1 +46 1 +2 +0 66 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o15 n8 n9 +1 +46 1 +2 +0 66 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o15 n9 n10 +1 +46 1 +2 +0 66 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o16 n0 n1 +1 +47 1 +2 +0 67 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o16 n1 n2 +1 +47 1 +2 +0 67 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o16 n10 n11 +1 +47 1 +2 +0 67 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o16 n11 n12 +1 +47 1 +2 +0 67 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o16 n12 n13 +1 +47 1 +2 +0 67 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o16 n13 n14 +1 +47 1 +2 +0 67 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o16 n14 n15 +1 +47 1 +2 +0 67 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o16 n15 n16 +1 +47 1 +2 +0 67 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o16 n16 n17 +1 +47 1 +2 +0 67 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o16 n17 n18 +1 +47 1 +2 +0 67 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o16 n18 n19 +1 +47 1 +2 +0 67 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o16 n19 n20 +1 +47 1 +2 +0 67 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o16 n2 n3 +1 +47 1 +2 +0 67 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o16 n3 n4 +1 +47 1 +2 +0 67 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o16 n4 n5 +1 +47 1 +2 +0 67 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o16 n5 n6 +1 +47 1 +2 +0 67 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o16 n6 n7 +1 +47 1 +2 +0 67 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o16 n7 n8 +1 +47 1 +2 +0 67 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o16 n8 n9 +1 +47 1 +2 +0 67 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o16 n9 n10 +1 +47 1 +2 +0 67 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o17 n0 n1 +1 +48 1 +2 +0 68 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o17 n1 n2 +1 +48 1 +2 +0 68 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o17 n10 n11 +1 +48 1 +2 +0 68 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o17 n11 n12 +1 +48 1 +2 +0 68 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o17 n12 n13 +1 +48 1 +2 +0 68 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o17 n13 n14 +1 +48 1 +2 +0 68 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o17 n14 n15 +1 +48 1 +2 +0 68 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o17 n15 n16 +1 +48 1 +2 +0 68 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o17 n16 n17 +1 +48 1 +2 +0 68 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o17 n17 n18 +1 +48 1 +2 +0 68 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o17 n18 n19 +1 +48 1 +2 +0 68 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o17 n19 n20 +1 +48 1 +2 +0 68 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o17 n2 n3 +1 +48 1 +2 +0 68 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o17 n3 n4 +1 +48 1 +2 +0 68 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o17 n4 n5 +1 +48 1 +2 +0 68 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o17 n5 n6 +1 +48 1 +2 +0 68 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o17 n6 n7 +1 +48 1 +2 +0 68 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o17 n7 n8 +1 +48 1 +2 +0 68 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o17 n8 n9 +1 +48 1 +2 +0 68 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o17 n9 n10 +1 +48 1 +2 +0 68 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o18 n0 n1 +1 +49 1 +2 +0 69 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o18 n1 n2 +1 +49 1 +2 +0 69 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o18 n10 n11 +1 +49 1 +2 +0 69 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o18 n11 n12 +1 +49 1 +2 +0 69 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o18 n12 n13 +1 +49 1 +2 +0 69 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o18 n13 n14 +1 +49 1 +2 +0 69 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o18 n14 n15 +1 +49 1 +2 +0 69 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o18 n15 n16 +1 +49 1 +2 +0 69 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o18 n16 n17 +1 +49 1 +2 +0 69 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o18 n17 n18 +1 +49 1 +2 +0 69 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o18 n18 n19 +1 +49 1 +2 +0 69 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o18 n19 n20 +1 +49 1 +2 +0 69 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o18 n2 n3 +1 +49 1 +2 +0 69 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o18 n3 n4 +1 +49 1 +2 +0 69 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o18 n4 n5 +1 +49 1 +2 +0 69 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o18 n5 n6 +1 +49 1 +2 +0 69 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o18 n6 n7 +1 +49 1 +2 +0 69 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o18 n7 n8 +1 +49 1 +2 +0 69 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o18 n8 n9 +1 +49 1 +2 +0 69 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o18 n9 n10 +1 +49 1 +2 +0 69 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o19 n0 n1 +1 +50 1 +2 +0 70 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o19 n1 n2 +1 +50 1 +2 +0 70 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o19 n10 n11 +1 +50 1 +2 +0 70 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o19 n11 n12 +1 +50 1 +2 +0 70 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o19 n12 n13 +1 +50 1 +2 +0 70 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o19 n13 n14 +1 +50 1 +2 +0 70 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o19 n14 n15 +1 +50 1 +2 +0 70 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o19 n15 n16 +1 +50 1 +2 +0 70 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o19 n16 n17 +1 +50 1 +2 +0 70 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o19 n17 n18 +1 +50 1 +2 +0 70 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o19 n18 n19 +1 +50 1 +2 +0 70 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o19 n19 n20 +1 +50 1 +2 +0 70 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o19 n2 n3 +1 +50 1 +2 +0 70 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o19 n3 n4 +1 +50 1 +2 +0 70 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o19 n4 n5 +1 +50 1 +2 +0 70 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o19 n5 n6 +1 +50 1 +2 +0 70 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o19 n6 n7 +1 +50 1 +2 +0 70 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o19 n7 n8 +1 +50 1 +2 +0 70 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o19 n8 n9 +1 +50 1 +2 +0 70 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o19 n9 n10 +1 +50 1 +2 +0 70 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o2 n0 n1 +1 +51 1 +2 +0 71 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o2 n1 n2 +1 +51 1 +2 +0 71 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o2 n10 n11 +1 +51 1 +2 +0 71 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o2 n11 n12 +1 +51 1 +2 +0 71 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o2 n12 n13 +1 +51 1 +2 +0 71 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o2 n13 n14 +1 +51 1 +2 +0 71 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o2 n14 n15 +1 +51 1 +2 +0 71 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o2 n15 n16 +1 +51 1 +2 +0 71 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o2 n16 n17 +1 +51 1 +2 +0 71 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o2 n17 n18 +1 +51 1 +2 +0 71 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o2 n18 n19 +1 +51 1 +2 +0 71 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o2 n19 n20 +1 +51 1 +2 +0 71 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o2 n2 n3 +1 +51 1 +2 +0 71 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o2 n3 n4 +1 +51 1 +2 +0 71 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o2 n4 n5 +1 +51 1 +2 +0 71 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o2 n5 n6 +1 +51 1 +2 +0 71 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o2 n6 n7 +1 +51 1 +2 +0 71 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o2 n7 n8 +1 +51 1 +2 +0 71 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o2 n8 n9 +1 +51 1 +2 +0 71 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o2 n9 n10 +1 +51 1 +2 +0 71 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o20 n0 n1 +1 +52 1 +2 +0 72 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o20 n1 n2 +1 +52 1 +2 +0 72 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o20 n10 n11 +1 +52 1 +2 +0 72 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o20 n11 n12 +1 +52 1 +2 +0 72 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o20 n12 n13 +1 +52 1 +2 +0 72 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o20 n13 n14 +1 +52 1 +2 +0 72 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o20 n14 n15 +1 +52 1 +2 +0 72 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o20 n15 n16 +1 +52 1 +2 +0 72 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o20 n16 n17 +1 +52 1 +2 +0 72 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o20 n17 n18 +1 +52 1 +2 +0 72 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o20 n18 n19 +1 +52 1 +2 +0 72 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o20 n19 n20 +1 +52 1 +2 +0 72 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o20 n2 n3 +1 +52 1 +2 +0 72 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o20 n3 n4 +1 +52 1 +2 +0 72 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o20 n4 n5 +1 +52 1 +2 +0 72 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o20 n5 n6 +1 +52 1 +2 +0 72 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o20 n6 n7 +1 +52 1 +2 +0 72 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o20 n7 n8 +1 +52 1 +2 +0 72 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o20 n8 n9 +1 +52 1 +2 +0 72 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o20 n9 n10 +1 +52 1 +2 +0 72 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o3 n0 n1 +1 +53 1 +2 +0 73 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o3 n1 n2 +1 +53 1 +2 +0 73 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o3 n10 n11 +1 +53 1 +2 +0 73 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o3 n11 n12 +1 +53 1 +2 +0 73 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o3 n12 n13 +1 +53 1 +2 +0 73 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o3 n13 n14 +1 +53 1 +2 +0 73 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o3 n14 n15 +1 +53 1 +2 +0 73 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o3 n15 n16 +1 +53 1 +2 +0 73 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o3 n16 n17 +1 +53 1 +2 +0 73 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o3 n17 n18 +1 +53 1 +2 +0 73 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o3 n18 n19 +1 +53 1 +2 +0 73 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o3 n19 n20 +1 +53 1 +2 +0 73 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o3 n2 n3 +1 +53 1 +2 +0 73 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o3 n3 n4 +1 +53 1 +2 +0 73 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o3 n4 n5 +1 +53 1 +2 +0 73 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o3 n5 n6 +1 +53 1 +2 +0 73 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o3 n6 n7 +1 +53 1 +2 +0 73 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o3 n7 n8 +1 +53 1 +2 +0 73 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o3 n8 n9 +1 +53 1 +2 +0 73 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o3 n9 n10 +1 +53 1 +2 +0 73 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o4 n0 n1 +1 +54 1 +2 +0 74 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o4 n1 n2 +1 +54 1 +2 +0 74 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o4 n10 n11 +1 +54 1 +2 +0 74 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o4 n11 n12 +1 +54 1 +2 +0 74 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o4 n12 n13 +1 +54 1 +2 +0 74 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o4 n13 n14 +1 +54 1 +2 +0 74 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o4 n14 n15 +1 +54 1 +2 +0 74 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o4 n15 n16 +1 +54 1 +2 +0 74 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o4 n16 n17 +1 +54 1 +2 +0 74 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o4 n17 n18 +1 +54 1 +2 +0 74 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o4 n18 n19 +1 +54 1 +2 +0 74 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o4 n19 n20 +1 +54 1 +2 +0 74 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o4 n2 n3 +1 +54 1 +2 +0 74 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o4 n3 n4 +1 +54 1 +2 +0 74 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o4 n4 n5 +1 +54 1 +2 +0 74 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o4 n5 n6 +1 +54 1 +2 +0 74 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o4 n6 n7 +1 +54 1 +2 +0 74 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o4 n7 n8 +1 +54 1 +2 +0 74 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o4 n8 n9 +1 +54 1 +2 +0 74 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o4 n9 n10 +1 +54 1 +2 +0 74 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o5 n0 n1 +1 +55 1 +2 +0 75 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o5 n1 n2 +1 +55 1 +2 +0 75 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o5 n10 n11 +1 +55 1 +2 +0 75 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o5 n11 n12 +1 +55 1 +2 +0 75 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o5 n12 n13 +1 +55 1 +2 +0 75 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o5 n13 n14 +1 +55 1 +2 +0 75 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o5 n14 n15 +1 +55 1 +2 +0 75 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o5 n15 n16 +1 +55 1 +2 +0 75 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o5 n16 n17 +1 +55 1 +2 +0 75 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o5 n17 n18 +1 +55 1 +2 +0 75 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o5 n18 n19 +1 +55 1 +2 +0 75 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o5 n19 n20 +1 +55 1 +2 +0 75 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o5 n2 n3 +1 +55 1 +2 +0 75 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o5 n3 n4 +1 +55 1 +2 +0 75 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o5 n4 n5 +1 +55 1 +2 +0 75 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o5 n5 n6 +1 +55 1 +2 +0 75 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o5 n6 n7 +1 +55 1 +2 +0 75 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o5 n7 n8 +1 +55 1 +2 +0 75 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o5 n8 n9 +1 +55 1 +2 +0 75 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o5 n9 n10 +1 +55 1 +2 +0 75 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o6 n0 n1 +1 +56 1 +2 +0 76 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o6 n1 n2 +1 +56 1 +2 +0 76 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o6 n10 n11 +1 +56 1 +2 +0 76 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o6 n11 n12 +1 +56 1 +2 +0 76 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o6 n12 n13 +1 +56 1 +2 +0 76 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o6 n13 n14 +1 +56 1 +2 +0 76 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o6 n14 n15 +1 +56 1 +2 +0 76 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o6 n15 n16 +1 +56 1 +2 +0 76 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o6 n16 n17 +1 +56 1 +2 +0 76 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o6 n17 n18 +1 +56 1 +2 +0 76 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o6 n18 n19 +1 +56 1 +2 +0 76 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o6 n19 n20 +1 +56 1 +2 +0 76 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o6 n2 n3 +1 +56 1 +2 +0 76 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o6 n3 n4 +1 +56 1 +2 +0 76 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o6 n4 n5 +1 +56 1 +2 +0 76 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o6 n5 n6 +1 +56 1 +2 +0 76 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o6 n6 n7 +1 +56 1 +2 +0 76 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o6 n7 n8 +1 +56 1 +2 +0 76 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o6 n8 n9 +1 +56 1 +2 +0 76 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o6 n9 n10 +1 +56 1 +2 +0 76 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o7 n0 n1 +1 +57 1 +2 +0 77 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o7 n1 n2 +1 +57 1 +2 +0 77 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o7 n10 n11 +1 +57 1 +2 +0 77 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o7 n11 n12 +1 +57 1 +2 +0 77 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o7 n12 n13 +1 +57 1 +2 +0 77 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o7 n13 n14 +1 +57 1 +2 +0 77 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o7 n14 n15 +1 +57 1 +2 +0 77 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o7 n15 n16 +1 +57 1 +2 +0 77 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o7 n16 n17 +1 +57 1 +2 +0 77 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o7 n17 n18 +1 +57 1 +2 +0 77 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o7 n18 n19 +1 +57 1 +2 +0 77 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o7 n19 n20 +1 +57 1 +2 +0 77 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o7 n2 n3 +1 +57 1 +2 +0 77 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o7 n3 n4 +1 +57 1 +2 +0 77 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o7 n4 n5 +1 +57 1 +2 +0 77 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o7 n5 n6 +1 +57 1 +2 +0 77 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o7 n6 n7 +1 +57 1 +2 +0 77 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o7 n7 n8 +1 +57 1 +2 +0 77 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o7 n8 n9 +1 +57 1 +2 +0 77 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o7 n9 n10 +1 +57 1 +2 +0 77 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o8 n0 n1 +1 +58 1 +2 +0 78 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o8 n1 n2 +1 +58 1 +2 +0 78 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o8 n10 n11 +1 +58 1 +2 +0 78 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o8 n11 n12 +1 +58 1 +2 +0 78 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o8 n12 n13 +1 +58 1 +2 +0 78 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o8 n13 n14 +1 +58 1 +2 +0 78 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o8 n14 n15 +1 +58 1 +2 +0 78 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o8 n15 n16 +1 +58 1 +2 +0 78 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o8 n16 n17 +1 +58 1 +2 +0 78 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o8 n17 n18 +1 +58 1 +2 +0 78 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o8 n18 n19 +1 +58 1 +2 +0 78 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o8 n19 n20 +1 +58 1 +2 +0 78 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o8 n2 n3 +1 +58 1 +2 +0 78 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o8 n3 n4 +1 +58 1 +2 +0 78 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o8 n4 n5 +1 +58 1 +2 +0 78 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o8 n5 n6 +1 +58 1 +2 +0 78 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o8 n6 n7 +1 +58 1 +2 +0 78 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o8 n7 n8 +1 +58 1 +2 +0 78 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o8 n8 n9 +1 +58 1 +2 +0 78 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o8 n9 n10 +1 +58 1 +2 +0 78 1 0 +0 80 20 2 +0 +end_operator +begin_operator +ship-order o9 n0 n1 +1 +59 1 +2 +0 79 1 0 +0 80 0 1 +0 +end_operator +begin_operator +ship-order o9 n1 n2 +1 +59 1 +2 +0 79 1 0 +0 80 1 12 +0 +end_operator +begin_operator +ship-order o9 n10 n11 +1 +59 1 +2 +0 79 1 0 +0 80 2 3 +0 +end_operator +begin_operator +ship-order o9 n11 n12 +1 +59 1 +2 +0 79 1 0 +0 80 3 4 +0 +end_operator +begin_operator +ship-order o9 n12 n13 +1 +59 1 +2 +0 79 1 0 +0 80 4 5 +0 +end_operator +begin_operator +ship-order o9 n13 n14 +1 +59 1 +2 +0 79 1 0 +0 80 5 6 +0 +end_operator +begin_operator +ship-order o9 n14 n15 +1 +59 1 +2 +0 79 1 0 +0 80 6 7 +0 +end_operator +begin_operator +ship-order o9 n15 n16 +1 +59 1 +2 +0 79 1 0 +0 80 7 8 +0 +end_operator +begin_operator +ship-order o9 n16 n17 +1 +59 1 +2 +0 79 1 0 +0 80 8 9 +0 +end_operator +begin_operator +ship-order o9 n17 n18 +1 +59 1 +2 +0 79 1 0 +0 80 9 10 +0 +end_operator +begin_operator +ship-order o9 n18 n19 +1 +59 1 +2 +0 79 1 0 +0 80 10 11 +0 +end_operator +begin_operator +ship-order o9 n19 n20 +1 +59 1 +2 +0 79 1 0 +0 80 11 13 +0 +end_operator +begin_operator +ship-order o9 n2 n3 +1 +59 1 +2 +0 79 1 0 +0 80 12 14 +0 +end_operator +begin_operator +ship-order o9 n3 n4 +1 +59 1 +2 +0 79 1 0 +0 80 14 15 +0 +end_operator +begin_operator +ship-order o9 n4 n5 +1 +59 1 +2 +0 79 1 0 +0 80 15 16 +0 +end_operator +begin_operator +ship-order o9 n5 n6 +1 +59 1 +2 +0 79 1 0 +0 80 16 17 +0 +end_operator +begin_operator +ship-order o9 n6 n7 +1 +59 1 +2 +0 79 1 0 +0 80 17 18 +0 +end_operator +begin_operator +ship-order o9 n7 n8 +1 +59 1 +2 +0 79 1 0 +0 80 18 19 +0 +end_operator +begin_operator +ship-order o9 n8 n9 +1 +59 1 +2 +0 79 1 0 +0 80 19 20 +0 +end_operator +begin_operator +ship-order o9 n9 n10 +1 +59 1 +2 +0 79 1 0 +0 80 20 2 +0 +end_operator +begin_operator +start-order o1 n1 n0 +0 +2 +0 60 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o1 n10 n9 +0 +2 +0 60 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o1 n11 n10 +0 +2 +0 60 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o1 n12 n11 +0 +2 +0 60 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o1 n13 n12 +0 +2 +0 60 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o1 n14 n13 +0 +2 +0 60 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o1 n15 n14 +0 +2 +0 60 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o1 n16 n15 +0 +2 +0 60 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o1 n17 n16 +0 +2 +0 60 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o1 n18 n17 +0 +2 +0 60 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o1 n19 n18 +0 +2 +0 60 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o1 n2 n1 +0 +2 +0 60 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o1 n20 n19 +0 +2 +0 60 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o1 n3 n2 +0 +2 +0 60 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o1 n4 n3 +0 +2 +0 60 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o1 n5 n4 +0 +2 +0 60 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o1 n6 n5 +0 +2 +0 60 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o1 n7 n6 +0 +2 +0 60 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o1 n8 n7 +0 +2 +0 60 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o1 n9 n8 +0 +2 +0 60 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o10 n1 n0 +0 +2 +0 61 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o10 n10 n9 +0 +2 +0 61 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o10 n11 n10 +0 +2 +0 61 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o10 n12 n11 +0 +2 +0 61 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o10 n13 n12 +0 +2 +0 61 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o10 n14 n13 +0 +2 +0 61 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o10 n15 n14 +0 +2 +0 61 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o10 n16 n15 +0 +2 +0 61 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o10 n17 n16 +0 +2 +0 61 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o10 n18 n17 +0 +2 +0 61 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o10 n19 n18 +0 +2 +0 61 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o10 n2 n1 +0 +2 +0 61 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o10 n20 n19 +0 +2 +0 61 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o10 n3 n2 +0 +2 +0 61 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o10 n4 n3 +0 +2 +0 61 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o10 n5 n4 +0 +2 +0 61 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o10 n6 n5 +0 +2 +0 61 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o10 n7 n6 +0 +2 +0 61 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o10 n8 n7 +0 +2 +0 61 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o10 n9 n8 +0 +2 +0 61 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o11 n1 n0 +0 +2 +0 62 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o11 n10 n9 +0 +2 +0 62 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o11 n11 n10 +0 +2 +0 62 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o11 n12 n11 +0 +2 +0 62 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o11 n13 n12 +0 +2 +0 62 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o11 n14 n13 +0 +2 +0 62 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o11 n15 n14 +0 +2 +0 62 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o11 n16 n15 +0 +2 +0 62 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o11 n17 n16 +0 +2 +0 62 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o11 n18 n17 +0 +2 +0 62 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o11 n19 n18 +0 +2 +0 62 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o11 n2 n1 +0 +2 +0 62 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o11 n20 n19 +0 +2 +0 62 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o11 n3 n2 +0 +2 +0 62 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o11 n4 n3 +0 +2 +0 62 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o11 n5 n4 +0 +2 +0 62 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o11 n6 n5 +0 +2 +0 62 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o11 n7 n6 +0 +2 +0 62 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o11 n8 n7 +0 +2 +0 62 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o11 n9 n8 +0 +2 +0 62 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o12 n1 n0 +0 +2 +0 63 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o12 n10 n9 +0 +2 +0 63 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o12 n11 n10 +0 +2 +0 63 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o12 n12 n11 +0 +2 +0 63 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o12 n13 n12 +0 +2 +0 63 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o12 n14 n13 +0 +2 +0 63 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o12 n15 n14 +0 +2 +0 63 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o12 n16 n15 +0 +2 +0 63 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o12 n17 n16 +0 +2 +0 63 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o12 n18 n17 +0 +2 +0 63 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o12 n19 n18 +0 +2 +0 63 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o12 n2 n1 +0 +2 +0 63 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o12 n20 n19 +0 +2 +0 63 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o12 n3 n2 +0 +2 +0 63 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o12 n4 n3 +0 +2 +0 63 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o12 n5 n4 +0 +2 +0 63 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o12 n6 n5 +0 +2 +0 63 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o12 n7 n6 +0 +2 +0 63 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o12 n8 n7 +0 +2 +0 63 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o12 n9 n8 +0 +2 +0 63 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o13 n1 n0 +0 +2 +0 64 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o13 n10 n9 +0 +2 +0 64 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o13 n11 n10 +0 +2 +0 64 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o13 n12 n11 +0 +2 +0 64 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o13 n13 n12 +0 +2 +0 64 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o13 n14 n13 +0 +2 +0 64 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o13 n15 n14 +0 +2 +0 64 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o13 n16 n15 +0 +2 +0 64 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o13 n17 n16 +0 +2 +0 64 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o13 n18 n17 +0 +2 +0 64 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o13 n19 n18 +0 +2 +0 64 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o13 n2 n1 +0 +2 +0 64 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o13 n20 n19 +0 +2 +0 64 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o13 n3 n2 +0 +2 +0 64 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o13 n4 n3 +0 +2 +0 64 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o13 n5 n4 +0 +2 +0 64 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o13 n6 n5 +0 +2 +0 64 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o13 n7 n6 +0 +2 +0 64 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o13 n8 n7 +0 +2 +0 64 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o13 n9 n8 +0 +2 +0 64 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o14 n1 n0 +0 +2 +0 65 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o14 n10 n9 +0 +2 +0 65 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o14 n11 n10 +0 +2 +0 65 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o14 n12 n11 +0 +2 +0 65 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o14 n13 n12 +0 +2 +0 65 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o14 n14 n13 +0 +2 +0 65 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o14 n15 n14 +0 +2 +0 65 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o14 n16 n15 +0 +2 +0 65 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o14 n17 n16 +0 +2 +0 65 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o14 n18 n17 +0 +2 +0 65 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o14 n19 n18 +0 +2 +0 65 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o14 n2 n1 +0 +2 +0 65 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o14 n20 n19 +0 +2 +0 65 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o14 n3 n2 +0 +2 +0 65 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o14 n4 n3 +0 +2 +0 65 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o14 n5 n4 +0 +2 +0 65 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o14 n6 n5 +0 +2 +0 65 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o14 n7 n6 +0 +2 +0 65 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o14 n8 n7 +0 +2 +0 65 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o14 n9 n8 +0 +2 +0 65 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o15 n1 n0 +0 +2 +0 66 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o15 n10 n9 +0 +2 +0 66 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o15 n11 n10 +0 +2 +0 66 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o15 n12 n11 +0 +2 +0 66 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o15 n13 n12 +0 +2 +0 66 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o15 n14 n13 +0 +2 +0 66 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o15 n15 n14 +0 +2 +0 66 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o15 n16 n15 +0 +2 +0 66 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o15 n17 n16 +0 +2 +0 66 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o15 n18 n17 +0 +2 +0 66 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o15 n19 n18 +0 +2 +0 66 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o15 n2 n1 +0 +2 +0 66 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o15 n20 n19 +0 +2 +0 66 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o15 n3 n2 +0 +2 +0 66 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o15 n4 n3 +0 +2 +0 66 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o15 n5 n4 +0 +2 +0 66 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o15 n6 n5 +0 +2 +0 66 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o15 n7 n6 +0 +2 +0 66 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o15 n8 n7 +0 +2 +0 66 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o15 n9 n8 +0 +2 +0 66 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o16 n1 n0 +0 +2 +0 67 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o16 n10 n9 +0 +2 +0 67 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o16 n11 n10 +0 +2 +0 67 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o16 n12 n11 +0 +2 +0 67 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o16 n13 n12 +0 +2 +0 67 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o16 n14 n13 +0 +2 +0 67 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o16 n15 n14 +0 +2 +0 67 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o16 n16 n15 +0 +2 +0 67 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o16 n17 n16 +0 +2 +0 67 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o16 n18 n17 +0 +2 +0 67 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o16 n19 n18 +0 +2 +0 67 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o16 n2 n1 +0 +2 +0 67 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o16 n20 n19 +0 +2 +0 67 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o16 n3 n2 +0 +2 +0 67 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o16 n4 n3 +0 +2 +0 67 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o16 n5 n4 +0 +2 +0 67 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o16 n6 n5 +0 +2 +0 67 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o16 n7 n6 +0 +2 +0 67 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o16 n8 n7 +0 +2 +0 67 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o16 n9 n8 +0 +2 +0 67 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o17 n1 n0 +0 +2 +0 68 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o17 n10 n9 +0 +2 +0 68 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o17 n11 n10 +0 +2 +0 68 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o17 n12 n11 +0 +2 +0 68 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o17 n13 n12 +0 +2 +0 68 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o17 n14 n13 +0 +2 +0 68 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o17 n15 n14 +0 +2 +0 68 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o17 n16 n15 +0 +2 +0 68 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o17 n17 n16 +0 +2 +0 68 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o17 n18 n17 +0 +2 +0 68 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o17 n19 n18 +0 +2 +0 68 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o17 n2 n1 +0 +2 +0 68 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o17 n20 n19 +0 +2 +0 68 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o17 n3 n2 +0 +2 +0 68 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o17 n4 n3 +0 +2 +0 68 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o17 n5 n4 +0 +2 +0 68 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o17 n6 n5 +0 +2 +0 68 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o17 n7 n6 +0 +2 +0 68 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o17 n8 n7 +0 +2 +0 68 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o17 n9 n8 +0 +2 +0 68 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o18 n1 n0 +0 +2 +0 69 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o18 n10 n9 +0 +2 +0 69 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o18 n11 n10 +0 +2 +0 69 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o18 n12 n11 +0 +2 +0 69 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o18 n13 n12 +0 +2 +0 69 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o18 n14 n13 +0 +2 +0 69 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o18 n15 n14 +0 +2 +0 69 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o18 n16 n15 +0 +2 +0 69 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o18 n17 n16 +0 +2 +0 69 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o18 n18 n17 +0 +2 +0 69 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o18 n19 n18 +0 +2 +0 69 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o18 n2 n1 +0 +2 +0 69 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o18 n20 n19 +0 +2 +0 69 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o18 n3 n2 +0 +2 +0 69 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o18 n4 n3 +0 +2 +0 69 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o18 n5 n4 +0 +2 +0 69 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o18 n6 n5 +0 +2 +0 69 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o18 n7 n6 +0 +2 +0 69 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o18 n8 n7 +0 +2 +0 69 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o18 n9 n8 +0 +2 +0 69 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o19 n1 n0 +0 +2 +0 70 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o19 n10 n9 +0 +2 +0 70 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o19 n11 n10 +0 +2 +0 70 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o19 n12 n11 +0 +2 +0 70 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o19 n13 n12 +0 +2 +0 70 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o19 n14 n13 +0 +2 +0 70 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o19 n15 n14 +0 +2 +0 70 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o19 n16 n15 +0 +2 +0 70 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o19 n17 n16 +0 +2 +0 70 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o19 n18 n17 +0 +2 +0 70 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o19 n19 n18 +0 +2 +0 70 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o19 n2 n1 +0 +2 +0 70 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o19 n20 n19 +0 +2 +0 70 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o19 n3 n2 +0 +2 +0 70 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o19 n4 n3 +0 +2 +0 70 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o19 n5 n4 +0 +2 +0 70 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o19 n6 n5 +0 +2 +0 70 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o19 n7 n6 +0 +2 +0 70 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o19 n8 n7 +0 +2 +0 70 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o19 n9 n8 +0 +2 +0 70 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o2 n1 n0 +0 +2 +0 71 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o2 n10 n9 +0 +2 +0 71 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o2 n11 n10 +0 +2 +0 71 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o2 n12 n11 +0 +2 +0 71 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o2 n13 n12 +0 +2 +0 71 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o2 n14 n13 +0 +2 +0 71 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o2 n15 n14 +0 +2 +0 71 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o2 n16 n15 +0 +2 +0 71 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o2 n17 n16 +0 +2 +0 71 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o2 n18 n17 +0 +2 +0 71 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o2 n19 n18 +0 +2 +0 71 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o2 n2 n1 +0 +2 +0 71 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o2 n20 n19 +0 +2 +0 71 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o2 n3 n2 +0 +2 +0 71 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o2 n4 n3 +0 +2 +0 71 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o2 n5 n4 +0 +2 +0 71 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o2 n6 n5 +0 +2 +0 71 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o2 n7 n6 +0 +2 +0 71 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o2 n8 n7 +0 +2 +0 71 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o2 n9 n8 +0 +2 +0 71 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o20 n1 n0 +0 +2 +0 72 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o20 n10 n9 +0 +2 +0 72 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o20 n11 n10 +0 +2 +0 72 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o20 n12 n11 +0 +2 +0 72 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o20 n13 n12 +0 +2 +0 72 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o20 n14 n13 +0 +2 +0 72 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o20 n15 n14 +0 +2 +0 72 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o20 n16 n15 +0 +2 +0 72 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o20 n17 n16 +0 +2 +0 72 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o20 n18 n17 +0 +2 +0 72 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o20 n19 n18 +0 +2 +0 72 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o20 n2 n1 +0 +2 +0 72 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o20 n20 n19 +0 +2 +0 72 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o20 n3 n2 +0 +2 +0 72 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o20 n4 n3 +0 +2 +0 72 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o20 n5 n4 +0 +2 +0 72 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o20 n6 n5 +0 +2 +0 72 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o20 n7 n6 +0 +2 +0 72 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o20 n8 n7 +0 +2 +0 72 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o20 n9 n8 +0 +2 +0 72 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o3 n1 n0 +0 +2 +0 73 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o3 n10 n9 +0 +2 +0 73 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o3 n11 n10 +0 +2 +0 73 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o3 n12 n11 +0 +2 +0 73 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o3 n13 n12 +0 +2 +0 73 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o3 n14 n13 +0 +2 +0 73 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o3 n15 n14 +0 +2 +0 73 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o3 n16 n15 +0 +2 +0 73 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o3 n17 n16 +0 +2 +0 73 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o3 n18 n17 +0 +2 +0 73 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o3 n19 n18 +0 +2 +0 73 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o3 n2 n1 +0 +2 +0 73 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o3 n20 n19 +0 +2 +0 73 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o3 n3 n2 +0 +2 +0 73 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o3 n4 n3 +0 +2 +0 73 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o3 n5 n4 +0 +2 +0 73 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o3 n6 n5 +0 +2 +0 73 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o3 n7 n6 +0 +2 +0 73 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o3 n8 n7 +0 +2 +0 73 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o3 n9 n8 +0 +2 +0 73 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o4 n1 n0 +0 +2 +0 74 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o4 n10 n9 +0 +2 +0 74 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o4 n11 n10 +0 +2 +0 74 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o4 n12 n11 +0 +2 +0 74 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o4 n13 n12 +0 +2 +0 74 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o4 n14 n13 +0 +2 +0 74 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o4 n15 n14 +0 +2 +0 74 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o4 n16 n15 +0 +2 +0 74 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o4 n17 n16 +0 +2 +0 74 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o4 n18 n17 +0 +2 +0 74 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o4 n19 n18 +0 +2 +0 74 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o4 n2 n1 +0 +2 +0 74 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o4 n20 n19 +0 +2 +0 74 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o4 n3 n2 +0 +2 +0 74 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o4 n4 n3 +0 +2 +0 74 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o4 n5 n4 +0 +2 +0 74 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o4 n6 n5 +0 +2 +0 74 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o4 n7 n6 +0 +2 +0 74 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o4 n8 n7 +0 +2 +0 74 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o4 n9 n8 +0 +2 +0 74 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o5 n1 n0 +0 +2 +0 75 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o5 n10 n9 +0 +2 +0 75 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o5 n11 n10 +0 +2 +0 75 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o5 n12 n11 +0 +2 +0 75 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o5 n13 n12 +0 +2 +0 75 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o5 n14 n13 +0 +2 +0 75 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o5 n15 n14 +0 +2 +0 75 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o5 n16 n15 +0 +2 +0 75 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o5 n17 n16 +0 +2 +0 75 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o5 n18 n17 +0 +2 +0 75 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o5 n19 n18 +0 +2 +0 75 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o5 n2 n1 +0 +2 +0 75 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o5 n20 n19 +0 +2 +0 75 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o5 n3 n2 +0 +2 +0 75 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o5 n4 n3 +0 +2 +0 75 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o5 n5 n4 +0 +2 +0 75 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o5 n6 n5 +0 +2 +0 75 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o5 n7 n6 +0 +2 +0 75 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o5 n8 n7 +0 +2 +0 75 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o5 n9 n8 +0 +2 +0 75 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o6 n1 n0 +0 +2 +0 76 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o6 n10 n9 +0 +2 +0 76 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o6 n11 n10 +0 +2 +0 76 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o6 n12 n11 +0 +2 +0 76 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o6 n13 n12 +0 +2 +0 76 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o6 n14 n13 +0 +2 +0 76 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o6 n15 n14 +0 +2 +0 76 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o6 n16 n15 +0 +2 +0 76 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o6 n17 n16 +0 +2 +0 76 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o6 n18 n17 +0 +2 +0 76 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o6 n19 n18 +0 +2 +0 76 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o6 n2 n1 +0 +2 +0 76 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o6 n20 n19 +0 +2 +0 76 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o6 n3 n2 +0 +2 +0 76 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o6 n4 n3 +0 +2 +0 76 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o6 n5 n4 +0 +2 +0 76 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o6 n6 n5 +0 +2 +0 76 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o6 n7 n6 +0 +2 +0 76 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o6 n8 n7 +0 +2 +0 76 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o6 n9 n8 +0 +2 +0 76 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o7 n1 n0 +0 +2 +0 77 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o7 n10 n9 +0 +2 +0 77 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o7 n11 n10 +0 +2 +0 77 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o7 n12 n11 +0 +2 +0 77 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o7 n13 n12 +0 +2 +0 77 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o7 n14 n13 +0 +2 +0 77 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o7 n15 n14 +0 +2 +0 77 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o7 n16 n15 +0 +2 +0 77 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o7 n17 n16 +0 +2 +0 77 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o7 n18 n17 +0 +2 +0 77 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o7 n19 n18 +0 +2 +0 77 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o7 n2 n1 +0 +2 +0 77 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o7 n20 n19 +0 +2 +0 77 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o7 n3 n2 +0 +2 +0 77 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o7 n4 n3 +0 +2 +0 77 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o7 n5 n4 +0 +2 +0 77 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o7 n6 n5 +0 +2 +0 77 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o7 n7 n6 +0 +2 +0 77 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o7 n8 n7 +0 +2 +0 77 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o7 n9 n8 +0 +2 +0 77 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o8 n1 n0 +0 +2 +0 78 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o8 n10 n9 +0 +2 +0 78 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o8 n11 n10 +0 +2 +0 78 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o8 n12 n11 +0 +2 +0 78 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o8 n13 n12 +0 +2 +0 78 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o8 n14 n13 +0 +2 +0 78 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o8 n15 n14 +0 +2 +0 78 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o8 n16 n15 +0 +2 +0 78 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o8 n17 n16 +0 +2 +0 78 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o8 n18 n17 +0 +2 +0 78 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o8 n19 n18 +0 +2 +0 78 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o8 n2 n1 +0 +2 +0 78 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o8 n20 n19 +0 +2 +0 78 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o8 n3 n2 +0 +2 +0 78 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o8 n4 n3 +0 +2 +0 78 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o8 n5 n4 +0 +2 +0 78 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o8 n6 n5 +0 +2 +0 78 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o8 n7 n6 +0 +2 +0 78 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o8 n8 n7 +0 +2 +0 78 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o8 n9 n8 +0 +2 +0 78 2 1 +0 80 20 19 +0 +end_operator +begin_operator +start-order o9 n1 n0 +0 +2 +0 79 2 1 +0 80 1 0 +0 +end_operator +begin_operator +start-order o9 n10 n9 +0 +2 +0 79 2 1 +0 80 2 20 +0 +end_operator +begin_operator +start-order o9 n11 n10 +0 +2 +0 79 2 1 +0 80 3 2 +0 +end_operator +begin_operator +start-order o9 n12 n11 +0 +2 +0 79 2 1 +0 80 4 3 +0 +end_operator +begin_operator +start-order o9 n13 n12 +0 +2 +0 79 2 1 +0 80 5 4 +0 +end_operator +begin_operator +start-order o9 n14 n13 +0 +2 +0 79 2 1 +0 80 6 5 +0 +end_operator +begin_operator +start-order o9 n15 n14 +0 +2 +0 79 2 1 +0 80 7 6 +0 +end_operator +begin_operator +start-order o9 n16 n15 +0 +2 +0 79 2 1 +0 80 8 7 +0 +end_operator +begin_operator +start-order o9 n17 n16 +0 +2 +0 79 2 1 +0 80 9 8 +0 +end_operator +begin_operator +start-order o9 n18 n17 +0 +2 +0 79 2 1 +0 80 10 9 +0 +end_operator +begin_operator +start-order o9 n19 n18 +0 +2 +0 79 2 1 +0 80 11 10 +0 +end_operator +begin_operator +start-order o9 n2 n1 +0 +2 +0 79 2 1 +0 80 12 1 +0 +end_operator +begin_operator +start-order o9 n20 n19 +0 +2 +0 79 2 1 +0 80 13 11 +0 +end_operator +begin_operator +start-order o9 n3 n2 +0 +2 +0 79 2 1 +0 80 14 12 +0 +end_operator +begin_operator +start-order o9 n4 n3 +0 +2 +0 79 2 1 +0 80 15 14 +0 +end_operator +begin_operator +start-order o9 n5 n4 +0 +2 +0 79 2 1 +0 80 16 15 +0 +end_operator +begin_operator +start-order o9 n6 n5 +0 +2 +0 79 2 1 +0 80 17 16 +0 +end_operator +begin_operator +start-order o9 n7 n6 +0 +2 +0 79 2 1 +0 80 18 17 +0 +end_operator +begin_operator +start-order o9 n8 n7 +0 +2 +0 79 2 1 +0 80 19 18 +0 +end_operator +begin_operator +start-order o9 n9 n8 +0 +2 +0 79 2 1 +0 80 20 19 +0 +end_operator +40 +begin_rule +1 +0 0 +48 0 1 +end_rule +begin_rule +1 +1 0 +55 0 1 +end_rule +begin_rule +2 +1 0 +14 0 +41 0 1 +end_rule +begin_rule +2 +2 0 +12 0 +47 0 1 +end_rule +begin_rule +1 +3 0 +42 0 1 +end_rule +begin_rule +1 +3 0 +57 0 1 +end_rule +begin_rule +4 +3 0 +4 0 +8 0 +14 0 +58 0 1 +end_rule +begin_rule +4 +3 0 +5 0 +7 0 +9 0 +46 0 1 +end_rule +begin_rule +1 +6 0 +50 0 1 +end_rule +begin_rule +2 +6 0 +10 0 +52 0 1 +end_rule +begin_rule +1 +7 0 +54 0 1 +end_rule +begin_rule +1 +7 0 +56 0 1 +end_rule +begin_rule +1 +9 0 +45 0 1 +end_rule +begin_rule +1 +11 0 +40 0 1 +end_rule +begin_rule +1 +13 0 +43 0 1 +end_rule +begin_rule +4 +13 0 +14 0 +15 0 +17 0 +51 0 1 +end_rule +begin_rule +1 +14 0 +59 0 1 +end_rule +begin_rule +3 +15 0 +16 0 +18 0 +53 0 1 +end_rule +begin_rule +1 +16 0 +44 0 1 +end_rule +begin_rule +1 +19 0 +49 0 1 +end_rule +begin_rule +1 +60 1 +31 0 1 +end_rule +begin_rule +4 +61 1 +71 1 +78 1 +79 1 +34 0 1 +end_rule +begin_rule +2 +61 1 +75 1 +21 0 1 +end_rule +begin_rule +4 +62 1 +66 1 +77 1 +78 1 +23 0 1 +end_rule +begin_rule +2 +63 1 +71 1 +33 0 1 +end_rule +begin_rule +2 +64 1 +73 1 +36 0 1 +end_rule +begin_rule +2 +65 1 +66 1 +29 0 1 +end_rule +begin_rule +1 +66 1 +25 0 1 +end_rule +begin_rule +3 +66 1 +74 1 +76 1 +27 0 1 +end_rule +begin_rule +1 +67 1 +22 0 1 +end_rule +begin_rule +1 +67 1 +32 0 1 +end_rule +begin_rule +1 +68 1 +20 0 1 +end_rule +begin_rule +1 +69 1 +39 0 1 +end_rule +begin_rule +2 +70 1 +72 1 +26 0 1 +end_rule +begin_rule +1 +71 1 +37 0 1 +end_rule +begin_rule +2 +71 1 +73 1 +35 0 1 +end_rule +begin_rule +1 +72 1 +30 0 1 +end_rule +begin_rule +1 +73 1 +38 0 1 +end_rule +begin_rule +1 +78 1 +24 0 1 +end_rule +begin_rule +1 +78 1 +28 0 1 +end_rule