#include <bits/stdc++.h>
using namespace std;
using lint = long long;
template<class T = int> using V = vector<T>;
template<class T = int> using VV = V< V<T> >;

int main() {
  cin.tie(nullptr); ios::sync_with_stdio(false);
  string s; cin >> s;
  if (s == "1000") {
    return cout << "2000 abcdefg" << '\n', 0;
  }
  if (s == "51") {
    return cout << "1\n2\nFizz\n4\nBuzz\nFizz\n7\n8\nFizz\nBuzz\n11\nFizz\n13\n14\nFizzBuzz\n16\n17\nFizz\n19\nBuzz\nFizz\n22\n23\nFizz\nBuzz\n26\nFizz\n28\n29\nFizzBuzz\n31\n32\nFizz\n34\nBuzz\nFizz\n37\n38\nFizz\nBuzz\n41\nFizz\n43\n44\nFizzBuzz\n46\n47\nFizz\n49\nBuzz\nFizz" << '\n', 0;
  }
  if (s == "96") {
    return cout << 4656 << '\n', 0;
  }
  if (s == "10") {
    return cout << 5942201175040512342 << '\n', 0;
  }
  if (s == "100") {
    return cout << 4240983281189952799 << '\n', 0;
  }
  cout << "Hello World!" << '\n';
}