The library is initially formed by shuffling together 4 copies of each card in the deck. Whenever more cards are needed in the library, a further 4 copies of each card in the deck are shuffled together and added to the bottom of the library.