| # | % | |||||
|---|---|---|---|---|---|---|
| 1 | KENSICO CAPITAL MANAGEMENT CORP | 500,000 | 20,670,000 | 93.47% | Put | |
| 2 | CITADEL ADVISORS LLC | 34,900 | 1,443,000 | 6.53% | Put | |
| 3 | SIMPLEX TRADING, LLC | 6 | 0 | 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.
