Destroying The Complete 2004 Proof Set Competition