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