SEC Form 4: Wendling Brian J exercised 40,000 units of Series C Liberty SiriusXM Common Stock at a strike of $30.51, sold $423,852 worth of Series C Liberty SiriusXM Common Stock (8,580 units at $49.40), covered exercise/tax liability with 31,420 units of Series C Liberty SiriusXM Common Stock, exercised 10,000 units of Series C Liberty Formula One Common Stock at a strike of $17.61, sold $181,932 worth of Series C Liberty Formula One Common Stock (3,635 units at $50.05) and covered exercise/tax liability with 6,365 units of Series C Liberty Formula One Common Stock, decreasing direct ownershi