#include <bits/stdc++.h>
using namespace std;
int v[] = {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};
char foi[200000000];
int main() {
  int n;
  scanf("%d", &n);
  int ans = 0;
  int tot = 0;
  for (int i = 2; i * i <= n; i++)
    if (!(foi[i / 8] & (1 << (i % 8)))) {
      int qnt = 0;
      for (long long k = i; k <= n; k *= i) {
        foi[k / 8] |= (1 << (k % 8));
        qnt++, tot++;
      }
      ans ^= v[qnt];
    }
  printf("%s\n", (ans ^ ((n - tot) % 2)) ? "Vasya" : "Petya");
}
