A359708

a(n) is the greatest divisor d of 2*n such that the binary expansions of d and 2*n have no common 1-bit.