64 + 64 + 64 + 32 * (2^63 - 1) bits