#include <stdio.h>
#include <unistd.h>

int main(int argc, char* argv[]) {
    while (1) {
        printf("456\n123");
        fflush(stdout);
        sleep(1);
    }
}