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