cycle_double_cover_conjecture