About a dozen people gathered in a basement workroom to watch as a machine printed the final sheets of library catalog cards to be made by Dublin-based OCLC. The final tally: 1.9 billion cards.