[ x[15] = (x[3]*k[22] + x[4]*k[23] + x[5]*k[24] + x[6]*k[22] + x[7]*k[23] + x[8]*k[24])/k[20], x[16] = (x[9]*k[22] + x[10]*k[23] + x[11]*k[24] + x[12]*k[22] + x[13]*k[23] + x[14]*k[24])/k[20], x[17] = (x[3]*k[22] + x[4]*k[23] + x[5]*k[24] + x[9]*k[22] + x[10]*k[23] + x[11]*k[24])/k[20], x[18] = (x[6]*k[22] + x[7]*k[23] + x[8]*k[24] + x[12]*k[22] + x[13]*k[23] + x[14]*k[24])/k[20], x[19] = (x[3]*k[22] + x[6]*k[22] + x[9]*k[22] + x[12]*k[22])/k[20], x[20] = (x[4]*k[23] + x[7]*k[23] + x[10]*k[23] + x[13]*k[23])/k[20], x[21] = (x[5]*k[24] + x[8]*k[24] + x[11]*k[24] + x[14]*k[24])/k[20], x[22] = (x[19]*k[20] + x[20]*k[20] + x[21]*k[20])/k[20], x[43] = x[22]/k[19] ]