TX=Kt4D; C=(BVG_KT4D4L,BVG_KT4D4L[PD])|(BVG_KT4D4,BVG_KT4D4[PD]);