{"representations":[{"id":"jacobian-conjecture-setup","version":3,"sha256":"7d0b699e9721e947683e9e08fba8f892fc58a3cc608632249269032efe67075c"}],"problem_id":"problem-jacobian-conjecture","version":3,"sha256":"7c2181f5f958d42bbe68552836954d537834bbd19b1fd6ee6d16cd75a59d4f44","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":1}],"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"]}