#include <stdio.h>

int main(void) {
    puts("\x05pituh");
    puts("\x06COCOCO");
    puts("\x0000000005CO-CO");
    puts("\00256");
    return 0;
}