Qual é a regra de atualização dos contadores em cada rodada quando o indivíduo com mais itens dá uma unidade a cada um dos outros e descarta duas?

Exemplo: iniciar com \( (9,5,2) \).

1ª rodada: maior 9 → \(9-4=5\); os outros: \(5+1=6\), \(2+1=3\) → \( (5,6,3) \).

2ª rodada: maior 6 → \(6-4=2\); os outros: \(5+1=6\), \(3+1=4\) → \( (6,2,4) \).

3ª rodada: maior 6 → \(6-4=2\); os outros: \(2+1=3\), \(4+1=5\) → \( (2,3,5) \).

4ª rodada: maior 5 → \(5-4=1\); os outros: \(2+1=3\), \(3+1=4\) → \( (3,4,1) \).

5ª rodada: maior 4 → \(4-4=0\); os outros: \(3+1=4\), \(1+1=2\) → \( (4,0,2) \).

Assim, aplica-se repetidamente a regra \(x\mapsto x-4\) para o maior e \(y\mapsto y+1\) para os demais até que algum contador chegue a zero.