#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);

	int n;
	for (n = N; n % 2 == 0; n /= 2);
	if (n == 1) printf("-1 -1 -1\n");
	else {
		for (n ^= 1; n * 2 < N; n *= 2);
		printf("%d %d %d\n", n, N, n ^ N);
	}
	fflush(stdout);
	return 0;
}