교환 분배법칙

최근 덧셈과 곱셈을 공부하던 즈티는 분배법칙을 배웠다. 덧셈과 곱셈의 분배법칙은 임의의 세 실수 $a$, $b$, $c$에 대해 $a \times (b + c) = (a \times b) + (a \times c)$가 항상 성립함을 뜻한다. 그러자 즈티는 덧셈과 곱셈의 기호 위치를 바꾼 식도 성립하는지 궁금해졌다. 즉, 임의의 세 실수 $a$, $b$, $c$에 대해 $a + (b \times c) = (a + b) \times (a + c)$가 성립하는지가 궁금했다. 즈티는 아직 어려서 큰 수를 다루지 못하므로, 절댓값이 $N$을 넘지 않는 정수 $a$, $b$, $c$에 대해서만 이 식을 계산할 수 있다. 이 범위에서 기호를 바꾼 분배법칙을 만족하는 정수 쌍 $(a, b, c)$의 개수를 구하라.

첫째 줄에 $a$, $b$, $c$의 절댓값의 범위 $N$이 주어진다. $(1 \leq N \leq 3000)$

기호를 교환한 분배법칙을 만족하는 $(a, b, c)$ 정수 쌍의 개수를 출력한다.