{"representations":[{"id":"kls-conjecture-setup","version":2,"sha256":"51c001b0bc38c90ef9a5550ad9caf33c1ebf56d5a91cc48466754d6d308372b1"}],"problem_id":"problem-kls-conjecture","version":3,"sha256":"7b6d2b8f79bd57d6afbac1c792c1c2752ae9506983b26be66fc1898f6a0c3525","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"]}