[ Eq(1*k115*x2 + 1*k115*x15 + 1*k115*x28 + 1*k115*x29 + 1*k115*x31 + 1*k115*x42 + 1*k115*x44, k115*k116),
  Eq(1*k115*x7 + 1*k115*x8 + 1*k115*x9 + 1*k115*x11 + 1*k115*x49 + 1*k115*x54, k115*k117),
  Eq(1*k115*x10 + 1*k115*x11 + 1*k115*x49, k115*k118),
  Eq(1*k115*x12 + 1*k115*x48 + 1*k115*x50, k115*k119),
  Eq(1*k115*x13 + 1*k115*x34 + 1*k115*x36 + 1*k115*x37 + 1*k115*x38 + 2*k115*x39 + 2*k115*x43, k115*k120),
  Eq(1*k115*x14 + 1*k115*x53, k115*k121),
  Eq(1*k115*x15 + 1*k115*x23 + 1*k115*x30 + 1*k115*x32 + 1*k115*x33 + 1*k115*x35 + 1*k115*x36 + 1*k115*x37 + 1*k115*x40 + 1*k115*x44 + 1*k115*x46 + 1*k115*x47, k115*k122),
  Eq(1*k115*x16 + 1*k115*x52, k115*k123),
  Eq(1*k115*x18 + 1*k115*x19 + 1*k115*x21 + 1*k115*x22 + 1*k115*x24 + 1*k115*x45, k115*k124),
  Eq(1*k115*x20 + 1*k115*x21 + 1*k115*x22 + 1*k115*x23 + 1*k115*x24 + 1*k115*x33 + 1*k115*x47, k115*k125),
  Eq(1*k115*x23 + 1*k115*x30 + 1*k115*x33 + 1*k115*x40 + 1*k115*x41 + 1*k115*x46 + 1*k115*x47, k115*k126),
  Eq(1*k115*x25 + 1*k115*x26 + 1*k115*x51, k115*k127) ]