—We’ve missed the last bus! Now We’ll have to walk home．

Yes, we       the library five minutes earlier．

A．would have left

B．must have left

C．might have left

D．should have left

若内存空间地址段为30001H-7000H，则可以表示（）K字节的存储空间。