Vào ngày Tết, mâm trái cây chưng lên bàn thờ là một loại không thể thiếu. Thường thì người ta sẽ bày 5 loại trái cây với nhiều ý nghĩa khác nhau. Các bạn sinh viên của H3.2 thì thích chưng 5 loại trái cây sau đây:

Mãng cầu, Dừa, Đu đủ, Khổ qua, Khoai môn => Cầu vừa đủ qua môn.

Các sinh viên nhờ thầy Luna đi ra chợ Gò Vấp mua đủ 5 loại này nhưng thầy chỉ mới tìm được có hai quả tròn thôi (nó là hình cầu nhưng khi nhìn từ trên xuống sẽ là hình tròn nên tạm coi là hình tròn). Sinh viên đi thêm chợ Bà Chiểu để mua thêm một quả hình chữ nhật (nó là hình hộp nhưng khi nhìn từ trên xuống sẽ là hình chữ nhật nên tạm coi là hình chữ nhật) để chưng thêm cho vui hơn. Khi chưng lên mâm thì quả tròn to sẽ đặt trên, rồi đến quả hình chữ nhật và rồi quả tròn nhỏ, xem hình minh họa để hiểu rõ hơn.

Câu hỏi đặt ra là: cho thông tin kích thước của quả tròn to và quả tròn nhỏ, đếm số cách chọn kích cỡ cho quả hình chữ nhất nằm giữa hai quả đó.

Input

Một dòng duy nhất gồm số nguyên ~R_1, R_2~ với ~1 \le R_1 < R_2 \le 10^6~ với ~R_1~ là đường kính của quả tròn nhỏ và ~R_2~ là bán kính của quả tròn to.

Output

Đếm số cách chọn ra cặp số ~(a,b)~ nguyên dương và ~a \le b~ là kích thước của quả hình chữ nhật sao cho có thể đặt quả này lên trên quả tròn to và đặt được dưới quả tròn nhỏ.

Sample input 1

1 3

Sample output 1

13

Giải thích: ta có thể chọn các kích thước là: ~(1,1), (1,2), (1,3), (1,4), (1,5), (2,2), (2,3), (2,4), (2,5), (3,3), (3,4), (3,5), (4,4),~ bạn có thể tự vẽ hình ra để hiểu rõ hơn.

Subtasks

• Có 50% test ứng với ~n \le 2023~.
• Có 50% test ứng với ~2024 \le n \le 10^6.~