funnyboy-roks

#include <stdio.h>
#include <inttypes.h>

int main() {
    uint64_t table[] = { 0x72DFB32E4AF21621, 0x2014000000000000 };
    uint64_t idx = 0xA84201597122360;
    while (idx >>= 4) putchar(table[(idx & 0xf) / 9] >> (8 - (idx & 0xf) % 9) * 7 & 0x7f);
}