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