prover_factory.rb for revision 4b892a7f6b14ae97b79386d8b7fa46d48e894b40 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.