long long smallest_invalid = last_set << 52;
to
long long smallest_invalid = last_set << 53;