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 Rust (1.42.0) (judge verdict: Accepted)

// ${url}
//
#![allow(unused_imports)]
use std::io::*;
use std::io::Write;
use std::fmt::*;
use std::str::*;
use std::cmp::*;
use std::collections::*;

// Input macros.
// Original by tanakh: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
#[allow(unused_macros)]
macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    ($($r:tt)*) => {
        let s = {
            use std::io::Read;
            let mut s = String::new();
            std::io::stdin().read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

#[allow(unused_macros)]
macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};

    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };

    ($iter:expr, mut $var:ident : $t:tt $($r:tt)*) => {
        let mut $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

#[allow(unused_macros)]
macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };

    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };

    ($iter:expr, [ next / $t:tt ]) => {
        {
            let len = read_value!($iter, usize);
            (0..len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
        }
    };

    ($iter:expr, switch) => {
        {
            let ty = read_value!($iter, i32);
            if ty == 1 {
                vec![ty, read_value!($iter, i32), read_value!($iter, i32)]
            } else if ty == 2 {
                vec![ty, read_value!($iter, i32)]
            } else {
                vec![ty, read_value!($iter, i32)]
            }
        }
    };

    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };

    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };

    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}

#[allow(unused_macros)]
macro_rules! read_line {
    ($t:tt) => {
        {
            let mut s = String::new();
            std::io::stdin().read_line(&mut s).unwrap();
            s.trim_right().parse::<$t>().unwrap()
        }
    }
}

#[allow(unused_macros)]
macro_rules! dvec {
    ($t:expr ; $len:expr) => {
        vec![$t; $len]
    };

    ($t:expr ; $len:expr, $($rest:expr),*) => {
        vec![dvec!($t; $($rest),*); $len]
    };
}

#[allow(unused_macros)]
macro_rules! ifv {
    ($t:expr, $a:expr, $b: expr) => {
        if $t { $a } else { $b }
    }
}

#[allow(unused_macros)]
macro_rules! fill {
    ($t:expr, $v:expr) => {
        for i in 0..$t.len() {
            $t[i] = $v;
        }
    };
}

#[allow(unused_macros)]
macro_rules! join {
    ($t:expr, $glue:expr) => {
        $t.into_iter().map(|w| w.to_string()).collect::<Vec<_>>().join($glue)
    };
}

#[allow(unused_macros)]
macro_rules! debug {
    ($($a:expr),*) => {
        eprintln!(concat!($(stringify!($a), " = {:?}, "),*), $($a),*);
    }
}

// ===

struct Combination {
    fact: Vec<i64>,
    invfact: Vec<i64>,
}

impl Combination {
    fn inv(a: i64) -> i64 {
        Combination::pow(a, MOD - 2)
    }

    fn pow(a: i64, p: i64) -> i64 {
        let mut p = p;
        let mut aa = a;
        let mut ret = 1;
        while p >= 1 {
            if p & 1 == 1 {
                ret *= aa;
                ret %= MOD;
            }
            p >>= 1;
            aa = aa * aa % MOD;
        }
        ret
    }

    fn new(upto: usize) -> Self {
        let mut fact = vec![0; upto];
        let mut invfact = vec![0; upto];

        fact[0] = 1;
        for i in 1..upto {
            fact[i] = fact[i - 1] * (i as i64) % MOD;
        }

        invfact[upto - 1] = Combination::inv(fact[upto - 1]);
        invfact[0] = 1;
        for i in (1..upto - 1).rev() {
            invfact[i] = invfact[i + 1] * ((i + 1) as i64) % MOD;
        }

        Combination {
            fact: fact,
            invfact: invfact,
        }
    }

    fn comb(&self, n: usize, r: usize) -> i64 {
        if r < 0 || r > n {
            return 0;
        }
        self.fact[n] * self.invfact[r] % MOD * self.invfact[n - r] % MOD
    }
}

//===

const MOD: i64 = 998244353;

// fn solve2(comb: &Combination, h: usize, w: usize) -> i64 {
//     if w == 0 {
//         return 1;
//     }
//     comb.comb(h+w-1, h)
// }

// fn solve(comb: &Combination, h: usize, up: usize, dw: usize) -> i64 {
//     let mut ret = 0;
//     for i in 0..h {
//         for j in i..h {
//             ret += solve2(comb, i, up) * solve2(comb, h-1-j, dw);
//         }
//     }
//     debug!(ret, comb.comb(h+up+dw-1, up+dw));
//     ret
// }


// fn solve(h: usize, up: &Vec<usize>, dw: &Vec<usize>) {
// }


fn compute(a: Vec<char>, b: Vec<char>, c: Vec<char>, d: Vec<char>) -> i64 {
    let comb = Combination::new(310000);

    let left = a.into_iter().fold(0, |acc, x| acc+ifv!(x == '1', 1, 0));
    let right = b.into_iter().fold(0, |acc, x| acc+ifv!(x == '1', 1, 0));

    let up = c.into_iter().map(|c| ifv!(c == '1', 1, 0)).collect::<Vec<_>>();
    let dw = d.into_iter().map(|c| ifv!(c == '1', 1, 0)).collect::<Vec<_>>();
    let n = up.len();
    let mut dbl = vec![0; n];
    for i in 0..n {
        dbl[i] = (up[i] + dw[i]) as i64;
    }
    let mut up = (0..n).filter(|&i| dbl[i] >= 1).map(|i| up[i]).collect::<Vec<_>>();
    let mut dw = (0..n).filter(|&i| dbl[i] >= 1).map(|i| dw[i]).collect::<Vec<_>>();
    let dbl = dbl.into_iter().filter(|&d| d >= 1).collect::<Vec<_>>();
    let n = up.len();

    if n == 0 {
        return -1;
    }
    if left + right == 0 {
        let mut ret = 1;
        for i in 0..n {
            ret *= dbl[i];
            ret %= MOD;
        }
        return ret;
    }


    let solvel = |h: usize, up: &Vec<usize>, dw: &Vec<usize>| {
        let n = up.len();
        let mut ans = vec![];
        let mut u = 0;
        let mut d = 0;
        for i in 0..n {
            if h+u+d >= 1 {
                ans.push(comb.comb(h+u+d-1, u+d));
            } else {
                ans.push(1);
            }
            u += up[i];
            d += dw[i];
        }
        ans
    };

    let leftans = solvel(left, &up, &dw);
    up.reverse();
    dw.reverse();
    let mut rightans = solvel(right, &up, &dw);
    rightans.reverse();

    // debug!(left, right, leftans, rightans);

    for i in (1..n).rev() {
        rightans[i] *= dbl[i];
        rightans[i] %= MOD;
        rightans[i-1] += rightans[i];
        rightans[i-1] %= MOD;
    }
    rightans[0] *= dbl[0];
    rightans[0] %= MOD;

    let mut ans = 0;
    let inv2 = Combination::inv(2);
    for i in 0..n {
        if dbl[i] >= 1 {
            ans += leftans[i] * rightans[i];
            ans %= MOD;
        }
    }
    ans
}


fn main() {
    input! {
        n: usize, m: usize,
        a: chars,
        b: chars,
        c: chars,
        d: chars
    }

    let ans1 = compute(a.clone(), b.clone(), c.clone(), d.clone());
    let ans2 = compute(c, d, a, b);
    // debug!(ans1, ans2);
    if ans1 == -1 && ans2 == -1 {
        println!("1");
        return;
    }
    let ans1 = max(0, ans1);
    let ans2 = max(0, ans2);
    println!("{}", (ans1 + ans2) % MOD);
}