{ x24 = x1 + k104 - x7,
  x25 = x2 - x8,
  x26 = x6 - x7 - x8,
  x27 = x12 - x28,
  x29 = x13 - x28,
  x31 = k35 - x30 - x18 - x17,
  x32 = k103 - x20 - x18 }