The top documents tagged [prover common input]