IRS -

None of the focused investors we track reported holding IRS in Q3 2018.

See the IRS overview for the quarters where it was held.