{"representations":[{"id":"erdos-unit-distances-setup","version":1,"sha256":"37c7f453b0fe13a6061500451a703954124b0a4fb5e29853d1b5ced777e78034"}],"problem_id":"problem-erdos-unit-distances","version":1,"sha256":"cc5b47f07832ed9b18cab287b4b2ce47a20b40d23c5391e02d4f98ad6fc570da","claims":[{"id":"claim-unit-distances-near-linear","version":1},{"id":"claim-unit-distances-positive-exponent","version":1},{"id":"claim-unit-distances-four-thirds-upper","version":1}],"source_version_ids":["erdos-unit-distances:source:question:v1","erdos-unit-distances:source:proof:v1","erdos-unit-distances:source:remarks:v1","erdos-unit-distances:source:announcement:v1","erdos-unit-distances:source:lean:v1"],"entry_ids":["erdos-unit-distances:entry:question:v1","erdos-unit-distances:entry:proof:v1","erdos-unit-distances:entry:remarks:v1","erdos-unit-distances:entry:announcement:v1","erdos-unit-distances:entry:lean:v1"],"report_ids":["erdos-unit-distances:report:false:v1","erdos-unit-distances:report:gain:v1","erdos-unit-distances:report:formal:v1","erdos-unit-distances:report:upper:v1"]}