#include <bits/stdc++.h>
using namespace std;
template <class Type>
bool IsPrime(Type value) {
  for (Type i = 2; i <= value / 2; i++)
    if ((value % i) == 0) return 0;
  return 1;
}
int ans;
int b[1005];
int main() {
  int n, x, y;
  cin >> n >> x >> y;
  int i;
  int xors = 0;
  for (i = 0; i < 10; i++) {
    int sum = 0;
    int j;
    for (j = 0; j < n; j++) {
      if ((1 << i) & j) sum++;
    }
    if (sum == 0) {
      ans = 0;
      continue;
    }
    cout << "? " << sum << " ";
    for (j = 0; j < n; j++) {
      if ((1 << i) & j) {
        cout << j + 1 << " ";
      }
    }
    printf("\n");
    fflush(stdout);
    cin >> ans;
    if (sum % 2 == 0) {
      if (ans != 0) ans = 1;
    } else {
      if (ans == x)
        ans = 0;
      else
        ans = 1;
    }
    if (ans == 1) xors ^= (1 << i);
  }
  int t = 0;
  for (i = 0; i < n; i++) {
    if (i < (i ^ xors)) {
      b[t++] = i;
    }
  }
  int xor2 = 0;
  for (i = 0; i < 9; i++) {
    int sum = 0;
    int j;
    for (j = 0; j < t; j++) {
      if ((1 << i) & j) sum++;
    }
    if (sum == 0) {
      continue;
    }
    cout << "? " << sum << " ";
    for (j = 0; j < t; j++) {
      if ((1 << i) & j) {
        cout << b[j] + 1 << " ";
      }
    }
    printf("\n");
    fflush(stdout);
    cin >> ans;
    if (sum % 2 == 0) {
      if (ans != 0) ans = 1;
    } else {
      if (ans == x)
        ans = 0;
      else
        ans = 1;
    }
    if (ans == 1) xor2 ^= (1 << i);
  }
  printf("! %d %d\n", b[xor2] + 1, (b[xor2] ^ xors) + 1);
  fflush(stdout);
  return 0;
}
