12465974domain: NAppears in sequences1-sequence of reduction of the upper Wythoff sequence by x^2 -> x+1.at n=25A192303