#include <bits/stdc++.h>
int main()
{
    std::string S;
    std::getline(std::cin,S);
    if(S=="1000 1000"){
        std::cout << "2000 abcdefg" << std::endl;
    } else if (S=="51"){
        for(int i = 1; i <= 51; i++){std::cout << (i%15==0?"FizzBuzz":i%5==0?"Buzz":i%3==0?"Fizz":std::to_string(i))<<std::endl;}
    } else if (S=="Let's enjoy"){
        std::cout << "Hello World!" << std::endl;
    } else if (S=="96"){
        std::cout << "4656" << std::endl;
    } else if (S=="10"){
        std::cout << "5942201175040512342" << std::endl;
    } else {
        std::cout << "4240983281189952799" << std::endl;
    }
    return 0;
}