Problem:
Score : 1600 points

Problem Statement

Ringo got interested in modern art. He decided to draw a big picture on the board with N+2 rows and M+2 columns of squares constructed in the venue of CODE FESTIVAL 2017, using some people.

The square at the (i+1)-th row and (j+1)-th column in the board is represented by the pair of integers (i,j). That is, the top-left square is (0,0), and the bottom-right square is (N+1,M+1).
Initially, the squares (x,y) satisfying 1 \leq x \leq N and 1 \leq y \leq M are painted white, and the other (outermost) squares are painted black.

Ringo arranged people at some of the outermost squares, facing inward.
More specifically, the arrangement of people is represented by four strings A, B, C and D, as follows:

For each row except the top and bottom, if the i-th character (1 \leq i \leq N) in A is 1, place a person facing right at the square (i,0); otherwise, do nothing.

For each row except the top and bottom, if the i-th character (1 \leq i \leq N) in B is 1, place a person facing left at the square (i,M+1); otherwise, do nothing.

For each column except the leftmost and rightmost, if the i-th character (1 \leq i \leq M) in C is 1, place a person facing down at the square (0,i); otherwise, do nothing.

For each column except the leftmost and rightmost, if the i-th character (1 \leq i \leq M) in D is 1, place a person facing up at the square (N+1,i); otherwise, do nothing.

Each person has a sufficient amount of non-white paint. No two people have paint of the same color.

An example of an arrangement of people (For convenience, black squares are displayed in gray)

Ringo repeats the following sequence of operations until all people are dismissed from the venue.

Select a person who is still in the venue.

The selected person repeats the following action while the square in front of him/her is white: move one square forward, and paint the square he/she enters with his/her paint. When the square in front of him/her is not white, he/she stops doing the action.

The person is now dismissed from the venue.

An example of a way the board is painted

How many different states of the board can Ringo obtain at the end of the process? Find the count modulo 998244353.

Two states of the board are considered different when there is a square painted in different colors.

Constraints

1 \leq N,M \leq 10^5

|A|=|B|=N

|C|=|D|=M

A, B, C and D consist of 0 and 1.

Input

Input is given from Standard Input in the following format:

N M
A
B
C
D

Output

Print the number of the different states of the board Ringo can obtain at the end of the process, modulo 998244353.

Sample Input 1

2 2
10
01
10
01

Sample Output 1

6

There are six possible states as shown below.

Sample Input 2

2 2
11
11
11
11

Sample Output 2

32

Sample Input 3

3 4
111
111
1111
1111

Sample Output 3

1276

Sample Input 4

17 21
11001010101011101
11001010011010111
111010101110101111100
011010110110101000111

Sample Output 4

548356548

Be sure to find the count modulo 998244353.

Sample Input 5

3 4
000
101
1111
0010

Sample Output 5

21

Sample Input 6

9 13
111100001
010101011
0000000000000
1010111111101

Sample Output 6

177856

Sample Input 7

23 30
01010010101010010001110
11010100100100101010101
000101001001010010101010101101
101001000100101001010010101000

Sample Output 7

734524988

Solution in C++14 (GCC 5.4.1) (judge verdict: Wrong Answer)

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
#include <stack>
#include <queue>
#include <set>
#include <map>
using namespace std;
#define MOD 998244353
#define ADD(X,Y) ((X) = ((X) + (Y)%MOD) % MOD)
typedef long long i64; typedef vector<int> ivec; typedef vector<string> svec;

int N, M;
char A[101010], B[101010], C[101010], D[101010];

i64 fact[404040], facti[404040];

i64 modpow(i64 a, int p = MOD - 2)
{
	if (p == 0) return 1;
	i64 tmp = modpow(a, p / 2);
	tmp = tmp * tmp % MOD;
	if (p % 2 == 1) tmp = tmp * a % MOD;
	return tmp;
}

i64 Comb(int a, int b)
{
	if (a < b) return 0;
	return fact[a] * facti[b] % MOD * facti[a - b] % MOD;
}

i64 lfs[101010], rgs[101010];

int cone(char* s, char* t)
{
	int ret = 0;
	while (s != t) {
		if (*s == '1') ++ret;
		++s;
	}
	return ret;
}

i64 solve(int N, int M, char* A, char* B, char* C, char* D)
{
	int ca = cone(A, A + N);
	int cb = cone(B, B + N);

	if (ca + cb == 0) {
		i64 ret = 1;
		for (int i = 0; i < M; ++i) {
			int c = (C[i] - '1') + (D[i] - '1');
			ret = ret * max(c, 1) % MOD;
		}
		return ret;
	}

	int a, x, y;

	// compute lfs
	a = ca;
	x = y = 0;
	for (int i = 0; i < M; ++i) {
		if (a == 0) {
			lfs[i] == (x + y == 0 ? 1 : 0);
		} else {
			lfs[i] = Comb(a - 1 + x + y, a - 1);
		}
		if (C[i] == '1') ++x;
		if (D[i] == '1') ++y;
	}

	// compute rgs
	a = cb;
	x = y = 0;
	for (int i = M - 1; i >= 0; --i) {
		if (a == 0) {
			rgs[i] == (x + y == 0 ? 1 : 0);
		} else {
			rgs[i] = Comb(a - 1 + x + y, a - 1);
		}
		if (C[i] == '1') ++x;
		if (D[i] == '1') ++y;
	}

	i64 ret = 0;
	i64 tmp = 0;
	for (int i = 0; i < M; ++i) {
		int ct = (C[i] - '0') + (D[i] - '0');
		if (ct == 0) continue;

		ADD(tmp, lfs[i]);
		tmp = tmp * ct % MOD;
		ADD(ret, tmp * rgs[i]);
	}
	return ret;
}

int main()
{
	fact[0] = facti[0] = 1;
	for (int i = 1; i <= 400000; ++i) {
		fact[i] = fact[i - 1] * i % MOD;
		facti[i] = modpow(fact[i]);
	}
	scanf("%d%d", &N, &M);
	scanf("%s%s%s%s", A, B, C, D);

	if (cone(A, A + N) + cone(B, B + N) + cone(C, C + N) + cone(D, D + N) == 0) {
		puts("1");
		return 0;
	}

	i64 ret = 0;
	ADD(ret, solve(N, M, A, B, C, D));
	ADD(ret, solve(M, N, C, D, A, B));

	printf("%lld\n", ret);

	return 0;
}