#include <bits/stdc++.h>
using ll = long long;
using namespace std;
ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; }
ll lcm(ll a, ll b) { return a / gcd(a, b) * b; }
int main() {
  cin.tie(0);
  ios::sync_with_stdio(0);
  int n, k, s;
  cin >> n >> k >> s;
  cout << 3 << " " << 3 << " " << 1 << " " << 1 << endl;
}
