SEC Form 4: Mangano Robert F covered exercise/tax liability with 8,442 shares and returned 563,751 shares to the company, closing all direct ownership in the company (withholding obligation)