[ 1*k[4]*x[5] + 1*k[5]*x[6] + 1*k[4]*x[7] + 1*k[4]*x[8] + 1*k[5]*x[10] + 1*k[4]*x[12] + 1*k[5]*x[13] + 1*k[4]*x[14] + 1*k[4]*x[21] + 1*k[5]*x[22] + 1*k[4]*x[23] = k[4]*k[76] + k[5]*k[77] ]