import sequtils,math proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "" .} proc scan(): int = while true: let k = getchar_unlocked() if k < '0': break result = 10 * result + k.ord - '0'.ord let n = scan() let k = scan() if k == 1: echo n - 1 quit 0 var F : array[20000010,int32] var ans = 0 for i in 2..n div k: if F[i] > 0: continue for j in countup(i*2,n,i): F[j] += 1 if F[j] == k : ans += 1 F[i] = 1 echo ans