What are the quantity equivalencies between cooked and dried beans?

3 cups of cooked beans = 1 cup of dry beans; 7 1/2 cups of cooked beans = 2 1/2 cups of dry beans = 1 lb. of dry beans.