a(n) is the minimum y that satisfies x <= y and the GCD of (x,y),(x+1,y), ..., (x+n-1,y), (x,y+1),(x+1,y+1), ..., (x+n-1,y+1), ..., (x,y+n-1),(x+1,y+n-1), ..., (x+n-1,y+n-1) are all larger than 1.
REFERENCES
Stephen Wolfram, A New Kind of Science, Wolfram Media, 2002, p. 1093.
