[math-fun] Random domino tiling.