Input: How many tons is the ship that is noted for a warfare force that has 13 mine-countermeasure vessels ?
Output: 8,072