{"representations":[{"hash_profile":"rfc8785","id":"cerny-synchronization-setup","version":1,"sha256":"1272163fb71d7fe1736135dcdc3b01a4cd8e2795449d024e90cc3f2c34c43b62"}],"problem_id":"problem-cerny-synchronization","version":1,"sha256":"8343e4e12bbdd5d4493b99145169a031ce463d56f65907c1f1618722dd2c1a88","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"]}