{"representations":[{"id":"jacobian-conjecture-setup","version":4,"sha256":"a22224e0dbd17b3d96236fb33cbf78f29f6c1d9e864987851f79f9d568d8a1d6"}],"problem_id":"problem-jacobian-conjecture","version":4,"sha256":"37d4590756c0e119211d8ef529ce042115b12892f9790aaeb552175eff9ae4d3","claims":[{"id":"claim-jacobian-polynomial-inverse","version":3},{"id":"claim-jacobian-three-point-fiber","version":3},{"id":"claim-jacobian-dimension-two","version":2},{"id":"claim-jacobian-no-polynomial-inverse","version":2}],"source_version_ids":["jacobian-conjecture:source:witness:v2","jacobian-conjecture:source:analysis:v2","jacobian-conjecture:source:lean:v1"],"entry_ids":["jacobian-conjecture:entry:witness:v2","jacobian-conjecture:entry:analysis:v2","jacobian-conjecture:entry:lean:v1"],"report_ids":["jacobian-conjecture:report:counterexample:v2","jacobian-conjecture:report:analysis:v2","jacobian-conjecture:report:two-open:v2","jacobian-conjecture:report:formal:v1"]}