#include<bits/stdc++.h>
// #include<atcoder/all>
using namespace std;
// using namespace atcoder;
#define int long long
#define rep(i, n) for(int i = 0;i<(int)(n);i++)
#define all(v) (v).begin(),(v).end()
using ll = long long;
using P = pair<int,int>;

signed main() {
    int n;cin >> n;
    int k = 0,count = 0;
    rep(i, 32) if(n&(1LL<<i)) k = i,count++;
    if(count==1) printf("-1 -1 -1\n");
    else cout << n << ' ' << (1LL<<k) << ' ' << (n^(1LL<<k)) << endl;
    return 0;
}