{"representations":[{"id":"feige-conjecture-setup","version":2,"sha256":"81b941600eec50057190b13a8b6eeee56a4602e03fd2829a3cb6c7361bb06605"}],"problem_id":"problem-feige-conjecture","version":2,"sha256":"8eddf3d0039d7fa6fd255930cbdba75a2a99d011233d24c04dc19f6ef74bde34","claims":[{"id":"claim-feige-unit-slack","version":1},{"id":"claim-feige-sharp-finite-unit-slack","version":1},{"id":"claim-feige-july-deviation-bounds","version":1},{"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"]}