#ifdef DEBUG
#define _GLIBCXX_DEBUG
#endif

#include <bits/stdc++.h>

using namespace std;

typedef long double ld;

#ifdef DEBUG
#define eprintf(...) fprintf(stderr, __VA_ARGS__), fflush(stderr)
#else
#define eprintf(...) ;
#endif

#define sz(x) ((int) (x).size())
#define TASK "text"

const int inf = (int) 1.01e9;
const long long infll = (long long) 1.01e18;
const ld eps = 1e-9;
const ld pi = acos((ld) -1);

mt19937 mrand(chrono::steady_clock::now().time_since_epoch().count());

int rnd(int x) {
  return mrand() % x;
}

void precalc() {
}

int n;

bool read() {
  if (scanf("%d", &n) < 1) {
    return false;
  }
  return true;
}

void solve() {
}

int main() {
  precalc();
#ifdef DEBUG
  assert(freopen(TASK ".in", "w", stdout));
#endif
  int n = 500, a = 490, b = 500;
  printf("%d %d %d\n", n, a, b);
  for (int i = 0; i < 5; i++) {
    printf("%d ", rnd(500) + 1);
  }
  for (int i = 0; i < n - 5; i++) {
    printf("1 ");
  }
  printf("\n");
  return 0;
}