수학실력이 좋지 못한 정현이는, 수학과의 정수론 과목을 신청해서 듣고있다. 정현이는 저번주에 소수와 서로소에 대해 배웠다. 소수란 1과 자기 자신만을 약수로 가지는 1보다 큰 자연수를 말한다. 서로소는 공약수가 1뿐인 두 정수를 말한다.

컴퓨터공학 전공인 정현이가 수학과 수업을 듣는 것이 기분 나쁜 교수님이 어려운 과제를 내주셨다. 아직 수학을 잘 하지 못하는 정현이는 두려움에 떨었지만, 문제를 보고 컴퓨터로 쉽게 풀 수 있다는 것을 알아챘다. 정현이를 도와서 과제를 제출하자!

[과제] 다음을 만족하는 서로 다른 세 정수 쌍(\({A, B, C}\))의 개수를 쓰시오.

• \(2 <= A <= B <= C <= N\)
• 세 수 중, 어느 두 개의 수도 \(1\)을 제외한 공약수를 가지지 않는다

입력 설명

과제에 사용될 정수 N이 주어진다. \((2 <= N <= 50)\)

출력 설명

과제로 제출할 정수를 출력한다.

예제 입력 1

10

예제 출력 1

20