diff --git a/avc_17_8.json b/avc_17_8.json
new file mode 100644
index 0000000000000000000000000000000000000000..c142809a066cc467b9916290d81631d588def90d
--- /dev/null
+++ b/avc_17_8.json
@@ -0,0 +1,6026 @@
+{
+ "title": "Average and Conquer protocol",
+ "states": [
+ "G0",
+ "B0",
+ "G3",
+ "B3",
+ "G5",
+ "B5",
+ "G7",
+ "B7",
+ "G9",
+ "B9",
+ "G11",
+ "B11",
+ "G13",
+ "B13",
+ "G15",
+ "B15",
+ "G17",
+ "B17",
+ "G1_1",
+ "B1_1",
+ "G1_2",
+ "B1_2",
+ "G1_3",
+ "B1_3",
+ "G1_4",
+ "B1_4",
+ "G1_5",
+ "B1_5",
+ "G1_6",
+ "B1_6",
+ "G1_7",
+ "B1_7",
+ "G1_8",
+ "B1_8"
+ ],
+ "transitions": [
+ {
+ "name": "G0, B3 -> B0, B3",
+ "pre": [
+ "G0",
+ "B3"
+ ],
+ "post": [
+ "B0",
+ "B3"
+ ]
+ },
+ {
+ "name": "G0, B5 -> B0, B5",
+ "pre": [
+ "G0",
+ "B5"
+ ],
+ "post": [
+ "B0",
+ "B5"
+ ]
+ },
+ {
+ "name": "G0, B7 -> B0, B7",
+ "pre": [
+ "G0",
+ "B7"
+ ],
+ "post": [
+ "B0",
+ "B7"
+ ]
+ },
+ {
+ "name": "G0, B9 -> B0, B9",
+ "pre": [
+ "G0",
+ "B9"
+ ],
+ "post": [
+ "B0",
+ "B9"
+ ]
+ },
+ {
+ "name": "G0, B11 -> B0, B11",
+ "pre": [
+ "G0",
+ "B11"
+ ],
+ "post": [
+ "B0",
+ "B11"
+ ]
+ },
+ {
+ "name": "G0, B13 -> B0, B13",
+ "pre": [
+ "G0",
+ "B13"
+ ],
+ "post": [
+ "B0",
+ "B13"
+ ]
+ },
+ {
+ "name": "G0, B15 -> B0, B15",
+ "pre": [
+ "G0",
+ "B15"
+ ],
+ "post": [
+ "B0",
+ "B15"
+ ]
+ },
+ {
+ "name": "G0, B17 -> B0, B17",
+ "pre": [
+ "G0",
+ "B17"
+ ],
+ "post": [
+ "B0",
+ "B17"
+ ]
+ },
+ {
+ "name": "G0, G1_1 -> G0, G1_2",
+ "pre": [
+ "G0",
+ "G1_1"
+ ],
+ "post": [
+ "G0",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "G0, B1_1 -> B0, B1_2",
+ "pre": [
+ "G0",
+ "B1_1"
+ ],
+ "post": [
+ "B0",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "G0, G1_2 -> G0, G1_3",
+ "pre": [
+ "G0",
+ "G1_2"
+ ],
+ "post": [
+ "G0",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G0, B1_2 -> B0, B1_3",
+ "pre": [
+ "G0",
+ "B1_2"
+ ],
+ "post": [
+ "B0",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G0, G1_3 -> G0, G1_4",
+ "pre": [
+ "G0",
+ "G1_3"
+ ],
+ "post": [
+ "G0",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G0, B1_3 -> B0, B1_4",
+ "pre": [
+ "G0",
+ "B1_3"
+ ],
+ "post": [
+ "B0",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G0, G1_4 -> G0, G1_5",
+ "pre": [
+ "G0",
+ "G1_4"
+ ],
+ "post": [
+ "G0",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G0, B1_4 -> B0, B1_5",
+ "pre": [
+ "G0",
+ "B1_4"
+ ],
+ "post": [
+ "B0",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G0, G1_5 -> G0, G1_6",
+ "pre": [
+ "G0",
+ "G1_5"
+ ],
+ "post": [
+ "G0",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G0, B1_5 -> B0, B1_6",
+ "pre": [
+ "G0",
+ "B1_5"
+ ],
+ "post": [
+ "B0",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G0, G1_6 -> G0, G1_7",
+ "pre": [
+ "G0",
+ "G1_6"
+ ],
+ "post": [
+ "G0",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G0, B1_6 -> B0, B1_7",
+ "pre": [
+ "G0",
+ "B1_6"
+ ],
+ "post": [
+ "B0",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G0, G1_7 -> G0, G1_8",
+ "pre": [
+ "G0",
+ "G1_7"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G0, B1_7 -> B0, B1_8",
+ "pre": [
+ "G0",
+ "B1_7"
+ ],
+ "post": [
+ "B0",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G0, B1_8 -> B0, B1_8",
+ "pre": [
+ "G0",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B0, G3 -> G0, G3",
+ "pre": [
+ "B0",
+ "G3"
+ ],
+ "post": [
+ "G0",
+ "G3"
+ ]
+ },
+ {
+ "name": "B0, G5 -> G0, G5",
+ "pre": [
+ "B0",
+ "G5"
+ ],
+ "post": [
+ "G0",
+ "G5"
+ ]
+ },
+ {
+ "name": "B0, G7 -> G0, G7",
+ "pre": [
+ "B0",
+ "G7"
+ ],
+ "post": [
+ "G0",
+ "G7"
+ ]
+ },
+ {
+ "name": "B0, G9 -> G0, G9",
+ "pre": [
+ "B0",
+ "G9"
+ ],
+ "post": [
+ "G0",
+ "G9"
+ ]
+ },
+ {
+ "name": "B0, G11 -> G0, G11",
+ "pre": [
+ "B0",
+ "G11"
+ ],
+ "post": [
+ "G0",
+ "G11"
+ ]
+ },
+ {
+ "name": "B0, G13 -> G0, G13",
+ "pre": [
+ "B0",
+ "G13"
+ ],
+ "post": [
+ "G0",
+ "G13"
+ ]
+ },
+ {
+ "name": "B0, G15 -> G0, G15",
+ "pre": [
+ "B0",
+ "G15"
+ ],
+ "post": [
+ "G0",
+ "G15"
+ ]
+ },
+ {
+ "name": "B0, G17 -> G0, G17",
+ "pre": [
+ "B0",
+ "G17"
+ ],
+ "post": [
+ "G0",
+ "G17"
+ ]
+ },
+ {
+ "name": "B0, G1_1 -> G0, G1_2",
+ "pre": [
+ "B0",
+ "G1_1"
+ ],
+ "post": [
+ "G0",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "B0, B1_1 -> B0, B1_2",
+ "pre": [
+ "B0",
+ "B1_1"
+ ],
+ "post": [
+ "B0",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "B0, G1_2 -> G0, G1_3",
+ "pre": [
+ "B0",
+ "G1_2"
+ ],
+ "post": [
+ "G0",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "B0, B1_2 -> B0, B1_3",
+ "pre": [
+ "B0",
+ "B1_2"
+ ],
+ "post": [
+ "B0",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B0, G1_3 -> G0, G1_4",
+ "pre": [
+ "B0",
+ "G1_3"
+ ],
+ "post": [
+ "G0",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B0, B1_3 -> B0, B1_4",
+ "pre": [
+ "B0",
+ "B1_3"
+ ],
+ "post": [
+ "B0",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B0, G1_4 -> G0, G1_5",
+ "pre": [
+ "B0",
+ "G1_4"
+ ],
+ "post": [
+ "G0",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B0, B1_4 -> B0, B1_5",
+ "pre": [
+ "B0",
+ "B1_4"
+ ],
+ "post": [
+ "B0",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B0, G1_5 -> G0, G1_6",
+ "pre": [
+ "B0",
+ "G1_5"
+ ],
+ "post": [
+ "G0",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B0, B1_5 -> B0, B1_6",
+ "pre": [
+ "B0",
+ "B1_5"
+ ],
+ "post": [
+ "B0",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B0, G1_6 -> G0, G1_7",
+ "pre": [
+ "B0",
+ "G1_6"
+ ],
+ "post": [
+ "G0",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B0, B1_6 -> B0, B1_7",
+ "pre": [
+ "B0",
+ "B1_6"
+ ],
+ "post": [
+ "B0",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B0, G1_7 -> G0, G1_8",
+ "pre": [
+ "B0",
+ "G1_7"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B0, B1_7 -> B0, B1_8",
+ "pre": [
+ "B0",
+ "B1_7"
+ ],
+ "post": [
+ "B0",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B0, G1_8 -> G0, G1_8",
+ "pre": [
+ "B0",
+ "G1_8"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G3, B3 -> B1_1, G1_1",
+ "pre": [
+ "G3",
+ "B3"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, B5 -> B1_1, B1_1",
+ "pre": [
+ "G3",
+ "B5"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G3, G7 -> G5, G5",
+ "pre": [
+ "G3",
+ "G7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G3, B7 -> B3, B1_1",
+ "pre": [
+ "G3",
+ "B7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G3, G9 -> G5, G7",
+ "pre": [
+ "G3",
+ "G9"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G3, B9 -> B3, B3",
+ "pre": [
+ "G3",
+ "B9"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G3, G11 -> G7, G7",
+ "pre": [
+ "G3",
+ "G11"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G3, B11 -> B5, B3",
+ "pre": [
+ "G3",
+ "B11"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G3, G13 -> G7, G9",
+ "pre": [
+ "G3",
+ "G13"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G3, B13 -> B5, B5",
+ "pre": [
+ "G3",
+ "B13"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G3, G15 -> G9, G9",
+ "pre": [
+ "G3",
+ "G15"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G3, B15 -> B7, B5",
+ "pre": [
+ "G3",
+ "B15"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G3, G17 -> G9, G11",
+ "pre": [
+ "G3",
+ "G17"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G3, B17 -> B7, B7",
+ "pre": [
+ "G3",
+ "B17"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "G3, B1_1 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_1"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_2 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_2 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_3 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_3 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_4 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_4 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_5 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_5 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_6 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_6 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_7 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_7 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_8 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_8 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B3, G5 -> G1_1, G1_1",
+ "pre": [
+ "B3",
+ "G5"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B3, G7 -> G1_1, G3",
+ "pre": [
+ "B3",
+ "G7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B3, B7 -> B5, B5",
+ "pre": [
+ "B3",
+ "B7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B3, G9 -> G3, G3",
+ "pre": [
+ "B3",
+ "G9"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B3, B9 -> B7, B5",
+ "pre": [
+ "B3",
+ "B9"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B3, G11 -> G3, G5",
+ "pre": [
+ "B3",
+ "G11"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B3, B11 -> B7, B7",
+ "pre": [
+ "B3",
+ "B11"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B3, G13 -> G5, G5",
+ "pre": [
+ "B3",
+ "G13"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B3, B13 -> B9, B7",
+ "pre": [
+ "B3",
+ "B13"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B3, G15 -> G5, G7",
+ "pre": [
+ "B3",
+ "G15"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B3, B15 -> B9, B9",
+ "pre": [
+ "B3",
+ "B15"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B3, G17 -> G7, G7",
+ "pre": [
+ "B3",
+ "G17"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "B3, B17 -> B11, B9",
+ "pre": [
+ "B3",
+ "B17"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B3, G1_1 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_1"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_2 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_2"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_2 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_2"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_3 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_3"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_3 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_3"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_4 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_4"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_4 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_4"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_5 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_5"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_5 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_5"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_6 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_6"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_6 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_6"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_7 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_7"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_7 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_8 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_8"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_8 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_8"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, B5 -> B1_1, G1_1",
+ "pre": [
+ "G5",
+ "B5"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G5, B7 -> B1_1, B1_1",
+ "pre": [
+ "G5",
+ "B7"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, G9 -> G7, G7",
+ "pre": [
+ "G5",
+ "G9"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G5, B9 -> B3, B1_1",
+ "pre": [
+ "G5",
+ "B9"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, G11 -> G7, G9",
+ "pre": [
+ "G5",
+ "G11"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G5, B11 -> B3, B3",
+ "pre": [
+ "G5",
+ "B11"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G5, G13 -> G9, G9",
+ "pre": [
+ "G5",
+ "G13"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G5, B13 -> B5, B3",
+ "pre": [
+ "G5",
+ "B13"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G5, G15 -> G9, G11",
+ "pre": [
+ "G5",
+ "G15"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G5, B15 -> B5, B5",
+ "pre": [
+ "G5",
+ "B15"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G5, G17 -> G11, G11",
+ "pre": [
+ "G5",
+ "G17"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G5, B17 -> B7, B5",
+ "pre": [
+ "G5",
+ "B17"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G5, G1_1 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_1"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_1 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_1"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_2 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_2"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_2 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_3 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_3"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_3 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_4 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_4"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_4 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_5 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_5"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_5 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_6 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_6"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_6 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_7 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_7"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_7 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_8 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_8"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_8 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, G7 -> G1_1, G1_1",
+ "pre": [
+ "B5",
+ "G7"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B5, G9 -> G1_1, G3",
+ "pre": [
+ "B5",
+ "G9"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, B9 -> B7, B7",
+ "pre": [
+ "B5",
+ "B9"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B5, G11 -> G3, G3",
+ "pre": [
+ "B5",
+ "G11"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, B11 -> B9, B7",
+ "pre": [
+ "B5",
+ "B11"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B5, G13 -> G3, G5",
+ "pre": [
+ "B5",
+ "G13"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B5, B13 -> B9, B9",
+ "pre": [
+ "B5",
+ "B13"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B5, G15 -> G5, G5",
+ "pre": [
+ "B5",
+ "G15"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B5, B15 -> B11, B9",
+ "pre": [
+ "B5",
+ "B15"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B5, G17 -> G5, G7",
+ "pre": [
+ "B5",
+ "G17"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B5, B17 -> B11, B11",
+ "pre": [
+ "B5",
+ "B17"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B5, G1_1 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_1"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_1 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_1"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_2 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_2"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_2 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_2"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_3 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_3"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_3 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_3"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_4 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_4"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_4 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_4"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_5 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_5"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_5 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_5"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_6 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_6"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_6 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_6"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_7 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_7 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_7"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_8 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_8"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_8 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_8"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, B7 -> B1_1, G1_1",
+ "pre": [
+ "G7",
+ "B7"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G7, B9 -> B1_1, B1_1",
+ "pre": [
+ "G7",
+ "B9"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G7, G11 -> G9, G9",
+ "pre": [
+ "G7",
+ "G11"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G7, B11 -> B3, B1_1",
+ "pre": [
+ "G7",
+ "B11"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G7, G13 -> G9, G11",
+ "pre": [
+ "G7",
+ "G13"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G7, B13 -> B3, B3",
+ "pre": [
+ "G7",
+ "B13"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, G15 -> G11, G11",
+ "pre": [
+ "G7",
+ "G15"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G7, B15 -> B5, B3",
+ "pre": [
+ "G7",
+ "B15"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, G17 -> G11, G13",
+ "pre": [
+ "G7",
+ "G17"
+ ],
+ "post": [
+ "G11",
+ "G13"
+ ]
+ },
+ {
+ "name": "G7, B17 -> B5, B5",
+ "pre": [
+ "G7",
+ "B17"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G7, G1_1 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_1"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_1 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_1"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_2 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_2"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_2 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_2"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_3 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_3"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_3 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_3"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_4 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_4"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_4 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_4"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_5 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_5"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_5 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_5"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_6 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_6"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_6 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_6"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_7 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_7"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_7 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_7"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_8 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_8"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_8 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_8"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, G9 -> G1_1, G1_1",
+ "pre": [
+ "B7",
+ "G9"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B7, G11 -> G1_1, G3",
+ "pre": [
+ "B7",
+ "G11"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, B11 -> B9, B9",
+ "pre": [
+ "B7",
+ "B11"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B7, G13 -> G3, G3",
+ "pre": [
+ "B7",
+ "G13"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, B13 -> B11, B9",
+ "pre": [
+ "B7",
+ "B13"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B7, G15 -> G3, G5",
+ "pre": [
+ "B7",
+ "G15"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B7, B15 -> B11, B11",
+ "pre": [
+ "B7",
+ "B15"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B7, G17 -> G5, G5",
+ "pre": [
+ "B7",
+ "G17"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B7, B17 -> B13, B11",
+ "pre": [
+ "B7",
+ "B17"
+ ],
+ "post": [
+ "B13",
+ "B11"
+ ]
+ },
+ {
+ "name": "B7, G1_1 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_1"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_1 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_1"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_2 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_2"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_2 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_2"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_3 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_3"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_3 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_3"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_4 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_4"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_4 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_4"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_5 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_5"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_5 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_5"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_6 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_6"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_6 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_6"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_7 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_7"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_7 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_7"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_8 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_8"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_8 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_8"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, B9 -> B1_1, G1_1",
+ "pre": [
+ "G9",
+ "B9"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G9, B11 -> B1_1, B1_1",
+ "pre": [
+ "G9",
+ "B11"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G9, G13 -> G11, G11",
+ "pre": [
+ "G9",
+ "G13"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G9, B13 -> B3, B1_1",
+ "pre": [
+ "G9",
+ "B13"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G9, G15 -> G11, G13",
+ "pre": [
+ "G9",
+ "G15"
+ ],
+ "post": [
+ "G11",
+ "G13"
+ ]
+ },
+ {
+ "name": "G9, B15 -> B3, B3",
+ "pre": [
+ "G9",
+ "B15"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, G17 -> G13, G13",
+ "pre": [
+ "G9",
+ "G17"
+ ],
+ "post": [
+ "G13",
+ "G13"
+ ]
+ },
+ {
+ "name": "G9, B17 -> B5, B3",
+ "pre": [
+ "G9",
+ "B17"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, G1_1 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_1"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_1 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_1"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_2 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_2"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_2 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_2"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_3 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_3"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_3 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_3"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_4 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_4"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_4 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_4"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_5 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_5"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_5 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_5"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_6 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_6"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_6 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_6"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_7 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_7 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_7"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_8 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_8"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_8 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_8"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B9, G11 -> G1_1, G1_1",
+ "pre": [
+ "B9",
+ "G11"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B9, G13 -> G1_1, G3",
+ "pre": [
+ "B9",
+ "G13"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B9, B13 -> B11, B11",
+ "pre": [
+ "B9",
+ "B13"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B9, G15 -> G3, G3",
+ "pre": [
+ "B9",
+ "G15"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B9, B15 -> B13, B11",
+ "pre": [
+ "B9",
+ "B15"
+ ],
+ "post": [
+ "B13",
+ "B11"
+ ]
+ },
+ {
+ "name": "B9, G17 -> G3, G5",
+ "pre": [
+ "B9",
+ "G17"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B9, B17 -> B13, B13",
+ "pre": [
+ "B9",
+ "B17"
+ ],
+ "post": [
+ "B13",
+ "B13"
+ ]
+ },
+ {
+ "name": "B9, G1_1 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_1"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_1 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_1"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_2 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_2"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_2 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_2"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_3 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_3"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_3 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_3"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_4 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_4"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_4 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_4"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_5 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_5"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_5 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_5"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_6 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_6"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_6 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_6"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_7 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_7"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_7 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_8 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_8"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_8 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_8"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G11, B11 -> B1_1, G1_1",
+ "pre": [
+ "G11",
+ "B11"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G11, B13 -> B1_1, B1_1",
+ "pre": [
+ "G11",
+ "B13"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G11, G15 -> G13, G13",
+ "pre": [
+ "G11",
+ "G15"
+ ],
+ "post": [
+ "G13",
+ "G13"
+ ]
+ },
+ {
+ "name": "G11, B15 -> B3, B1_1",
+ "pre": [
+ "G11",
+ "B15"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G11, G17 -> G13, G15",
+ "pre": [
+ "G11",
+ "G17"
+ ],
+ "post": [
+ "G13",
+ "G15"
+ ]
+ },
+ {
+ "name": "G11, B17 -> B3, B3",
+ "pre": [
+ "G11",
+ "B17"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G11, G1_1 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_1"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_1 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_1"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_2 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_2"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_2 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_2"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_3 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_3"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_3 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_3"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_4 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_4"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_4 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_4"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_5 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_5"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_5 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_5"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_6 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_6"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_6 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_6"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_7 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_7"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_7 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_8 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_8"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_8 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_8"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B11, G13 -> G1_1, G1_1",
+ "pre": [
+ "B11",
+ "G13"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B11, G15 -> G1_1, G3",
+ "pre": [
+ "B11",
+ "G15"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B11, B15 -> B13, B13",
+ "pre": [
+ "B11",
+ "B15"
+ ],
+ "post": [
+ "B13",
+ "B13"
+ ]
+ },
+ {
+ "name": "B11, G17 -> G3, G3",
+ "pre": [
+ "B11",
+ "G17"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B11, B17 -> B15, B13",
+ "pre": [
+ "B11",
+ "B17"
+ ],
+ "post": [
+ "B15",
+ "B13"
+ ]
+ },
+ {
+ "name": "B11, G1_1 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_1"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_1 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_1"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_2 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_2"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_2 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_2"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_3 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_3"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_3 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_3"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_4 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_4"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_4 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_4"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_5 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_5"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_5 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_5"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_6 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_6"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_6 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_6"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_7 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_7 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_7"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_8 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_8"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_8 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_8"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G13, B13 -> B1_1, G1_1",
+ "pre": [
+ "G13",
+ "B13"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G13, B15 -> B1_1, B1_1",
+ "pre": [
+ "G13",
+ "B15"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G13, G17 -> G15, G15",
+ "pre": [
+ "G13",
+ "G17"
+ ],
+ "post": [
+ "G15",
+ "G15"
+ ]
+ },
+ {
+ "name": "G13, B17 -> B3, B1_1",
+ "pre": [
+ "G13",
+ "B17"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G13, G1_1 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_1"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_1 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_1"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_2 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_2"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_2 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_2"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_3 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_3"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_3 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_3"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_4 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_4"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_4 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_4"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_5 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_5"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_5 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_5"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_6 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_6"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_6 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_6"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_7 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_7"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_7 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_7"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_8 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_8"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_8 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_8"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B13, G15 -> G1_1, G1_1",
+ "pre": [
+ "B13",
+ "G15"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B13, G17 -> G1_1, G3",
+ "pre": [
+ "B13",
+ "G17"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B13, B17 -> B15, B15",
+ "pre": [
+ "B13",
+ "B17"
+ ],
+ "post": [
+ "B15",
+ "B15"
+ ]
+ },
+ {
+ "name": "B13, G1_1 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_1"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_1 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_1"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_2 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_2"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_2 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_2"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_3 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_3"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_3 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_3"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_4 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_4"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_4 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_4"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_5 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_5"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_5 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_5"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_6 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_6"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_6 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_6"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_7 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_7"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_7 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_7"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_8 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_8"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_8 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_8"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "G15, B15 -> B1_1, G1_1",
+ "pre": [
+ "G15",
+ "B15"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G15, B17 -> B1_1, B1_1",
+ "pre": [
+ "G15",
+ "B17"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G15, G1_1 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_1"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_1 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_1"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_2 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_2"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_2 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_2"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_3 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_3"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_3 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_3"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_4 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_4"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_4 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_4"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_5 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_5"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_5 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_5"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_6 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_6"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_6 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_6"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_7 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_7"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_7 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_7"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_8 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_8"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_8 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_8"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "B15, G17 -> G1_1, G1_1",
+ "pre": [
+ "B15",
+ "G17"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B15, G1_1 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_1"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_1 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_1"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_2 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_2"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_2 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_2"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_3 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_3"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_3 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_3"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_4 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_4"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_4 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_4"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_5 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_5"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_5 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_5"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_6 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_6"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_6 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_6"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_7 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_7"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_7 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_7"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_8 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_8"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_8 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_8"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "G17, B17 -> B1_1, G1_1",
+ "pre": [
+ "G17",
+ "B17"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G17, G1_1 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_1"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_1 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_1"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_2 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_2"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_2 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_2"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_3 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_3"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_3 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_3"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_4 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_4"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_4 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_4"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_5 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_5"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_5 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_5"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_6 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_6"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_6 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_6"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_7 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_7"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_7 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_7"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_8 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_8"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_8 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_8"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "B17, G1_1 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_1"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_1 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_1"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_2 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_2"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_2 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_2"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_3 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_3"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_3 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_3"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_4 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_4"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_4 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_4"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_5 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_5"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_5 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_5"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_6 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_6"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_6 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_6"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_7 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_7"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_7 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_7"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_8 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_8"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_8 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_8"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "G1_1, G1_1 -> G1_2, G1_2",
+ "pre": [
+ "G1_1",
+ "G1_1"
+ ],
+ "post": [
+ "G1_2",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "G1_1, B1_1 -> G1_2, B1_2",
+ "pre": [
+ "G1_1",
+ "B1_1"
+ ],
+ "post": [
+ "G1_2",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "G1_1, G1_2 -> G1_2, G1_3",
+ "pre": [
+ "G1_1",
+ "G1_2"
+ ],
+ "post": [
+ "G1_2",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G1_1, B1_2 -> G1_2, B1_3",
+ "pre": [
+ "G1_1",
+ "B1_2"
+ ],
+ "post": [
+ "G1_2",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G1_1, G1_3 -> G1_2, G1_4",
+ "pre": [
+ "G1_1",
+ "G1_3"
+ ],
+ "post": [
+ "G1_2",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_1, B1_3 -> G1_2, B1_4",
+ "pre": [
+ "G1_1",
+ "B1_3"
+ ],
+ "post": [
+ "G1_2",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_1, G1_4 -> G1_2, G1_5",
+ "pre": [
+ "G1_1",
+ "G1_4"
+ ],
+ "post": [
+ "G1_2",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_1, B1_4 -> G1_2, B1_5",
+ "pre": [
+ "G1_1",
+ "B1_4"
+ ],
+ "post": [
+ "G1_2",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_1, G1_5 -> G1_2, G1_6",
+ "pre": [
+ "G1_1",
+ "G1_5"
+ ],
+ "post": [
+ "G1_2",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_1, B1_5 -> G1_2, B1_6",
+ "pre": [
+ "G1_1",
+ "B1_5"
+ ],
+ "post": [
+ "G1_2",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_1, G1_6 -> G1_2, G1_7",
+ "pre": [
+ "G1_1",
+ "G1_6"
+ ],
+ "post": [
+ "G1_2",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_1, B1_6 -> G1_2, B1_7",
+ "pre": [
+ "G1_1",
+ "B1_6"
+ ],
+ "post": [
+ "G1_2",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_1, G1_7 -> G1_2, G1_8",
+ "pre": [
+ "G1_1",
+ "G1_7"
+ ],
+ "post": [
+ "G1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_1, B1_7 -> G1_2, B1_8",
+ "pre": [
+ "G1_1",
+ "B1_7"
+ ],
+ "post": [
+ "G1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_1, G1_8 -> G1_2, G1_8",
+ "pre": [
+ "G1_1",
+ "G1_8"
+ ],
+ "post": [
+ "G1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_1, B1_8 -> B0, G0",
+ "pre": [
+ "G1_1",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_1, B1_1 -> B1_2, B1_2",
+ "pre": [
+ "B1_1",
+ "B1_1"
+ ],
+ "post": [
+ "B1_2",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "B1_1, G1_2 -> B1_2, G1_3",
+ "pre": [
+ "B1_1",
+ "G1_2"
+ ],
+ "post": [
+ "B1_2",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "B1_1, B1_2 -> B1_2, B1_3",
+ "pre": [
+ "B1_1",
+ "B1_2"
+ ],
+ "post": [
+ "B1_2",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B1_1, G1_3 -> B1_2, G1_4",
+ "pre": [
+ "B1_1",
+ "G1_3"
+ ],
+ "post": [
+ "B1_2",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B1_1, B1_3 -> B1_2, B1_4",
+ "pre": [
+ "B1_1",
+ "B1_3"
+ ],
+ "post": [
+ "B1_2",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_1, G1_4 -> B1_2, G1_5",
+ "pre": [
+ "B1_1",
+ "G1_4"
+ ],
+ "post": [
+ "B1_2",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_1, B1_4 -> B1_2, B1_5",
+ "pre": [
+ "B1_1",
+ "B1_4"
+ ],
+ "post": [
+ "B1_2",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_1, G1_5 -> B1_2, G1_6",
+ "pre": [
+ "B1_1",
+ "G1_5"
+ ],
+ "post": [
+ "B1_2",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_1, B1_5 -> B1_2, B1_6",
+ "pre": [
+ "B1_1",
+ "B1_5"
+ ],
+ "post": [
+ "B1_2",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_1, G1_6 -> B1_2, G1_7",
+ "pre": [
+ "B1_1",
+ "G1_6"
+ ],
+ "post": [
+ "B1_2",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_1, B1_6 -> B1_2, B1_7",
+ "pre": [
+ "B1_1",
+ "B1_6"
+ ],
+ "post": [
+ "B1_2",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_1, G1_7 -> B1_2, G1_8",
+ "pre": [
+ "B1_1",
+ "G1_7"
+ ],
+ "post": [
+ "B1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_1, B1_7 -> B1_2, B1_8",
+ "pre": [
+ "B1_1",
+ "B1_7"
+ ],
+ "post": [
+ "B1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_1, G1_8 -> B0, G0",
+ "pre": [
+ "B1_1",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_1, B1_8 -> B1_2, B1_8",
+ "pre": [
+ "B1_1",
+ "B1_8"
+ ],
+ "post": [
+ "B1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_2, G1_2 -> G1_3, G1_3",
+ "pre": [
+ "G1_2",
+ "G1_2"
+ ],
+ "post": [
+ "G1_3",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G1_2, B1_2 -> G1_3, B1_3",
+ "pre": [
+ "G1_2",
+ "B1_2"
+ ],
+ "post": [
+ "G1_3",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G1_2, G1_3 -> G1_3, G1_4",
+ "pre": [
+ "G1_2",
+ "G1_3"
+ ],
+ "post": [
+ "G1_3",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_2, B1_3 -> G1_3, B1_4",
+ "pre": [
+ "G1_2",
+ "B1_3"
+ ],
+ "post": [
+ "G1_3",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_2, G1_4 -> G1_3, G1_5",
+ "pre": [
+ "G1_2",
+ "G1_4"
+ ],
+ "post": [
+ "G1_3",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_2, B1_4 -> G1_3, B1_5",
+ "pre": [
+ "G1_2",
+ "B1_4"
+ ],
+ "post": [
+ "G1_3",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_2, G1_5 -> G1_3, G1_6",
+ "pre": [
+ "G1_2",
+ "G1_5"
+ ],
+ "post": [
+ "G1_3",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_2, B1_5 -> G1_3, B1_6",
+ "pre": [
+ "G1_2",
+ "B1_5"
+ ],
+ "post": [
+ "G1_3",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_2, G1_6 -> G1_3, G1_7",
+ "pre": [
+ "G1_2",
+ "G1_6"
+ ],
+ "post": [
+ "G1_3",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_2, B1_6 -> G1_3, B1_7",
+ "pre": [
+ "G1_2",
+ "B1_6"
+ ],
+ "post": [
+ "G1_3",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_2, G1_7 -> G1_3, G1_8",
+ "pre": [
+ "G1_2",
+ "G1_7"
+ ],
+ "post": [
+ "G1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_2, B1_7 -> G1_3, B1_8",
+ "pre": [
+ "G1_2",
+ "B1_7"
+ ],
+ "post": [
+ "G1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_2, G1_8 -> G1_3, G1_8",
+ "pre": [
+ "G1_2",
+ "G1_8"
+ ],
+ "post": [
+ "G1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_2, B1_8 -> B0, G0",
+ "pre": [
+ "G1_2",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_2, B1_2 -> B1_3, B1_3",
+ "pre": [
+ "B1_2",
+ "B1_2"
+ ],
+ "post": [
+ "B1_3",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B1_2, G1_3 -> B1_3, G1_4",
+ "pre": [
+ "B1_2",
+ "G1_3"
+ ],
+ "post": [
+ "B1_3",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B1_2, B1_3 -> B1_3, B1_4",
+ "pre": [
+ "B1_2",
+ "B1_3"
+ ],
+ "post": [
+ "B1_3",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_2, G1_4 -> B1_3, G1_5",
+ "pre": [
+ "B1_2",
+ "G1_4"
+ ],
+ "post": [
+ "B1_3",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_2, B1_4 -> B1_3, B1_5",
+ "pre": [
+ "B1_2",
+ "B1_4"
+ ],
+ "post": [
+ "B1_3",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_2, G1_5 -> B1_3, G1_6",
+ "pre": [
+ "B1_2",
+ "G1_5"
+ ],
+ "post": [
+ "B1_3",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_2, B1_5 -> B1_3, B1_6",
+ "pre": [
+ "B1_2",
+ "B1_5"
+ ],
+ "post": [
+ "B1_3",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_2, G1_6 -> B1_3, G1_7",
+ "pre": [
+ "B1_2",
+ "G1_6"
+ ],
+ "post": [
+ "B1_3",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_2, B1_6 -> B1_3, B1_7",
+ "pre": [
+ "B1_2",
+ "B1_6"
+ ],
+ "post": [
+ "B1_3",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_2, G1_7 -> B1_3, G1_8",
+ "pre": [
+ "B1_2",
+ "G1_7"
+ ],
+ "post": [
+ "B1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_2, B1_7 -> B1_3, B1_8",
+ "pre": [
+ "B1_2",
+ "B1_7"
+ ],
+ "post": [
+ "B1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_2, G1_8 -> B0, G0",
+ "pre": [
+ "B1_2",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_2, B1_8 -> B1_3, B1_8",
+ "pre": [
+ "B1_2",
+ "B1_8"
+ ],
+ "post": [
+ "B1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_3, G1_3 -> G1_4, G1_4",
+ "pre": [
+ "G1_3",
+ "G1_3"
+ ],
+ "post": [
+ "G1_4",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_3, B1_3 -> G1_4, B1_4",
+ "pre": [
+ "G1_3",
+ "B1_3"
+ ],
+ "post": [
+ "G1_4",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_3, G1_4 -> G1_4, G1_5",
+ "pre": [
+ "G1_3",
+ "G1_4"
+ ],
+ "post": [
+ "G1_4",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_3, B1_4 -> G1_4, B1_5",
+ "pre": [
+ "G1_3",
+ "B1_4"
+ ],
+ "post": [
+ "G1_4",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_3, G1_5 -> G1_4, G1_6",
+ "pre": [
+ "G1_3",
+ "G1_5"
+ ],
+ "post": [
+ "G1_4",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_3, B1_5 -> G1_4, B1_6",
+ "pre": [
+ "G1_3",
+ "B1_5"
+ ],
+ "post": [
+ "G1_4",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_3, G1_6 -> G1_4, G1_7",
+ "pre": [
+ "G1_3",
+ "G1_6"
+ ],
+ "post": [
+ "G1_4",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_3, B1_6 -> G1_4, B1_7",
+ "pre": [
+ "G1_3",
+ "B1_6"
+ ],
+ "post": [
+ "G1_4",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_3, G1_7 -> G1_4, G1_8",
+ "pre": [
+ "G1_3",
+ "G1_7"
+ ],
+ "post": [
+ "G1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_3, B1_7 -> G1_4, B1_8",
+ "pre": [
+ "G1_3",
+ "B1_7"
+ ],
+ "post": [
+ "G1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_3, G1_8 -> G1_4, G1_8",
+ "pre": [
+ "G1_3",
+ "G1_8"
+ ],
+ "post": [
+ "G1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_3, B1_8 -> B0, G0",
+ "pre": [
+ "G1_3",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_3, B1_3 -> B1_4, B1_4",
+ "pre": [
+ "B1_3",
+ "B1_3"
+ ],
+ "post": [
+ "B1_4",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_3, G1_4 -> B1_4, G1_5",
+ "pre": [
+ "B1_3",
+ "G1_4"
+ ],
+ "post": [
+ "B1_4",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_3, B1_4 -> B1_4, B1_5",
+ "pre": [
+ "B1_3",
+ "B1_4"
+ ],
+ "post": [
+ "B1_4",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_3, G1_5 -> B1_4, G1_6",
+ "pre": [
+ "B1_3",
+ "G1_5"
+ ],
+ "post": [
+ "B1_4",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_3, B1_5 -> B1_4, B1_6",
+ "pre": [
+ "B1_3",
+ "B1_5"
+ ],
+ "post": [
+ "B1_4",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_3, G1_6 -> B1_4, G1_7",
+ "pre": [
+ "B1_3",
+ "G1_6"
+ ],
+ "post": [
+ "B1_4",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_3, B1_6 -> B1_4, B1_7",
+ "pre": [
+ "B1_3",
+ "B1_6"
+ ],
+ "post": [
+ "B1_4",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_3, G1_7 -> B1_4, G1_8",
+ "pre": [
+ "B1_3",
+ "G1_7"
+ ],
+ "post": [
+ "B1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_3, B1_7 -> B1_4, B1_8",
+ "pre": [
+ "B1_3",
+ "B1_7"
+ ],
+ "post": [
+ "B1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_3, G1_8 -> B0, G0",
+ "pre": [
+ "B1_3",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_3, B1_8 -> B1_4, B1_8",
+ "pre": [
+ "B1_3",
+ "B1_8"
+ ],
+ "post": [
+ "B1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_4, G1_4 -> G1_5, G1_5",
+ "pre": [
+ "G1_4",
+ "G1_4"
+ ],
+ "post": [
+ "G1_5",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_4, B1_4 -> G1_5, B1_5",
+ "pre": [
+ "G1_4",
+ "B1_4"
+ ],
+ "post": [
+ "G1_5",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_4, G1_5 -> G1_5, G1_6",
+ "pre": [
+ "G1_4",
+ "G1_5"
+ ],
+ "post": [
+ "G1_5",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_4, B1_5 -> G1_5, B1_6",
+ "pre": [
+ "G1_4",
+ "B1_5"
+ ],
+ "post": [
+ "G1_5",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_4, G1_6 -> G1_5, G1_7",
+ "pre": [
+ "G1_4",
+ "G1_6"
+ ],
+ "post": [
+ "G1_5",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_4, B1_6 -> G1_5, B1_7",
+ "pre": [
+ "G1_4",
+ "B1_6"
+ ],
+ "post": [
+ "G1_5",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_4, G1_7 -> G1_5, G1_8",
+ "pre": [
+ "G1_4",
+ "G1_7"
+ ],
+ "post": [
+ "G1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_4, B1_7 -> G1_5, B1_8",
+ "pre": [
+ "G1_4",
+ "B1_7"
+ ],
+ "post": [
+ "G1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_4, G1_8 -> G1_5, G1_8",
+ "pre": [
+ "G1_4",
+ "G1_8"
+ ],
+ "post": [
+ "G1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_4, B1_8 -> B0, G0",
+ "pre": [
+ "G1_4",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_4, B1_4 -> B1_5, B1_5",
+ "pre": [
+ "B1_4",
+ "B1_4"
+ ],
+ "post": [
+ "B1_5",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_4, G1_5 -> B1_5, G1_6",
+ "pre": [
+ "B1_4",
+ "G1_5"
+ ],
+ "post": [
+ "B1_5",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_4, B1_5 -> B1_5, B1_6",
+ "pre": [
+ "B1_4",
+ "B1_5"
+ ],
+ "post": [
+ "B1_5",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_4, G1_6 -> B1_5, G1_7",
+ "pre": [
+ "B1_4",
+ "G1_6"
+ ],
+ "post": [
+ "B1_5",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_4, B1_6 -> B1_5, B1_7",
+ "pre": [
+ "B1_4",
+ "B1_6"
+ ],
+ "post": [
+ "B1_5",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_4, G1_7 -> B1_5, G1_8",
+ "pre": [
+ "B1_4",
+ "G1_7"
+ ],
+ "post": [
+ "B1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_4, B1_7 -> B1_5, B1_8",
+ "pre": [
+ "B1_4",
+ "B1_7"
+ ],
+ "post": [
+ "B1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_4, G1_8 -> B0, G0",
+ "pre": [
+ "B1_4",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_4, B1_8 -> B1_5, B1_8",
+ "pre": [
+ "B1_4",
+ "B1_8"
+ ],
+ "post": [
+ "B1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_5, G1_5 -> G1_6, G1_6",
+ "pre": [
+ "G1_5",
+ "G1_5"
+ ],
+ "post": [
+ "G1_6",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_5, B1_5 -> G1_6, B1_6",
+ "pre": [
+ "G1_5",
+ "B1_5"
+ ],
+ "post": [
+ "G1_6",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_5, G1_6 -> G1_6, G1_7",
+ "pre": [
+ "G1_5",
+ "G1_6"
+ ],
+ "post": [
+ "G1_6",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_5, B1_6 -> G1_6, B1_7",
+ "pre": [
+ "G1_5",
+ "B1_6"
+ ],
+ "post": [
+ "G1_6",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_5, G1_7 -> G1_6, G1_8",
+ "pre": [
+ "G1_5",
+ "G1_7"
+ ],
+ "post": [
+ "G1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_5, B1_7 -> G1_6, B1_8",
+ "pre": [
+ "G1_5",
+ "B1_7"
+ ],
+ "post": [
+ "G1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_5, G1_8 -> G1_6, G1_8",
+ "pre": [
+ "G1_5",
+ "G1_8"
+ ],
+ "post": [
+ "G1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_5, B1_8 -> B0, G0",
+ "pre": [
+ "G1_5",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_5, B1_5 -> B1_6, B1_6",
+ "pre": [
+ "B1_5",
+ "B1_5"
+ ],
+ "post": [
+ "B1_6",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_5, G1_6 -> B1_6, G1_7",
+ "pre": [
+ "B1_5",
+ "G1_6"
+ ],
+ "post": [
+ "B1_6",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_5, B1_6 -> B1_6, B1_7",
+ "pre": [
+ "B1_5",
+ "B1_6"
+ ],
+ "post": [
+ "B1_6",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_5, G1_7 -> B1_6, G1_8",
+ "pre": [
+ "B1_5",
+ "G1_7"
+ ],
+ "post": [
+ "B1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_5, B1_7 -> B1_6, B1_8",
+ "pre": [
+ "B1_5",
+ "B1_7"
+ ],
+ "post": [
+ "B1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_5, G1_8 -> B0, G0",
+ "pre": [
+ "B1_5",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_5, B1_8 -> B1_6, B1_8",
+ "pre": [
+ "B1_5",
+ "B1_8"
+ ],
+ "post": [
+ "B1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_6, G1_6 -> G1_7, G1_7",
+ "pre": [
+ "G1_6",
+ "G1_6"
+ ],
+ "post": [
+ "G1_7",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_6, B1_6 -> G1_7, B1_7",
+ "pre": [
+ "G1_6",
+ "B1_6"
+ ],
+ "post": [
+ "G1_7",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_6, G1_7 -> G1_7, G1_8",
+ "pre": [
+ "G1_6",
+ "G1_7"
+ ],
+ "post": [
+ "G1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_6, B1_7 -> G1_7, B1_8",
+ "pre": [
+ "G1_6",
+ "B1_7"
+ ],
+ "post": [
+ "G1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_6, G1_8 -> G1_7, G1_8",
+ "pre": [
+ "G1_6",
+ "G1_8"
+ ],
+ "post": [
+ "G1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_6, B1_8 -> B0, G0",
+ "pre": [
+ "G1_6",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_6, B1_6 -> B1_7, B1_7",
+ "pre": [
+ "B1_6",
+ "B1_6"
+ ],
+ "post": [
+ "B1_7",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_6, G1_7 -> B1_7, G1_8",
+ "pre": [
+ "B1_6",
+ "G1_7"
+ ],
+ "post": [
+ "B1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_6, B1_7 -> B1_7, B1_8",
+ "pre": [
+ "B1_6",
+ "B1_7"
+ ],
+ "post": [
+ "B1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_6, G1_8 -> B0, G0",
+ "pre": [
+ "B1_6",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_6, B1_8 -> B1_7, B1_8",
+ "pre": [
+ "B1_6",
+ "B1_8"
+ ],
+ "post": [
+ "B1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_7, G1_7 -> G1_8, G1_8",
+ "pre": [
+ "G1_7",
+ "G1_7"
+ ],
+ "post": [
+ "G1_8",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_7, B1_7 -> G1_8, B1_8",
+ "pre": [
+ "G1_7",
+ "B1_7"
+ ],
+ "post": [
+ "G1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_7, G1_8 -> G1_8, G1_8",
+ "pre": [
+ "G1_7",
+ "G1_8"
+ ],
+ "post": [
+ "G1_8",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_7, B1_8 -> B0, G0",
+ "pre": [
+ "G1_7",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_7, B1_7 -> B1_8, B1_8",
+ "pre": [
+ "B1_7",
+ "B1_7"
+ ],
+ "post": [
+ "B1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_7, G1_8 -> B0, G0",
+ "pre": [
+ "B1_7",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_7, B1_8 -> B1_8, B1_8",
+ "pre": [
+ "B1_7",
+ "B1_8"
+ ],
+ "post": [
+ "B1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_8, B1_8 -> B0, G0",
+ "pre": [
+ "G1_8",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ }
+ ],
+ "initialStates": [
+ "G17",
+ "B17"
+ ],
+ "falseStates": [
+ "B0",
+ "B3",
+ "B5",
+ "B7",
+ "B9",
+ "B11",
+ "B13",
+ "B15",
+ "B17",
+ "B1_1",
+ "B1_2",
+ "B1_3",
+ "B1_4",
+ "B1_5",
+ "B1_6",
+ "B1_7",
+ "B1_8"
+ ],
+ "trueStates": [
+ "G0",
+ "G3",
+ "G5",
+ "G7",
+ "G9",
+ "G11",
+ "G13",
+ "G15",
+ "G17",
+ "G1_1",
+ "G1_2",
+ "G1_3",
+ "G1_4",
+ "G1_5",
+ "G1_6",
+ "G1_7",
+ "G1_8"
+ ],
+ "predicate": "C[G17] >= C[B17]",
+ "precondition": "C[G17] != C[B17]",
+ "description": "This protocol is a fast and exact majority protocol. It computes\n whether there are initially more agents voting yes (represented by\n state Gm) than agents voting no (represented by state Bm). The protocol\n does not handle ties. Parameters m and d control the running time\n of the protocol. Described in Dan Alistarh, Rati Gelashvili,\n Milan Vojnovi\u0107. Fast and Exact Majority in Population Protocols.\n PODC 2015."
+}
\ No newline at end of file
diff --git a/avc_typo_17_8.json b/avc_typo_17_8.json
new file mode 100644
index 0000000000000000000000000000000000000000..cdef706f441f9ba5993cdd5a39c6c704d5d9f9b3
--- /dev/null
+++ b/avc_typo_17_8.json
@@ -0,0 +1,5926 @@
+{
+ "title": "Average and Conquer protocol (with typo)",
+ "states": [
+ "G0",
+ "B0",
+ "G3",
+ "B3",
+ "G5",
+ "B5",
+ "G7",
+ "B7",
+ "G9",
+ "B9",
+ "G11",
+ "B11",
+ "G13",
+ "B13",
+ "G15",
+ "B15",
+ "G17",
+ "B17",
+ "G1_1",
+ "B1_1",
+ "G1_2",
+ "B1_2",
+ "G1_3",
+ "B1_3",
+ "G1_4",
+ "B1_4",
+ "G1_5",
+ "B1_5",
+ "G1_6",
+ "B1_6",
+ "G1_7",
+ "B1_7",
+ "G1_8",
+ "B1_8"
+ ],
+ "transitions": [
+ {
+ "name": "G0, G1_1 -> G0, G1_2",
+ "pre": [
+ "G0",
+ "G1_1"
+ ],
+ "post": [
+ "G0",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "G0, B1_1 -> G0, B1_2",
+ "pre": [
+ "G0",
+ "B1_1"
+ ],
+ "post": [
+ "G0",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "G0, G1_2 -> G0, G1_3",
+ "pre": [
+ "G0",
+ "G1_2"
+ ],
+ "post": [
+ "G0",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G0, B1_2 -> G0, B1_3",
+ "pre": [
+ "G0",
+ "B1_2"
+ ],
+ "post": [
+ "G0",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G0, G1_3 -> G0, G1_4",
+ "pre": [
+ "G0",
+ "G1_3"
+ ],
+ "post": [
+ "G0",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G0, B1_3 -> G0, B1_4",
+ "pre": [
+ "G0",
+ "B1_3"
+ ],
+ "post": [
+ "G0",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G0, G1_4 -> G0, G1_5",
+ "pre": [
+ "G0",
+ "G1_4"
+ ],
+ "post": [
+ "G0",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G0, B1_4 -> G0, B1_5",
+ "pre": [
+ "G0",
+ "B1_4"
+ ],
+ "post": [
+ "G0",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G0, G1_5 -> G0, G1_6",
+ "pre": [
+ "G0",
+ "G1_5"
+ ],
+ "post": [
+ "G0",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G0, B1_5 -> G0, B1_6",
+ "pre": [
+ "G0",
+ "B1_5"
+ ],
+ "post": [
+ "G0",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G0, G1_6 -> G0, G1_7",
+ "pre": [
+ "G0",
+ "G1_6"
+ ],
+ "post": [
+ "G0",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G0, B1_6 -> G0, B1_7",
+ "pre": [
+ "G0",
+ "B1_6"
+ ],
+ "post": [
+ "G0",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G0, G1_7 -> G0, G1_8",
+ "pre": [
+ "G0",
+ "G1_7"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G0, B1_7 -> G0, B1_8",
+ "pre": [
+ "G0",
+ "B1_7"
+ ],
+ "post": [
+ "G0",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B0, G3 -> G0, G3",
+ "pre": [
+ "B0",
+ "G3"
+ ],
+ "post": [
+ "G0",
+ "G3"
+ ]
+ },
+ {
+ "name": "B0, G5 -> G0, G5",
+ "pre": [
+ "B0",
+ "G5"
+ ],
+ "post": [
+ "G0",
+ "G5"
+ ]
+ },
+ {
+ "name": "B0, G7 -> G0, G7",
+ "pre": [
+ "B0",
+ "G7"
+ ],
+ "post": [
+ "G0",
+ "G7"
+ ]
+ },
+ {
+ "name": "B0, G9 -> G0, G9",
+ "pre": [
+ "B0",
+ "G9"
+ ],
+ "post": [
+ "G0",
+ "G9"
+ ]
+ },
+ {
+ "name": "B0, G11 -> G0, G11",
+ "pre": [
+ "B0",
+ "G11"
+ ],
+ "post": [
+ "G0",
+ "G11"
+ ]
+ },
+ {
+ "name": "B0, G13 -> G0, G13",
+ "pre": [
+ "B0",
+ "G13"
+ ],
+ "post": [
+ "G0",
+ "G13"
+ ]
+ },
+ {
+ "name": "B0, G15 -> G0, G15",
+ "pre": [
+ "B0",
+ "G15"
+ ],
+ "post": [
+ "G0",
+ "G15"
+ ]
+ },
+ {
+ "name": "B0, G17 -> G0, G17",
+ "pre": [
+ "B0",
+ "G17"
+ ],
+ "post": [
+ "G0",
+ "G17"
+ ]
+ },
+ {
+ "name": "B0, G1_1 -> G0, G1_2",
+ "pre": [
+ "B0",
+ "G1_1"
+ ],
+ "post": [
+ "G0",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "B0, B1_1 -> B0, B1_2",
+ "pre": [
+ "B0",
+ "B1_1"
+ ],
+ "post": [
+ "B0",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "B0, G1_2 -> G0, G1_3",
+ "pre": [
+ "B0",
+ "G1_2"
+ ],
+ "post": [
+ "G0",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "B0, B1_2 -> B0, B1_3",
+ "pre": [
+ "B0",
+ "B1_2"
+ ],
+ "post": [
+ "B0",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B0, G1_3 -> G0, G1_4",
+ "pre": [
+ "B0",
+ "G1_3"
+ ],
+ "post": [
+ "G0",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B0, B1_3 -> B0, B1_4",
+ "pre": [
+ "B0",
+ "B1_3"
+ ],
+ "post": [
+ "B0",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B0, G1_4 -> G0, G1_5",
+ "pre": [
+ "B0",
+ "G1_4"
+ ],
+ "post": [
+ "G0",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B0, B1_4 -> B0, B1_5",
+ "pre": [
+ "B0",
+ "B1_4"
+ ],
+ "post": [
+ "B0",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B0, G1_5 -> G0, G1_6",
+ "pre": [
+ "B0",
+ "G1_5"
+ ],
+ "post": [
+ "G0",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B0, B1_5 -> B0, B1_6",
+ "pre": [
+ "B0",
+ "B1_5"
+ ],
+ "post": [
+ "B0",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B0, G1_6 -> G0, G1_7",
+ "pre": [
+ "B0",
+ "G1_6"
+ ],
+ "post": [
+ "G0",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B0, B1_6 -> B0, B1_7",
+ "pre": [
+ "B0",
+ "B1_6"
+ ],
+ "post": [
+ "B0",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B0, G1_7 -> G0, G1_8",
+ "pre": [
+ "B0",
+ "G1_7"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B0, B1_7 -> B0, B1_8",
+ "pre": [
+ "B0",
+ "B1_7"
+ ],
+ "post": [
+ "B0",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B0, G1_8 -> G0, G1_8",
+ "pre": [
+ "B0",
+ "G1_8"
+ ],
+ "post": [
+ "G0",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G3, B3 -> B1_1, G1_1",
+ "pre": [
+ "G3",
+ "B3"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, B5 -> B1_1, B1_1",
+ "pre": [
+ "G3",
+ "B5"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G3, G7 -> G5, G5",
+ "pre": [
+ "G3",
+ "G7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G3, B7 -> B3, B1_1",
+ "pre": [
+ "G3",
+ "B7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G3, G9 -> G5, G7",
+ "pre": [
+ "G3",
+ "G9"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G3, B9 -> B3, B3",
+ "pre": [
+ "G3",
+ "B9"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G3, G11 -> G7, G7",
+ "pre": [
+ "G3",
+ "G11"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G3, B11 -> B5, B3",
+ "pre": [
+ "G3",
+ "B11"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G3, G13 -> G7, G9",
+ "pre": [
+ "G3",
+ "G13"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G3, B13 -> B5, B5",
+ "pre": [
+ "G3",
+ "B13"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G3, G15 -> G9, G9",
+ "pre": [
+ "G3",
+ "G15"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G3, B15 -> B7, B5",
+ "pre": [
+ "G3",
+ "B15"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G3, G17 -> G9, G11",
+ "pre": [
+ "G3",
+ "G17"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G3, B17 -> B7, B7",
+ "pre": [
+ "G3",
+ "B17"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "G3, B1_1 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_1"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_2 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_2 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_3 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_3 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_4 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_4 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_5 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_5 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_6 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_6 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_7 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_7 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G3, G1_8 -> G1_1, G3",
+ "pre": [
+ "G3",
+ "G1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G3, B1_8 -> G1_1, G1_1",
+ "pre": [
+ "G3",
+ "B1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B3, G5 -> G1_1, G1_1",
+ "pre": [
+ "B3",
+ "G5"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B3, G7 -> G1_1, G3",
+ "pre": [
+ "B3",
+ "G7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B3, B7 -> B5, B5",
+ "pre": [
+ "B3",
+ "B7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B3, G9 -> G3, G3",
+ "pre": [
+ "B3",
+ "G9"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B3, B9 -> B7, B5",
+ "pre": [
+ "B3",
+ "B9"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B3, G11 -> G3, G5",
+ "pre": [
+ "B3",
+ "G11"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B3, B11 -> B7, B7",
+ "pre": [
+ "B3",
+ "B11"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B3, G13 -> G5, G5",
+ "pre": [
+ "B3",
+ "G13"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B3, B13 -> B9, B7",
+ "pre": [
+ "B3",
+ "B13"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B3, G15 -> G5, G7",
+ "pre": [
+ "B3",
+ "G15"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B3, B15 -> B9, B9",
+ "pre": [
+ "B3",
+ "B15"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B3, G17 -> G7, G7",
+ "pre": [
+ "B3",
+ "G17"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "B3, B17 -> B11, B9",
+ "pre": [
+ "B3",
+ "B17"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B3, G1_1 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_1"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_2 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_2"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_2 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_2"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_3 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_3"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_3 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_3"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_4 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_4"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_4 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_4"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_5 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_5"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_5 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_5"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_6 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_6"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_6 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_6"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_7 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_7"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_7 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, G1_8 -> B1_1, B1_1",
+ "pre": [
+ "B3",
+ "G1_8"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B3, B1_8 -> B3, B1_1",
+ "pre": [
+ "B3",
+ "B1_8"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, B5 -> B1_1, G1_1",
+ "pre": [
+ "G5",
+ "B5"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G5, B7 -> B1_1, B1_1",
+ "pre": [
+ "G5",
+ "B7"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, G9 -> G7, G7",
+ "pre": [
+ "G5",
+ "G9"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G5, B9 -> B3, B1_1",
+ "pre": [
+ "G5",
+ "B9"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G5, G11 -> G7, G9",
+ "pre": [
+ "G5",
+ "G11"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G5, B11 -> B3, B3",
+ "pre": [
+ "G5",
+ "B11"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G5, G13 -> G9, G9",
+ "pre": [
+ "G5",
+ "G13"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G5, B13 -> B5, B3",
+ "pre": [
+ "G5",
+ "B13"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G5, G15 -> G9, G11",
+ "pre": [
+ "G5",
+ "G15"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G5, B15 -> B5, B5",
+ "pre": [
+ "G5",
+ "B15"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G5, G17 -> G11, G11",
+ "pre": [
+ "G5",
+ "G17"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G5, B17 -> B7, B5",
+ "pre": [
+ "G5",
+ "B17"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G5, G1_1 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_1"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_1 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_1"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_2 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_2"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_2 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_2"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_3 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_3"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_3 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_3"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_4 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_4"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_4 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_4"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_5 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_5"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_5 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_5"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_6 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_6"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_6 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_6"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_7 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_7"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_7 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_7"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, G1_8 -> G3, G3",
+ "pre": [
+ "G5",
+ "G1_8"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G5, B1_8 -> G1_1, G3",
+ "pre": [
+ "G5",
+ "B1_8"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, G7 -> G1_1, G1_1",
+ "pre": [
+ "B5",
+ "G7"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B5, G9 -> G1_1, G3",
+ "pre": [
+ "B5",
+ "G9"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, B9 -> B7, B7",
+ "pre": [
+ "B5",
+ "B9"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B5, G11 -> G3, G3",
+ "pre": [
+ "B5",
+ "G11"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B5, B11 -> B9, B7",
+ "pre": [
+ "B5",
+ "B11"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B5, G13 -> G3, G5",
+ "pre": [
+ "B5",
+ "G13"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B5, B13 -> B9, B9",
+ "pre": [
+ "B5",
+ "B13"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B5, G15 -> G5, G5",
+ "pre": [
+ "B5",
+ "G15"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B5, B15 -> B11, B9",
+ "pre": [
+ "B5",
+ "B15"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B5, G17 -> G5, G7",
+ "pre": [
+ "B5",
+ "G17"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B5, B17 -> B11, B11",
+ "pre": [
+ "B5",
+ "B17"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B5, G1_1 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_1"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_1 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_1"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_2 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_2"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_2 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_2"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_3 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_3"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_3 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_3"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_4 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_4"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_4 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_4"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_5 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_5"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_5 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_5"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_6 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_6"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_6 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_6"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_7 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_7"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_7 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_7"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B5, G1_8 -> B3, B1_1",
+ "pre": [
+ "B5",
+ "G1_8"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "B5, B1_8 -> B3, B3",
+ "pre": [
+ "B5",
+ "B1_8"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, B7 -> B1_1, G1_1",
+ "pre": [
+ "G7",
+ "B7"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G7, B9 -> B1_1, B1_1",
+ "pre": [
+ "G7",
+ "B9"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G7, G11 -> G9, G9",
+ "pre": [
+ "G7",
+ "G11"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G7, B11 -> B3, B1_1",
+ "pre": [
+ "G7",
+ "B11"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G7, G13 -> G9, G11",
+ "pre": [
+ "G7",
+ "G13"
+ ],
+ "post": [
+ "G9",
+ "G11"
+ ]
+ },
+ {
+ "name": "G7, B13 -> B3, B3",
+ "pre": [
+ "G7",
+ "B13"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, G15 -> G11, G11",
+ "pre": [
+ "G7",
+ "G15"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G7, B15 -> B5, B3",
+ "pre": [
+ "G7",
+ "B15"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G7, G17 -> G11, G13",
+ "pre": [
+ "G7",
+ "G17"
+ ],
+ "post": [
+ "G11",
+ "G13"
+ ]
+ },
+ {
+ "name": "G7, B17 -> B5, B5",
+ "pre": [
+ "G7",
+ "B17"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G7, G1_1 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_1"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_1 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_1"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_2 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_2"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_2 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_2"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_3 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_3"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_3 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_3"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_4 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_4"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_4 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_4"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_5 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_5"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_5 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_5"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_6 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_6"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_6 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_6"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_7 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_7"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_7 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_7"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "G7, G1_8 -> G3, G5",
+ "pre": [
+ "G7",
+ "G1_8"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G7, B1_8 -> G3, G3",
+ "pre": [
+ "G7",
+ "B1_8"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, G9 -> G1_1, G1_1",
+ "pre": [
+ "B7",
+ "G9"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B7, G11 -> G1_1, G3",
+ "pre": [
+ "B7",
+ "G11"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, B11 -> B9, B9",
+ "pre": [
+ "B7",
+ "B11"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B7, G13 -> G3, G3",
+ "pre": [
+ "B7",
+ "G13"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B7, B13 -> B11, B9",
+ "pre": [
+ "B7",
+ "B13"
+ ],
+ "post": [
+ "B11",
+ "B9"
+ ]
+ },
+ {
+ "name": "B7, G15 -> G3, G5",
+ "pre": [
+ "B7",
+ "G15"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B7, B15 -> B11, B11",
+ "pre": [
+ "B7",
+ "B15"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B7, G17 -> G5, G5",
+ "pre": [
+ "B7",
+ "G17"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B7, B17 -> B13, B11",
+ "pre": [
+ "B7",
+ "B17"
+ ],
+ "post": [
+ "B13",
+ "B11"
+ ]
+ },
+ {
+ "name": "B7, G1_1 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_1"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_1 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_1"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_2 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_2"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_2 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_2"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_3 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_3"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_3 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_3"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_4 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_4"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_4 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_4"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_5 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_5"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_5 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_5"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_6 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_6"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_6 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_6"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_7 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_7"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_7 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_7"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, G1_8 -> B3, B3",
+ "pre": [
+ "B7",
+ "G1_8"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "B7, B1_8 -> B5, B3",
+ "pre": [
+ "B7",
+ "B1_8"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, B9 -> B1_1, G1_1",
+ "pre": [
+ "G9",
+ "B9"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G9, B11 -> B1_1, B1_1",
+ "pre": [
+ "G9",
+ "B11"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G9, G13 -> G11, G11",
+ "pre": [
+ "G9",
+ "G13"
+ ],
+ "post": [
+ "G11",
+ "G11"
+ ]
+ },
+ {
+ "name": "G9, B13 -> B3, B1_1",
+ "pre": [
+ "G9",
+ "B13"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G9, G15 -> G11, G13",
+ "pre": [
+ "G9",
+ "G15"
+ ],
+ "post": [
+ "G11",
+ "G13"
+ ]
+ },
+ {
+ "name": "G9, B15 -> B3, B3",
+ "pre": [
+ "G9",
+ "B15"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, G17 -> G13, G13",
+ "pre": [
+ "G9",
+ "G17"
+ ],
+ "post": [
+ "G13",
+ "G13"
+ ]
+ },
+ {
+ "name": "G9, B17 -> B5, B3",
+ "pre": [
+ "G9",
+ "B17"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "G9, G1_1 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_1"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_1 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_1"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_2 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_2"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_2 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_2"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_3 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_3"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_3 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_3"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_4 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_4"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_4 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_4"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_5 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_5"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_5 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_5"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_6 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_6"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_6 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_6"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_7 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_7 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_7"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, G1_8 -> G5, G5",
+ "pre": [
+ "G9",
+ "G1_8"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G9, B1_8 -> G3, G5",
+ "pre": [
+ "G9",
+ "B1_8"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B9, G11 -> G1_1, G1_1",
+ "pre": [
+ "B9",
+ "G11"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B9, G13 -> G1_1, G3",
+ "pre": [
+ "B9",
+ "G13"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B9, B13 -> B11, B11",
+ "pre": [
+ "B9",
+ "B13"
+ ],
+ "post": [
+ "B11",
+ "B11"
+ ]
+ },
+ {
+ "name": "B9, G15 -> G3, G3",
+ "pre": [
+ "B9",
+ "G15"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B9, B15 -> B13, B11",
+ "pre": [
+ "B9",
+ "B15"
+ ],
+ "post": [
+ "B13",
+ "B11"
+ ]
+ },
+ {
+ "name": "B9, G17 -> G3, G5",
+ "pre": [
+ "B9",
+ "G17"
+ ],
+ "post": [
+ "G3",
+ "G5"
+ ]
+ },
+ {
+ "name": "B9, B17 -> B13, B13",
+ "pre": [
+ "B9",
+ "B17"
+ ],
+ "post": [
+ "B13",
+ "B13"
+ ]
+ },
+ {
+ "name": "B9, G1_1 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_1"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_1 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_1"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_2 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_2"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_2 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_2"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_3 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_3"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_3 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_3"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_4 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_4"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_4 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_4"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_5 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_5"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_5 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_5"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_6 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_6"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_6 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_6"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_7 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_7"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_7 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B9, G1_8 -> B5, B3",
+ "pre": [
+ "B9",
+ "G1_8"
+ ],
+ "post": [
+ "B5",
+ "B3"
+ ]
+ },
+ {
+ "name": "B9, B1_8 -> B5, B5",
+ "pre": [
+ "B9",
+ "B1_8"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "G11, B11 -> B1_1, G1_1",
+ "pre": [
+ "G11",
+ "B11"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G11, B13 -> B1_1, B1_1",
+ "pre": [
+ "G11",
+ "B13"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G11, G15 -> G13, G13",
+ "pre": [
+ "G11",
+ "G15"
+ ],
+ "post": [
+ "G13",
+ "G13"
+ ]
+ },
+ {
+ "name": "G11, B15 -> B3, B1_1",
+ "pre": [
+ "G11",
+ "B15"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G11, G17 -> G13, G15",
+ "pre": [
+ "G11",
+ "G17"
+ ],
+ "post": [
+ "G13",
+ "G15"
+ ]
+ },
+ {
+ "name": "G11, B17 -> B3, B3",
+ "pre": [
+ "G11",
+ "B17"
+ ],
+ "post": [
+ "B3",
+ "B3"
+ ]
+ },
+ {
+ "name": "G11, G1_1 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_1"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_1 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_1"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_2 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_2"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_2 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_2"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_3 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_3"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_3 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_3"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_4 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_4"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_4 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_4"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_5 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_5"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_5 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_5"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_6 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_6"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_6 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_6"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_7 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_7"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_7 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_7"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "G11, G1_8 -> G5, G7",
+ "pre": [
+ "G11",
+ "G1_8"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G11, B1_8 -> G5, G5",
+ "pre": [
+ "G11",
+ "B1_8"
+ ],
+ "post": [
+ "G5",
+ "G5"
+ ]
+ },
+ {
+ "name": "B11, G13 -> G1_1, G1_1",
+ "pre": [
+ "B11",
+ "G13"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B11, G15 -> G1_1, G3",
+ "pre": [
+ "B11",
+ "G15"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B11, B15 -> B13, B13",
+ "pre": [
+ "B11",
+ "B15"
+ ],
+ "post": [
+ "B13",
+ "B13"
+ ]
+ },
+ {
+ "name": "B11, G17 -> G3, G3",
+ "pre": [
+ "B11",
+ "G17"
+ ],
+ "post": [
+ "G3",
+ "G3"
+ ]
+ },
+ {
+ "name": "B11, B17 -> B15, B13",
+ "pre": [
+ "B11",
+ "B17"
+ ],
+ "post": [
+ "B15",
+ "B13"
+ ]
+ },
+ {
+ "name": "B11, G1_1 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_1"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_1 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_1"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_2 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_2"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_2 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_2"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_3 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_3"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_3 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_3"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_4 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_4"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_4 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_4"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_5 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_5"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_5 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_5"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_6 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_6"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_6 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_6"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_7 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_7"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_7 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_7"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, G1_8 -> B5, B5",
+ "pre": [
+ "B11",
+ "G1_8"
+ ],
+ "post": [
+ "B5",
+ "B5"
+ ]
+ },
+ {
+ "name": "B11, B1_8 -> B7, B5",
+ "pre": [
+ "B11",
+ "B1_8"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "G13, B13 -> B1_1, G1_1",
+ "pre": [
+ "G13",
+ "B13"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G13, B15 -> B1_1, B1_1",
+ "pre": [
+ "G13",
+ "B15"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G13, G17 -> G15, G15",
+ "pre": [
+ "G13",
+ "G17"
+ ],
+ "post": [
+ "G15",
+ "G15"
+ ]
+ },
+ {
+ "name": "G13, B17 -> B3, B1_1",
+ "pre": [
+ "G13",
+ "B17"
+ ],
+ "post": [
+ "B3",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G13, G1_1 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_1"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_1 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_1"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_2 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_2"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_2 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_2"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_3 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_3"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_3 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_3"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_4 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_4"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_4 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_4"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_5 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_5"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_5 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_5"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_6 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_6"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_6 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_6"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_7 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_7"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_7 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_7"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, G1_8 -> G7, G7",
+ "pre": [
+ "G13",
+ "G1_8"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G13, B1_8 -> G5, G7",
+ "pre": [
+ "G13",
+ "B1_8"
+ ],
+ "post": [
+ "G5",
+ "G7"
+ ]
+ },
+ {
+ "name": "B13, G15 -> G1_1, G1_1",
+ "pre": [
+ "B13",
+ "G15"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B13, G17 -> G1_1, G3",
+ "pre": [
+ "B13",
+ "G17"
+ ],
+ "post": [
+ "G1_1",
+ "G3"
+ ]
+ },
+ {
+ "name": "B13, B17 -> B15, B15",
+ "pre": [
+ "B13",
+ "B17"
+ ],
+ "post": [
+ "B15",
+ "B15"
+ ]
+ },
+ {
+ "name": "B13, G1_1 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_1"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_1 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_1"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_2 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_2"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_2 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_2"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_3 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_3"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_3 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_3"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_4 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_4"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_4 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_4"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_5 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_5"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_5 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_5"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_6 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_6"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_6 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_6"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_7 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_7"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_7 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_7"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B13, G1_8 -> B7, B5",
+ "pre": [
+ "B13",
+ "G1_8"
+ ],
+ "post": [
+ "B7",
+ "B5"
+ ]
+ },
+ {
+ "name": "B13, B1_8 -> B7, B7",
+ "pre": [
+ "B13",
+ "B1_8"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "G15, B15 -> B1_1, G1_1",
+ "pre": [
+ "G15",
+ "B15"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G15, B17 -> B1_1, B1_1",
+ "pre": [
+ "G15",
+ "B17"
+ ],
+ "post": [
+ "B1_1",
+ "B1_1"
+ ]
+ },
+ {
+ "name": "G15, G1_1 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_1"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_1 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_1"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_2 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_2"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_2 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_2"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_3 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_3"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_3 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_3"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_4 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_4"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_4 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_4"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_5 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_5"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_5 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_5"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_6 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_6"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_6 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_6"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_7 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_7"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_7 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_7"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "G15, G1_8 -> G7, G9",
+ "pre": [
+ "G15",
+ "G1_8"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G15, B1_8 -> G7, G7",
+ "pre": [
+ "G15",
+ "B1_8"
+ ],
+ "post": [
+ "G7",
+ "G7"
+ ]
+ },
+ {
+ "name": "B15, G17 -> G1_1, G1_1",
+ "pre": [
+ "B15",
+ "G17"
+ ],
+ "post": [
+ "G1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "B15, G1_1 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_1"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_1 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_1"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_2 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_2"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_2 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_2"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_3 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_3"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_3 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_3"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_4 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_4"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_4 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_4"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_5 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_5"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_5 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_5"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_6 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_6"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_6 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_6"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_7 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_7"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_7 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_7"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, G1_8 -> B7, B7",
+ "pre": [
+ "B15",
+ "G1_8"
+ ],
+ "post": [
+ "B7",
+ "B7"
+ ]
+ },
+ {
+ "name": "B15, B1_8 -> B9, B7",
+ "pre": [
+ "B15",
+ "B1_8"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "G17, B17 -> B1_1, G1_1",
+ "pre": [
+ "G17",
+ "B17"
+ ],
+ "post": [
+ "B1_1",
+ "G1_1"
+ ]
+ },
+ {
+ "name": "G17, G1_1 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_1"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_1 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_1"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_2 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_2"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_2 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_2"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_3 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_3"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_3 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_3"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_4 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_4"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_4 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_4"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_5 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_5"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_5 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_5"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_6 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_6"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_6 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_6"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_7 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_7"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_7 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_7"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, G1_8 -> G9, G9",
+ "pre": [
+ "G17",
+ "G1_8"
+ ],
+ "post": [
+ "G9",
+ "G9"
+ ]
+ },
+ {
+ "name": "G17, B1_8 -> G7, G9",
+ "pre": [
+ "G17",
+ "B1_8"
+ ],
+ "post": [
+ "G7",
+ "G9"
+ ]
+ },
+ {
+ "name": "B17, G1_1 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_1"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_1 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_1"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_2 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_2"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_2 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_2"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_3 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_3"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_3 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_3"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_4 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_4"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_4 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_4"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_5 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_5"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_5 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_5"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_6 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_6"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_6 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_6"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_7 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_7"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_7 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_7"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "B17, G1_8 -> B9, B7",
+ "pre": [
+ "B17",
+ "G1_8"
+ ],
+ "post": [
+ "B9",
+ "B7"
+ ]
+ },
+ {
+ "name": "B17, B1_8 -> B9, B9",
+ "pre": [
+ "B17",
+ "B1_8"
+ ],
+ "post": [
+ "B9",
+ "B9"
+ ]
+ },
+ {
+ "name": "G1_1, G1_1 -> G1_2, G1_2",
+ "pre": [
+ "G1_1",
+ "G1_1"
+ ],
+ "post": [
+ "G1_2",
+ "G1_2"
+ ]
+ },
+ {
+ "name": "G1_1, B1_1 -> G1_2, B1_2",
+ "pre": [
+ "G1_1",
+ "B1_1"
+ ],
+ "post": [
+ "G1_2",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "G1_1, G1_2 -> G1_2, G1_3",
+ "pre": [
+ "G1_1",
+ "G1_2"
+ ],
+ "post": [
+ "G1_2",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G1_1, B1_2 -> G1_2, B1_3",
+ "pre": [
+ "G1_1",
+ "B1_2"
+ ],
+ "post": [
+ "G1_2",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G1_1, G1_3 -> G1_2, G1_4",
+ "pre": [
+ "G1_1",
+ "G1_3"
+ ],
+ "post": [
+ "G1_2",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_1, B1_3 -> G1_2, B1_4",
+ "pre": [
+ "G1_1",
+ "B1_3"
+ ],
+ "post": [
+ "G1_2",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_1, G1_4 -> G1_2, G1_5",
+ "pre": [
+ "G1_1",
+ "G1_4"
+ ],
+ "post": [
+ "G1_2",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_1, B1_4 -> G1_2, B1_5",
+ "pre": [
+ "G1_1",
+ "B1_4"
+ ],
+ "post": [
+ "G1_2",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_1, G1_5 -> G1_2, G1_6",
+ "pre": [
+ "G1_1",
+ "G1_5"
+ ],
+ "post": [
+ "G1_2",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_1, B1_5 -> G1_2, B1_6",
+ "pre": [
+ "G1_1",
+ "B1_5"
+ ],
+ "post": [
+ "G1_2",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_1, G1_6 -> G1_2, G1_7",
+ "pre": [
+ "G1_1",
+ "G1_6"
+ ],
+ "post": [
+ "G1_2",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_1, B1_6 -> G1_2, B1_7",
+ "pre": [
+ "G1_1",
+ "B1_6"
+ ],
+ "post": [
+ "G1_2",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_1, G1_7 -> G1_2, G1_8",
+ "pre": [
+ "G1_1",
+ "G1_7"
+ ],
+ "post": [
+ "G1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_1, B1_7 -> G1_2, B1_8",
+ "pre": [
+ "G1_1",
+ "B1_7"
+ ],
+ "post": [
+ "G1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_1, G1_8 -> G1_2, G1_8",
+ "pre": [
+ "G1_1",
+ "G1_8"
+ ],
+ "post": [
+ "G1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_1, B1_8 -> B0, G0",
+ "pre": [
+ "G1_1",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_1, B1_1 -> B1_2, B1_2",
+ "pre": [
+ "B1_1",
+ "B1_1"
+ ],
+ "post": [
+ "B1_2",
+ "B1_2"
+ ]
+ },
+ {
+ "name": "B1_1, G1_2 -> B1_2, G1_3",
+ "pre": [
+ "B1_1",
+ "G1_2"
+ ],
+ "post": [
+ "B1_2",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "B1_1, B1_2 -> B1_2, B1_3",
+ "pre": [
+ "B1_1",
+ "B1_2"
+ ],
+ "post": [
+ "B1_2",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B1_1, G1_3 -> B1_2, G1_4",
+ "pre": [
+ "B1_1",
+ "G1_3"
+ ],
+ "post": [
+ "B1_2",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B1_1, B1_3 -> B1_2, B1_4",
+ "pre": [
+ "B1_1",
+ "B1_3"
+ ],
+ "post": [
+ "B1_2",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_1, G1_4 -> B1_2, G1_5",
+ "pre": [
+ "B1_1",
+ "G1_4"
+ ],
+ "post": [
+ "B1_2",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_1, B1_4 -> B1_2, B1_5",
+ "pre": [
+ "B1_1",
+ "B1_4"
+ ],
+ "post": [
+ "B1_2",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_1, G1_5 -> B1_2, G1_6",
+ "pre": [
+ "B1_1",
+ "G1_5"
+ ],
+ "post": [
+ "B1_2",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_1, B1_5 -> B1_2, B1_6",
+ "pre": [
+ "B1_1",
+ "B1_5"
+ ],
+ "post": [
+ "B1_2",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_1, G1_6 -> B1_2, G1_7",
+ "pre": [
+ "B1_1",
+ "G1_6"
+ ],
+ "post": [
+ "B1_2",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_1, B1_6 -> B1_2, B1_7",
+ "pre": [
+ "B1_1",
+ "B1_6"
+ ],
+ "post": [
+ "B1_2",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_1, G1_7 -> B1_2, G1_8",
+ "pre": [
+ "B1_1",
+ "G1_7"
+ ],
+ "post": [
+ "B1_2",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_1, B1_7 -> B1_2, B1_8",
+ "pre": [
+ "B1_1",
+ "B1_7"
+ ],
+ "post": [
+ "B1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_1, G1_8 -> B0, G0",
+ "pre": [
+ "B1_1",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_1, B1_8 -> B1_2, B1_8",
+ "pre": [
+ "B1_1",
+ "B1_8"
+ ],
+ "post": [
+ "B1_2",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_2, G1_2 -> G1_3, G1_3",
+ "pre": [
+ "G1_2",
+ "G1_2"
+ ],
+ "post": [
+ "G1_3",
+ "G1_3"
+ ]
+ },
+ {
+ "name": "G1_2, B1_2 -> G1_3, B1_3",
+ "pre": [
+ "G1_2",
+ "B1_2"
+ ],
+ "post": [
+ "G1_3",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "G1_2, G1_3 -> G1_3, G1_4",
+ "pre": [
+ "G1_2",
+ "G1_3"
+ ],
+ "post": [
+ "G1_3",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_2, B1_3 -> G1_3, B1_4",
+ "pre": [
+ "G1_2",
+ "B1_3"
+ ],
+ "post": [
+ "G1_3",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_2, G1_4 -> G1_3, G1_5",
+ "pre": [
+ "G1_2",
+ "G1_4"
+ ],
+ "post": [
+ "G1_3",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_2, B1_4 -> G1_3, B1_5",
+ "pre": [
+ "G1_2",
+ "B1_4"
+ ],
+ "post": [
+ "G1_3",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_2, G1_5 -> G1_3, G1_6",
+ "pre": [
+ "G1_2",
+ "G1_5"
+ ],
+ "post": [
+ "G1_3",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_2, B1_5 -> G1_3, B1_6",
+ "pre": [
+ "G1_2",
+ "B1_5"
+ ],
+ "post": [
+ "G1_3",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_2, G1_6 -> G1_3, G1_7",
+ "pre": [
+ "G1_2",
+ "G1_6"
+ ],
+ "post": [
+ "G1_3",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_2, B1_6 -> G1_3, B1_7",
+ "pre": [
+ "G1_2",
+ "B1_6"
+ ],
+ "post": [
+ "G1_3",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_2, G1_7 -> G1_3, G1_8",
+ "pre": [
+ "G1_2",
+ "G1_7"
+ ],
+ "post": [
+ "G1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_2, B1_7 -> G1_3, B1_8",
+ "pre": [
+ "G1_2",
+ "B1_7"
+ ],
+ "post": [
+ "G1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_2, G1_8 -> G1_3, G1_8",
+ "pre": [
+ "G1_2",
+ "G1_8"
+ ],
+ "post": [
+ "G1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_2, B1_8 -> B0, G0",
+ "pre": [
+ "G1_2",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_2, B1_2 -> B1_3, B1_3",
+ "pre": [
+ "B1_2",
+ "B1_2"
+ ],
+ "post": [
+ "B1_3",
+ "B1_3"
+ ]
+ },
+ {
+ "name": "B1_2, G1_3 -> B1_3, G1_4",
+ "pre": [
+ "B1_2",
+ "G1_3"
+ ],
+ "post": [
+ "B1_3",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "B1_2, B1_3 -> B1_3, B1_4",
+ "pre": [
+ "B1_2",
+ "B1_3"
+ ],
+ "post": [
+ "B1_3",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_2, G1_4 -> B1_3, G1_5",
+ "pre": [
+ "B1_2",
+ "G1_4"
+ ],
+ "post": [
+ "B1_3",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_2, B1_4 -> B1_3, B1_5",
+ "pre": [
+ "B1_2",
+ "B1_4"
+ ],
+ "post": [
+ "B1_3",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_2, G1_5 -> B1_3, G1_6",
+ "pre": [
+ "B1_2",
+ "G1_5"
+ ],
+ "post": [
+ "B1_3",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_2, B1_5 -> B1_3, B1_6",
+ "pre": [
+ "B1_2",
+ "B1_5"
+ ],
+ "post": [
+ "B1_3",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_2, G1_6 -> B1_3, G1_7",
+ "pre": [
+ "B1_2",
+ "G1_6"
+ ],
+ "post": [
+ "B1_3",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_2, B1_6 -> B1_3, B1_7",
+ "pre": [
+ "B1_2",
+ "B1_6"
+ ],
+ "post": [
+ "B1_3",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_2, G1_7 -> B1_3, G1_8",
+ "pre": [
+ "B1_2",
+ "G1_7"
+ ],
+ "post": [
+ "B1_3",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_2, B1_7 -> B1_3, B1_8",
+ "pre": [
+ "B1_2",
+ "B1_7"
+ ],
+ "post": [
+ "B1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_2, G1_8 -> B0, G0",
+ "pre": [
+ "B1_2",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_2, B1_8 -> B1_3, B1_8",
+ "pre": [
+ "B1_2",
+ "B1_8"
+ ],
+ "post": [
+ "B1_3",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_3, G1_3 -> G1_4, G1_4",
+ "pre": [
+ "G1_3",
+ "G1_3"
+ ],
+ "post": [
+ "G1_4",
+ "G1_4"
+ ]
+ },
+ {
+ "name": "G1_3, B1_3 -> G1_4, B1_4",
+ "pre": [
+ "G1_3",
+ "B1_3"
+ ],
+ "post": [
+ "G1_4",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "G1_3, G1_4 -> G1_4, G1_5",
+ "pre": [
+ "G1_3",
+ "G1_4"
+ ],
+ "post": [
+ "G1_4",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_3, B1_4 -> G1_4, B1_5",
+ "pre": [
+ "G1_3",
+ "B1_4"
+ ],
+ "post": [
+ "G1_4",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_3, G1_5 -> G1_4, G1_6",
+ "pre": [
+ "G1_3",
+ "G1_5"
+ ],
+ "post": [
+ "G1_4",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_3, B1_5 -> G1_4, B1_6",
+ "pre": [
+ "G1_3",
+ "B1_5"
+ ],
+ "post": [
+ "G1_4",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_3, G1_6 -> G1_4, G1_7",
+ "pre": [
+ "G1_3",
+ "G1_6"
+ ],
+ "post": [
+ "G1_4",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_3, B1_6 -> G1_4, B1_7",
+ "pre": [
+ "G1_3",
+ "B1_6"
+ ],
+ "post": [
+ "G1_4",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_3, G1_7 -> G1_4, G1_8",
+ "pre": [
+ "G1_3",
+ "G1_7"
+ ],
+ "post": [
+ "G1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_3, B1_7 -> G1_4, B1_8",
+ "pre": [
+ "G1_3",
+ "B1_7"
+ ],
+ "post": [
+ "G1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_3, G1_8 -> G1_4, G1_8",
+ "pre": [
+ "G1_3",
+ "G1_8"
+ ],
+ "post": [
+ "G1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_3, B1_8 -> B0, G0",
+ "pre": [
+ "G1_3",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_3, B1_3 -> B1_4, B1_4",
+ "pre": [
+ "B1_3",
+ "B1_3"
+ ],
+ "post": [
+ "B1_4",
+ "B1_4"
+ ]
+ },
+ {
+ "name": "B1_3, G1_4 -> B1_4, G1_5",
+ "pre": [
+ "B1_3",
+ "G1_4"
+ ],
+ "post": [
+ "B1_4",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "B1_3, B1_4 -> B1_4, B1_5",
+ "pre": [
+ "B1_3",
+ "B1_4"
+ ],
+ "post": [
+ "B1_4",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_3, G1_5 -> B1_4, G1_6",
+ "pre": [
+ "B1_3",
+ "G1_5"
+ ],
+ "post": [
+ "B1_4",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_3, B1_5 -> B1_4, B1_6",
+ "pre": [
+ "B1_3",
+ "B1_5"
+ ],
+ "post": [
+ "B1_4",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_3, G1_6 -> B1_4, G1_7",
+ "pre": [
+ "B1_3",
+ "G1_6"
+ ],
+ "post": [
+ "B1_4",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_3, B1_6 -> B1_4, B1_7",
+ "pre": [
+ "B1_3",
+ "B1_6"
+ ],
+ "post": [
+ "B1_4",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_3, G1_7 -> B1_4, G1_8",
+ "pre": [
+ "B1_3",
+ "G1_7"
+ ],
+ "post": [
+ "B1_4",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_3, B1_7 -> B1_4, B1_8",
+ "pre": [
+ "B1_3",
+ "B1_7"
+ ],
+ "post": [
+ "B1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_3, G1_8 -> B0, G0",
+ "pre": [
+ "B1_3",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_3, B1_8 -> B1_4, B1_8",
+ "pre": [
+ "B1_3",
+ "B1_8"
+ ],
+ "post": [
+ "B1_4",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_4, G1_4 -> G1_5, G1_5",
+ "pre": [
+ "G1_4",
+ "G1_4"
+ ],
+ "post": [
+ "G1_5",
+ "G1_5"
+ ]
+ },
+ {
+ "name": "G1_4, B1_4 -> G1_5, B1_5",
+ "pre": [
+ "G1_4",
+ "B1_4"
+ ],
+ "post": [
+ "G1_5",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "G1_4, G1_5 -> G1_5, G1_6",
+ "pre": [
+ "G1_4",
+ "G1_5"
+ ],
+ "post": [
+ "G1_5",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_4, B1_5 -> G1_5, B1_6",
+ "pre": [
+ "G1_4",
+ "B1_5"
+ ],
+ "post": [
+ "G1_5",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_4, G1_6 -> G1_5, G1_7",
+ "pre": [
+ "G1_4",
+ "G1_6"
+ ],
+ "post": [
+ "G1_5",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_4, B1_6 -> G1_5, B1_7",
+ "pre": [
+ "G1_4",
+ "B1_6"
+ ],
+ "post": [
+ "G1_5",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_4, G1_7 -> G1_5, G1_8",
+ "pre": [
+ "G1_4",
+ "G1_7"
+ ],
+ "post": [
+ "G1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_4, B1_7 -> G1_5, B1_8",
+ "pre": [
+ "G1_4",
+ "B1_7"
+ ],
+ "post": [
+ "G1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_4, G1_8 -> G1_5, G1_8",
+ "pre": [
+ "G1_4",
+ "G1_8"
+ ],
+ "post": [
+ "G1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_4, B1_8 -> B0, G0",
+ "pre": [
+ "G1_4",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_4, B1_4 -> B1_5, B1_5",
+ "pre": [
+ "B1_4",
+ "B1_4"
+ ],
+ "post": [
+ "B1_5",
+ "B1_5"
+ ]
+ },
+ {
+ "name": "B1_4, G1_5 -> B1_5, G1_6",
+ "pre": [
+ "B1_4",
+ "G1_5"
+ ],
+ "post": [
+ "B1_5",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "B1_4, B1_5 -> B1_5, B1_6",
+ "pre": [
+ "B1_4",
+ "B1_5"
+ ],
+ "post": [
+ "B1_5",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_4, G1_6 -> B1_5, G1_7",
+ "pre": [
+ "B1_4",
+ "G1_6"
+ ],
+ "post": [
+ "B1_5",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_4, B1_6 -> B1_5, B1_7",
+ "pre": [
+ "B1_4",
+ "B1_6"
+ ],
+ "post": [
+ "B1_5",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_4, G1_7 -> B1_5, G1_8",
+ "pre": [
+ "B1_4",
+ "G1_7"
+ ],
+ "post": [
+ "B1_5",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_4, B1_7 -> B1_5, B1_8",
+ "pre": [
+ "B1_4",
+ "B1_7"
+ ],
+ "post": [
+ "B1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_4, G1_8 -> B0, G0",
+ "pre": [
+ "B1_4",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_4, B1_8 -> B1_5, B1_8",
+ "pre": [
+ "B1_4",
+ "B1_8"
+ ],
+ "post": [
+ "B1_5",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_5, G1_5 -> G1_6, G1_6",
+ "pre": [
+ "G1_5",
+ "G1_5"
+ ],
+ "post": [
+ "G1_6",
+ "G1_6"
+ ]
+ },
+ {
+ "name": "G1_5, B1_5 -> G1_6, B1_6",
+ "pre": [
+ "G1_5",
+ "B1_5"
+ ],
+ "post": [
+ "G1_6",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "G1_5, G1_6 -> G1_6, G1_7",
+ "pre": [
+ "G1_5",
+ "G1_6"
+ ],
+ "post": [
+ "G1_6",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_5, B1_6 -> G1_6, B1_7",
+ "pre": [
+ "G1_5",
+ "B1_6"
+ ],
+ "post": [
+ "G1_6",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_5, G1_7 -> G1_6, G1_8",
+ "pre": [
+ "G1_5",
+ "G1_7"
+ ],
+ "post": [
+ "G1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_5, B1_7 -> G1_6, B1_8",
+ "pre": [
+ "G1_5",
+ "B1_7"
+ ],
+ "post": [
+ "G1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_5, G1_8 -> G1_6, G1_8",
+ "pre": [
+ "G1_5",
+ "G1_8"
+ ],
+ "post": [
+ "G1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_5, B1_8 -> B0, G0",
+ "pre": [
+ "G1_5",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_5, B1_5 -> B1_6, B1_6",
+ "pre": [
+ "B1_5",
+ "B1_5"
+ ],
+ "post": [
+ "B1_6",
+ "B1_6"
+ ]
+ },
+ {
+ "name": "B1_5, G1_6 -> B1_6, G1_7",
+ "pre": [
+ "B1_5",
+ "G1_6"
+ ],
+ "post": [
+ "B1_6",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "B1_5, B1_6 -> B1_6, B1_7",
+ "pre": [
+ "B1_5",
+ "B1_6"
+ ],
+ "post": [
+ "B1_6",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_5, G1_7 -> B1_6, G1_8",
+ "pre": [
+ "B1_5",
+ "G1_7"
+ ],
+ "post": [
+ "B1_6",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_5, B1_7 -> B1_6, B1_8",
+ "pre": [
+ "B1_5",
+ "B1_7"
+ ],
+ "post": [
+ "B1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_5, G1_8 -> B0, G0",
+ "pre": [
+ "B1_5",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_5, B1_8 -> B1_6, B1_8",
+ "pre": [
+ "B1_5",
+ "B1_8"
+ ],
+ "post": [
+ "B1_6",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_6, G1_6 -> G1_7, G1_7",
+ "pre": [
+ "G1_6",
+ "G1_6"
+ ],
+ "post": [
+ "G1_7",
+ "G1_7"
+ ]
+ },
+ {
+ "name": "G1_6, B1_6 -> G1_7, B1_7",
+ "pre": [
+ "G1_6",
+ "B1_6"
+ ],
+ "post": [
+ "G1_7",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "G1_6, G1_7 -> G1_7, G1_8",
+ "pre": [
+ "G1_6",
+ "G1_7"
+ ],
+ "post": [
+ "G1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_6, B1_7 -> G1_7, B1_8",
+ "pre": [
+ "G1_6",
+ "B1_7"
+ ],
+ "post": [
+ "G1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_6, G1_8 -> G1_7, G1_8",
+ "pre": [
+ "G1_6",
+ "G1_8"
+ ],
+ "post": [
+ "G1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_6, B1_8 -> B0, G0",
+ "pre": [
+ "G1_6",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_6, B1_6 -> B1_7, B1_7",
+ "pre": [
+ "B1_6",
+ "B1_6"
+ ],
+ "post": [
+ "B1_7",
+ "B1_7"
+ ]
+ },
+ {
+ "name": "B1_6, G1_7 -> B1_7, G1_8",
+ "pre": [
+ "B1_6",
+ "G1_7"
+ ],
+ "post": [
+ "B1_7",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "B1_6, B1_7 -> B1_7, B1_8",
+ "pre": [
+ "B1_6",
+ "B1_7"
+ ],
+ "post": [
+ "B1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_6, G1_8 -> B0, G0",
+ "pre": [
+ "B1_6",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_6, B1_8 -> B1_7, B1_8",
+ "pre": [
+ "B1_6",
+ "B1_8"
+ ],
+ "post": [
+ "B1_7",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_7, G1_7 -> G1_8, G1_8",
+ "pre": [
+ "G1_7",
+ "G1_7"
+ ],
+ "post": [
+ "G1_8",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_7, B1_7 -> G1_8, B1_8",
+ "pre": [
+ "G1_7",
+ "B1_7"
+ ],
+ "post": [
+ "G1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_7, G1_8 -> G1_8, G1_8",
+ "pre": [
+ "G1_7",
+ "G1_8"
+ ],
+ "post": [
+ "G1_8",
+ "G1_8"
+ ]
+ },
+ {
+ "name": "G1_7, B1_8 -> B0, G0",
+ "pre": [
+ "G1_7",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_7, B1_7 -> B1_8, B1_8",
+ "pre": [
+ "B1_7",
+ "B1_7"
+ ],
+ "post": [
+ "B1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "B1_7, G1_8 -> B0, G0",
+ "pre": [
+ "B1_7",
+ "G1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ },
+ {
+ "name": "B1_7, B1_8 -> B1_8, B1_8",
+ "pre": [
+ "B1_7",
+ "B1_8"
+ ],
+ "post": [
+ "B1_8",
+ "B1_8"
+ ]
+ },
+ {
+ "name": "G1_8, B1_8 -> B0, G0",
+ "pre": [
+ "G1_8",
+ "B1_8"
+ ],
+ "post": [
+ "B0",
+ "G0"
+ ]
+ }
+ ],
+ "initialStates": [
+ "G17",
+ "B17"
+ ],
+ "trueStates": [
+ "G0",
+ "G3",
+ "G5",
+ "G7",
+ "G9",
+ "G11",
+ "G13",
+ "G15",
+ "G17",
+ "G1_1",
+ "G1_2",
+ "G1_3",
+ "G1_4",
+ "G1_5",
+ "G1_6",
+ "G1_7",
+ "G1_8"
+ ],
+ "falseStates": [
+ "B0",
+ "B3",
+ "B5",
+ "B7",
+ "B9",
+ "B11",
+ "B13",
+ "B15",
+ "B17",
+ "B1_1",
+ "B1_2",
+ "B1_3",
+ "B1_4",
+ "B1_5",
+ "B1_6",
+ "B1_7",
+ "B1_8"
+ ],
+ "predicate": "C[G17] >= C[B17]",
+ "description": "This protocol is a fast and exact majority protocol. It computes\n whether there are initially more agents voting yes (represented by\n state Gm) than agents voting no (represented by state Bm). The protocol\n does not handle ties. Parameters m and d control the running time\n of the protocol. Described in Dan Alistarh, Rati Gelashvili,\n Milan Vojnovi\u0107. Fast and Exact Majority in Population Protocols.\n PODC 2015. The protocol contains erroneous transitions due to a\n typo appearing in Fig. 1 of the paper."
+}
\ No newline at end of file