#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#define llint long long
#define inf 1e18
#define rep(x, s, t) for(llint (x) = (s); (x) < (t); (x)++)
#define Rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define mod 1000000007

using namespace std;
typedef pair<llint, llint> P;

llint modpow(llint a, llint n)
{
	if(n == 0) return 1;
	if(n % 2){
		return ((a%mod) * (modpow(a, n-1)%mod)) % mod;
	}
	else{
		return modpow((a*a)%mod, n/2) % mod;
	}
}

llint h, w, x;
llint a[200005], b[200005];

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> h >> w >> x;
	for(int i = 1; i <= h; i++) cin >> a[i];
	for(int i = 1; i <= w; i++) cin >> b[i];
	
	llint ans = 1;
	for(int i = 0; i < x; i++){
		llint cnt = 0;
		for(int j = 1; j <= h; j++){
			if(a[j] & (1LL<<i)) cnt++;
		}
		for(int j = 1; j <= w; j++){
			if(b[j] & (1LL<<i)) cnt++;
		}
		if(cnt % 2){
			cout << 0 << endl;
			return 0;
		}
		ans *= modpow(2, (w-1)*(h-1)), ans %= mod;
	}
	cout << ans << endl;
	
	return 0;
}