Mixed Proof Set Group 68/69/76/77/78/79/83