{"representations":[{"id":"kls-conjecture-setup","version":2,"sha256":"51c001b0bc38c90ef9a5550ad9caf33c1ebf56d5a91cc48466754d6d308372b1"}],"problem_id":"problem-kls-conjecture","version":4,"sha256":"54d34b4c02870e900010fac5b1afb6f6dc62f4e6c3177aa47edfdef76940ffc6","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}],"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"],"report_ids":["kls-conjecture:report:first:v1","kls-conjecture:report:second:v1","kls-conjecture:report:bkl:v1","kls-conjecture:report:consequence:v1"]}