[ Eq(1*k6*x5 + 1*k6*x6, k6*k145), Eq(1*k6*x22 + 1*k6*x23, k6*k146) ]