Problem: How many stars are there in the sky? A young programmer Polycarpus can't get this question out of his head! He took a photo of the starry sky using his digital camera and now he analyzes the resulting monochrome digital picture. The picture is represented by a rectangular matrix consisting of n lines each containing m characters. A character equals '1', if the corresponding photo pixel is white and '0', if it is black.

Polycarpus thinks that he has found a star on the photo if he finds a white pixel surrounded by four side-neighboring pixels that are also white: 
    
    
      
     1   
    111  
     1   
    

a star on the photo

Polycarpus whats to cut out a rectangular area from the photo and give his mom as a present. This area should contain no less than k stars. The stars can intersect, have shared white pixels on the photo. The boy will cut out the rectangular area so that its borders will be parallel to the sides of the photo and the cuts will go straight between the pixel borders.

Now Polycarpus keeps wondering how many ways there are to cut an area out of the photo so that it met the conditions given above. Help Polycarpus find this number.

Input

The first line of the input data contains three integers n, m and k (1 ≤ n, m ≤ 500;1 ≤ k ≤ nm). Then follow n lines, containing the description of the given photo as a sequence of lines. Each line contains m characters '0' or '1'.

Output

Print the required number of areas on the given photo.

Examples

Input

4 6 2
111000
111100
011011
000111


Output

6


Input

5 5 4
11111
11111
11111
11111
11111


Output

9

Note

We'll number the rows and columns below starting from 1, the coordinates (p, q) will denote a cell in row p, column q.

In the first sample Polycarpus should cut out any area containing a rectangle whose opposite corners lie in cells (1, 1) and (3, 4). Only rectangles with opposite corners in (1, 1) and (x, y), where x ≥ 3 and y ≥ 4 fit the conditions.

In the second sample any rectangle whose each side is no less than four, will do. The possible rectangle sizes are 4 × 4, 4 × 5, 5 × 4 and 5 × 5. Such figures can be cut in 4 ways, 2 ways, 2 ways and 1 way correspondingly.

Please do not use the %lld specificator to read or write 64-bit integers in C++. It is preferred to use cin, cout streams or the %I64d specificator.

Solution (in JAVA):

Solution:
import java.io.BufferedReader;
import java.io.FileNotFoundException;
import java.io.FileReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.util.StringTokenizer;

public class CF_95F 
{

	static int DP[][];
	static int n,m,k;
	static char grid[][];
	static int dx[] = {0,0,1,-1};
	static int dy[] = {-1,1,0,0};

	static boolean ok(int i,int j)
	{
		return i >= 0 && i < n && j >= 0  && j < m;
	}
	static int query(int x1,int x2,int y1,int y2)
	{
		if(x1 > x2)
			return 0;
		if(y2 < y1)
			return 0;
		int sum = DP[x2][y2];
		if(y1 > 0) sum -= DP[x2][y1 - 1];
		if(x1 > 0) sum -= DP[x1 - 1][y2];
		if(x1 > 0 && y1 > 0) sum += DP[x1 - 1][y1 - 1];

		return sum;
	}

	public static int bruteForce(int i1,int j1,int i2,int j2)
	{
		int s = 0;
		for(int i = i1 ; i <= i2 ; ++i)
		{
			for(int j = j1 ; j <= j2 ; ++j)
			{
				if(DP[i][j] == 1)
					++s;
			}
		}
		return s;
	}

	public static boolean can(int up,int down,int colL,int colR)
	{
		//return bruteForce(up,colL,down,colR) >= k;
		return query(up + 1,down - 1,colL + 1,colR - 1) >= k;

	}
	public static void main(String[]args)throws Throwable
	{
		Scanner sc = new Scanner(System.in);
		n = sc.nextInt(); m = sc.nextInt(); k = sc.nextInt();
		grid = new char[n][m];
		for(int i = 0 ; i  < n ; ++i)
		{
			grid[i] = sc.next().toCharArray();
		}
		DP = new int[n][m];
		for(int i = 0 ; i < n ; ++i)
		{
			for(int j = 0 ; j < m ;++j)
			{
				int stars = 0;
				if(grid[i][j] == '1')
				{
					for(int k = 0 ; k < 4 ; ++k)
					{
						int xc = dx[k] + i;
						int yc = dy[k] + j;
						if(ok(xc,yc) && grid[xc][yc] == '1')
						{
							++stars;
						}

					}
				}
				if(stars == 4)
				{
					DP[i][j] = 1;
				}
				if(i > 0)
					DP[i][j] += DP[i - 1][j];
				if(j > 0)
					DP[i][j] += DP[i][j - 1];
				if(i > 0 && j > 0)
					DP[i][j] -= DP[i - 1][j - 1];
			}
		}

		long ans = 0;
		for(int i = 0 ; i < m ; ++i)
		{
			for(int j = i + 1; j < m ; ++j)
			{
				// can(low,mid,i,j)

				int s = 0, e = 0;

				while(s < n && e < n)
				{
					if(can(s,e,i,j))
					{
						
						ans += 1L*((n - e));
						++s;
					}
					else ++e;

				}

			}
		
		}
		System.out.println(ans);
	}
	static class Scanner
	{
		BufferedReader br;
		StringTokenizer st;


		Scanner(InputStream s)  { br = new BufferedReader(new InputStreamReader(s)); }
		public Scanner(String s) throws FileNotFoundException{	br = new BufferedReader(new FileReader(s));}


		String next() throws IOException
		{

			while(st == null || !st.hasMoreTokens())
				st = new StringTokenizer(br.readLine());
			return st.nextToken();

		}
		int nextInt() throws NumberFormatException, IOException { return Integer.parseInt(next()); }
		long nextLong() throws NumberFormatException, IOException { return Long.parseLong(next()); }




	}
}