from math import gcd

def calc(now,nowg):
	global ans
	if len(now)==N:
		ans=ans*nowg%1000000007
	else:
		for i in range(A,B+1):
			calc(now+[i],gcd(nowg,i))

A,B,N=map(int,input().split())
ans=1
calc([],3628800)
print(ans)