{"representations":[{"hash_profile":"rfc8785","id":"cerny-synchronization-setup","version":3,"sha256":"ec359a6906ff58bf2362f788d8aadb09d2becf1b3e9cf24557a0d49bcc58250b"}],"problem_id":"problem-cerny-synchronization","version":4,"sha256":"5168266cd255f252f11260967e1d90f4d241e3f29fd23dfa18783c45e09c572d","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},{"id":"claim-cerny-examples-attain","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","cerny-synchronization:entry:cerny-examples:v1"],"report_ids":["cerny-synchronization:report:general:v1","cerny-synchronization:report:positive-level:v1","cerny-synchronization:report:sharpness:v1","cerny-synchronization:report:circular:v1","cerny-synchronization:report:cerny-examples:v1"]}