약수의 개수

양의 정수 $n$의 약수의 개수를 $d(n)$이라고 하자.

세 정수 $a$, $b$, $c$가 주어질 때, 다음 식의 값을 구하는 프로그램을 작성하시오.

$\sum_{i=1}^{a}\sum_{j=1}^{b}\sum_{k=1}^{c} d(i \times j \times k)$

첫째 줄에 $a$, $b$, $c$가 공백으로 구분되어 주어진다. ($1 \le a, b, c \le 2000$)

첫째 줄에 위 식의 값을 $2^{30}$으로 나눈 나머지를 출력한다. $2^{30}$은 1073741824이다.