final proofs

ra051
ra051 
ra196
ra196 
ra291
ra291