Wythoff's sequence and N-Heap Wythoff's conjectures

Define a Wythoff's sequence as a sequence of pairs of integers {(An,Bn)}n>n0 such that there exists a finite set of integers T, An=mex({Ai,Bi:i