{"representations":[{"hash_profile":"rfc8785","id":"kls-bound-ladder","version":1,"sha256":"e13f792116a4e6d5905239efbe7ea24973ae2b7bcd68562a59fa7e529f0b096a"}],"problem_id":"problem-kls-conjecture","version":5,"sha256":"9a5a871dfa7d06246a98f2e0ce06fee31fc606ce871894700ac21cfbedcf046b","claims":[{"id":"claim-kls-dimension-free-poincare","version":1},{"id":"claim-kls-first-revision-iterated-log-bound","version":1},{"id":"claim-kls-conjecture-consequence","version":1},{"id":"claim-kls-lee-vempala","version":1},{"id":"claim-kls-chen","version":1},{"id":"claim-kls-klartag-lehec","version":1},{"id":"claim-kls-klartag-log","version":1}],"source_version_ids":["kls-conjecture:source:song:v1","kls-conjecture:source:song:v2","kls-conjecture:source:bkl:v1"],"entry_ids":["kls-conjecture:entry:song:v1","kls-conjecture:entry:song-new:v1","kls-conjecture:entry:bkl:v1","kls-conjecture:entry:bkl-history:v1"],"report_ids":["kls-conjecture:report:first:v1","kls-conjecture:report:second:v1","kls-conjecture:report:bkl:v1","kls-conjecture:report:consequence:v1","kls-conjecture:report:lee-vempala:v1","kls-conjecture:report:chen:v1","kls-conjecture:report:klartag-lehec:v1","kls-conjecture:report:klartag-log:v1"]}