#include <stdio.h>
#include <stdint.h>
int main(){
    uint64_t msg[] = {0x6f79206b6e616854, 0x69706d6f43202c75, 0x21746f62656c};
    puts((char *)msg);
    return 0;
}