The proof effort was quite significant: 1258 proofs obligation (76%) had to be manually discharged.
also in 5,695 other papers
Quoted from the open-access full text in Europe PMC under the licence the publisher applied. The sentence is reproduced exactly as published; the emphasis is ours.