In this figure, have any difference blue token [1,2,3] and [1,2,3] in verification branch?  thanks for your reply.