68 69, 71 77, 79, 81 82 Us Proof Sets