[ x[17] = x[20] - x[12],
  x[18] = x[21] - x[13],
  x[19] = x[22] - x[14],
  x[24] = x[25] - x[9] ]