#include <iostream>
#include <cstdio>
using namespace std;
int main()
{
    cout<<1634<<' '<<8208<<' '<<9474;
    return 0;
}