TX=Kt4D; C=(BVG_KT4D3L,BVG_KT4D3L[PD])|(BVG_KT4D3,BVG_KT4D3[PD]);