Problem: Your friend Salem is Warawreh's brother and only loves math and geometry problems. He has solved plenty of such problems, but according to Warawreh, in order to graduate from university he has to solve more graph problems. Since Salem is not good with graphs he asked your help with the following problem.

<image>

You are given a complete directed graph with n vertices without self-loops. In other words, you have n vertices and each pair of vertices u and v (u ≠ v) has both directed edges (u, v) and (v, u).

Every directed edge of the graph is labeled with a single character: either 'a' or 'b' (edges (u, v) and (v, u) may have different labels).

You are also given an integer m > 0. You should find a path of length m such that the string obtained by writing out edges' labels when going along the path is a palindrome. The length of the path is the number of edges in it.

You can visit the same vertex and the same directed edge any number of times.

Input

The first line contains a single integer t (1 ≤ t ≤ 500) — the number of test cases.

The first line of each test case contains two integers n and m (2 ≤ n ≤ 1000; 1 ≤ m ≤ 10^{5}) — the number of vertices in the graph and desirable length of the palindrome.

Each of the next n lines contains n characters. The j-th character of the i-th line describes the character on the edge that is going from node i to node j.

Every character is either 'a' or 'b' if i ≠ j, or '*' if i = j, since the graph doesn't contain self-loops.

It's guaranteed that the sum of n over test cases doesn't exceed 1000 and the sum of m doesn't exceed 10^5.

Output

For each test case, if it is possible to find such path, print "YES" and the path itself as a sequence of m + 1 integers: indices of vertices in the path in the appropriate order. If there are several valid paths, print any of them.

Otherwise, (if there is no answer) print "NO".

Example

Input


5
3 1
*ba
b*b
ab*
3 3
*ba
b*b
ab*
3 4
*ba
b*b
ab*
4 6
*aaa
b*ba
ab*a
bba*
2 6
*a
b*


Output


YES
1 2
YES
2 1 3 2
YES
1 3 1 3 1
YES
1 2 1 3 4 1 4
NO

Note

The graph from the first three test cases is shown below:

<image>

In the first test case, the answer sequence is [1,2] which means that the path is:

$$$1 \xrightarrow{b} 2$$$

So the string that is obtained by the given path is b.

In the second test case, the answer sequence is [2,1,3,2] which means that the path is:

$$$2 \xrightarrow{b} 1 \xrightarrow{a} 3 \xrightarrow{b} 2$$$

So the string that is obtained by the given path is bab.

In the third test case, the answer sequence is [1,3,1,3,1] which means that the path is:

$$$1 \xrightarrow{a} 3 \xrightarrow{a} 1 \xrightarrow{a} 3 \xrightarrow{a} 1$$$

So the string that is obtained by the given path is aaaa.

The string obtained in the fourth test case is abaaba.

Solution (in CPP):

Solution:
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <cmath>
#include <vector>
#include <set>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <queue>
#include <ctime>
#include <cassert>
#include <complex>
#include <string>
#include <cstring>
#include <chrono>
#include <random>
#include <bitset>

using namespace std;
#define ll long long
#define pi pair<int,int>
#define pll pair<ll,ll>
#define ld  long double
  
const int INF = 1e9 + 7;

void solve(){
	int n , m;
	cin >> n >> m;

	vector<string> g(n);
	for(int i = 0; i < n; i++){
		cin >> g[i];
	}
	int bst1 = -1 , bst2 = -1;
	for(int i = 0; i < n; i++){
		for(int j = i + 1; j < n; j++){
			if(g[i][j] == g[j][i]){
				bst1 = i , bst2 = j;
				break;
			}
		}
	}
	if(bst1 != -1){
		cout << "YES" << endl;
		for(int i = 0; i < m + 1; i++){
			if(i > 0) cout << ' ';
			if(i & 1) cout << (bst1 + 1);
			else cout << (bst2 + 1);
		}
		cout << '\n';
		return;
	}
	if(m & 1){
		int pick1 = 1; int pick2 = n;
		cout << "YES" << endl;
		assert(g[pick1 - 1][pick2 - 1] != g[pick2 - 1][pick1 - 1]);
		for(int i = 0; i < m + 1; i++){
			if(i > 0) cout << ' ';
			if(i & 1) cout << pick1;
			else cout << pick2;
		}
		cout << '\n';
		return;
	}
	vector<int> in(n , -1);
	vector<int> out(n , -1);
	for(int i = 0; i < n; i++){
		for(int j = 0; j < n; j++){
			if(j != i){
				if(g[i][j] == 'a') {
					out[i] = j;
					in[j] = i;
				}
			}
		}
	}

	int v1 = -1 , v2 = -1 , v3 = -1;
	for(int i = 0; i < n; i++){
		if(in[i] != -1 && out[i] != -1){
			v1 = i + 1; v2 = out[i] + 1; v3 = in[i] + 1;
		}
	}
	if(v1 == -1){
		cout << "NO" << endl;
		return;
	}
	assert(m % 2 == 0);
	vector<int> take(4);
	if(m % 4 == 0){
		take[0] = v1; take[1] = v2; take[2] = v1; take[3] = v3;
	} else{
		take[0] = v2 , take[1] = v1 , take[2] = v3; take[3] = v1;
	}
	cout << "YES" << endl;
	for(int i = 0; i < m + 1; i++){
		if(i > 0) cout << " ";
		cout << take[i % 4];
	}
	cout << '\n';
}

int main(){
    ios :: sync_with_stdio(false); 
    cin.tie(nullptr); 
    cout.tie(nullptr);
    int tt = 1;
    cin >> tt;
    for(int tc = 1; tc <= tt; tc++){
        // cout << "Case #" << tc << ": ";
        solve();
    }
}