{"representations":[{"id":"dinitz-garg-goemans-flow-setup","version":2,"sha256":"ee0eb974dacd5bc82c6e4180808b883960f1bf910c5f8148122c8bd65309d489"}],"problem_id":"problem-dinitz-garg-goemans-flow","version":2,"sha256":"3bf9f2ded9a86a0ef6fb1b2402afaad4f7d1c1815cae65d8e2f26e308ff2da53","claims":[{"id":"claim-flow-cost-preserving-rounding","version":1},{"id":"claim-flow-seven-vertex-counterexample","version":1},{"id":"claim-flow-congestion-only-rounding","version":1},{"id":"claim-flow-planar-two-demand-allowance","version":1}],"source_version_ids":["dinitz-garg-goemans-flow:source:literature:v1","dinitz-garg-goemans-flow:source:isabelle:v1","dinitz-garg-goemans-flow:source:lean:v1"],"entry_ids":["dinitz-garg-goemans-flow:entry:literature:v1","dinitz-garg-goemans-flow:entry:isabelle:v1","dinitz-garg-goemans-flow:entry:lean:v1"],"report_ids":["dinitz-garg-goemans-flow:report:refutation:v1","dinitz-garg-goemans-flow:report:witness:v1","dinitz-garg-goemans-flow:report:lean:v1","dinitz-garg-goemans-flow:report:congestion:v1","dinitz-garg-goemans-flow:report:planar:v1"]}