def main():
    import sys
    N, K = map(int, sys.stdin.readline().split())

    if N == 0:
        if K >= 1:
            print("INF")
        else:
            print(1)
        return

    # Collect all the bits where N is 0
    bits = []
    for i in range(30, -1, -1):
        if (N >> i) & 1 == 0:
            bits.append(i)

    # Initialize DP
    dp = [0] * (K + 1)
    dp[0] = 1

    for i in bits:
        power = 1 << i
        tmp = [0] * (K + 1)
        for s in range(K + 1):
            if dp[s] == 0:
                continue
            # Option 1: assign to A
            s_new_a = s - power
            if s_new_a >= 0 and s_new_a <= K:
                tmp[s_new_a] += dp[s]
            # Option 2: assign to neither
            s_new_n = s
            if s_new_n <= K:
                tmp[s_new_n] += dp[s]
            # Option 3: assign to B
            s_new_b = s + power
            if s_new_b <= K:
                tmp[s_new_b] += dp[s]
        dp = tmp

    total = sum(dp)
    print(total)

if __name__ == '__main__':
    main()