TX=Kt4D; C=(BVG_KT4D1L,BVG_KT4D1L[PD])|(BVG_KT4D1,BVG_KT4D1[PD]);