If the current symbol of the upper number is a 1, the result can be written immediately. If it is a 0, the current symbol of the lower number must also be read (state "00/01").