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