[ Eq(1*x1 + 1*x3 + 1*x4 + 1*x7 + 1*x8 + 1*x10 + 1*x12 + 1*x33, k44),
  Eq(1*x2 + 1*x3 + 1*x4 + 1*x7 + 1*x31, k45),
  Eq(1*x9 + 1*x10 + 1*x32 + 1*x33, k46),
  Eq(1*x11 + 1*x12, k47),
  Eq(2*x15 + 2*x16 + 2*x17 + 2*x18 + 2*x19 + 1*x20 + 1*x23, k48),
  Eq(2*x15 + 2*x16 + 2*x17 + 2*x18 + 2*x19 + 1*x21 + 1*x22 + 1*x23, k49),
  Eq(1*x24 + 1*x25 + 1*x26, k50),
  Eq(1*x29 + 1*x30, k51) ]