Run data and code

run/print.py

@@ -0,0 +1,7 @@
+import json
+from pathlib import Path
+
+for file in Path("results/compressed_tree/").glob("*.json"):
+    with open(file, "r") as f:
+        s = json.load(f)
+        print(max(s["paths"])+1)