{"representations":[{"hash_profile":"rfc8785","id":"sendov-by-degree","version":1,"sha256":"33397995cd5f6752d0ac6bc5945d754dd1b20a3525b8bf0d92eedceb21ca39e2"},{"id":"sendov-conjecture-setup","version":3,"sha256":"1196b162f2062efd1decac8c397e8b6fc818ee2a91f4fcef3ca792af3dbef6ba"}],"problem_id":"problem-sendov-conjecture","version":6,"sha256":"73f6f288e5e77a871437b52bd86ea1b76b3fdd7ac19f0d301f48002f14464e8f","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"]}