微电子交流计数自动闭塞能保证通过信号机显示绿灯时，前方至少有（）自动闭塞分区是空闲的。