#include <stdio.h>

int
main(int argc, char** argv)
{
    int a, b;
    char c[11];
    scanf("%d %d\n%s", &a, &b, c);
    printf("%d %d %s", a, b, c);
    return 0;
}