{"representations":[{"id":"cycle-double-cover-setup","version":3,"sha256":"446f54c1b0b5031a4533a0acf85c0d81c93064f7e44f7308d0bae66e8f340b1e"}],"problem_id":"problem-cycle-double-cover","version":5,"sha256":"4e137c731e4d28b63626662664290817ecef1e6c01cc33698c286cc1243a63d8","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"]}