Paths to Equality
Define two functions on lattice points: $r(x,y) = (x+1,2y)$ $s(x,y) = (2x,y+1)$ A path to equality of length $n$ for a pair $(a,b)$ is a sequence $\Big((a_1,b_1),(a_2,b_2),\ldots,(a_n,b_n)\Big)$,...