记录到的矿山最大震级已超过里氏（）级。