| # | % | |||||
|---|---|---|---|---|---|---|
| 1 | KENSICO CAPITAL MANAGEMENT CORP | 500,000 | 23,295,000 | 96.37% | Put | |
| 2 | CITADEL ADVISORS LLC | 18,800 | 876,000 | 3.62% | Put | |
| 3 | SIMPLEX TRADING, LLC | 16 | 1,000 | 0.00% | Put |
From 2023-01-03 onward, the SEC requires values to be reported in nearest dollars. Earlier filings reported values in thousands; therefore, positions shown as $0 in older filings may represent actual values between $0–$999.