Figures computed from official regulatory filings — .
| Insider | Type | Value · USD | Details | |
|---|---|---|---|---|
| Public Institution for Social Security | Other | $20M | SEC | |
| Public Institution for Social Security |
| OtherD (derivative) |
| — |
| SEC |
| Public Institution for Social Security | Other | $35M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $15M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $15M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $15M | SEC |
| Public Institution for Social Security | Other | $20M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $30M | SEC |
| Public Institution for Social Security | Other | $30M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $35M | SEC |
| Public Institution for Social Security | Other | $25M | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | OtherD (derivative) | — | SEC |
| Public Institution for Social Security | Other | $15M | SEC |
| Public Institution for Social Security | Other | $15M | SEC |