Destroying The Complete 2009 Proof Set Competition