Công viên xanh

Sắp tới Công ty TNHH Linh Chi có kế hoạch tìm mua một khu đất đẹp để xây công viên xanh cho cán bộ nhân viên công ty chụp ảnh và đi dạo. Khu đất này có dạng một hình chữ nhật kích thước \(m×n\) (đơn vị diện tích). Khu đất được chia thành \(m×n\) ô vuông đơn vị có cạnh là 1 đơn vị dài. Mỗi ô vuông đã được niêm yết giá và công ty nhà đất chỉ bán theo từng ô vuông đơn vị.

Để xây được công viên xanh, lãnh đạo công ty cần phải tìm và mua một mảnh đất hình chữ nhật. Công ty rất muốn có được toàn bộ khu đất nhưng khổ nỗi kinh phí mua đất chỉ có \(k\) đồng. Do đó, lãnh đạo công ty đến nhờ một bạn tư vấn kiến trúc sư tìm một mảnh đất thích hợp để xây dựng công viên với diện tích lớn nhất có thể.

Input: Gồm nhiều dòng:

• Dòng 1: Chứa hai số nguyên \(m\) và \(n\) là kích thước khu đất.
• Dòng 2: Chứa số nguyên \(k\) là kinh phí để mua đất.
• \(m\) dòng tiếp theo, mỗi dòng chứa \(n\) số nguyên cách nhau thể hiện giá của các ô đất.

Output: Gồm một số duy nhất là diện tích lớn nhất có thể của mảnh đất hình chữ nhật dùng để xây dựng công viên. Nếu không có thì là 0.

Ví dụ:

Giải thích: Công ty Linh Chi có thể mua trọn vùng đất hình chữ nhật có góc trái trên là ô vuông dòng 2 cột 1; và góc phải dưới là ô vuông dòng 3 cột 5. Chi phí bỏ ra là 14 đồng, không vượt quá kinh phí là 15 đồng.