Punch Card Capital, L.P. portfolio value