#include <bits/stdc++.h>
using namespace std;
//ファイル名はabc(回数)_(難易度)で
//実行は./cptest_atcoder.sh ファイル名
int main() {
    int N;
    cin >> N;
    if(__builtin_popcount(N)<2){
        cout << -1 << " " << -1 << " " << -1 << endl;
    }
    else{
        int A;
        A = N;
        int B = 1;
        while(N>=B){
            B*=2;
        }
        B/=2;
        int C = A-B;
        cout << A << " " << B << " " << C << endl;
    }
}