{"representations":[{"hash_profile":"rfc8785","id":"sendov-by-degree","version":2,"sha256":"5d424d11bcf3fc299e2fb937f6792d31287e8e2c8335bd4627ec1504c1b293af"},{"id":"sendov-conjecture-setup","version":3,"sha256":"1196b162f2062efd1decac8c397e8b6fc818ee2a91f4fcef3ca792af3dbef6ba"}],"problem_id":"problem-sendov-conjecture","version":7,"sha256":"078ec4751fc8ce0bdfe05a5578aa9df1ee1a5732c0fafb81c5317a0f2efc9fa9","claims":[{"id":"claim-sendov-distance-one","version":2},{"id":"claim-sendov-phelps-rodriguez","version":2},{"id":"claim-sendov-sharp-radius-example","version":2},{"id":"claim-sendov-low-degree","version":1},{"id":"claim-sendov-large-degree","version":1}],"source_version_ids":["sendov-conjecture:source:mazur:v1","sendov-conjecture:source:digestion:v1","sendov-conjecture:source:lean:v1","sendov-conjecture:source:tao-large:v1"],"entry_ids":["sendov-conjecture:entry:mazur:v1","sendov-conjecture:entry:digestion:v1","sendov-conjecture:entry:lean:v1","sendov-conjecture:entry:tao-large:v1","sendov-conjecture:entry:tao-small:v1"],"report_ids":["sendov-conjecture:report:full:v1","sendov-conjecture:report:formal:v1","sendov-conjecture:report:low-degree:v1","sendov-conjecture:report:large-degree:v1"]}