{"representations":[{"id":"jacobian-conjecture-setup","version":4,"sha256":"a22224e0dbd17b3d96236fb33cbf78f29f6c1d9e864987851f79f9d568d8a1d6"}],"problem_id":"problem-jacobian-conjecture","version":6,"sha256":"debd81f80f99dcf5594ccb8102f0a3963e388b98362cf690b700f7493f53d6ef","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"]}