#include <bits/stdc++.h>
using namespace std;
using namespace chrono;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif

int main() {
    const auto start = steady_clock::now();

    random_device rnd;
    mt19937 engine(rnd());

    int64_t n;
    cin >> n;

    uniform_int_distribution<> randn(1, n);

    while (duration_cast<milliseconds>(steady_clock::now() - start).count() <
           1900) {
        int64_t a = randn(engine), b = randn(engine);
        int64_t c = a ^ b;

        if (1 <= c && (a | b) == (b | c) && (b | c) == (c | a) &&
            (c | a) == n) {
            cout << a << ' ' << b << ' ' << c << endl;
            return 0;
        }
    }

    cout << "-1 -1 -1" << endl;

    return 0;
}