当在CTC上确认闭塞分区无车时，“验证”成功后必须要在（）内下达“执行”指令。