Problem: Falling Block Puzzle

Block drop

You are playing a falling block puzzle. As shown in the figure below, the field of this puzzle has a shape in which cubic cells are arranged in 2 squares x 2 squares in each row, and the rows are infinitely arranged on the top.

<image>

Each cell either has one block that fits snugly in the cell, or nothing. This puzzle proceeds as follows.

1. Some blocks are installed in the initial state.
2. Drop a block that fits in 2 squares x 2 squares x 2 squares from above. However, before dropping, the block can be translated horizontally so that the block does not stick out of the field.
3. When the bottom surface of one of the dropped blocks reaches the bottom of the block or field that has already been placed, all the blocks will stop falling and stop.
4. For each stage, if all 4 squares are filled, the blocks in that stage will disappear, and the blocks above it will fall one by one. Even if there are no blocks in the cell below each block after the fall, it will not fall any further.
5. Return to 2.



Since the blocks placed in the initial state and some lumps to be dropped are given, create a program to find out how many steps can be erased by dropping all the lumps in the order given.

Input

The input consists of 100 or less datasets. Each dataset has the following form.

> (Initial block height H) (Number of lumps to drop N)
> (1st stage in the initial state)
> ...
> (H stage in the initial state)
> (1st drop)
> ...
> (Nth drop)

The first line of each dataset specifies the initial block height H (1 ≤ H ≤ 10) and the number of lumps to drop N (1 ≤ N ≤ 3). Then, the information of each stage in the initial state is given in the following format.

> c11 c12
> c21 c22

cij represents the information of each cell,'#' indicates that a block exists, and'.' Indicates that there is no block. It can be assumed that there are no blocks in all cells or no blocks in all cells for each of the first to H rows. Then, the information of each drop mass is given in the following format.

> b111 b112
> b121 b122
> b211 b212
> b221 b222

As in the initial state format,'#' indicates that a block exists, and'.' Indicates that there is no block. Each block contains at least one block. The blocks contained in the block may be touched only by the corners and sides, and are not necessarily connected by the surface.

Refer to the figure below for the correspondence of the input subscripts of the initial state and block block.

<image>

The end of the input is indicated by a single line of two zeros.

The figure below shows the first data set in the Sample Input shown later. In this dataset, one step can be erased by translating a block of blocks diagonally and then dropping them.

<image>

Output

For each dataset, output on one line how many columns can be erased at the maximum.

Sample Input


1 1

..
..
..
..
..
1 1
. #
..
..
..
..
. #
twenty two

..

..
..
. #

..
..
..
..
..
13
..
..












10 3

..

..

. #

. #
..

..

. #

. #

. #
..
. #
..
..
. #
..
. #
..
..
..
..
..
..
..
..
10 3

. #

..

..
. #
..

. #
. #

. #

..


. #
..
. #
..
..
. #
..
..
..
..
..
..
..
..
. #
0 0

Output for Sample Input


1
0
3
6
6
0





Example

Input

1 1
##
#.
..
..
#.
..
1 1
.#
#.
#.
..
..
.#
2 2
##
#.
##
#.
..
.#
##
#.
#.
..
#.
..
1 3
#.
..
##
##
##
##
##
##
##
##
##
##
##
##
10 3
##
#.
##
#.
##
.#
##
.#
#.
##
#.
##
.#
##
.#
##
.#
#.
.#
#.
#.
.#
#.
.#
#.
..
#.
..
#.
..
#.
..
10 3
##
.#
##
..
##
#.
.#
..
##
.#
.#
##
.#
##
#.
##
##
.#
..
.#
#.
#.
.#
#.
#.
#.
#.
..
..
..
..
.#
0 0


Output

1
0
3
6
6
0

Solution (in CPP):

Solution:
#include <bits/stdc++.h>

using namespace std;

