Status: IN
The water bottles simulation loop terminates for all valid inputs because `empties` strictly decreases each iteration when `numExchange >= 2`.
Source: entries/2026/06/06/water-bottles-solution.md
JSON