A Huge Pension Bought PayPal, Cisco, and Activision Stock. Here's What It Sold.