#include int main() { std::cout << 31 << std::endl; return 0; }