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