#include <bits/stdc++.h>
using namespace std;
inline int read()
{
	int x=0,f=1; char ch=getchar();
	for(;!isdigit(ch);ch=getchar()) if(ch=='-') f=-1;
	for(;isdigit(ch);ch=getchar()) x=(x<<3)+(x<<1)+ch-'0';
	return (f==1)?x:-x;
}
typedef long long ll;
const int maxn=2005;
int n,sta[maxn],top;
int main()
{
	int T=read();
	while(T--)
	{
		n=read(); top=0;
		for(int i=2;i<=n;i++)
		{
			printf("? %d 1\n",i-1);
			for(int j=1;j<i;j++) printf("%d%c",j,(j==i-1)?'\n':' ');
			printf("%d\n",i);
			fflush(stdout);
			int res;
			scanf("%d",&res);
			if(res==0) continue;
			int l=1,r=i-1,mid,ans=0;
			while(l<=r)
			{
				mid=(l+r)>>1;
				printf("? %d 1\n",mid);
				for(int j=1;j<=mid;j++) printf("%d%c",j,(j==mid)?'\n':' ');
				printf("%d\n",i);
				fflush(stdout);
				scanf("%d",&res);
				if(res==0) l=mid+1;
				else ans=mid,r=mid-1;
			}
			for(int j=1;j<ans;j++) sta[++top]=j;
			for(int j=ans+1;j<i;j++) sta[++top]=j;
			for(int j=i+1;j<=n;j++)
			{
				printf("? 1 1\n");
				printf("%d\n%d\n",i,j);
				fflush(stdout);
				scanf("%d",&res);
				if(res==0) sta[++top]=j;
			}
			break;
		}
		printf("! %d ",top);
		for(int i=1;i<=top;i++) printf("%d%c",sta[i],(i==top)?'\n':' ');
		fflush(stdout);
	}
	return 0;
}
