#include <bits/stdc++.h>
char q[100010];
long long quick(long long a, long long b) {
  long long ret = 1;
  while (b) {
    if (b & 1) {
      ret *= a;
    }
    a *= a;
    b >>= 1;
  }
  return ret;
}
int main() {
  long long n, k;
  scanf("%I64d", &n);
  if (n == 1)
    printf("-1\n");
  else {
    printf("%I64d %I64d %I64d\n", n, n + 1, n * (n + 1));
  }
  return 0;
}
