Yep they are filed with the SEC, you can see one of them here: https://www.sec.gov/Archives/edgar/data/1418091/000119312521342255/d401229dex101.htm https://www.

Yep they are filed with the SEC, you can see one of them here: https://www.sec.gov/Archives/edgar/data/1418091/000119312521342255/d401229dex101.htm https://www.sec.gov/Archives/edgar/data/1418091/000119312521...