what were the total pints after 1957?
8.0