In fact, those are the next terms of the sequences I had in mind when I made up the example, but there is no way to be sure they are correct.