Problem: You have a rectangular chocolate bar consisting of n × m single squares. You want to eat exactly k squares, so you may need to break the chocolate bar. 

In one move you can break any single rectangular piece of chocolate in two rectangular pieces. You can break only by lines between squares: horizontally or vertically. The cost of breaking is equal to square of the break length.

For example, if you have a chocolate bar consisting of 2 × 3 unit squares then you can break it horizontally and get two 1 × 3 pieces (the cost of such breaking is 32 = 9), or you can break it vertically in two ways and get two pieces: 2 × 1 and 2 × 2 (the cost of such breaking is 22 = 4).

For several given values n, m and k find the minimum total cost of breaking. You can eat exactly k squares of chocolate if after all operations of breaking there is a set of rectangular pieces of chocolate with the total size equal to k squares. The remaining n·m - k squares are not necessarily form a single rectangular piece.

Input

The first line of the input contains a single integer t (1 ≤ t ≤ 40910) — the number of values n, m and k to process.

Each of the next t lines contains three integers n, m and k (1 ≤ n, m ≤ 30, 1 ≤ k ≤ min(n·m, 50)) — the dimensions of the chocolate bar and the number of squares you want to eat respectively.

Output

For each n, m and k print the minimum total cost needed to break the chocolate bar, in order to make it possible to eat exactly k squares.

Examples

Input

4
2 2 1
2 2 3
2 2 2
2 2 4


Output

5
5
4
0

Note

In the first query of the sample one needs to perform two breaks:

  * to split 2 × 2 bar into two pieces of 2 × 1 (cost is 22 = 4), 
  * to split the resulting 2 × 1 into two 1 × 1 pieces (cost is 12 = 1). 



In the second query of the sample one wants to eat 3 unit squares. One can use exactly the same strategy as in the first query of the sample.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
template <class T>
inline void read(T &x) {
  char ch;
  bool flag = 0;
  while (!isdigit(ch = getchar())) flag |= (ch == '-');
  x = ch - '0';
  while (isdigit(ch = getchar())) x = x * 10 + ch - '0';
  if (flag) x = -x;
}
int dp[37][37][57];
int main() {
  for (int i = 0; i <= 30; ++i)
    for (int j = 0; j <= 30; ++j)
      for (int k = 0; k <= 50; ++k) {
        dp[i][j][k] = INT_MAX >> 2;
        if (!k || k == i * j) {
          dp[i][j][k] = 0;
          continue;
        }
        for (int a = 0; a <= k; ++a) {
          for (int b = 1; b < j; ++b)
            dp[i][j][k] =
                min(dp[i][j][k], dp[i][b][a] + dp[i][j - b][k - a] + i * i);
          for (int b = 1; b < i; ++b)
            dp[i][j][k] =
                min(dp[i][j][k], dp[b][j][a] + dp[i - b][j][k - a] + j * j);
        }
      }
  int T;
  read(T);
  while (T--) {
    int a, b, c;
    read(a);
    read(b);
    read(c);
    cout << dp[a][b][c] << "\n";
  }
}