% output from dprove.pl

lit(A) :-
	prove(light(A)),
	prove(ok(A)),
	prove(live(A)).

interpreted / raw = 9.33333