20150313065037_use_prover_reference_in_proof_attempts.rb revision 54a1f4b81d3db8dae3af04f4200ed7e14bf2543b