Ownership of companies for Laurion Capital Management, LP