#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return true; } return false; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return true; } return false; }
#define vi vector<int>
#define vl vector<ll>
#define vii vector<pair<int,int>>
#define vll vector<pair<ll,ll>>
#define vvi vector<vector<int>>
#define vvl vector<vector<ll>>
#define vvii vector<vector<pair<int,int>>>
#define vvll vector<vector<pair<ll,ll>>>
#define vst vector<string>
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pb push_back
#define all(x) (x).begin(),(x).end()
#define mkunique(x) sort(all(x));(x).erase(unique(all(x)),(x).end())
#define fi first
#define se second
#define mp make_pair
#define si(x) int(x.size())
const int mod=998244353,MAX=300005,INF=15<<26;

int ask(int a,int b,int c,int d){
    cout<<"? "<<a<<" "<<b<<" "<<c<<" "<<d<<endl;
    int re;cin>>re;
    return re;
}

int main(){
    
    const int M=1000000;
    
    vii ans;
    
    int L=0;
    while(L<=M){
        int a=ask(L,M,0,M);
        if(a==0) break;
        int ok=M,ng=L-1;
        while(ok-ng>1){
            int mid=(ok+ng)/2;
            int b=ask(L,mid,0,M);
            if(b) ok=mid;
            else ng=mid;
        }
        
        int U=0;
        while(U<=M){
            int a=ask(ok,ok,U,M);
            if(a==0) break;
            int x=M,y=U-1;
            while(x-y>1){
                int mid=(x+y)/2;
                int b=ask(ok,ok,U,mid);
                if(b) x=mid;
                else y=mid;
            }
            ans.pb(mp(ok,x));
            U=x+1;
        }
        
        L=ok+1;
    }
    
    cout<<"! "<<si(ans)<<endl;
    for(auto [a,b]:ans) cout<<a<<" "<<b<<endl;
}