diff --git a/test/demo.zxg b/test/demo.zxg
index f5e98dfa..625e54af 100644
--- a/test/demo.zxg
+++ b/test/demo.zxg
@@ -1 +1 @@
-{"wire_vertices": {"b0": {"annotation": {"boundary": true, "coord": [1, 0], "input": 0}}, "b1": {"annotation": {"boundary": true, "coord": [1, -1], "input": 1}}, "b2": {"annotation": {"boundary": true, "coord": [1, -2], "input": 2}}, "b3": {"annotation": {"boundary": true, "coord": [1, -3], "input": 3}}, "b4": {"annotation": {"boundary": true, "coord": [6, 0], "output": 0}}, "b5": {"annotation": {"boundary": true, "coord": [6, -1], "output": 1}}, "b6": {"annotation": {"boundary": true, "coord": [6, -2], "output": 2}}, "b7": {"annotation": {"boundary": true, "coord": [6, -3], "output": 3}}}, "node_vertices": {"v0": {"annotation": {"coord": [2, 0]}, "data": {"type": "Z"}}, "v1": {"annotation": {"coord": [2, -1]}, "data": {"type": "X"}}, "v2": {"annotation": {"coord": [2, -2]}, "data": {"type": "Z"}}, "v3": {"annotation": {"coord": [2, -3]}, "data": {"type": "Z"}}, "v4": {"annotation": {"coord": [3, 0]}, "data": {"type": "Z"}}, "v5": {"annotation": {"coord": [3, -1]}, "data": {"type": "Z"}}, "v6": {"annotation": {"coord": [3, -2]}, "data": {"type": "X"}}, "v7": {"annotation": {"coord": [3, -3]}, "data": {"type": "Z"}}, "v8": {"annotation": {"coord": [4, 0]}, "data": {"type": "Z"}}, "v9": {"annotation": {"coord": [4, -1]}, "data": {"type": "X"}}, "v10": {"annotation": {"coord": [4, -2]}, "data": {"type": "Z"}}, "v11": {"annotation": {"coord": [4, -3]}, "data": {"type": "Z"}}, "v12": {"annotation": {"coord": [5, 0]}, "data": {"type": "X"}}, "v13": {"annotation": {"coord": [5, -1]}, "data": {"type": "X"}}, "v14": {"annotation": {"coord": [5, -2]}, "data": {"type": "Z"}}, "v15": {"annotation": {"coord": [5, -3]}, "data": {"type": "X"}}, "v16": {"annotation": {"coord": [3.5, -1.0]}, "data": {"type": "hadamard", "is_edge": "true"}}, "v17": {"annotation": {"coord": [4.5, -1.0]}, "data": {"type": "hadamard", "is_edge": "true"}}, "v18": {"annotation": {"coord": [4.5, -1.5]}, "data": {"type": "hadamard", "is_edge": "true"}}}, "undir_edges": {"e0": {"src": "b0", "tgt": "v0"}, "e1": {"src": "b1", "tgt": "v1"}, "e2": {"src": "b2", "tgt": "v2"}, "e3": {"src": "b3", "tgt": "v3"}, "e4": {"src": "v0", "tgt": "v1"}, "e5": {"src": "v0", "tgt": "v4"}, "e6": {"src": "v1", "tgt": "v5"}, "e7": {"src": "v1", "tgt": "v6"}, "e8": {"src": "v2", "tgt": "v6"}, "e9": {"src": "v3", "tgt": "v7"}, "e10": {"src": "v4", "tgt": "v8"}, "e11": {"src": "v5", "tgt": "v16"}, "e12": {"src": "v9", "tgt": "v16"}, "e13": {"src": "v6", "tgt": "v10"}, "e14": {"src": "v7", "tgt": "v11"}, "e15": {"src": "v8", "tgt": "v12"}, "e16": {"src": "v8", "tgt": "v13"}, "e17": {"src": "v9", "tgt": "v17"}, "e18": {"src": "v13", "tgt": "v17"}, "e19": {"src": "v9", "tgt": "v18"}, "e20": {"src": "v14", "tgt": "v18"}, "e21": {"src": "v10", "tgt": "v13"}, "e22": {"src": "v10", "tgt": "v14"}, "e23": {"src": "v11", "tgt": "v14"}, "e24": {"src": "v11", "tgt": "v15"}, "e25": {"src": "v12", "tgt": "b4"}, "e26": {"src": "v13", "tgt": "b5"}, "e27": {"src": "v14", "tgt": "b6"}, "e28": {"src": "v15", "tgt": "b7"}}, "scalar": "{\"power2\": 0, \"phase\": \"0\"}"}
\ No newline at end of file
+{"wire_vertices": {"b0": {"annotation": {"boundary": true, "coord": [1, 0], "input": 0, "name": "b0"}}, "b1": {"annotation": {"boundary": true, "coord": [1, -1], "input": 1, "name": "b1"}}, "b2": {"annotation": {"boundary": true, "coord": [1, -2], "input": 2, "name": "b2"}}, "b3": {"annotation": {"boundary": true, "coord": [1, -3], "input": 3, "name": "b3"}}, "b4": {"annotation": {"boundary": true, "coord": [6, 0], "output": 0, "name": "b4"}}, "b5": {"annotation": {"boundary": true, "coord": [6, -1], "output": 1, "name": "b5"}}, "b6": {"annotation": {"boundary": true, "coord": [6, -2], "output": 2, "name": "b6"}}, "b7": {"annotation": {"boundary": true, "coord": [6, -3], "output": 3, "name": "b7"}}}, "node_vertices": {"v0": {"annotation": {"coord": [2, 0], "name": "v0"}, "data": {"type": "Z"}}, "v1": {"annotation": {"coord": [2, -1], "name": "v1"}, "data": {"type": "X"}}, "v2": {"annotation": {"coord": [2, -2], "name": "v2"}, "data": {"type": "Z"}}, "v3": {"annotation": {"coord": [2, -3], "name": "v3"}, "data": {"type": "Z"}}, "v4": {"annotation": {"coord": [3, 0], "name": "v4"}, "data": {"type": "Z"}}, "v5": {"annotation": {"coord": [3, -1], "name": "v5"}, "data": {"type": "Z"}}, "v6": {"annotation": {"coord": [3, -2], "name": "v6"}, "data": {"type": "X"}}, "v7": {"annotation": {"coord": [3, -3], "name": "v7"}, "data": {"type": "Z"}}, "v8": {"annotation": {"coord": [4, 0], "name": "v8"}, "data": {"type": "Z"}}, "v9": {"annotation": {"coord": [4, -1], "name": "v9"}, "data": {"type": "X"}}, "v10": {"annotation": {"coord": [4, -2], "name": "v10"}, "data": {"type": "Z"}}, "v11": {"annotation": {"coord": [4, -3], "name": "v11"}, "data": {"type": "Z"}}, "v12": {"annotation": {"coord": [5, 0], "name": "v12"}, "data": {"type": "X"}}, "v13": {"annotation": {"coord": [5, -1], "name": "v13"}, "data": {"type": "X"}}, "v14": {"annotation": {"coord": [5, -2], "name": "v14"}, "data": {"type": "Z"}}, "v15": {"annotation": {"coord": [5, -3], "name": "v15"}, "data": {"type": "X"}}, "v16": {"annotation": {"coord": [3.5, -1.0]}, "data": {"type": "hadamard", "is_edge": "true"}}, "v17": {"annotation": {"coord": [4.5, -1.0]}, "data": {"type": "hadamard", "is_edge": "true"}}, "v18": {"annotation": {"coord": [4.5, -1.5]}, "data": {"type": "hadamard", "is_edge": "true"}}}, "undir_edges": {"e0": {"src": "v0", "tgt": "b0"}, "e1": {"src": "v0", "tgt": "v1"}, "e2": {"src": "v0", "tgt": "v4"}, "e3": {"src": "v1", "tgt": "b1"}, "e4": {"src": "v1", "tgt": "v5"}, "e5": {"src": "v1", "tgt": "v6"}, "e6": {"src": "v2", "tgt": "b2"}, "e7": {"src": "v2", "tgt": "v6"}, "e8": {"src": "v3", "tgt": "b3"}, "e9": {"src": "v3", "tgt": "v7"}, "e10": {"src": "v4", "tgt": "v8"}, "e11": {"src": "v5", "tgt": "v16"}, "e12": {"src": "v9", "tgt": "v16"}, "e13": {"src": "v6", "tgt": "v10"}, "e14": {"src": "v7", "tgt": "v11"}, "e15": {"src": "v8", "tgt": "v12"}, "e16": {"src": "v8", "tgt": "v13"}, "e17": {"src": "v9", "tgt": "v17"}, "e18": {"src": "v13", "tgt": "v17"}, "e19": {"src": "v9", "tgt": "v18"}, "e20": {"src": "v14", "tgt": "v18"}, "e21": {"src": "v10", "tgt": "v13"}, "e22": {"src": "v10", "tgt": "v14"}, "e23": {"src": "v11", "tgt": "v14"}, "e24": {"src": "v11", "tgt": "v15"}, "e25": {"src": "v12", "tgt": "b4"}, "e26": {"src": "v13", "tgt": "b5"}, "e27": {"src": "v14", "tgt": "b6"}, "e28": {"src": "v15", "tgt": "b7"}}, "variable_types": {}, "scalar": "{\"power2\": 0, \"phase\": \"0\"}"}
\ No newline at end of file
diff --git a/test/demo.zxp b/test/demo.zxp
index 0961c003..759de36f 100644
--- a/test/demo.zxp
+++ b/test/demo.zxp
@@ -1 +1 @@
-{"initial_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [1, 0], \"input\": 0}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -1], \"input\": 1}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -2], \"input\": 2}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -3], \"input\": 3}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6, 0], \"output\": 0}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -1], \"output\": 1}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -2], \"output\": 2}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -3], \"output\": 3}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [2, 0]}, \"data\": {\"type\": \"Z\"}}, \"v1\": {\"annotation\": {\"coord\": [2, -1]}, \"data\": {\"type\": \"X\"}}, \"v2\": {\"annotation\": {\"coord\": [2, -2]}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [2, -3]}, \"data\": {\"type\": \"Z\"}}, \"v4\": {\"annotation\": {\"coord\": [3, 0]}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [3, -1]}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [3, -2]}, \"data\": {\"type\": \"X\"}}, \"v7\": {\"annotation\": {\"coord\": [3, -3]}, \"data\": {\"type\": \"Z\"}}, \"v8\": {\"annotation\": {\"coord\": [4, 0]}, \"data\": {\"type\": \"Z\"}}, \"v9\": {\"annotation\": {\"coord\": [4, -1]}, \"data\": {\"type\": \"X\"}}, \"v10\": {\"annotation\": {\"coord\": [4, -2]}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4, -3]}, \"data\": {\"type\": \"Z\"}}, \"v12\": {\"annotation\": {\"coord\": [5, 0]}, \"data\": {\"type\": \"X\"}}, \"v13\": {\"annotation\": {\"coord\": [5, -1]}, \"data\": {\"type\": \"X\"}}, \"v14\": {\"annotation\": {\"coord\": [5, -2]}, \"data\": {\"type\": \"Z\"}}, \"v15\": {\"annotation\": {\"coord\": [5, -3]}, \"data\": {\"type\": \"X\"}}, \"v16\": {\"annotation\": {\"coord\": [3.5, -1.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [4.5, -1.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v18\": {\"annotation\": {\"coord\": [4.5, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"b0\", \"tgt\": \"v0\"}, \"e1\": {\"src\": \"b1\", \"tgt\": \"v1\"}, \"e2\": {\"src\": \"b2\", \"tgt\": \"v2\"}, \"e3\": {\"src\": \"b3\", \"tgt\": \"v3\"}, \"e4\": {\"src\": \"v0\", \"tgt\": \"v1\"}, \"e5\": {\"src\": \"v0\", \"tgt\": \"v4\"}, \"e6\": {\"src\": \"v1\", \"tgt\": \"v5\"}, \"e7\": {\"src\": \"v1\", \"tgt\": \"v6\"}, \"e8\": {\"src\": \"v2\", \"tgt\": \"v6\"}, \"e9\": {\"src\": \"v3\", \"tgt\": \"v7\"}, \"e10\": {\"src\": \"v4\", \"tgt\": \"v8\"}, \"e11\": {\"src\": \"v5\", \"tgt\": \"v16\"}, \"e12\": {\"src\": \"v9\", \"tgt\": \"v16\"}, \"e13\": {\"src\": \"v6\", \"tgt\": \"v10\"}, \"e14\": {\"src\": \"v7\", \"tgt\": \"v11\"}, \"e15\": {\"src\": \"v8\", \"tgt\": \"v12\"}, \"e16\": {\"src\": \"v8\", \"tgt\": \"v13\"}, \"e17\": {\"src\": \"v9\", \"tgt\": \"v17\"}, \"e18\": {\"src\": \"v13\", \"tgt\": \"v17\"}, \"e19\": {\"src\": \"v9\", \"tgt\": \"v18\"}, \"e20\": {\"src\": \"v14\", \"tgt\": \"v18\"}, \"e21\": {\"src\": \"v10\", \"tgt\": \"v13\"}, \"e22\": {\"src\": \"v10\", \"tgt\": \"v14\"}, \"e23\": {\"src\": \"v11\", \"tgt\": \"v14\"}, \"e24\": {\"src\": \"v11\", \"tgt\": \"v15\"}, \"e25\": {\"src\": \"v12\", \"tgt\": \"b4\"}, \"e26\": {\"src\": \"v13\", \"tgt\": \"b5\"}, \"e27\": {\"src\": \"v14\", \"tgt\": \"b6\"}, \"e28\": {\"src\": \"v15\", \"tgt\": \"b7\"}}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "proof_steps": ["{\"display_name\": \"fuse spiders\", \"rule\": \"fuse spiders\", \"graph\": \"{\\\"wire_vertices\\\": {\\\"b0\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, 0], \\\"input\\\": 0}}, \\\"b1\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -1], \\\"input\\\": 1}}, \\\"b2\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -2], \\\"input\\\": 2}}, \\\"b3\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -3], \\\"input\\\": 3}}, \\\"b4\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, 0], \\\"output\\\": 0}}, \\\"b5\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -1], \\\"output\\\": 1}}, \\\"b6\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -2], \\\"output\\\": 2}}, \\\"b7\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -3], \\\"output\\\": 3}}}, \\\"node_vertices\\\": {\\\"v0\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v1\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v2\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -2]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v3\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -3]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v4\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v5\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -1]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v6\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -2]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v7\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -3]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v8\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v9\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v10\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -2]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v11\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, 0]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v12\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v13\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -2]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v14\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -3]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v15\\\": {\\\"annotation\\\": {\\\"coord\\\": [3.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v16\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v17\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.5]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}}, \\\"undir_edges\\\": {\\\"e0\\\": {\\\"src\\\": \\\"b0\\\", \\\"tgt\\\": \\\"v0\\\"}, \\\"e1\\\": {\\\"src\\\": \\\"b1\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e2\\\": {\\\"src\\\": \\\"b2\\\", \\\"tgt\\\": \\\"v2\\\"}, \\\"e3\\\": {\\\"src\\\": \\\"b3\\\", \\\"tgt\\\": \\\"v3\\\"}, \\\"e4\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e5\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v4\\\"}, \\\"e6\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v5\\\"}, \\\"e7\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e8\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e9\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"v7\\\"}, \\\"e10\\\": {\\\"src\\\": \\\"v4\\\", \\\"tgt\\\": \\\"v8\\\"}, \\\"e11\\\": {\\\"src\\\": \\\"v5\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e12\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e13\\\": {\\\"src\\\": \\\"v6\\\", \\\"tgt\\\": \\\"v10\\\"}, \\\"e14\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e15\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v11\\\"}, \\\"e16\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e17\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e18\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e19\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e20\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e21\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e22\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e23\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"b4\\\"}, \\\"e24\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"b5\\\"}, \\\"e25\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"b6\\\"}, \\\"e26\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v14\\\"}, \\\"e27\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"b7\\\"}}, \\\"scalar\\\": \\\"{\\\\\\\"power2\\\\\\\": 0, \\\\\\\"phase\\\\\\\": \\\\\\\"0\\\\\\\"}\\\"}\"}", "{\"display_name\": \"bialgebra\", \"rule\": \"bialgebra\", \"graph\": \"{\\\"wire_vertices\\\": {\\\"b0\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, 0], \\\"input\\\": 0}}, \\\"b1\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -1], \\\"input\\\": 1}}, \\\"b2\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -2], \\\"input\\\": 2}}, \\\"b3\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -3], \\\"input\\\": 3}}, \\\"b4\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, 0], \\\"output\\\": 0}}, \\\"b5\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -1], \\\"output\\\": 1}}, \\\"b6\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -2], \\\"output\\\": 2}}, \\\"b7\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -3], \\\"output\\\": 3}}}, \\\"node_vertices\\\": {\\\"v0\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v1\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v2\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -2]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v3\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -3]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v4\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v5\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -1]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v6\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -3]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v7\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, 0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v8\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v9\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, 0]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v10\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -1]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v11\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -2]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v12\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -3]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v13\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.4, -1.6]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v14\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.4, -2.0]}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v15\\\": {\\\"annotation\\\": {\\\"coord\\\": [2.6, -1.6]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v16\\\": {\\\"annotation\\\": {\\\"coord\\\": [2.6, -2.0]}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v17\\\": {\\\"annotation\\\": {\\\"coord\\\": [3.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v18\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v19\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.5]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}}, \\\"undir_edges\\\": {\\\"e0\\\": {\\\"src\\\": \\\"b0\\\", \\\"tgt\\\": \\\"v0\\\"}, \\\"e1\\\": {\\\"src\\\": \\\"b1\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e2\\\": {\\\"src\\\": \\\"b2\\\", \\\"tgt\\\": \\\"v2\\\"}, \\\"e3\\\": {\\\"src\\\": \\\"b3\\\", \\\"tgt\\\": \\\"v3\\\"}, \\\"e4\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e5\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v4\\\"}, \\\"e6\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v5\\\"}, \\\"e7\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e8\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e9\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e10\\\": {\\\"src\\\": \\\"v4\\\", \\\"tgt\\\": \\\"v7\\\"}, \\\"e11\\\": {\\\"src\\\": \\\"v5\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e12\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e13\\\": {\\\"src\\\": \\\"v6\\\", \\\"tgt\\\": \\\"v11\\\"}, \\\"e14\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v9\\\"}, \\\"e15\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v10\\\"}, \\\"e16\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v18\\\"}, \\\"e17\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v18\\\"}, \\\"e18\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v19\\\"}, \\\"e19\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v19\\\"}, \\\"e20\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"b4\\\"}, \\\"e21\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"b5\\\"}, \\\"e22\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e23\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"b6\\\"}, \\\"e24\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e25\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v14\\\"}, \\\"e26\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"b7\\\"}, \\\"e27\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e28\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e29\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e30\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"v16\\\"}}, \\\"scalar\\\": \\\"{\\\\\\\"power2\\\\\\\": 1, \\\\\\\"phase\\\\\\\": \\\\\\\"0\\\\\\\"}\\\"}\"}"]}
\ No newline at end of file
+{"initial_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [1, 0], \"input\": 0, \"name\": \"b0\"}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -1], \"input\": 1, \"name\": \"b1\"}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -2], \"input\": 2, \"name\": \"b2\"}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1, -3], \"input\": 3, \"name\": \"b3\"}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6, 0], \"output\": 0, \"name\": \"b4\"}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -1], \"output\": 1, \"name\": \"b5\"}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -2], \"output\": 2, \"name\": \"b6\"}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [6, -3], \"output\": 3, \"name\": \"b7\"}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [2, 0], \"name\": \"v0\"}, \"data\": {\"type\": \"Z\"}}, \"v1\": {\"annotation\": {\"coord\": [2, -1], \"name\": \"v1\"}, \"data\": {\"type\": \"X\"}}, \"v2\": {\"annotation\": {\"coord\": [2, -2], \"name\": \"v2\"}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [2, -3], \"name\": \"v3\"}, \"data\": {\"type\": \"Z\"}}, \"v4\": {\"annotation\": {\"coord\": [3, 0], \"name\": \"v4\"}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [3, -1], \"name\": \"v5\"}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [3, -2], \"name\": \"v6\"}, \"data\": {\"type\": \"X\"}}, \"v7\": {\"annotation\": {\"coord\": [3, -3], \"name\": \"v7\"}, \"data\": {\"type\": \"Z\"}}, \"v8\": {\"annotation\": {\"coord\": [4, 0], \"name\": \"v8\"}, \"data\": {\"type\": \"Z\"}}, \"v9\": {\"annotation\": {\"coord\": [4, -1], \"name\": \"v9\"}, \"data\": {\"type\": \"X\"}}, \"v10\": {\"annotation\": {\"coord\": [4, -2], \"name\": \"v10\"}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4, -3], \"name\": \"v11\"}, \"data\": {\"type\": \"Z\"}}, \"v12\": {\"annotation\": {\"coord\": [5, 0], \"name\": \"v12\"}, \"data\": {\"type\": \"X\"}}, \"v13\": {\"annotation\": {\"coord\": [5, -1], \"name\": \"v13\"}, \"data\": {\"type\": \"X\"}}, \"v14\": {\"annotation\": {\"coord\": [5, -2], \"name\": \"v14\"}, \"data\": {\"type\": \"Z\"}}, \"v15\": {\"annotation\": {\"coord\": [5, -3], \"name\": \"v15\"}, \"data\": {\"type\": \"X\"}}, \"v16\": {\"annotation\": {\"coord\": [3.5, -1.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [4.5, -1.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v18\": {\"annotation\": {\"coord\": [4.5, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"v0\", \"tgt\": \"b0\"}, \"e1\": {\"src\": \"v0\", \"tgt\": \"v1\"}, \"e2\": {\"src\": \"v0\", \"tgt\": \"v4\"}, \"e3\": {\"src\": \"v1\", \"tgt\": \"b1\"}, \"e4\": {\"src\": \"v1\", \"tgt\": \"v5\"}, \"e5\": {\"src\": \"v1\", \"tgt\": \"v6\"}, \"e6\": {\"src\": \"v2\", \"tgt\": \"b2\"}, \"e7\": {\"src\": \"v2\", \"tgt\": \"v6\"}, \"e8\": {\"src\": \"v3\", \"tgt\": \"b3\"}, \"e9\": {\"src\": \"v3\", \"tgt\": \"v7\"}, \"e10\": {\"src\": \"v4\", \"tgt\": \"v8\"}, \"e11\": {\"src\": \"v5\", \"tgt\": \"v16\"}, \"e12\": {\"src\": \"v9\", \"tgt\": \"v16\"}, \"e13\": {\"src\": \"v6\", \"tgt\": \"v10\"}, \"e14\": {\"src\": \"v7\", \"tgt\": \"v11\"}, \"e15\": {\"src\": \"v8\", \"tgt\": \"v12\"}, \"e16\": {\"src\": \"v8\", \"tgt\": \"v13\"}, \"e17\": {\"src\": \"v9\", \"tgt\": \"v17\"}, \"e18\": {\"src\": \"v13\", \"tgt\": \"v17\"}, \"e19\": {\"src\": \"v9\", \"tgt\": \"v18\"}, \"e20\": {\"src\": \"v14\", \"tgt\": \"v18\"}, \"e21\": {\"src\": \"v10\", \"tgt\": \"v13\"}, \"e22\": {\"src\": \"v10\", \"tgt\": \"v14\"}, \"e23\": {\"src\": \"v11\", \"tgt\": \"v14\"}, \"e24\": {\"src\": \"v11\", \"tgt\": \"v15\"}, \"e25\": {\"src\": \"v12\", \"tgt\": \"b4\"}, \"e26\": {\"src\": \"v13\", \"tgt\": \"b5\"}, \"e27\": {\"src\": \"v14\", \"tgt\": \"b6\"}, \"e28\": {\"src\": \"v15\", \"tgt\": \"b7\"}}, \"variable_types\": {}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "proof_steps": ["{\"display_name\": \"fuse spiders\", \"rule\": \"fuse spiders\", \"graph\": \"{\\\"wire_vertices\\\": {\\\"b0\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, 0], \\\"input\\\": 0, \\\"name\\\": \\\"b0\\\"}}, \\\"b1\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -1], \\\"input\\\": 1, \\\"name\\\": \\\"b1\\\"}}, \\\"b2\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -2], \\\"input\\\": 2, \\\"name\\\": \\\"b2\\\"}}, \\\"b3\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -3], \\\"input\\\": 3, \\\"name\\\": \\\"b3\\\"}}, \\\"b4\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, 0], \\\"output\\\": 0, \\\"name\\\": \\\"b4\\\"}}, \\\"b5\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -1], \\\"output\\\": 1, \\\"name\\\": \\\"b5\\\"}}, \\\"b6\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -2], \\\"output\\\": 2, \\\"name\\\": \\\"b6\\\"}}, \\\"b7\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -3], \\\"output\\\": 3, \\\"name\\\": \\\"b7\\\"}}}, \\\"node_vertices\\\": {\\\"v0\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, 0], \\\"name\\\": \\\"v0\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v1\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -1], \\\"name\\\": \\\"v1\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v2\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -2], \\\"name\\\": \\\"v2\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v3\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -3], \\\"name\\\": \\\"v3\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v4\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, 0], \\\"name\\\": \\\"v4\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v5\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -1], \\\"name\\\": \\\"v5\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v6\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -2], \\\"name\\\": \\\"v6\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v7\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -3], \\\"name\\\": \\\"v7\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v8\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, 0], \\\"name\\\": \\\"v8\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v9\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -1], \\\"name\\\": \\\"v9\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v10\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -2], \\\"name\\\": \\\"v10\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v11\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, 0], \\\"name\\\": \\\"v11\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v12\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -1], \\\"name\\\": \\\"v12\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v13\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -2], \\\"name\\\": \\\"v13\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v14\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -3], \\\"name\\\": \\\"v14\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v15\\\": {\\\"annotation\\\": {\\\"coord\\\": [3.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v16\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v17\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.5]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}}, \\\"undir_edges\\\": {\\\"e0\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"b0\\\"}, \\\"e1\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e2\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v4\\\"}, \\\"e3\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"b1\\\"}, \\\"e4\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v5\\\"}, \\\"e5\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e6\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"b2\\\"}, \\\"e7\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e8\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"b3\\\"}, \\\"e9\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"v7\\\"}, \\\"e10\\\": {\\\"src\\\": \\\"v4\\\", \\\"tgt\\\": \\\"v8\\\"}, \\\"e11\\\": {\\\"src\\\": \\\"v5\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e12\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e13\\\": {\\\"src\\\": \\\"v6\\\", \\\"tgt\\\": \\\"v10\\\"}, \\\"e14\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e15\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v11\\\"}, \\\"e16\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e17\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e18\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e19\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e20\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e21\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e22\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e23\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"b4\\\"}, \\\"e24\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"b5\\\"}, \\\"e25\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"b6\\\"}, \\\"e26\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v14\\\"}, \\\"e27\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"b7\\\"}}, \\\"variable_types\\\": {}, \\\"scalar\\\": \\\"{\\\\\\\"power2\\\\\\\": 0, \\\\\\\"phase\\\\\\\": \\\\\\\"0\\\\\\\"}\\\"}\"}", "{\"display_name\": \"bialgebra\", \"rule\": \"bialgebra\", \"graph\": \"{\\\"wire_vertices\\\": {\\\"b0\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, 0], \\\"input\\\": 0, \\\"name\\\": \\\"b0\\\"}}, \\\"b1\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -1], \\\"input\\\": 1, \\\"name\\\": \\\"b1\\\"}}, \\\"b2\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -2], \\\"input\\\": 2, \\\"name\\\": \\\"b2\\\"}}, \\\"b3\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [1, -3], \\\"input\\\": 3, \\\"name\\\": \\\"b3\\\"}}, \\\"b4\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, 0], \\\"output\\\": 0, \\\"name\\\": \\\"b4\\\"}}, \\\"b5\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -1], \\\"output\\\": 1, \\\"name\\\": \\\"b5\\\"}}, \\\"b6\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -2], \\\"output\\\": 2, \\\"name\\\": \\\"b6\\\"}}, \\\"b7\\\": {\\\"annotation\\\": {\\\"boundary\\\": true, \\\"coord\\\": [6, -3], \\\"output\\\": 3, \\\"name\\\": \\\"b7\\\"}}}, \\\"node_vertices\\\": {\\\"v0\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, 0], \\\"name\\\": \\\"v0\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v1\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -1], \\\"name\\\": \\\"v1\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v2\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -2], \\\"name\\\": \\\"v2\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v3\\\": {\\\"annotation\\\": {\\\"coord\\\": [2, -3], \\\"name\\\": \\\"v3\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v4\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, 0], \\\"name\\\": \\\"v4\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v5\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -1], \\\"name\\\": \\\"v5\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v6\\\": {\\\"annotation\\\": {\\\"coord\\\": [3, -3], \\\"name\\\": \\\"v6\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v7\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, 0], \\\"name\\\": \\\"v7\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v8\\\": {\\\"annotation\\\": {\\\"coord\\\": [4, -1], \\\"name\\\": \\\"v8\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v9\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, 0], \\\"name\\\": \\\"v9\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v10\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -1], \\\"name\\\": \\\"v10\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v11\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -2], \\\"name\\\": \\\"v11\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v12\\\": {\\\"annotation\\\": {\\\"coord\\\": [5, -3], \\\"name\\\": \\\"v12\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v13\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.4, -1.6], \\\"name\\\": \\\"v13\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v14\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.4, -2], \\\"name\\\": \\\"v14\\\"}, \\\"data\\\": {\\\"type\\\": \\\"X\\\"}}, \\\"v15\\\": {\\\"annotation\\\": {\\\"coord\\\": [2.6, -1.6], \\\"name\\\": \\\"v15\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v16\\\": {\\\"annotation\\\": {\\\"coord\\\": [2.6, -2], \\\"name\\\": \\\"v16\\\"}, \\\"data\\\": {\\\"type\\\": \\\"Z\\\"}}, \\\"v17\\\": {\\\"annotation\\\": {\\\"coord\\\": [3.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v18\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.0]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}, \\\"v19\\\": {\\\"annotation\\\": {\\\"coord\\\": [4.5, -1.5]}, \\\"data\\\": {\\\"type\\\": \\\"hadamard\\\", \\\"is_edge\\\": \\\"true\\\"}}}, \\\"undir_edges\\\": {\\\"e0\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"b0\\\"}, \\\"e1\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v1\\\"}, \\\"e2\\\": {\\\"src\\\": \\\"v0\\\", \\\"tgt\\\": \\\"v4\\\"}, \\\"e3\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"b1\\\"}, \\\"e4\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v5\\\"}, \\\"e5\\\": {\\\"src\\\": \\\"v1\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e6\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"b2\\\"}, \\\"e7\\\": {\\\"src\\\": \\\"v2\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e8\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"b3\\\"}, \\\"e9\\\": {\\\"src\\\": \\\"v3\\\", \\\"tgt\\\": \\\"v6\\\"}, \\\"e10\\\": {\\\"src\\\": \\\"v4\\\", \\\"tgt\\\": \\\"v7\\\"}, \\\"e11\\\": {\\\"src\\\": \\\"v5\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e12\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v17\\\"}, \\\"e13\\\": {\\\"src\\\": \\\"v6\\\", \\\"tgt\\\": \\\"v11\\\"}, \\\"e14\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v9\\\"}, \\\"e15\\\": {\\\"src\\\": \\\"v7\\\", \\\"tgt\\\": \\\"v10\\\"}, \\\"e16\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v18\\\"}, \\\"e17\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v18\\\"}, \\\"e18\\\": {\\\"src\\\": \\\"v8\\\", \\\"tgt\\\": \\\"v19\\\"}, \\\"e19\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v19\\\"}, \\\"e20\\\": {\\\"src\\\": \\\"v9\\\", \\\"tgt\\\": \\\"b4\\\"}, \\\"e21\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"b5\\\"}, \\\"e22\\\": {\\\"src\\\": \\\"v10\\\", \\\"tgt\\\": \\\"v13\\\"}, \\\"e23\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"b6\\\"}, \\\"e24\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v12\\\"}, \\\"e25\\\": {\\\"src\\\": \\\"v11\\\", \\\"tgt\\\": \\\"v14\\\"}, \\\"e26\\\": {\\\"src\\\": \\\"v12\\\", \\\"tgt\\\": \\\"b7\\\"}, \\\"e27\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e28\\\": {\\\"src\\\": \\\"v13\\\", \\\"tgt\\\": \\\"v16\\\"}, \\\"e29\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"v15\\\"}, \\\"e30\\\": {\\\"src\\\": \\\"v14\\\", \\\"tgt\\\": \\\"v16\\\"}}, \\\"variable_types\\\": {}, \\\"scalar\\\": \\\"{\\\\\\\"power2\\\\\\\": 1, \\\\\\\"phase\\\\\\\": \\\\\\\"0\\\\\\\"}\\\"}\"}"]}
\ No newline at end of file
diff --git a/test/demo.zxr b/test/demo.zxr
index 256f356a..8bf8c407 100644
--- a/test/demo.zxr
+++ b/test/demo.zxr
@@ -1 +1 @@
-{"lhs_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -2.5], \"output\": 2}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -1.5], \"output\": 1}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -3.5], \"output\": 3}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -3.5], \"input\": 3}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -0.5], \"output\": 0}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -2.5], \"input\": 2}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -1.5], \"input\": 1}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -0.5], \"input\": 0}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [3.5, -2.5]}, \"data\": {\"type\": \"X\"}}, \"v1\": {\"annotation\": {\"coord\": [4.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v2\": {\"annotation\": {\"coord\": [3.5, -1.5]}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [5.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v4\": {\"annotation\": {\"coord\": [2.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [2.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [4.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v7\": {\"annotation\": {\"coord\": [5.5, -0.5]}, \"data\": {\"type\": \"X\"}}, \"v8\": {\"annotation\": {\"coord\": [5.5, -3.5]}, \"data\": {\"type\": \"X\"}}, \"v9\": {\"annotation\": {\"coord\": [2.5, -0.5]}, \"data\": {\"type\": \"Z\"}}, \"v10\": {\"annotation\": {\"coord\": [4.5, -0.5]}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v12\": {\"annotation\": {\"coord\": [3.5, -0.5]}, \"data\": {\"type\": \"Z\"}}, \"v13\": {\"annotation\": {\"coord\": [3.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v14\": {\"annotation\": {\"coord\": [2.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v15\": {\"annotation\": {\"coord\": [5.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v16\": {\"annotation\": {\"coord\": [4.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [5.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v18\": {\"annotation\": {\"coord\": [5.0, -2.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"v0\", \"tgt\": \"v5\"}, \"e1\": {\"src\": \"v0\", \"tgt\": \"v14\"}, \"e2\": {\"src\": \"v0\", \"tgt\": \"v6\"}, \"e3\": {\"src\": \"b0\", \"tgt\": \"v15\"}, \"e4\": {\"src\": \"b1\", \"tgt\": \"v3\"}, \"e5\": {\"src\": \"v1\", \"tgt\": \"v8\"}, \"e6\": {\"src\": \"v1\", \"tgt\": \"v15\"}, \"e7\": {\"src\": \"v1\", \"tgt\": \"v13\"}, \"e8\": {\"src\": \"v2\", \"tgt\": \"v14\"}, \"e9\": {\"src\": \"v2\", \"tgt\": \"v16\"}, \"e10\": {\"src\": \"v11\", \"tgt\": \"v16\"}, \"e11\": {\"src\": \"v3\", \"tgt\": \"v10\"}, \"e12\": {\"src\": \"v3\", \"tgt\": \"v6\"}, \"e13\": {\"src\": \"v3\", \"tgt\": \"v17\"}, \"e14\": {\"src\": \"v11\", \"tgt\": \"v17\"}, \"e15\": {\"src\": \"v4\", \"tgt\": \"v13\"}, \"e16\": {\"src\": \"v4\", \"tgt\": \"b3\"}, \"e17\": {\"src\": \"v5\", \"tgt\": \"b5\"}, \"e18\": {\"src\": \"v6\", \"tgt\": \"v15\"}, \"e19\": {\"src\": \"v7\", \"tgt\": \"v10\"}, \"e20\": {\"src\": \"v7\", \"tgt\": \"b4\"}, \"e21\": {\"src\": \"v8\", \"tgt\": \"b2\"}, \"e22\": {\"src\": \"v9\", \"tgt\": \"v14\"}, \"e23\": {\"src\": \"v9\", \"tgt\": \"b7\"}, \"e24\": {\"src\": \"v9\", \"tgt\": \"v12\"}, \"e25\": {\"src\": \"v10\", \"tgt\": \"v12\"}, \"e26\": {\"src\": \"v11\", \"tgt\": \"v18\"}, \"e27\": {\"src\": \"v15\", \"tgt\": \"v18\"}, \"e28\": {\"src\": \"b6\", \"tgt\": \"v14\"}}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "rhs_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -2.5], \"output\": 2}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -1.5], \"output\": 1}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -3.5], \"output\": 3}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -3.5], \"input\": 3}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -0.5], \"output\": 0}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -2.5], \"input\": 2}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -1.5], \"input\": 1}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -0.5], \"input\": 0}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [3.5, -2.5]}, \"data\": {\"type\": \"X\"}}, \"v1\": {\"annotation\": {\"coord\": [4.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v2\": {\"annotation\": {\"coord\": [3.5, -1.5]}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [5.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v4\": {\"annotation\": {\"coord\": [2.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [2.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [4.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v7\": {\"annotation\": {\"coord\": [5.5, -0.5]}, \"data\": {\"type\": \"X\"}}, \"v8\": {\"annotation\": {\"coord\": [5.5, -3.5]}, \"data\": {\"type\": \"X\"}}, \"v9\": {\"annotation\": {\"coord\": [2.5, -0.5]}, \"data\": {\"type\": \"Z\"}}, \"v10\": {\"annotation\": {\"coord\": [4.5, -0.5]}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v12\": {\"annotation\": {\"coord\": [3.5, -3.5]}, \"data\": {\"type\": \"Z\"}}, \"v13\": {\"annotation\": {\"coord\": [2.5, -1.5]}, \"data\": {\"type\": \"X\"}}, \"v14\": {\"annotation\": {\"coord\": [5.5, -2.5]}, \"data\": {\"type\": \"Z\"}}, \"v15\": {\"annotation\": {\"coord\": [4.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v16\": {\"annotation\": {\"coord\": [5.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [5.0, -2.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"v0\", \"tgt\": \"v5\"}, \"e1\": {\"src\": \"v0\", \"tgt\": \"v13\"}, \"e2\": {\"src\": \"v0\", \"tgt\": \"v6\"}, \"e3\": {\"src\": \"b0\", \"tgt\": \"v14\"}, \"e4\": {\"src\": \"b1\", \"tgt\": \"v3\"}, \"e5\": {\"src\": \"v1\", \"tgt\": \"v8\"}, \"e6\": {\"src\": \"v1\", \"tgt\": \"v14\"}, \"e7\": {\"src\": \"v1\", \"tgt\": \"v12\"}, \"e8\": {\"src\": \"v2\", \"tgt\": \"v13\"}, \"e9\": {\"src\": \"v2\", \"tgt\": \"v15\"}, \"e10\": {\"src\": \"v11\", \"tgt\": \"v15\"}, \"e11\": {\"src\": \"v3\", \"tgt\": \"v10\"}, \"e12\": {\"src\": \"v3\", \"tgt\": \"v6\"}, \"e13\": {\"src\": \"v3\", \"tgt\": \"v16\"}, \"e14\": {\"src\": \"v11\", \"tgt\": \"v16\"}, \"e15\": {\"src\": \"v4\", \"tgt\": \"v12\"}, \"e16\": {\"src\": \"v4\", \"tgt\": \"b3\"}, \"e17\": {\"src\": \"v5\", \"tgt\": \"b5\"}, \"e18\": {\"src\": \"v6\", \"tgt\": \"v14\"}, \"e19\": {\"src\": \"v7\", \"tgt\": \"v10\"}, \"e20\": {\"src\": \"v7\", \"tgt\": \"b4\"}, \"e21\": {\"src\": \"v8\", \"tgt\": \"b2\"}, \"e22\": {\"src\": \"v9\", \"tgt\": \"v13\"}, \"e23\": {\"src\": \"v9\", \"tgt\": \"b7\"}, \"e24\": {\"src\": \"v9\", \"tgt\": \"v10\"}, \"e25\": {\"src\": \"v11\", \"tgt\": \"v17\"}, \"e26\": {\"src\": \"v14\", \"tgt\": \"v17\"}, \"e27\": {\"src\": \"b6\", \"tgt\": \"v13\"}}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "name": "demo", "description": "test rewrite file format"}
\ No newline at end of file
+{"lhs_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -2.5], \"output\": 2, \"name\": \"b0\"}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -1.5], \"output\": 1, \"name\": \"b1\"}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -3.5], \"output\": 3, \"name\": \"b2\"}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -3.5], \"input\": 3, \"name\": \"b3\"}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -0.5], \"output\": 0, \"name\": \"b4\"}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -2.5], \"input\": 2, \"name\": \"b5\"}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -1.5], \"input\": 1, \"name\": \"b6\"}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -0.5], \"input\": 0, \"name\": \"b7\"}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [3.5, -2.5], \"name\": \"v0\"}, \"data\": {\"type\": \"X\"}}, \"v1\": {\"annotation\": {\"coord\": [4.5, -3.5], \"name\": \"v1\"}, \"data\": {\"type\": \"Z\"}}, \"v2\": {\"annotation\": {\"coord\": [3.5, -1.5], \"name\": \"v2\"}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [5.5, -1.5], \"name\": \"v3\"}, \"data\": {\"type\": \"X\"}}, \"v4\": {\"annotation\": {\"coord\": [2.5, -3.5], \"name\": \"v4\"}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [2.5, -2.5], \"name\": \"v5\"}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [4.5, -2.5], \"name\": \"v6\"}, \"data\": {\"type\": \"Z\"}}, \"v7\": {\"annotation\": {\"coord\": [5.5, -0.5], \"name\": \"v7\"}, \"data\": {\"type\": \"X\"}}, \"v8\": {\"annotation\": {\"coord\": [5.5, -3.5], \"name\": \"v8\"}, \"data\": {\"type\": \"X\"}}, \"v9\": {\"annotation\": {\"coord\": [2.5, -0.5], \"name\": \"v9\"}, \"data\": {\"type\": \"Z\"}}, \"v10\": {\"annotation\": {\"coord\": [4.5, -0.5], \"name\": \"v10\"}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4.5, -1.5], \"name\": \"v11\"}, \"data\": {\"type\": \"X\"}}, \"v12\": {\"annotation\": {\"coord\": [3.5, -0.5], \"name\": \"v12\"}, \"data\": {\"type\": \"Z\"}}, \"v13\": {\"annotation\": {\"coord\": [3.5, -3.5], \"name\": \"v13\"}, \"data\": {\"type\": \"Z\"}}, \"v14\": {\"annotation\": {\"coord\": [2.5, -1.5], \"name\": \"v14\"}, \"data\": {\"type\": \"X\"}}, \"v15\": {\"annotation\": {\"coord\": [5.5, -2.5], \"name\": \"v15\"}, \"data\": {\"type\": \"Z\"}}, \"v16\": {\"annotation\": {\"coord\": [4.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [5.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v18\": {\"annotation\": {\"coord\": [5.0, -2.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"v0\", \"tgt\": \"v5\"}, \"e1\": {\"src\": \"v0\", \"tgt\": \"v14\"}, \"e2\": {\"src\": \"v0\", \"tgt\": \"v6\"}, \"e3\": {\"src\": \"v1\", \"tgt\": \"v8\"}, \"e4\": {\"src\": \"v1\", \"tgt\": \"v15\"}, \"e5\": {\"src\": \"v1\", \"tgt\": \"v13\"}, \"e6\": {\"src\": \"v2\", \"tgt\": \"v14\"}, \"e7\": {\"src\": \"v2\", \"tgt\": \"v16\"}, \"e8\": {\"src\": \"v11\", \"tgt\": \"v16\"}, \"e9\": {\"src\": \"v3\", \"tgt\": \"b1\"}, \"e10\": {\"src\": \"v3\", \"tgt\": \"v10\"}, \"e11\": {\"src\": \"v3\", \"tgt\": \"v6\"}, \"e12\": {\"src\": \"v3\", \"tgt\": \"v17\"}, \"e13\": {\"src\": \"v11\", \"tgt\": \"v17\"}, \"e14\": {\"src\": \"v4\", \"tgt\": \"v13\"}, \"e15\": {\"src\": \"v4\", \"tgt\": \"b3\"}, \"e16\": {\"src\": \"v5\", \"tgt\": \"b5\"}, \"e17\": {\"src\": \"v6\", \"tgt\": \"v15\"}, \"e18\": {\"src\": \"v7\", \"tgt\": \"v10\"}, \"e19\": {\"src\": \"v7\", \"tgt\": \"b4\"}, \"e20\": {\"src\": \"v8\", \"tgt\": \"b2\"}, \"e21\": {\"src\": \"v9\", \"tgt\": \"v14\"}, \"e22\": {\"src\": \"v9\", \"tgt\": \"b7\"}, \"e23\": {\"src\": \"v9\", \"tgt\": \"v12\"}, \"e24\": {\"src\": \"v10\", \"tgt\": \"v12\"}, \"e25\": {\"src\": \"v11\", \"tgt\": \"v18\"}, \"e26\": {\"src\": \"v15\", \"tgt\": \"v18\"}, \"e27\": {\"src\": \"v14\", \"tgt\": \"b6\"}, \"e28\": {\"src\": \"v15\", \"tgt\": \"b0\"}}, \"variable_types\": {}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "rhs_graph": "{\"wire_vertices\": {\"b0\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -2.5], \"output\": 2, \"name\": \"b0\"}}, \"b1\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -1.5], \"output\": 1, \"name\": \"b1\"}}, \"b2\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -3.5], \"output\": 3, \"name\": \"b2\"}}, \"b3\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -3.5], \"input\": 3, \"name\": \"b3\"}}, \"b4\": {\"annotation\": {\"boundary\": true, \"coord\": [6.5, -0.5], \"output\": 0, \"name\": \"b4\"}}, \"b5\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -2.5], \"input\": 2, \"name\": \"b5\"}}, \"b6\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -1.5], \"input\": 1, \"name\": \"b6\"}}, \"b7\": {\"annotation\": {\"boundary\": true, \"coord\": [1.5, -0.5], \"input\": 0, \"name\": \"b7\"}}}, \"node_vertices\": {\"v0\": {\"annotation\": {\"coord\": [3.5, -2.5], \"name\": \"v0\"}, \"data\": {\"type\": \"X\"}}, \"v1\": {\"annotation\": {\"coord\": [4.5, -3.5], \"name\": \"v1\"}, \"data\": {\"type\": \"Z\"}}, \"v2\": {\"annotation\": {\"coord\": [3.5, -1.5], \"name\": \"v2\"}, \"data\": {\"type\": \"Z\"}}, \"v3\": {\"annotation\": {\"coord\": [5.5, -1.5], \"name\": \"v3\"}, \"data\": {\"type\": \"X\"}}, \"v4\": {\"annotation\": {\"coord\": [2.5, -3.5], \"name\": \"v4\"}, \"data\": {\"type\": \"Z\"}}, \"v5\": {\"annotation\": {\"coord\": [2.5, -2.5], \"name\": \"v5\"}, \"data\": {\"type\": \"Z\"}}, \"v6\": {\"annotation\": {\"coord\": [4.5, -2.5], \"name\": \"v6\"}, \"data\": {\"type\": \"Z\"}}, \"v7\": {\"annotation\": {\"coord\": [5.5, -0.5], \"name\": \"v7\"}, \"data\": {\"type\": \"X\"}}, \"v8\": {\"annotation\": {\"coord\": [5.5, -3.5], \"name\": \"v8\"}, \"data\": {\"type\": \"X\"}}, \"v9\": {\"annotation\": {\"coord\": [2.5, -0.5], \"name\": \"v9\"}, \"data\": {\"type\": \"Z\"}}, \"v10\": {\"annotation\": {\"coord\": [4.5, -0.5], \"name\": \"v10\"}, \"data\": {\"type\": \"Z\"}}, \"v11\": {\"annotation\": {\"coord\": [4.5, -1.5], \"name\": \"v11\"}, \"data\": {\"type\": \"X\"}}, \"v12\": {\"annotation\": {\"coord\": [3.5, -3.5], \"name\": \"v12\"}, \"data\": {\"type\": \"Z\"}}, \"v13\": {\"annotation\": {\"coord\": [2.5, -1.5], \"name\": \"v13\"}, \"data\": {\"type\": \"X\"}}, \"v14\": {\"annotation\": {\"coord\": [5.5, -2.5], \"name\": \"v14\"}, \"data\": {\"type\": \"Z\"}}, \"v15\": {\"annotation\": {\"coord\": [4.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v16\": {\"annotation\": {\"coord\": [5.0, -1.5]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}, \"v17\": {\"annotation\": {\"coord\": [5.0, -2.0]}, \"data\": {\"type\": \"hadamard\", \"is_edge\": \"true\"}}}, \"undir_edges\": {\"e0\": {\"src\": \"v0\", \"tgt\": \"v5\"}, \"e1\": {\"src\": \"v0\", \"tgt\": \"v13\"}, \"e2\": {\"src\": \"v0\", \"tgt\": \"v6\"}, \"e3\": {\"src\": \"v1\", \"tgt\": \"v8\"}, \"e4\": {\"src\": \"v1\", \"tgt\": \"v14\"}, \"e5\": {\"src\": \"v1\", \"tgt\": \"v12\"}, \"e6\": {\"src\": \"v2\", \"tgt\": \"v13\"}, \"e7\": {\"src\": \"v2\", \"tgt\": \"v15\"}, \"e8\": {\"src\": \"v11\", \"tgt\": \"v15\"}, \"e9\": {\"src\": \"v3\", \"tgt\": \"b1\"}, \"e10\": {\"src\": \"v3\", \"tgt\": \"v10\"}, \"e11\": {\"src\": \"v3\", \"tgt\": \"v6\"}, \"e12\": {\"src\": \"v3\", \"tgt\": \"v16\"}, \"e13\": {\"src\": \"v11\", \"tgt\": \"v16\"}, \"e14\": {\"src\": \"v4\", \"tgt\": \"v12\"}, \"e15\": {\"src\": \"v4\", \"tgt\": \"b3\"}, \"e16\": {\"src\": \"v5\", \"tgt\": \"b5\"}, \"e17\": {\"src\": \"v6\", \"tgt\": \"v14\"}, \"e18\": {\"src\": \"v7\", \"tgt\": \"v10\"}, \"e19\": {\"src\": \"v7\", \"tgt\": \"b4\"}, \"e20\": {\"src\": \"v8\", \"tgt\": \"b2\"}, \"e21\": {\"src\": \"v9\", \"tgt\": \"v13\"}, \"e22\": {\"src\": \"v9\", \"tgt\": \"b7\"}, \"e23\": {\"src\": \"v9\", \"tgt\": \"v10\"}, \"e24\": {\"src\": \"v11\", \"tgt\": \"v17\"}, \"e25\": {\"src\": \"v14\", \"tgt\": \"v17\"}, \"e26\": {\"src\": \"v13\", \"tgt\": \"b6\"}, \"e27\": {\"src\": \"v14\", \"tgt\": \"b0\"}}, \"variable_types\": {}, \"scalar\": \"{\\\"power2\\\": 0, \\\"phase\\\": \\\"0\\\"}\"}", "name": "demo", "description": "test rewrite file format"}
\ No newline at end of file