Problem: Autumn came late to the kingdom of Far Far Away. The harvest was exuberant and it is now time to get ready for the winter. As most people celebrate the Harvest festival, Simon the Caretaker tries to solve a very non-trivial task of how to find place for the agricultural equipment in the warehouse.

He's got problems with some particularly large piece of equipment, which is, of course, turboplows. The problem is that when a turboplow is stored, it takes up not some simply rectangular space. It takes up a T-shaped space like on one of the four pictures below (here character "#" stands for the space occupied by the turboplow and character "." stands for the free space):
    
    
    ###      ..#      .#.      #..  
    .#.      ###      .#.      ###  
    .#.      ..#      ###      #..  
    

Simon faced a quite natural challenge: placing in the given n × m cells warehouse the maximum number of turboplows. As one stores the turboplows, he can rotate them in any manner (so that they take up the space like on one of the four pictures above). However, two turboplows cannot "overlap", that is, they cannot share the same cell in the warehouse.

Simon feels that he alone cannot find the optimal way of positioning the plugs in the warehouse that would maximize their quantity. Can you help him?

Input

The only line contains two space-separated integers n and m — the sizes of the warehouse (1 ≤ n, m ≤ 9).

Output

In the first line print the maximum number of turboplows that can be positioned in the warehouse. In each of the next n lines print m characters. Use "." (dot) to mark empty space and use successive capital Latin letters ("A" for the first turboplow, "B" for the second one and so on until you reach the number of turboplows in your scheme) to mark place for the corresponding turboplows considering that they are positioned in the optimal manner in the warehouse. The order in which you number places for the turboplows does not matter. If there are several optimal solutions for a warehouse of the given size, print any of them.

Examples

Input

3 3


Output

1
AAA
.A.
.A.


Input

5 6


Output

4
A..C..
AAAC..
ABCCCD
.B.DDD
BBB..D


Input

2 2


Output

0
..
..

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
set<vector<int> > ex;
map<vector<int>, pair<pair<int, int>, int> > ans;
int n, m, ret = 0;
vector<int> init, tmp, last;
int out[10][10];
void dfs(vector<int> cur, int xx, int yy, int now, int rem) {
  if (yy == m) {
    xx++;
    yy = 0;
  }
  if (now + rem / 5 <= ret) return;
  if (xx == n) {
    last = cur;
    ret = now;
    return;
  }
  if (xx <= n - 3 && yy <= m - 3) {
    if (((cur[xx] >> yy) & 7) == 7 && ((cur[xx + 1] >> (yy + 1)) & 1) &&
        ((cur[xx + 2] >> (yy + 1)) & 1)) {
      tmp = cur;
      tmp[xx] ^= (7 << yy);
      tmp[xx + 1] ^= (1 << (yy + 1));
      tmp[xx + 2] ^= (1 << (yy + 1));
      if (ex.count(tmp) == 0) {
        ex.insert(tmp);
        ans[tmp] = make_pair(make_pair(xx, yy), 1);
        dfs(tmp, xx, yy + 1, now + 1, rem - 5);
      }
    }
    if (((cur[xx + 2] >> yy) & 7) == 7 && ((cur[xx] >> (yy + 1)) & 1) &&
        ((cur[xx + 1] >> (yy + 1)) & 1)) {
      tmp = cur;
      tmp[xx + 2] ^= (7 << yy);
      tmp[xx] ^= (1 << (yy + 1));
      tmp[xx + 1] ^= (1 << (yy + 1));
      if (ex.count(tmp) == 0) {
        ex.insert(tmp);
        ans[tmp] = make_pair(make_pair(xx, yy), 2);
        dfs(tmp, xx, yy + 1, now + 1, rem - 6);
      }
    }
    if (((cur[xx + 1] >> yy) & 7) == 7 && ((cur[xx] >> yy) & 1) &&
        ((cur[xx + 2] >> yy) & 1)) {
      tmp = cur;
      tmp[xx] ^= (1 << yy);
      tmp[xx + 1] ^= (7 << yy);
      tmp[xx + 2] ^= (1 << yy);
      if (ex.count(tmp) == 0) {
        ex.insert(tmp);
        ans[tmp] = make_pair(make_pair(xx, yy), 3);
        dfs(tmp, xx, yy + 1, now + 1, rem - 5);
      }
    }
    if (((cur[xx + 1] >> yy) & 7) == 7 && ((cur[xx] >> (yy + 2)) & 1) &&
        ((cur[xx + 2] >> (yy + 2)) & 1)) {
      tmp = cur;
      tmp[xx] ^= (1 << (yy + 2));
      tmp[xx + 1] ^= (7 << yy);
      tmp[xx + 2] ^= (1 << (yy + 2));
      if (ex.count(tmp) == 0) {
        ex.insert(tmp);
        ans[tmp] = make_pair(make_pair(xx, yy), 4);
        dfs(tmp, xx, yy + 1, now + 1, rem - 6);
      }
    }
  }
  dfs(cur, xx, yy + 1, now, rem - ((cur[xx] >> yy) & 1));
  return;
}
int main() {
  scanf("%d%d", &n, &m);
  init.clear();
  for (int i = 0; i < n; i++) init.push_back((1 << m) - 1);
  ex.insert(init);
  ans[init] = make_pair(make_pair(-1, -1), 0);
  last = init;
  dfs(init, 0, 0, 0, n * m);
  for (int i = 0; i < n; i++)
    for (int j = 0; j < m; j++) out[i][j] = 0;
  int t = ret;
  while (last != init) {
    pair<pair<int, int>, int> stp = ans[last];
    int xx = stp.first.first, yy = stp.first.second;
    if (stp.second == 1) {
      out[xx][yy] = out[xx][yy + 1] = out[xx][yy + 2] = out[xx + 1][yy + 1] =
          out[xx + 2][yy + 1] = t;
      last[xx] |= (7 << yy);
      last[xx + 1] |= (1 << (yy + 1));
      last[xx + 2] |= (1 << (yy + 1));
    } else if (stp.second == 2) {
      out[xx][yy + 1] = out[xx + 1][yy + 1] = out[xx + 2][yy] =
          out[xx + 2][yy + 1] = out[xx + 2][yy + 2] = t;
      last[xx] |= (1 << (yy + 1));
      last[xx + 1] |= (1 << (yy + 1));
      last[xx + 2] |= (7 << yy);
    } else if (stp.second == 3) {
      out[xx][yy] = out[xx + 1][yy] = out[xx + 2][yy] = out[xx + 1][yy + 1] =
          out[xx + 1][yy + 2] = t;
      last[xx] |= (1 << yy);
      last[xx + 1] |= (7 << yy);
      last[xx + 2] |= (1 << yy);
    } else {
      out[xx][yy + 2] = out[xx + 1][yy + 2] = out[xx + 2][yy + 2] =
          out[xx + 1][yy + 1] = out[xx + 1][yy] = t;
      last[xx] |= (1 << (yy + 2));
      last[xx + 1] |= (7 << yy);
      last[xx + 2] |= (1 << (yy + 2));
    }
    t--;
  }
  printf("%d\n", ret);
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < m; j++)
      if (out[i][j] == 0)
        putchar('.');
      else
        putchar('A' + out[i][j] - 1);
    puts("");
  }
  return 0;
}