n, k = read_line.split.map(&.to_i) if n < k puts "INF" else ans = 0 (n..n*2).each { |i| (i..i + k).each { |j| ans += 1 if (i & j) == n } } puts ans end