7704396domain: NAppears in sequences0-sequence of reduction of the upper Wythoff sequence by x^2 -> x+1.at n=25A192302