/**
 *   @FileName	a.cpp
 *   @Author	kanpurin
 *   @Created	2020.11.28 15:22:06
**/

#include "bits/stdc++.h" 
using namespace std; 
typedef long long ll;

int bitpopcount(ll n) {
    int res = 0;
    while (n) {
        if (n & 1) res++;
        n >>= 1;
    }
    return res;
}
int main() {
    int n;cin >> n;
    if (bitpopcount(n) == 1) {
        puts("-1 -1 -1");
        return 0;
    }
    cout << n << " " << (n&(n-1)) << " " << (n^(n&(n-1))) << endl;
    return 0;
}