{"representations":[{"id":"jacobian-conjecture-setup","version":1,"sha256":"1001e1ba6bac3074d70acf4178b3820869e9b1fc24355e4dd9cf6b7d4c267245"}],"problem_id":"problem-jacobian-conjecture","version":1,"sha256":"5a9c1a92fe660b56251ed10c280f7e36341b7910d43587c4c4014ebc32c9c44a","claims":[{"id":"claim-jacobian-polynomial-inverse","version":1},{"id":"claim-jacobian-three-point-fiber","version":1},{"id":"claim-jacobian-dimension-two","version":1},{"id":"claim-jacobian-no-polynomial-inverse","version":1}],"source_version_ids":["jacobian-conjecture:source:witness:v1","jacobian-conjecture:source:analysis:v1","jacobian-conjecture:source:lean:v1"],"entry_ids":["jacobian-conjecture:entry:witness:v1","jacobian-conjecture:entry:analysis:v1","jacobian-conjecture:entry:lean:v1"],"report_ids":["jacobian-conjecture:report:counterexample:v1","jacobian-conjecture:report:analysis:v1","jacobian-conjecture:report:two-open:v1","jacobian-conjecture:report:formal:v1"]}