#include <stdio.h>
#include <stdint.h>
int main(){
uint64_t msg[] = {0x57202c6f6c6c6548, 0x21646c726f};
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KaW50IG1haW4oKXsKICAgIHVpbnQ2NF90IG1zZ1tdID0gezB4NTcyMDJjNmY2YzZjNjU0OCwgMHgyMTY0NmM3MjZmfTsKICAgIHB1dHMoKGNoYXIgKiltc2cpOwogICAgcmV0dXJuIDA7Cn0=