#include <bits/stdc++.h>
#include <atcoder/all>

using namespace std;

//#define DISABLE_PRINT

#if defined(ENABLE_PRINT) && !defined(DISABLE_PRINT)

#define P(...) fprintf(stderr, __VA_ARGS__)
#define P2(fmt) fprintf(stderr, fmt)
#define LP fprintf(stderr, "L: %d\n", __LINE__)

#else

#define P(...) ((void)0)
#define P2(fmt) ((void)0)
#define LP ((void)0)

#endif

#define rep(i, n) for(int i = 0; i < (int)(n); ++i)
#define ALL(x) x.begin(),x.end()

using ll = long long;
using ull = unsigned long long;

int main(int, const char**)
{
    int N; cin >> N;
    int A = 0, B = 0;
    rep(i, 30) {
        if(((N >> i) & 1) == 1) {
            if(A == 0) {
                A = (1 << i);
            }
            else B |= (1 << i);
        }
    }
    if(A == 0 || B == 0) {
        printf("-1 -1 -1\n");
        return 0;
    }
    printf("%d %d %d\n", A, B, A ^ B);
    return 0;
}