{"representations":[{"id":"feige-conjecture-setup","version":3,"sha256":"15d50a49f02d581ef10e7a6bbfb8ffe590c20d57439d1a6bd3e8bc744dd98670"}],"problem_id":"problem-feige-conjecture","version":4,"sha256":"00e36bbf6cc9e4c57dd8c9f9d636766dcb3903adf0acde985f68fca227d84d73","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"]}