Destroying The Complete 2005 Proof Set Competition