Hai số nguyên liên tiếp sau khi chuyển float (Adjacent Integers Converted to Float)

Phiên bản: Phước Hưng OJ Extended

Đề bài

Cho số nguyên không âm $n$. Hãy chuyển riêng $n$ và $n+1$ sang kiểu float của Python 3 rồi kiểm tra hai kết quả có bằng nhau hay không. Do float thông dụng dùng biểu diễn nhị phân với 53 bit độ chính xác, hai số nguyên liên tiếp đủ lớn có thể được chuyển thành cùng một giá trị. Không so sánh trực tiếp hai số nguyên ban đầu.

Input

Dòng duy nhất chứa số nguyên không âm $n$.

Output

In đúng True nếu float(n) bằng float(n + 1); ngược lại in đúng False.

Subtask

• Subtask 1 (100 điểm): $0\le n\le2^{54}$.

Ví dụ

Ví dụ 1

Input

9007199254740991

Output

False

Giải thích. Hai giá trị sau chuyển kiểu lần lượt là 9007199254740991.0 và 9007199254740992.0. So sánh hai giá trị float này cho False.

Ví dụ 2

Input

9007199254740992

Output

True

Giải thích. Hai giá trị sau chuyển kiểu lần lượt là 9007199254740992.0 và 9007199254740992.0. So sánh hai giá trị float này cho True.

Ví dụ 3

Input

9007199254740993

Output

False

Giải thích. Hai giá trị sau chuyển kiểu lần lượt là 9007199254740992.0 và 9007199254740994.0. So sánh hai giá trị float này cho False.