@jcoglan in base 10, we agree until the subsequence (...,9,8,9,5,3,1,0), and you have an extra digit in your output