{ 1*k9*x1 + 1*k9*x3 + 1*k9*x4 + 1*k9*x5 + 2*k9*x6 + 2*k9*x7 + 2*k9*x8 + 3*k9*x9 + 2*k9*x10 + 2*k9*x11 + 3*k9*x12 + 3*k9*x13 + 3*k9*x14 = k9*k10, 1*k9*x2 + 1*k9*x3 + 1*k9*x4 + 1*k9*x5 + 1*k9*x6 + 1*k9*x7 + 1*k9*x8 + 1*k9*x9 + 1*k9*x10 + 1*k9*x11 + 1*k9*x12 + 1*k9*x13 + 1*k9*x14 = k9*k11 }