{"representations":[{"id":"feige-conjecture-setup","version":3,"sha256":"15d50a49f02d581ef10e7a6bbfb8ffe590c20d57439d1a6bd3e8bc744dd98670"}],"problem_id":"problem-feige-conjecture","version":3,"sha256":"c9232ca8d9c7745b3b75730f73a711ceebef3446b3ba5f3175fe6ec230c1c808","claims":[{"id":"claim-feige-unit-slack","version":1},{"id":"claim-feige-sharp-finite-unit-slack","version":1},{"id":"claim-feige-july-deviation-bounds","version":2},{"id":"claim-feige-all-deviations-sharp","version":1},{"id":"claim-feige-conjecture-consequence","version":1}],"source_version_ids":["feige-conjecture:source:fu:v1","feige-conjecture:source:nie:v1","feige-conjecture:source:ling:v1","feige-conjecture:source:lean:v1"],"entry_ids":["feige-conjecture:entry:fu:v1","feige-conjecture:entry:nie:v1","feige-conjecture:entry:ling:v1","feige-conjecture:entry:lean:v1"],"report_ids":["feige-conjecture:report:unit-fu:v1","feige-conjecture:report:unit-nie:v1","feige-conjecture:report:unit-lean:v1","feige-conjecture:report:ranges:v1","feige-conjecture:report:all-delta:v1","feige-conjecture:report:consequence:v1"]}