/node_modules
/.proof.out