{"representations":[{"id":"cycle-double-cover-setup","version":2,"sha256":"689743da804319dbacd9f7c1eb34e0a57840eb22117d32b0b0df2fbd5c94807c"}],"problem_id":"problem-cycle-double-cover","version":2,"sha256":"8e536b62d31c5e92c706e6b683f44d2e6fb9d83f44b3e86ab2f0621a1f896f03","claims":[{"id":"claim-cycle-double-cover-existence","version":2},{"id":"claim-cycle-double-cover-total-length","version":2}],"source_version_ids":["cycle-double-cover:source:proof:v1","cycle-double-cover:source:lean:v1","cycle-double-cover:source:separate:v2"],"entry_ids":["cycle-double-cover:entry:proof:v1","cycle-double-cover:entry:lean:v1","cycle-double-cover:entry:separate:v2"],"report_ids":["cycle-double-cover:report:proposal:v1","cycle-double-cover:report:formal:v1","cycle-double-cover:report:separate:v2","cycle-double-cover:report:cover-accounting:v1"]}