Domain d1xk4k_: 1xk4 K: