[ x[4] = k[35] - x[5], x[10] = k[36] - x[12], x[13] = k[37] - x[15] ]