1,115 more DRAT proofs: Proposition 39 on the way to A(8) <= 10

· Dev.to