{"representations":[{"hash_profile":"rfc8785","id":"cerny-synchronization-setup","version":2,"sha256":"a27f3857dce5204e6d945d1a502cc4f78706b37157adfdd5c6ea21f93825af8c"}],"problem_id":"problem-cerny-synchronization","version":3,"sha256":"1ec7458ce46c859b678683a2f011d673923b4e8ae417515e0a63b8f60010666b","claims":[{"id":"claim-cerny-quadratic-bound","version":1},{"id":"claim-cerny-positive-level-one-cluster","version":1},{"id":"claim-cerny-relative-extension","version":1},{"id":"claim-cerny-one-cluster-sharp-family","version":1},{"id":"claim-cerny-circular-case","version":1}],"source_version_ids":["cerny-synchronization:source:paper:v1"],"entry_ids":["cerny-synchronization:entry:question:v1","cerny-synchronization:entry:positive-level:v1","cerny-synchronization:entry:sharpness:v1","cerny-synchronization:entry:circular:v1"],"report_ids":["cerny-synchronization:report:general:v1","cerny-synchronization:report:positive-level:v1","cerny-synchronization:report:sharpness:v1","cerny-synchronization:report:circular:v1"]}