  We report here on the computational verification of a refinement of Zhi-Wei
Sun's "1-3-5 conjecture" for all natural numbers up to 105 103 560 126. This,
together with a result of two of the authors, completes the proof of that
conjecture.
