The data points alternate between bins 1 and 2, so the driven IFS
points converge to points (x1, y1) and
(x2, y2) with addresses
(12)infinity and (21)infinity.
Then we see T2(x1, y1) has address
2(12)infinity = (21)infinity, so
T2(x1, y1) = (x2, y2).
Similarly, T1(x2, y2) =
(x1, y1). Combining these, we see