[ Eq(4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 4*k1*x8 + 4*k1*x9 + 2*k1*x10 + 4*k1*x12 + 4*k1*x13 + 8*k1*x14 + 2*k1*x15 + 2*k1*x16 + 2*k2*x19 + 4*k2*x21 + 6*k2*x22 + 4*k2*x23 + 8*k2*x24 + 2*k2*x25, k1*k115 + k2*k116),
  Eq(4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 2*k1*x8 + 2*k1*x9 + 2*k1*x12 + 2*k1*x13 + 4*k1*x14 + 4*k1*x15 + 4*k1*x16 + 2*k2*x19 + 2*k2*x20 + 2*k2*x21 + 4*k2*x22 + 4*k2*x23 + 4*k2*x24 + 4*k2*x25, k1*k117 + k2*k118),
  Eq(4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 2*k1*x8 + 2*k1*x9 + 2*k1*x12 + 4*k1*x14 + 4*k1*x15 + 4*k1*x16 + 2*k2*x19 + 4*k2*x22 + 4*k2*x23 + 4*k2*x24 + 4*k2*x25 + 2*k2*x26, k1*k119 + k2*k120),
  Eq(2*k1*x1 + 2*k1*x5 + 2*k1*x6 + 1*k1*x7 + 1*k1*x11 + 3*k1*x15 + 3*k1*x16 + 1*k2*x19 + 2*k2*x20 + 1*k2*x22 + 2*k2*x23 + 3*k2*x25, k1*k121 + k2*k122),
  Eq(1*k1*x2 + 1*k1*x3, k1*k123),
  Eq(1*k1*x10 + 1*k1*x11, k1*k124),
  Eq(1*k1*x13 + 1*k1*x17, k1*k125) ]