[ Eq(1*k143*x3 + 1*k143*x4, k143*k147),
  Eq(1*k143*x5 + 1*k143*x6, k143*k148),
  Eq(1*k143*x7 + 1*k143*x8, k143*k149),
  Eq(1*k143*x10 + 1*k143*x11 + 1*k143*x12 + 1*k144*x30 + 1*k144*x31 + 1*k144*x32 + 1*k144*x40 + 1*k144*x41 + 1*k144*x42 + 1*k144*x43 + 1*k144*x44 + 1*k144*x45, k143*k150 + k144*k151),
  Eq(1*k143*x18 + 1*k143*x19, k143*k152),
  Eq(1*k143*x20 + 1*k143*x21, k143*k153),
  Eq(1*k143*x24 + 1*k143*x25 + 1*k144*x49, k143*k154 + k144*k155),
  Eq(1*k143*x26 + 1*k143*x27, k143*k156),
  Eq(1*k144*x28 + 1*k144*x29, k144*k157),
  Eq(1*k144*x33 + 1*k144*x34, k144*k158) ]