#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	int i, j;
	int res[1003];
	int ans;
	for (i = 0; i < n; i++)
	{
		printf("? %d\n", n - 1);
		if (i == n - 1)
		{
			for (j = 0; j < i - 1; j++)
				printf("%d ", j + 1);
			printf("%d\n", n - 1);
		}
		else
		{
			for (j = 0; j < i; j++)
				printf("%d ", j + 1);
			for (j = i + 1; j < n - 1; j++)
				printf("%d ", j + 1);
			printf("%d\n", n);
		}
		fflush(stdout);
		scanf("%d", &ans);
		res[i] = ans;
	}
	j = 0;
	for (i = 0; i < n; i++)
		if (res[i] == 0)
			j++;
	printf("! %d\n", j);
	for (i = 0; i < n; i++)
	{
		if (res[i] > 0)
			continue;
		j--;
		if (j > 0)
			printf("%d ", i + 1);
		else
			printf("%d\n", i + 1);
	}
	return 0;
}