[ x[26] = k[60]*x[11] + k[60]*x[13], x[27] = k[61]*x[12] + k[61]*x[13], x[28] = k[65]*x[15], x[29] = k[64]*x[18] + k[64]*x[19], x[30] = k[63]*x[17] + k[63]*x[19], x[31] = k[66]*x[25], x[32] = k[68]*x[21] + k[68]*x[23], x[33] = k[67]*x[22] + k[67]*x[23], x[34] = k[62]*x[5] ]