#include <bits/stdc++.h>
char xx[29 + 1] = {0, 1, 2, 1, 4, 3, 2, 1, 5, 6,  2, 1, 8, 7,  5,
                   9, 8, 7, 3, 4, 7, 4, 2, 1, 10, 9, 3, 6, 11, 12};
int main() {
  static char used[(1 << 15) + 1];
  int n, a, b, s, grundy;
  scanf("%d", &n);
  s = 1 + (n > (1 << 15) ? n - (1 << 15) : 0);
  grundy = 0;
  for (a = 2; a <= n && a <= (1 << 15); a++) {
    int k;
    if (used[a]) continue;
    k = 1;
    for (b = a; b <= n / a; b *= a) {
      if (b * a <= (1 << 15))
        used[b * a] = 1;
      else
        s--;
      k++;
    }
    grundy ^= xx[k];
  }
  grundy ^= s & 1;
  printf(grundy ? "Vasya\n" : "Petya\n");
  return 0;
}
