In 1815 Thomas sold his collection of about 6,700 of these to the government for $23,950
But Jefferson was forced to sell the entire collection because of his 
serious ... above) included a replica of the library Jefferson sold to the nation in 
1815.