#include<bits/stdc++.h>
using namespace std;

#include<atcoder/all>
using namespace atcoder;
using mint=atcoder::modint998244353;

// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")

#define int long long

#define rep(i,n) for(int i=0;i<(n);i++)
#define rng(i,l,r) for(int i=(l);i<(r);i++)
#define rrep(i,n) for(int i=(n)-1;i>=0;i--)
#define rrng(i,l,r) for(int i=(r)-1;i>=(l);i--)

#define fi first
#define se second
#define all(x) (x).begin(),(x).end()

// struct fast_io{fast_io(){std::cin.tie(nullptr)->sync_with_stdio(false);}}_;

signed main(){
	vector<pair<int,int>> ans;
	auto slv=[&](auto slv,int li,int ri,int lj,int rj)->void {
		if(ri-li==1&&rj-lj==1){
			ans.push_back({li,lj});
			return;
		}
		int mi=(li+ri)/2,mj=(lj+rj)/2;

		{
			cout<<"? "<<li<<" "<<mi-1<<" "<<lj<<" "<<mj-1<<endl;
			int x;cin>>x;
			if(x)slv(slv,li,mi,lj,mj);
		}
		{
			cout<<"? "<<mi<<" "<<ri-1<<" "<<lj<<" "<<mj-1<<endl;
			int x;cin>>x;
			if(x)slv(slv,mi,ri,lj,mj);
		}
		{
			cout<<"? "<<li<<" "<<mi-1<<" "<<mj<<" "<<rj-1<<endl;
			int x;cin>>x;
			if(x)slv(slv,li,mi,mj,rj);
		}
		{
			cout<<"? "<<mi<<" "<<ri-1<<" "<<mj<<" "<<rj-1<<endl;
			int x;cin>>x;
			if(x)slv(slv,mi,ri,mj,rj);
		}
	};

	slv(slv,0,1000001,0,1000001);

	cout<<"!"<<" "<<ans.size()<<endl;
	for(auto&&[x,y]:ans){
		cout<<x<<" "<<y<<endl;
	}
	return 0;
}