#define LOG(...) fprintf(stderr, __VA_ARGS__)
//#define LOG(...)
#define FOR(i, a, b) for (int i = (int)(a); i < (int)(b); ++i)
#define RFOR(i, a, b) for (int i = (int)(b - 1); i >= (int)(a); --i)
#define REP(i, n) for (int i = 0; i < (int)(n); ++i)
#define RREP(i, n) for (int i = (int)(n - 1); i >= 0; --i)
#define ALL(a) (a).begin(), (a).end()
#define RALL(a) (a).rbegin(), (a).rend()
#define EXIST(s, e) ((s).find(e) != (s).end())
#define SORT(c) sort(ALL(c))
#define RSORT(c) sort(RALL(c))
#define SZ(a) ((int)(a).size())
#define BIT(x, i) (((x) >> (i)) & 1)
#define SQ(x) ((x) * (x))

typedef long long ll;
typedef unsigned long long ull;
typedef vector<bool> vb;
typedef vector<int> vi;
typedef vector<ll> vll;
typedef vector<vb> vvb;
typedef vector<vi> vvi;
typedef vector<vll> vvll;
typedef vector<char> vc;
typedef vector<vc> vvc;
typedef vector<string> vs;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

typedef vector<vvb> Block;

const int dx[] = {-1,0,1,0,-1,-1,1,1,0}, dy[] = {0,1,0,-1,1,-1,1,-1,0};

struct P {
    int n, flushed;
    Block field;
};

int H, N;

bool move_block(Block& block, int i) {
    Block b(2, vvb(2, vb(2)));
    REP(z, 2) REP(y, 2) REP(x, 2) {
        if (block[z][y][x]) {
            int sx = x + dx[i], sy = y + dy[i];
            if (0 <= sx && sx < 2 && 0 <= sy && sy < 2) {
                b[z][sy][sx] = true;
            } else {
                return false;
            }
        }
    }
    block = b;
    return true;
}

void fall_block(Block& block, Block& field) {
    int h = 14;
    for (; h >= 0; h--) {
        bool ok = true;
        REP(z, 2) REP(y, 2) REP(x, 2) {
            if (block[z][y][x] && field[h+z][y][x]) {
                ok = false;
            }
        }
        if (!ok) break;
    }
    h++;
    REP(z, 2) REP(y, 2) REP(x, 2) {
        if (block[z][y][x]) {
            field[h+z][y][x] = block[z][y][x];
        }
    }
}

bool is_filled(Block& field, int z) {
    bool ok = false;
    REP(y, 2) REP(x, 2) {
        if (field[z][y][x]) {
            ok = true;
        } else {
            return false;
        }
    }
    return ok;
}

int flush(Block& field) {
    int flushed = 0;
    for (int z = 0; z < 16;) {
        if (is_filled(field, z)) {
            flushed++;
            REP(y, 2) REP(x, 2) {
                field[z][y][x] = false;
            }
            FOR(h, z, 15) REP(y, 2) REP(x, 2) {
                swap(field[h][y][x], field[h+1][y][x]);
            }
        } else {
            z++;
        }
    }
    return flushed;
}

int main() {
    while (cin >> H >> N, H|N) {
        Block field(16, vvb(2, vb(2)));
        REP(z, H) REP(y, 2) REP(x, 2) {
            char c;
            cin >> c;
            field[z][y][x] = c == '#';
        }
        vector<Block> blocks(N, Block(2, vvb(2, vb(2))));
        REP(i, N) {
            REP(z, 2) REP(y, 2) REP(x, 2) {
                char c;
                cin >> c;
                blocks[i][z][y][x] = c == '#';
            }
            bool empty = true;
            REP(y, 2) REP(x, 2) {
                if (blocks[i][0][y][x]) {
                    empty = false;
                    break;
                }
            }
            if (empty) {
                REP(y, 2) REP(x, 2) {
                    swap(blocks[i][0][y][x], blocks[i][1][y][x]);
                }
            }
        }

        int ma = 0;
        queue<P> que;
        que.push({0, 0, field});
        while (!que.empty()) {
            P _p = que.front(); que.pop();
            if (_p.n == N) {
                ma = max(ma, _p.flushed);
                continue;
            }
            REP(i, 9) {
                P p = _p;
                Block block = blocks[p.n];
                if (move_block(block, i)) {
                    fall_block(block, p.field);
                    p.flushed += flush(p.field);
                    p.n++;
                    que.push(p);
                }
            }
        }
        cout << ma << endl;
    }
}