{"representations":[{"id":"cycle-double-cover-setup","version":1,"sha256":"cbed086018b4529c3917b3d7c82589458802513a350c4d84cc0f688f72ea3c51"}],"problem_id":"problem-cycle-double-cover","version":1,"sha256":"064cf341e226628eea2339189ea9659936c2cc4c453076dc773f1db96969fae0","claims":[{"id":"claim-cycle-double-cover-existence","version":1},{"id":"claim-cycle-double-cover-total-length","version":1}],"source_version_ids":["cycle-double-cover:source:proof:v1","cycle-double-cover:source:lean:v1","cycle-double-cover:source:separate:v1"],"entry_ids":["cycle-double-cover:entry:proof:v1","cycle-double-cover:entry:lean:v1","cycle-double-cover:entry:separate:v1"],"report_ids":["cycle-double-cover:report:proposal:v1","cycle-double-cover:report:formal:v1","cycle-double-cover:report:separate:v1","cycle-double-cover:report:cover-accounting:v1"]}