{"representations":[{"id":"cycle-double-cover-setup","version":2,"sha256":"689743da804319dbacd9f7c1eb34e0a57840eb22117d32b0b0df2fbd5c94807c"}],"problem_id":"problem-cycle-double-cover","version":4,"sha256":"0c1778896dc00346d6be3817aa6f212eef1c6a94299bb7258024ecfd286c5bfb","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"]}