in theta/include/bit_packing.hpp [3060:3136]
static inline void pack_bits_62(const uint64_t* values, uint8_t* ptr) {
*ptr++ = static_cast<uint8_t>(values[0] >> 54);
*ptr++ = static_cast<uint8_t>(values[0] >> 46);
*ptr++ = static_cast<uint8_t>(values[0] >> 38);
*ptr++ = static_cast<uint8_t>(values[0] >> 30);
*ptr++ = static_cast<uint8_t>(values[0] >> 22);
*ptr++ = static_cast<uint8_t>(values[0] >> 14);
*ptr++ = static_cast<uint8_t>(values[0] >> 6);
*ptr = static_cast<uint8_t>(values[0] << 2);
*ptr++ |= static_cast<uint8_t>(values[1] >> 60);
*ptr++ = static_cast<uint8_t>(values[1] >> 52);
*ptr++ = static_cast<uint8_t>(values[1] >> 44);
*ptr++ = static_cast<uint8_t>(values[1] >> 36);
*ptr++ = static_cast<uint8_t>(values[1] >> 28);
*ptr++ = static_cast<uint8_t>(values[1] >> 20);
*ptr++ = static_cast<uint8_t>(values[1] >> 12);
*ptr++ = static_cast<uint8_t>(values[1] >> 4);
*ptr = static_cast<uint8_t>(values[1] << 4);
*ptr++ |= static_cast<uint8_t>(values[2] >> 58);
*ptr++ = static_cast<uint8_t>(values[2] >> 50);
*ptr++ = static_cast<uint8_t>(values[2] >> 42);
*ptr++ = static_cast<uint8_t>(values[2] >> 34);
*ptr++ = static_cast<uint8_t>(values[2] >> 26);
*ptr++ = static_cast<uint8_t>(values[2] >> 18);
*ptr++ = static_cast<uint8_t>(values[2] >> 10);
*ptr++ = static_cast<uint8_t>(values[2] >> 2);
*ptr = static_cast<uint8_t>(values[2] << 6);
*ptr++ |= static_cast<uint8_t>(values[3] >> 56);
*ptr++ = static_cast<uint8_t>(values[3] >> 48);
*ptr++ = static_cast<uint8_t>(values[3] >> 40);
*ptr++ = static_cast<uint8_t>(values[3] >> 32);
*ptr++ = static_cast<uint8_t>(values[3] >> 24);
*ptr++ = static_cast<uint8_t>(values[3] >> 16);
*ptr++ = static_cast<uint8_t>(values[3] >> 8);
*ptr++ = static_cast<uint8_t>(values[3]);
*ptr++ = static_cast<uint8_t>(values[4] >> 54);
*ptr++ = static_cast<uint8_t>(values[4] >> 46);
*ptr++ = static_cast<uint8_t>(values[4] >> 38);
*ptr++ = static_cast<uint8_t>(values[4] >> 30);
*ptr++ = static_cast<uint8_t>(values[4] >> 22);
*ptr++ = static_cast<uint8_t>(values[4] >> 14);
*ptr++ = static_cast<uint8_t>(values[4] >> 6);
*ptr = static_cast<uint8_t>(values[4] << 2);
*ptr++ |= static_cast<uint8_t>(values[5] >> 60);
*ptr++ = static_cast<uint8_t>(values[5] >> 52);
*ptr++ = static_cast<uint8_t>(values[5] >> 44);
*ptr++ = static_cast<uint8_t>(values[5] >> 36);
*ptr++ = static_cast<uint8_t>(values[5] >> 28);
*ptr++ = static_cast<uint8_t>(values[5] >> 20);
*ptr++ = static_cast<uint8_t>(values[5] >> 12);
*ptr++ = static_cast<uint8_t>(values[5] >> 4);
*ptr = static_cast<uint8_t>(values[5] << 4);
*ptr++ |= static_cast<uint8_t>(values[6] >> 58);
*ptr++ = static_cast<uint8_t>(values[6] >> 50);
*ptr++ = static_cast<uint8_t>(values[6] >> 42);
*ptr++ = static_cast<uint8_t>(values[6] >> 34);
*ptr++ = static_cast<uint8_t>(values[6] >> 26);
*ptr++ = static_cast<uint8_t>(values[6] >> 18);
*ptr++ = static_cast<uint8_t>(values[6] >> 10);
*ptr++ = static_cast<uint8_t>(values[6] >> 2);
*ptr = static_cast<uint8_t>(values[6] << 6);
*ptr++ |= static_cast<uint8_t>(values[7] >> 56);
*ptr++ = static_cast<uint8_t>(values[7] >> 48);
*ptr++ = static_cast<uint8_t>(values[7] >> 40);
*ptr++ = static_cast<uint8_t>(values[7] >> 32);
*ptr++ = static_cast<uint8_t>(values[7] >> 24);
*ptr++ = static_cast<uint8_t>(values[7] >> 16);
*ptr++ = static_cast<uint8_t>(values[7] >> 8);
*ptr = static_cast<uint8_t>(values[7]);
}