#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define rd() ({int _v=0,_c;while(_c=*rp++-48,_c>=0)_v=_v*10+_c;_v;})
#define wt(v) ({unsigned _z=v;ulong _n=0,_d=0;while(++_n,_d=_d<<8|0x30|_z%10,_z/=10);*(ulong*)wp=_d;wp+=_n;})
#define wta(v) ({char*wp=ap;wt(v);ap=wp;})
#define rep(v,e) for(long v=0;v<e;++v)

typedef unsigned long ulong;

char rbuf[8192];
char wbuf[8192];
char abuf[8192];
char*wp;
long rn;
long qn;

struct S {
	int v,q;
};
struct S a[1000];

void f(long i){
	if(a[i].q==-2){
		a[i].v=-1;
	}else{
		long c1=i*2+1;
		long c2=i*2+2;
		long c=0;
		if(a[c1].v<0){
			c=c2;
		}else
		if(a[c2].v<0){
			c=c1;
		}else
		if(a[i].q>=0){
			while(rn<=a[i].q*2){
				rn+=read(0,rbuf+rn,qn*2-rn);
			}
			c=rbuf[a[i].q*2]&1?c1:c2;
		}
		if(c){
			a[i].q=-1;
			a[i].v=a[c].v;
			a[c].v=0;
		}
		if(!a[c1].v){
			f(c1);
		}
		if(!a[c2].v){
			f(c2);
		}
		if(a[c1].v>0&&a[c2].v>0){
			a[i].q=qn++;
			*wp++='?';
			*wp++=' ';
			wt(a[c1].v);
			*wp++=' ';
			wt(a[c2].v);
			*wp++='\n';
		}
	}
}

int main(){
	long n;
	{
		read(0,rbuf,sizeof rbuf);
		char*rp=rbuf;
		n=rd();
	}
	rep(i,n-1){
		a[i].v=0;
		a[i].q=-1;
	}
	rep(i,n){
		a[n-1+i].v=i+1;
		a[n-1+i].q=-2;
	}
	char*ap=abuf;
	*ap++='!';
	*ap++='\n';
	wta(n-1);
	*ap++='\n';
	while(1){
		wp=wbuf;
		f(0);
		if(wp!=wbuf){
			write(1,wbuf,wp-wbuf);
		}
		if(a[0].v<0){
			break;
		}
		if(a[0].v>0){
			wta(a[0].v);
			*ap++=' ';
			a[0].v=0;
		}
	}
	write(1,abuf,ap-abuf);
	_exit(0);
}