#include <bits/stdc++.h>

using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;

const int N = 1 << 20;

int cntComps;
vector<PII> g[N];
int col[N];
VI comps[6];
string ans;

bool dfs(int v)
{
	comps[cntComps].PB(v);
	for (auto [to, w] : g[v])
	{
		if (col[to] == -1)
		{
			col[to] = col[v] ^ w;
			dfs(to);
		}
		if (col[to] != (col[v] ^ w))
		{
			return false;
		}
	}
	return true;
}

void solve()
{
	int n;
	cin >> n;
	VI p(n);
	FOR(i, 0, n)
	{
		cin >> p[i];
		p[i]++;
	}
	FOR(i, 0, n)
	{
		if (i - p[i] + 1 < 0 || i + p[i] - 1 >= n)
		{
			cout << "0\n";
			return;
		}
	}
	FOR(i, 0, n)
		g[i].clear();
	cntComps = 0;
	FOR(i, 0, 6)
		comps[i].clear();
	fill(col, col + n, -1);
	int l = -1, r = -1;
	FOR(i, 0, n)
	{
		int cur = 0;
		if (i <= r)
			cur = min(r - i + 1, p[l + (r - i)]);
		if (cur > p[i])
		{
			cout << "0\n";
			return;
		}
		while (cur < p[i])
		{
			if (cur > 0)
			{
				g[i - cur].PB({i + cur, 0});
				g[i + cur].PB({i - cur, 0});
			}
			cur++;
		}
		if (0 <= i - cur && i + cur < n)
		{
			g[i - cur].PB({i + cur, 1});
			g[i + cur].PB({i - cur, 1});
		}
		if (i + cur - 1 > r)
		{
			r = i + cur - 1;
			l = i - cur + 1;
		}
	}
	FOR(i, 0, n)
	{
		if (col[i] == -1)
		{
			if (cntComps == 6)
			{
				cout << "0\n";
				return;
			}
			col[i] = 0;
			if (!dfs(i))
			{
				cout << "0\n";
				return;
			}
			cntComps++;
		}
	}
	cout << (1 << cntComps) << "\n";
	ans.resize(n);
	FOR(mask, 0, 1 << cntComps)
	{
		FOR(i, 0, cntComps)
		{
			int b = (mask >> (cntComps - 1 - i)) & 1;
			for (int v : comps[i])
			{
				ans[v] = (col[v] ^ b) + '0';
			}
		}
		cout << ans << "\n";
	}
}

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	int t;
	cin >> t;
	while (t--)
		solve();
	return 0;
}