Phép Tính Căn Số

Với một số nguyên dương $x$, đặt $s(x)$ là tổng các chữ số của $x$ trong hệ thập phân. Căn số $d(x)$ được định nghĩa đệ quy: nếu $s(x)\le 9$ thì $d(x)=s(x)$, ngược lại $d(x)=d(s(x))$. Ví dụ $d(6543)=d(6+5+4+3)=d(18)=9$.

Cho một bài toán "với ba số nguyên dương $A,B,C$ thuộc $[1,N]$, kiểm tra xem đẳng thức $A·B=C$ có đúng không", Billy đề xuất thuật toán sau dựa trên tính chất $d(xy)=d(d(x)·d(y))$:

• Nếu $d(d(A)·d(B))=d(C)$ thì Billy kết luận $A·B=C$ đúng; ngược lại kết luận sai.

Hãy đếm số bộ ba $(A,B,C)$ với $A,B,C\in [1,N]$ mà thuật toán của Billy cho kết quả sai (tức là điều kiện căn số thoả mãn nhưng thực tế $A·B\ne C$).

Dữ liệu vào

Một dòng duy nhất chứa số nguyên $N$.

Dữ liệu ra

Một số nguyên — số bộ ba $(A,B,C)$ mà thuật toán của Billy cho kết quả sai.

Ràng buộc

• $1\le N\le {10}^6$.

Ví dụ