{"representations":[{"id":"feige-conjecture-setup","version":4,"sha256":"3aebc1e537b641561f22973c615d0be85ea4e14eac6d507cc10f38e79e092ff7"}],"problem_id":"problem-feige-conjecture","version":7,"sha256":"8079448b1b10689169b873e1935b99cdc335dee96fbf4959c66df78b720ea5fd","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},{"id":"claim-feige-bound-one-thirteenth","version":1},{"id":"claim-feige-bound-one-eighth","version":1},{"id":"claim-feige-bound-0-1798","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","feige-conjecture:entry:fu-history: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","feige-conjecture:report:one-thirteenth:v1","feige-conjecture:report:one-eighth:v1","feige-conjecture:report:0-1798:v1"]}