66 results for proof set 1988