sjc 1952 proofs