N,M,K=map(int,input().split())
P=1000000007
import math
ans=0
for A in [N,M]:
    for i in range(1,A):
        ans = (ans+(N^M^A)**2*i*(i+1)//2)%P
print(ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P)*pow(math.factorial(N*M-K),P-2,P)%P) N,M,K=map(int,input().split()) N map(int,input().split()) map int input().split() ().split () input split M K P=1000000007 P 1000000007 import math math ans=0 ans 0 for A in [N,M]:
    for i in range(1,A):
        ans = (ans+(N^M^A)**2*i*(i+1)//2)%P A [N,M] N M for i in range(1,A):
        ans = (ans+(N^M^A)**2*i*(i+1)//2)%P i range(1,A) range 1 A ans = (ans+(N^M^A)**2*i*(i+1)//2)%P ans (ans+(N^M^A)**2*i*(i+1)//2)%P ans+(N^M^A)**2*i*(i+1)//2 ans (N^M^A)**2*i*(i+1)//2 (N^M^A)**2*i*(i+1) (N^M^A)**2*i (N^M^A)**2 N^M^A N^M N M A 2 i i+1 i 1 2 P print(ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P)*pow(math.factorial(N*M-K),P-2,P)%P) print ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P)*pow(math.factorial(N*M-K),P-2,P)%P ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P)*pow(math.factorial(N*M-K),P-2,P) ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P) ans*math.factorial(N*M-2) ans math.factorial(N*M-2) math.factorial math factorial N*M-2 N*M N M 2 pow(math.factorial(K-2),P-2,P) pow math.factorial(K-2) math.factorial math factorial K-2 K 2 P-2 P 2 P pow(math.factorial(N*M-K),P-2,P) pow math.factorial(N*M-K) math.factorial math factorial N*M-K N*M N M K P-2 P 2 P P K=map(int,input().split()) map(int,input().split()) K ans=0 0 ans N,M,K=map(int,input().split()) map(int,input().split()) N M,K=map(int,input().split()) map(int,input().split()) M P=1000000007 1000000007 P ans = (ans+(N^M^A)**2*i*(i+1)//2)%P (ans+(N^M^A)**2*i*(i+1)//2)%P ans
N,M,K=map(int,input().split())
P=1000000007
import math
ans=0
for A in [N,M]:
    for i in range(1,A):
        ans = (ans+(N^M^A)**2*i*(i+1)//2)%P
print(ans*math.factorial(N*M-2)*pow(math.factorial(K-2),P-2,P)*pow(math.factorial(N*M-K),P-2,P)%P)
