[ Eq(2*k2*x2 + 1*k2*x8 + 1*k2*x10 + 2*k2*x11 + 1*k2*x15 + 1*k2*x22 + 1*k2*x23 + 1*k2*x24 + 1*k2*x27, k2*k93),
  Eq(1*k2*x2 + 1*k2*x24 + 1*k2*x26, k2*k94),
  Eq(1*k1*x3 + 1*k1*x12 + 1*k1*x20, k1*k95),
  Eq(1*k1*x5 + 1*k1*x7, k1*k96),
  Eq(1*k2*x9 + 1*k2*x31, k2*k97) ]