/proofsearch/data/

• ../
• monkey_banana.p