// editor2
#include<stdio.h>
int main () {
    int (input ="12 4 7 9 2");
    printf("12 4 7 9 2");
    return 0;
}