//ビットごとにできるので、はい。
#include <iostream>
#include <atcoder/all>
#include <vector>
#define rep(i, n) for(i = 0; i < n; i++)
using namespace std;
using namespace atcoder;
using mint = modint998244353;
typedef vector<mint> Vec;
typedef vector<Vec> Mat;

int n, X, Y;
int a[200000], b[200000];

int main() {
	int i, j;
	cin >> n >> X >> Y;
	rep(i, X) cin >> a[i];
	rep(i, Y) cin >> b[i];

	mint ans = 0;
	rep(i, 18) {
		int oneA = 0, oneB = 0;
		rep(j, X) if ((a[j] >> i) % 2) oneA++;
		rep(j, Y) if ((b[j] >> i) % 2) oneB++;
		
		Mat dp(2 * n + 1, Vec(2, 0));
		dp[0][0] = 1;
		rep(j, 2 * n) {
			if (j % 2 == 0) {
				dp[j + 1][0] += (X - oneA) * dp[j][0];
				dp[j + 1][1] += oneA * dp[j][0];
				dp[j + 1][1] += X * dp[j][1];
			}
			else {
				dp[j + 1][0] += Y * dp[j][0];
				dp[j + 1][0] += (Y - oneB) * dp[j][1];
				dp[j + 1][1] += oneB * dp[j][1];
			}
		}
		ans += (1 << i) * dp[2 * n][1];
	}

	cout << ans.val() << endl;
	return 0;
}