The big table becomes more obvious when the constants are written using hex: static uint64_t table[] = { 0x100000000, 0x1FFFFFFF6, 0x1FFFFFFF6, 0x1FF

The big table becomes more obvious when the constants are written using hex: static uint64_t table[] = { 0x100000000, 0x1FFFFFFF6, 0x1FFFFFFF6, 0x1FFFFFFF6, 0x2FFFFFF9C, 0x2FFFFFF9C, 0x2FFFFFF9C, 0x3FFFFFC18, 0x3FFFFFC18, 0x3FFFFFC18, 0x4FFFFD8F0, 0x4FFFFD8F0, 0x4FFFFD8F0, 0x4FFFFD8F0, 0x5FFFE7960, 0x5FFFE7960, 0x5FFFE7960, 0x6FFF0BDC0, 0x6FFF0BDC0, 0x6FFF0BDC0, 0x7FF676980, 0x7FF676980, 0x7FF676980, 0x7FF676980, 0x8FA0A1F00, 0x8FA0A1F00, 0x8FA0A1F00, 0x9C4653600, 0x9C4653600, 0x9C4653600, 0xA00000000, 0xA00000000, };