{ 1*k44*x1 + 1*k44*x2 + 1*k44*x4 + 1*k44*x8 + 1*k44*x10 + 1*k44*x12 + 1*k44*x28 + 1*k44*x34 = k44*k45,
  1*k44*x2 + 1*k44*x3 + 1*k44*x4 + 1*k44*x5 + 1*k44*x8 + 1*k44*x10 + 1*k44*x12 + 1*k44*x28 + 1*k44*x34 = k44*k46,
  1*k44*x6 + 1*k44*x8 + 1*k44*x9 + 1*k44*x10 + 1*k44*x18 + 1*k44*x23 + 1*k44*x24 + 1*k44*x27 + 1*k44*x28 + 1*k44*x30 = k44*k47,
  1*k44*x7 + 1*k44*x14 + 1*k44*x24 + 1*k44*x25 + 1*k44*x31 + 1*k44*x33 = k44*k48,
  1*k44*x11 + 1*k44*x12 + 1*k44*x13 + 1*k44*x17 + 1*k44*x18 + 1*k44*x32 = k44*k49,
  1*k44*x15 + 1*k44*x16 + 1*k44*x17 + 1*k44*x18 + 1*k44*x19 = k44*k50,
  1*k44*x15 + 1*k44*x16 + 1*k44*x17 + 1*k44*x18 + 1*k44*x20 = k44*k51,
  1*k44*x21 + 1*k44*x22 + 1*k44*x23 + 1*k44*x24 = k44*k52,
  1*k44*x26 + 1*k44*x27 + 1*k44*x28 = k44*k53,
  1*k44*x29 + 1*k44*x30 + 1*k44*x31 + 1*k44*x32 + 1*k44*x33 + 1*k44*x34 = k44*k54 }