National Pension
as well as a €17.5 billion contribution from the Irish Treasury and the National Pension Reserve Fund.