Destroying The Complete 2007 Proof Set Competition