There are seven cups, each with a water tap that adds water into it at the same rate. There are also three buckets. At any point, if any of these conditions is met, you pour water from the cups into the buckets according to the following rules:
- If there is one unit of water in cups $1,2,3,4$ combined, you pour all that water into the first bucket.
- If there is one unit of water in cups $4,5,6$ combined, you pour all that water into the second bucket.
- If there is one unit of water in cups $6,7$ combined, you pour all that water into the third bucket.
As time goes on, what does the ratio between water in the three buckets converge to?
My computer program shows that it the limit of this ratio is $9:4:4$, but it is not clear to me how to prove it formally. Can we set up some kind of "steady-state" equations? More interestingly, can we determine the answer $9:4:4$ without using a program?