{"representations":[{"id":"sendov-conjecture-setup","version":2,"sha256":"1bf570ad0ba2ec49aac8543e594d163a3899aa0bcc6944f43df2d77cac8d61cc"}],"problem_id":"problem-sendov-conjecture","version":2,"sha256":"6f73bfc1c78427f43f6b7b8cde6a3eb8c9c3493cf7e54105e26e715098f287ff","claims":[{"id":"claim-sendov-distance-one","version":2},{"id":"claim-sendov-phelps-rodriguez","version":2},{"id":"claim-sendov-sharp-radius-example","version":2}],"source_version_ids":["sendov-conjecture:source:mazur:v1","sendov-conjecture:source:digestion:v1","sendov-conjecture:source:lean:v1"],"entry_ids":["sendov-conjecture:entry:mazur:v1","sendov-conjecture:entry:digestion:v1","sendov-conjecture:entry:lean:v1"],"report_ids":["sendov-conjecture:report:full:v1","sendov-conjecture:report:formal:v1","sendov-conjecture:report:original:v1"]}