proof_maker/results/forest10_total.txt