4744595domain: NAppears in sequences0-sequence of reduction of the lower Wythoff sequence by x^2 -> x+1.at n=25A192300