[ Eq(x5, x4 + x3 + x2),
  Eq(1*k72*x1 + 1*k72*x2 + 1*k72*x3 + 1*k72*x4, k72*k73) ]