Problem:
Score : 700 points

Problem Statement

Nuske has a grid with N rows and M columns of squares. The rows are numbered 1 through N from top to bottom, and the columns are numbered 1 through M from left to right.
Each square in the grid is painted in either blue or white. If S_{i,j} is 1, the square at the i-th row and j-th column is blue; if S_{i,j} is 0, the square is white.
For every pair of two blue square a and b, there is at most one path that starts from a, repeatedly proceeds to an adjacent (side by side) blue square and finally reaches b, without traversing the same square more than once.

Phantom Thnook, Nuske's eternal rival, gives Q queries to Nuske. The i-th query consists of four integers x_{i,1}, y_{i,1}, x_{i,2} and y_{i,2} and asks him the following: when the rectangular region of the grid bounded by (and including) the x_{i,1}-th row, x_{i,2}-th row, y_{i,1}-th column and y_{i,2}-th column is cut out, how many connected components consisting of blue squares there are in the region?

Process all the queries.

Constraints

1 ≤ N,M ≤ 2000

1 ≤ Q ≤ 200000

S_{i,j} is either 0 or 1.

S_{i,j} satisfies the condition explained in the statement.

1 ≤ x_{i,1} ≤ x_{i,2} ≤ N(1 ≤ i ≤ Q)

1 ≤ y_{i,1} ≤ y_{i,2} ≤ M(1 ≤ i ≤ Q)

Input

The input is given from Standard Input in the following format:

N M Q
S_{1,1}..S_{1,M}
:
S_{N,1}..S_{N,M}
x_{1,1} y_{i,1} x_{i,2} y_{i,2}
:
x_{Q,1} y_{Q,1} x_{Q,2} y_{Q,2}

Output

For each query, print the number of the connected components consisting of blue squares in the region.

Sample Input 1

3 4 4
1101
0110
1101
1 1 3 4
1 1 3 1
2 2 3 4
1 2 2 4

Sample Output 1

3
2
2
2

In the first query, the whole grid is specified. There are three components consisting of blue squares, and thus 3 should be printed.

In the second query, the region within the red frame is specified. There are two components consisting of blue squares, and thus 2 should be printed.
Note that squares that belong to the same component in the original grid may belong to different components.

Sample Input 2

5 5 6
11010
01110
10101
11101
01010
1 1 5 5
1 2 4 5
2 3 3 4
3 3 3 3
3 1 3 5
1 1 3 4

Sample Output 2

3
2
1
1
3
2

Solution in Rust (1.15.1) (judge verdict: Accepted)

#![allow(non_snake_case,unused_imports,dead_code)]
use std::io::Read;
use std::cmp::max;
use std::cmp::min;
use std::str::FromStr;
use std::collections::HashMap;
use std::collections::HashSet;
use std::collections::BinaryHeap;
use std::cmp::Ordering;

fn comp_f64(a: &f64, b: &f64) -> Ordering {
    if a < b {
        return Ordering::Less;
    } else if a > b {
        return Ordering::Greater;
    }
    Ordering::Equal
}

fn main() {

    let mut buf = String::new();
    std::io::stdin().read_to_string(&mut buf).unwrap();
    let mut buf_it = buf.split_whitespace();

    let N = buf_it.next().unwrap().parse::<usize>().unwrap();
    let M = buf_it.next().unwrap().parse::<usize>().unwrap();
    let Q = buf_it.next().unwrap().parse::<usize>().unwrap();
    let S = (0..N).map(|_|
        buf_it.next().unwrap().chars().collect::<Vec<_>>()
    ).collect::<Vec<_>>();

    let XYXY = (0..Q).map(|_|
        (buf_it.next().unwrap().parse::<usize>().unwrap(),
        buf_it.next().unwrap().parse::<usize>().unwrap(),
        buf_it.next().unwrap().parse::<usize>().unwrap(),
        buf_it.next().unwrap().parse::<usize>().unwrap())
    ).collect::<Vec<_>>();

    let mut Done = (0..N+2).map(|_|
        (0..M+2).map(|_| false).collect::<Vec<_>>())
        .collect::<Vec<_>>();
    let mut Rmap = (0..N+2).map(|_|
        (0..M+2).map(|_| 0).collect::<Vec<_>>())
        .collect::<Vec<_>>();
    let mut Elmap = (0..N+2).map(|_|
        (0..M+2).map(|_| 0).collect::<Vec<_>>())
        .collect::<Vec<_>>();
    let mut Ermap = (0..N+2).map(|_|
        (0..M+2).map(|_| 0).collect::<Vec<_>>())
        .collect::<Vec<_>>();
    let mut Eumap = (0..N+2).map(|_|
        (0..M+2).map(|_| 0).collect::<Vec<_>>())
        .collect::<Vec<_>>();
    let mut Edmap = (0..N+2).map(|_|
        (0..M+2).map(|_| 0).collect::<Vec<_>>())
        .collect::<Vec<_>>();

    for i in 1..N+1{
        for j in 1..M+1{
            if Done[i][j] {continue;}
            if S[i-1][j-1] == '0' {continue;}
            Rmap[i][j] = 1;
            Done[i][j] = true;
            let mut q = vec![(i,j)]; 
            while q.len()>0{
                let (i,j) = q.pop().unwrap();
                for (di,dj) in vec![(1,0),(!0,0),(0,1),(0,!0)]{
                    let i = i.wrapping_add(di);
                    let j = j.wrapping_add(dj);
                    if i==0 || i>=N+1 || j==0 || j>=M+1{ continue}
                    if S[i-1][j-1] == '0' { continue}
                    if Done[i][j] { continue}
                    Done[i][j] = true;
                    if di==1{
                        Eumap[i][j] = 1;
                    } else if di==!0 {
                        Edmap[i][j] = 1;
                    } else if dj==1{
                        Elmap[i][j] = 1;
                    } else if dj==!0{
                        Ermap[i][j] = 1;
                    }
                    q.push((i,j));
                }
            }
        }
    }

    for i in 1..N+1{
        for j in 1..M+2{
            Elmap[i+1][j] += Elmap[i][j];
            Ermap[i+1][j] += Ermap[i][j];
            Rmap[i+1][j] += Rmap[i][j];
        }
    }
    for i in 1..N+2{
        for j in 1..M+1{
            Eumap[i][j+1] += Eumap[i][j];
            Edmap[i][j+1] += Edmap[i][j];
            Rmap[i][j+1] += Rmap[i][j];
        }
    }

    for &(x1,y1,x2,y2) in &XYXY{
        let mut ans = 0;

        ans += Elmap[x2][y1] - Elmap[x1-1][y1];
        ans += Ermap[x2][y2] - Ermap[x1-1][y2];
        ans += Eumap[x1][y2] - Eumap[x1][y1-1];
        ans += Edmap[x2][y2] - Edmap[x2][y1-1];
        ans += Rmap[x2][y2] + Rmap[x1-1][y1-1] - Rmap[x2][y1-1] - Rmap[x1-1][y2];

        println!("{}",ans);
    }
}