#include<bits/stdc++.h>
//#include<atcoder/all>
using namespace std;
using ll = long long;

int main()
{
	ll n;
	cin >> n;
	ll a,b,c;
	a=b=n;
	c=0;
	for(int bit = 0;bit<40;bit++){
		if(n>>bit&1){
			a -= 1LL<<bit;
			c += 1LL<<bit;
			break;
		}
		
	}
	if(a*c==0){
		cout<<-1<<' '<<-1<<' '<<-1<<endl;
	}
	else cout<<a<<' '<<b<<' '<<c<<endl;
}