Government Exhibit 80, 84, 86, and 192

The group included a September 8, 2022 Clifton Bay Investments name-change document, September 25 written resolutions changing a company name, an October 6 updated Clifton Bay certificate of incorporation, and a September 12 Alameda Research Investments document. The court received all four pursuant to a stipulation.