{"representations":[{"id":"sendov-conjecture-setup","version":1,"sha256":"04e919ff32b0e896aa4d71b178e8fc7bbe22ed266b3cb7afd0711ee6d9fee285"}],"problem_id":"problem-sendov-conjecture","version":1,"sha256":"eb984aae66dad1a89d14cee9a4a11f5eb4e81dacbaf4cd05dc5550fe55cd7cb9","claims":[{"id":"claim-sendov-distance-one","version":1},{"id":"claim-sendov-phelps-rodriguez","version":1},{"id":"claim-sendov-sharp-radius-example","version":1}],"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"]}