{"representations":[{"id":"erdos-unit-distances-setup","version":5,"sha256":"946a8bdbc1b51596444807bca06a6e0ecd8ba3bcda7d6e53173a8afbf6909f2a"}],"problem_id":"problem-erdos-unit-distances","version":6,"sha256":"16306615bac6c88dda23d1db8bdf6b84dc55b9841f1e9f324eed2873bb59fdfa","claims":[{"id":"claim-unit-distances-near-linear","version":1},{"id":"claim-unit-distances-positive-exponent","version":2},{"id":"claim-unit-distances-four-thirds-upper","version":2},{"id":"claim-unit-distances-erdos-grid","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:v2"],"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:v2","erdos-unit-distances:entry:remarks-history:v1"],"report_ids":["erdos-unit-distances:report:false:v1","erdos-unit-distances:report:gain:v1","erdos-unit-distances:report:formal:v2","erdos-unit-distances:report:upper:v1","erdos-unit-distances:report:grid:v1"]}