#include <stdio.h>

int main(void) {
    puts("\x05pituh");
    puts("\x06" "COCOCO");
    puts("\x00" "00000005CO-CO");
    puts("\00256");
    return 0;
}