A Flexible Proof Format for SAT Solver-Elaborator Communication (Logical Methods in Computer Science, 2022)