import times, strutils, sequtils, math, algorithm, tables, sets, lists, intsets
import critbits, future, strformat, deques
template `max=`(x,y) = x = max(x,y)
template `min=`(x,y) = x = min(x,y)
template `mod=`(x,y) = x = x mod y
template scan2 = (scan(), scan())
template scan3 = (scan(), scan())
let read* = iterator: string {.closure.} =
    while true: (for s in stdin.readLine.split: yield s)
proc scan(): int = read().parseInt
proc scanf(): float = read().parseFloat
proc toInt(c:char): int =
    return int(c) - int('0')



proc solve()=
  var
    n = scan()
    k = scan()
    d = 0
  while 1 shl d <= n:
    d+=1
  #echo n.toBin(d+1)
  #echo (1 shl d).toBin(d+1)
  if n+1 <= k:
    echo "INF"
  else:
    var cnt = 0
    for y in n..(2^d-1):
      for x in y-k..y:
        if ((y and n) == n) and ((x and n)==n) and ((y-n) and (x-n))==0:
          cnt+=1
    echo cnt
  
  
solve()