Was the proof of the Cycle Double Cover Conjecture in the training data?