int main()
{
    int a=123456789,b=0,c=-1;
    scanf("%8d %8d %8d",&a,&b,&c);
   printf("%8d %8d %8d",a,b,c);
    return 0;
}