{"representations":[{"id":"kls-conjecture-setup","version":1,"sha256":"0e66b3e9a77177362a29943b91944958792f92b18e09314283cfbeecc86d5ac6"}],"problem_id":"problem-kls-conjecture","version":1,"sha256":"aef3bb9b2e68b712a9a65c1ba4c472381885177ca26414415c63dd9c14c5493e","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"]}