{"representations":[{"hash_profile":"rfc8785","id":"sendov-by-degree","version":2,"sha256":"5d424d11bcf3fc299e2fb937f6792d31287e8e2c8335bd4627ec1504c1b293af"},{"id":"sendov-conjecture-setup","version":3,"sha256":"1196b162f2062efd1decac8c397e8b6fc818ee2a91f4fcef3ca792af3dbef6ba"},{"hash_profile":"rfc8785","id":"sendov-zeros-explorer","version":1,"sha256":"19d11a5c031e2ca19aea0adba6e6685ad916b2a089a277aff660074425ac8f01"}],"problem_id":"problem-sendov-conjecture","version":8,"sha256":"cbab05d697e91642cbd2247551f0cc3717f0aff142f2c9d0dcbd28dd8604069a","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"]}