办理D13至ⅠG调车进路，在D13XJ电路中，用（）条件来证明进路空闲，用（）条件来证明道岔位置正确，用（）条件证明道岔被锁在规定位置。