{"representations":[{"id":"dinitz-garg-goemans-flow-setup","version":4,"sha256":"106c252fcdf548a5d0c40c77100d5db5cac717f66dd793c2c2395cc11177bfe2"}],"problem_id":"problem-dinitz-garg-goemans-flow","version":4,"sha256":"16e65d18290aceb2639a1db4abb7ed0e0535a081c9434c6e6e7f908fafc7c738","claims":[{"id":"claim-flow-cost-preserving-rounding","version":2},{"id":"claim-flow-seven-vertex-counterexample","version":2},{"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:v2","dinitz-garg-goemans-flow:source:lean:v2"],"entry_ids":["dinitz-garg-goemans-flow:entry:literature:v1","dinitz-garg-goemans-flow:entry:isabelle:v2","dinitz-garg-goemans-flow:entry:lean:v2"],"report_ids":["dinitz-garg-goemans-flow:report:refutation:v2","dinitz-garg-goemans-flow:report:witness:v2","dinitz-garg-goemans-flow:report:lean:v2","dinitz-garg-goemans-flow:report:congestion:v1","dinitz-garg-goemans-flow:report:planar:v1"]}