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