The 10,000 Librarian Problem