P_K1:

P_K2:

M_K1:

M_K2: