/* -*- coding: utf-8 -*-
 *
 * 2819.cc:  No.2819 Binary Binary-Operator - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* main */

int main() {
  int x, y;
  scanf("%d%d", &x, &y);

  int vs[4] = {x, y, y, y};
  puts("4");
  for (int i = 0; i < 4; i++)
    printf("%d%c", vs[i], (i < 3) ? ' ' : '\n');
  fflush(stdout);

  int t;
  scanf("%d", &t);

  printf("%d\n", t); fflush(stdout);
  
  return 0;
}