Ước chung lớn nhất của hai số nguyên dương \(a\) và \(b\) là số nguyên dương \(c\) lớn nhất mà cả \(a\) và \(b\) đều chia hết cho nó.

Cho hai số nguyên dương \(n, k\).

Yêu cầu: Hãy đếm số lượng cặp số nguyên dương \(x, y\) thỏa mãn \(1 \leq x \leq y \leq n\) và có ước chung lớn nhất lớn hơn hoặc bằng \(k\).

Input

• Một dòng duy nhất chứa hai số nguyên dương \(n, k\) (\(1 \leq k < n \leq 10^6\)), các số ghi cách nhau bởi một dấu cách.

Output

• Một số nguyên duy nhất là kết quả của bài toán.

Example

5 2

5

Scoring

• Có \(70\%\) số test ứng với \(70\%\) số điểm của bài thỏa mãn điều kiện: \(n \leq 10^3\).
• Có \(15\%\) số test ứng với \(15\%\) số điểm của bài thỏa mãn điều kiện: \(n \leq 10^6, n - k \leq 10^3\).
• \(15\%\) số test còn lại ứng với \(15\%\) số điểm không có ràng buộc gì thêm.