#include <stdio.h>
int main() {
    printf( "%d %d %d\n", 42ll, 100500, 1234 );
}