n, k = gets.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