Push pebblings proof-processing file