#include <bits/stdc++.h>   using namespace std;   inline long long read() {     char ch = getchar();     long long x = 0, f = 1;     while (ch <  0  || ch >  9 ) f = ch ==  -  ? -1 : 1, ch = getchar();     while (ch >=  0  && ch <=  9 ) x = x * 10 + ch -  0 , ch = getchar();     return x * f;   }   int main(int argc, char *argv[]) {     ios::sync_with_stdio(false);     cin.tie(0);     long long base = (1LL << 7) - 1;     long long res = 0, cur;     printf( ? );     for (long long i = (1); i <= (100); i += (1)) printf(  %lld , i);     putchar(  n );     fflush(stdout);     cur = read();     res += (cur >> 7) << 7;     printf( ? );     for (long long i = (1); i <= (100); i += (1)) printf(  %lld , i << 7);     putchar(  n );     fflush(stdout);     cur = read();     res += cur & base;     printf( ! %lld n , res);     fflush(stdout);     return 0;   }   